quantum 6j-symbols and TQFT stateQuantum6jSymbolsAndTQFTStateOnTheTetrahedron2009-01-08 13:22:352009-01-08 13:27:08Topicquantum geometryTQFT statesquantum 6j-symbols% this is the default PlanetPhysics preamble. as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.
\usepackage{amsmath, amssymb, amsfonts, amsthm, amscd, latexsym, enumerate}
\usepackage{xypic, xspace}
\usepackage[mathscr]{eucal}
\usepackage[dvips]{graphicx}
\usepackage[curve]{xy}
% define commands here
\theoremstyle{plain}
\newtheorem{lemma}{Lemma}[section]
\newtheorem{proposition}{Proposition}[section]
\newtheorem{theorem}{Theorem}[section]
\newtheorem{corollary}{Corollary}[section]
\theoremstyle{definition}
\newtheorem{definition}{Definition}[section]
\newtheorem{example}{Example}[section]
%\theoremstyle{remark}
\newtheorem{remark}{Remark}[section]
\newtheorem*{notation}{Notation}
\newtheorem*{claim}{Claim}
\renewcommand{\thefootnote}{\ensuremath{\fnsymbol{footnote}}}
\numberwithin{equation}{section}
\newcommand{\Ad}{{\rm Ad}}
\newcommand{\Aut}{{\rm Aut}}
\newcommand{\Cl}{{\rm Cl}}
\newcommand{\Co}{{\rm Co}}
\newcommand{\DES}{{\rm DES}}
\newcommand{\Diff}{{\rm Diff}}
\newcommand{\Dom}{{\rm Dom}}
\newcommand{\Hol}{{\rm Hol}}
\newcommand{\Mon}{{\rm Mon}}
\newcommand{\Hom}{{\rm Hom}}
\newcommand{\Ker}{{\rm Ker}}
\newcommand{\Ind}{{\rm Ind}}
\newcommand{\IM}{{\rm Im}}
\newcommand{\Is}{{\rm Is}}
\newcommand{\ID}{{\rm id}}
\newcommand{\grpL}{{\rm GL}}
\newcommand{\Iso}{{\rm Iso}}
\newcommand{\rO}{{\rm O}}
\newcommand{\Sem}{{\rm Sem}}
\newcommand{\SL}{{\rm Sl}}
\newcommand{\St}{{\rm St}}
\newcommand{\Sym}{{\rm Sym}}
\newcommand{\Symb}{{\rm Symb}}
\newcommand{\SU}{{\rm SU}}
\newcommand{\Tor}{{\rm Tor}}
\newcommand{\U}{{\rm U}}
\newcommand{\A}{\mathcal A}
\newcommand{\Ce}{\mathcal C}
\newcommand{\D}{\mathcal D}
\newcommand{\E}{\mathcal E}
\newcommand{\F}{\mathcal F}
%\newcommand{\grp}{\mathcal G}
\renewcommand{\H}{\mathcal H}
\renewcommand{\cL}{\mathcal L}
\newcommand{\Q}{\mathcal Q}
\newcommand{\R}{\mathcal R}
\newcommand{\cS}{\mathcal S}
\newcommand{\cU}{\mathcal U}
\newcommand{\W}{\mathcal W}
\newcommand{\bA}{\mathbb{A}}
\newcommand{\bB}{\mathbb{B}}
\newcommand{\bC}{\mathbb{C}}
\newcommand{\bD}{\mathbb{D}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\bF}{\mathbb{F}}
\newcommand{\bG}{\mathbb{G}}
\newcommand{\bK}{\mathbb{K}}
\newcommand{\bM}{\mathbb{M}}
\newcommand{\bN}{\mathbb{N}}
\newcommand{\bO}{\mathbb{O}}
\newcommand{\bP}{\mathbb{P}}
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bV}{\mathbb{V}}
\newcommand{\bZ}{\mathbb{Z}}
\newcommand{\bfE}{\mathbf{E}}
\newcommand{\bfX}{\mathbf{X}}
\newcommand{\bfY}{\mathbf{Y}}
\newcommand{\bfZ}{\mathbf{Z}}
\renewcommand{\O}{\Omega}
\renewcommand{\o}{\omega}
\newcommand{\vp}{\varphi}
\newcommand{\vep}{\varepsilon}
\newcommand{\diag}{{\rm diag}}
\newcommand{\grp}{\mathcal G}
\newcommand{\dgrp}{{\mathsf{D}}}
\newcommand{\desp}{{\mathsf{D}^{\rm{es}}}}
\newcommand{\grpeod}{{\rm Geod}}
%\newcommand{\grpeod}{{\rm geod}}
\newcommand{\hgr}{{\mathsf{H}}}
\newcommand{\mgr}{{\mathsf{M}}}
\newcommand{\ob}{{\rm Ob}}
\newcommand{\obg}{{\rm Ob(\mathsf{G)}}}
\newcommand{\obgp}{{\rm Ob(\mathsf{G}')}}
\newcommand{\obh}{{\rm Ob(\mathsf{H})}}
\newcommand{\Osmooth}{{\Omega^{\infty}(X,*)}}
\newcommand{\grphomotop}{{\rho_2^{\square}}}
\newcommand{\grpcalp}{{\mathsf{G}(\mathcal P)}}
\newcommand{\rf}{{R_{\mathcal F}}}
\newcommand{\grplob}{{\rm glob}}
\newcommand{\loc}{{\rm loc}}
\newcommand{\TOP}{{\rm TOP}}
\newcommand{\wti}{\widetilde}
\newcommand{\what}{\widehat}
\renewcommand{\a}{\alpha}
\newcommand{\be}{\beta}
\newcommand{\grpa}{\grpamma}
%\newcommand{\grpa}{\grpamma}
\newcommand{\de}{\delta}
\newcommand{\del}{\partial}
\newcommand{\ka}{\kappa}
\newcommand{\si}{\sigma}
\newcommand{\ta}{\tau}
\newcommand{\med}{\medbreak}
\newcommand{\medn}{\medbreak \noindent}
\newcommand{\bign}{\bigbreak \noindent}
\newcommand{\lra}{{\longrightarrow}}
\newcommand{\ra}{{\rightarrow}}
\newcommand{\rat}{{\rightarrowtail}}
\newcommand{\ovset}[1]{\overset {#1}{\ra}}
\newcommand{\ovsetl}[1]{\overset {#1}{\lra}}
\newcommand{\hr}{{\hookrightarrow}}
\newcommand{\<}{{\langle}}
%\newcommand{\>}{{\rangle}}
%\usepackage{geometry, amsmath,amssymb,latexsym,enumerate}
%\usepackage{xypic}
\def\baselinestretch{1.1}
\hyphenation{prod-ucts}
%\grpeometry{textwidth= 16 cm, textheight=21 cm}
\newcommand{\sqdiagram}[9]{$$ \diagram #1 \rto^{#2} \dto_{#4}&
#3 \dto^{#5} \\ #6 \rto_{#7} & #8 \enddiagram
\eqno{\mbox{#9}}$$ }
\def\C{C^{\ast}}
\newcommand{\labto}[1]{\stackrel{#1}{\longrightarrow}}
%\newenvironment{proof}{\noindent {\bf Proof} }{ \hfill $\Box$
%{\mbox{}}
\newcommand{\midsqn}[1]{\ar@{}[dr]|{#1}}
\newcommand{\quadr}[4]
{\begin{pmatrix} & #1& \\[-1.1ex] #2 & & #3\\[-1.1ex]& #4&
\end{pmatrix}}
\def\D{\mathsf{D}}\section{Topological Quantum Field (TQFT) State on the Tetrahedron}
Let us consider first a regular \PMlinkname{tetrahedron}{Tetrahedron} whose corners will
have attached to them the TQFT symbols representing a TQF state in terms of so-called `j-symbols' as further detailed next. The vertices of the tetrahedron are located at the points $(a_x, a_y, a_z)$, $(b_x, b_y, b_z)$, $(c_x, c_y, c_z)$, and $(d_x, d_y, d_z)$, that will be labeled, respectively, as $1,2,3,4$.
\begin{definition}
A \emph{quantum field (QF) state} $\phi$ provides a total order denoted by $ \leq_{\phi}$ on the
vertices of the tetrahedron, and thus also assigns a `direction' to each edge of the tetrahedron--from the
apparently `smaller' to the apparently `larger' vertices; a QF state also labels each edge $ e = (i,j)$,
by an element $\phi_1 (e)$ of $B_A$, which is a \emph{distinguished basis of a fusion algebra} $\A$, that is, a finite-dimensional, unital, involutive algebra over $\mathbb{C}$ --the field of complex numbers. Moreover, the QF state assigns an element ${\phi}^2 (f)$ --called an intertwiner-- of a Hilbert space
$$\H_{\phi}(f)= {\H^{\phi_1 (ik)}}_{\phi_1 (jk), \phi_1 (ij)}$$
to each face $f=(ijk)$ of the tetrahedron, such that $i\prec_{\phi} j \prec_{\phi}k .$
\end{definition}
\textbf{Notes:}
A \emph{topological quantum field theory} ({\em TQFT}) is described as a mathematical approach to quantum field theory that allows the computation of topological invariants of quantum state spaces (QSS), usually for cases of lower dimensions encountered in certain condensed phases or strongly correlated (quantum) superfluid states. TQFT has some of its origins in theoretical physics as well as \PMlinkname{Michael Atiyah}{MichaelFrancisAtiyah}'s research; this was followed by Edward Witten, Maxim Kontsevich, Jones and Donaldson, who all have been awarded Fields Medals for work related to topological quantum field theory; furthermore, Edward Witten and Maxim Kontsevich shared in 2008 the Crafoord prize for TQFT related work. As an example, Maxim Kontsevich introduced the concept of homological mirror (quantum) symmetry in relation to a mathematical conjecture in superstring theory.
\begin{thebibliography}{9}
\bibitem{VKVS2k1}
V. Kodyiyalam and V. S. Sunder. 2001.
\PMlinkexternal{{\em Topological Quantum Field Theories From Subfactors}}{http://planetmath.org/?op=getobj&from=books&id=174} ., Chapman and Hall/CRC.
\end{thebibliography}