"Heisenberg group and Heisenberg algebra"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
imported>Pythagoras0
imported>Pythagoras0
121번째 줄: 121번째 줄:
  
 
==expositions==
 
==expositions==
* [www.ms.unimelb.edu.au/documents/thesis/thesis-Matt-Collins Representations of Heisenberg Groups]
+
* [http://www.ms.unimelb.edu.au/documents/thesis/thesis-Matt-Collins Representations of Heisenberg Groups]
 
* Stephen Semmes, [http://www.ams.org/notices/200306/fea-semmes.pdf An Introduction to Heisenberg Groups in Analysis and Geometry], June/July  2003  Volume 50  Issue 6 , Notices of AMS
 
* Stephen Semmes, [http://www.ams.org/notices/200306/fea-semmes.pdf An Introduction to Heisenberg Groups in Analysis and Geometry], June/July  2003  Volume 50  Issue 6 , Notices of AMS
* [http://www.google.de/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&cad=rja&ved=0CC4QFjAA&url=http%3A%2F%2Fciteseerx.ist.psu.edu%2Fviewdoc%2Fdownload%3Fdoi%3D10.1.1.79.2084%26rep%3Drep1%26type%3Dpdf&ei=5HkmUcLnHYmstAbEt4CIDA&usg=AFQjCNE3gq815nPMsB32rjPKM6JKdHFMww&sig2=WD7dA12Ecj29RMoRsGXQLA&bvm=bv.42661473,d.Yms A Selective History of the Stone-von Neumann Theorem]
+
* [http://www.math.umd.edu/~jmr/StoneVNart.pdf A Selective History of the Stone-von Neumann Theorem]
 
 
 
 
  

2013년 2월 21일 (목) 12:54 판

relation to quantum mechanics

  •  the position operators and momentum operators satisfy the relation
    \([X,P] = X P - P X = i \hbar\)

 

 

relation to Weyl algebra

  • a quotient of the universal enveloping algebra of the Heisenberg algebra

 

 

finite dimensional Heisenberg algebra

  • \([p_i, q_j] = \delta_{ij}z\)
  • \([p_i, z] = 0\)
  • \([q_j, z] = 0\)
  • Gannon 180p

 

 

differential operators

  • commutation relation
    \(x\), \(p=\frac{d}{dx}\)
    \([x,p]=1\)

 

 

infinite dimensional Heisenberg algebra

  • start with a Lattice \(\langle\cdot,\cdot\rangle\)
  • make a vector space from it
  • Construct a Loop algbera
    \(\hat{A}=A\otimes\mathbb{C}[t,t^{-1}]\oplus\mathbb{C}c\)
    \(\alpha(m)=\alpha\otimes t^m\)
  • Give a bracket 
    \([\alpha(m),\beta(n)]=m\delta_{m,-n}\langle\alpha,\beta\rangle c\)
  • add a derivation \(d\)
    \(d(\alpha(n))=n\alpha(n)\)
    \(d(c)=0\)
  • define a Lie bracket
    \([d,x]=d(x)\)
  • In affine Kac-Moody algebra theory, this appears as the loop algebra of Cartan subalgebra
  • commutator subalgebra
  • The automorphisms of the Heisenberg group (fixing its center) form the symplectic group

 

 

highest weight module

  • \(\hat{A}^{+}=A\otimes\mathbb{C}[t]\oplus\mathbb{C}c\)
  • \(c.v_{h}=v_{h}\)
  • for \(m>0\), \(\alpha(m)v_{h}=0\)
  • \(\alpha(0)v_{h}=hv_{h}\)

 

Stone-Von Neumann theorem

  • The Heisenberg group has an essentially unique irreducible unitary representation on a Hilbert space H with the center acting as a given nonzero constant (the content of the Stone-von Neumann theorem).

 

 

Heisenberg VOA

 

 

related items

 

 

books

 

 

encyclopedia

 

blogs

 

expositions

 

TeX