LieAlgebras 2009-05-01 03:16:38 2009-05-01 03:22:14 Topic harmonic quantum oscillator finite Lie algebra of quantum commutators Lie group tangent space globally smooth structure Abelian Lie algebra Lie algebra bilinear map non-associative structures harmonic quantum oscillator finite Lie algebra of quantum commutators Lie group tangent space globally smooth structure Abelian Lie algebra % define commands here \usepackage{amsmath, amssymb, amsfonts, amsthm, amscd, latexsym} \usepackage{xypic} \usepackage[mathscr]{eucal} \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{\X}{\mathcal{X}} \newcommand{\g}{\mathfrak{g}} \newcommand{\h}{\mathfrak{h}} \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{\GL}{{\rm GL}} \newcommand{\Iso}{{\rm Iso}} \newcommand{\Sem}{{\rm Sem}} \newcommand{\St}{{\rm St}} \newcommand{\Sym}{{\rm Sym}} \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{\G}{\mathcal G} \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}{{\mathbb G}} \newcommand{\dgrp}{{\mathbb D}} \newcommand{\desp}{{\mathbb D^{\rm{es}}}} \newcommand{\Geod}{{\rm Geod}} \newcommand{\geod}{{\rm geod}} \newcommand{\hgr}{{\mathbb H}} \newcommand{\mgr}{{\mathbb M}} \newcommand{\ob}{{\rm Ob}} \newcommand{\obg}{{\rm Ob(\mathbb G)}} \newcommand{\obgp}{{\rm Ob(\mathbb G')}} \newcommand{\obh}{{\rm Ob(\mathbb H)}} \newcommand{\Osmooth}{{\Omega^{\infty}(X,*)}} \newcommand{\ghomotop}{{\rho_2^{\square}}} \newcommand{\gcalp}{{\mathbb G(\mathcal P)}} \newcommand{\rf}{{R_{\mathcal F}}} \newcommand{\glob}{{\rm glob}} \newcommand{\loc}{{\rm loc}} \newcommand{\TOP}{{\rm TOP}} \newcommand{\wti}{\widetilde} \newcommand{\what}{\widehat} \renewcommand{\a}{\alpha} \newcommand{\be}{\beta} \newcommand{\ga}{\gamma} \newcommand{\Ga}{\Gamma} \newcommand{\de}{\delta} \newcommand{\del}{\partial} \newcommand{\ka}{\kappa} \newcommand{\si}{\sigma} \newcommand{\ta}{\tau} \newcommand{\lra}{{\longrightarrow}} \newcommand{\ra}{{\rightarrow}} \newcommand{\rat}{{\rightarrowtail}} \newcommand{\oset}[1]{\overset {#1}{\ra}} \newcommand{\osetl}[1]{\overset {#1}{\lra}} \newcommand{\hr}{{\hookrightarrow}} \subsection{Lie algebras in quantum theories} Continuous symmetries often have a special type of underlying continuous group, called a {\em Lie group}. Briefly, a {\em Lie group} $G$ is generally considered having a (smooth) $C^\infty$ manifold structure, and acts upon itself smoothly. Such a globally smooth structure is surprisingly simple in two ways: it always admits an Abelian fundamental group, and seemingly also related to this global property, it admits an associated, unique – as well as finite – Lie algebra that completely specifies locally the properties of the Lie group everywhere. There is a finite Lie algebra of quantum commutators and their unique (continuous) Lie groups. Thus, Lie algebras can greatly simplify quantum computations and the initial problem of defining the form and symmetry of the quantum Hamiltonian subject to boundary and initial conditions in the quantum system under consideration. However, unlike most regular abstract algebras, a Lie algebra is not associative, and it is in fact a {\em vector space}. It is also perhaps this feature that makes the Lie algebras somewhat compatible, or consistent, with quantum logics that are also thought to have non-associative, non-distributive and non-commutative lattice structures. \subsection{General Lie algebra definition and Examples} \begin{definition} A {\em Lie algebra} over a field $k$ is a vector space $\mathfrak{g}$ together with a bilinear map $[\ ,\ ] : \mathfrak{g}\times\mathfrak{g}\to\mathfrak{g}$, called the {\em Lie bracket} and defined by the association $(x,y)\mapsto [x,y]$. The bracket is subject to the following two conditions: \begin{enumerate} \item $[x,x] = 0$ for all $x\in\mathfrak{g}$. \item The {\em Jacobi identity}: $[x,[y,z]] + [y,[z,x]] + [z,[x,y]] = 0$ for all $x,y,z\in\mathfrak{g}$. \end{enumerate} \end{definition} {\bf Examples:} Any vector space can be made into a Lie algebra simply by setting $[x,y] = 0$ for all vectors $x,y$. Such a Lie algebra is an {\em Abelian} Lie algebra. If $G$ is a Lie group, then the tangent space at the identity forms a Lie algebra over the real numbers. Condsider next the annihilation operator $a$ and the creation operator a† in quantum theory. Then, the Hamiltonian $H$ of a harmonic quantum oscillator, together with the operators $a$ and $a†$ generate a 4-dimensional Lie algebra with commutators: $[H, a] = −a$, $[H, a†] = a†,$ and $[a, a†] = I$. This Lie algebra is solvable and generates after repeated application of $a†$ all of the eigenvectors of the quantum harmonic oscillator.