% !TEX TS-program = latex
\documentclass{gtart}
% to ask the arxiv for pdf output:
%\pdfoutput=1

% to submit to AGT, uncomment
%\agtart

\newcommand{\pathtotrunk}{./}
\input{text/article_preamble.tex}
\input{text/top_matter.tex}

\begin{document}

\begin{abstract}
We give a combinatorial description of the ``$D_{2n}$ planar algebra,''
by generators and relations. We explain how the generator
interacts with the Temperley-Lieb braiding.
This shows the previously known braiding on the even part
extends to a `braiding up to sign' on the entire planar algebra.

We give a direct proof that our relations are consistent (using this
`braiding up to sign'), give a complete description of the associated
tensor category and principal graph, and show that the planar algebra
is positive definite. These facts allow us to identify our combinatorial
construction with the standard invariant of the subfactor $D_{2n}$.
%Here, for the first time \textbf{[drumroll]}, the $D_{2n}$ planar algebra is presented in an entirely combinatorial fashion.
%\textbf{[fireworks]}  Subfactors are shunned and pictures abound. \textbf{[cymbal-clash]}
\end{abstract}

\maketitle

%\textbf{DRAFT: Do not distribute.} \versioninfo
% remove table of contents for submitted version
\setcounter{tocdepth}{2}%
\tableofcontents
%\input{todolist.tex}

\section{Introduction}\label{sec:intro}
\input{text/intro.tex}

\section{Background}
\input{text/background}

\section{Skein theory}
\input{text/presentation.tex}
\input{text/braiding.tex}
\input{text/consistency.tex}

\section{The planar algebra $\pa$ is $D_{2n}$}
This planar algebra is called $D_{2n}$ because it is the unique subfactor
planar algebra with principal graph $D_{2n}$.  To prove this we will need
two key facts: first that its principal graph is $D_{2n}$, and second that
it is a subfactor planar algebra.

In \S \ref{sec:category}, we describe a tensor category associated to any
planar algebra, and using that define the principal graph. We then check
that the principal graph for $\pa$ is indeed the Dynkin
diagram $D_{2n}$.

In \S \ref{sec:basis}, we exhibit an explicit basis for the planar
algebra.  This makes checking positivity straightforward.

\input{text/category.tex}
\input{text/basis.tex}

%\noop{
\input{text/appendix.tex}
%}

% ----------------------------------------------------------------
\newcommand{\urlprefix}{}
\bibliographystyle{unsrt}
%\bibliographystyle{gtart}
%Included for winedt:
%input "bibliography/bibliography.bib"
\bibliography{bibliography/bibliography}
% ----------------------------------------------------------------

This paper is available online at \arxiv{0808.0764}, and at
\url{http://tqft.net/d2n}.

% A GTART necessity:
% \Addresses
% ----------------------------------------------------------------
\end{document}
% ----------------------------------------------------------------