Grup de Heisenberg

En matemàtiques, el grup de Heisenberg sobre un anell commutatiu A és el grup de matrius triangulars superiors 3 × 3 de la forma

$\left(\begin{array}{ccc}1& a& c\\ 0& 1& b\\ 0& 0& 1\end{array}\right)$

sota l'operació de multiplicació matricial, on a , b , c són elements de a A . Sovint es pren com anell A el cos dels nombres reals, en què el grup es nota per $H_3(R)$, o l'anell dels sencers racionals, notant llavors al grup per $H_3(Z)$.

Generalització a dimensions superiors

La generalització més simple consisteix en el grup de matrius quadrades reals d'ordre n+2 , de la forma

$\left(\begin{array}{ccc}1& a& c\\ 0& I_n& b\\ 0& 0& 1\end{array}\right)$

on $I_n$ és la matriu identitat d'ordre n , a és un vector fila i b un vector columna, ambdós de longitud n .

Com a varietat subriemanniana

Una animació d'una geodèsica en el grup de Heisenberg

També es pot entendre el grup de Heisenberg tridimensional H₃(R) en els reals com a varietat diferenciable, i específicament, com a exemple simple d'una varietat subriemanniana. Donat un punt p=(x,y,z) en R³, defineixi's un 1-forma diferencial Θ en aquest punt com

${\mathrm{\Theta }}_p=dz-\frac{1}{2}(xdy-ydx).$

Aquesta 1-forma pertany al fibrat cotangent de R³; és a dir,

${\mathrm{\Theta }}_p:T_p{𝐑}^3\to 𝐑$

és un mapa en el fibrat tangent. Sigui

$H_p=\{v\in T_p{𝐑}^3\mid {\mathrm{\Theta }}_p(v)=0\}.$

Es pot veure que H és un subfibrat del fibrat tangent TR³. Una comètrica en H ve donada per projectar els vectors en l'espai bidimensional estès per vectors en les direccions x i y. És a dir, donats els vectors $v=(v_1,v_2,v_3)$ i $w=(w_1,w_2,w_3)$ en TR³, el producte escalar donat per

$⟨v,w⟩=v_1{w}_1+v_2{w}_2.$

L'estructura resultat converteix H en la varietat del grup de Heisenberg. Un marc ortonormal en la varietat ve donat pels camps vectorials de Lie

$\begin{array}{cc}X& =\frac{\partial }{\partial x}-\frac{1}{2}y\frac{\partial }{\partial z},\\ Y& =\frac{\partial }{\partial y}+\frac{1}{2}x\frac{\partial }{\partial z},\\ Z& =\frac{\partial }{\partial z},\end{array}$

que compleixen les relacions [X, Y] = Z i [X, Z] = [Y, Z] = 0. Com que són camps vectorials de Lie, formen una base invariant per l'esquerra per l'acció de grup. Les geodèssiques en la varietat són espirals, que projecten cercles en el pla horitzontal bidimensional. És a dir, si

$\gamma (t)=(x(t),y(t),z(t))$

és una corba geodèssica, llavors la corba $c(t)=(x(t),y(t))$ és un arc d'un cercle, i

$z(t)=\frac{1}{2}\underset{c}{\int }xdy-ydx$

amb la integral limitada al pla bidimensional. És a dir, l'alçada de la corba és proporcional a l'àrea del cercle subtingut per l'arc circular, com es desprèn del teorema de Stokes.

Referències

• Hans Tilgner, "A class of solvable Lie groups and their relation to the canonical formalism Plantilla:Webarchive", Annales de l'institut Henri Poincaré (A) Physique thèorique , 13 no. 2 (1970), pp. 103-127.