Rappresentazione simplettica

Da testwiki.
Vai alla navigazione Vai alla ricerca

Nel settore della matematica della teoria della rappresentazione dei gruppi, una rappresentazione simplettica è una rappresentazione di un gruppo o di un'algebra di Lie su uno spazio vettoriale simplettico (V, ω) che conserva la forma simplettica ω. Dove ω è una forma bilineare simplettica

ω:V×V𝔽

dove F è il campo scalare. Una rappresentazione di un gruppo G conserva ω se:

ω(gv,gw)=ω(v,w)

per tutti i g in G e i v, w in V, mentre una rappresentazione di un'algebra di Lie g preserva ω se:

ω(ξv,w)+ω(v,ξw)=0

per tutti gli ξ in g e i v, w in V. Così una rappresentazione di G (o di g) è un omomorfismo fra G (o algebra di Lie g) e un gruppo simplettico Sp (V, ω) (o la sua algebra di Lie Sp (V, ω))

Fissata una base, ω si può rappresentare secondo una matrice di trasformazione che dovrà essere necessariamente antisimmetrica e non singolare. La dimensione dello spazio è necessariamente pari perché si dimostra che non esistono matrici antisimmetriche invertibili di dimensione dispari.

Spazio vettoriale simplettico

In algebra lineare, si chiama spazio vettoriale simplettico uno spazio vettoriale reale V di dimensione pari dotato di una funzione ω:V×V tale che, per ogni v,v,w,w in V e per ogni λ,μ in

ω(λv+μv,w)=λω(v,w)+μω(v,w)
ω(v,λw+μw)=λω(v,w)+μω(v,w)
ω(v,w)=ω(w,v)
ω(v,w)=0 per ogni w implica v=0

In altre parole, ω è una forma bilineare antisimmetrica non degenere, detta prodotto antiscalare o simplettico. V munito della forma ω si dice anche munito di struttura simplettica.

Fissata una base, ω si può rappresentare secondo una matrice di trasformazione che dovrà essere necessariamente antisimmetrica e non singolare.

Bibliografia

  • Ralph Abraham and Jarrold E. Marsden, Foundations of Mechanics, (1978) Benjamin-Cummings, London ISBN 0-8053-0102-X See chapter 3.
  • Dusa McDuff and D. Salamon: Introduction to Symplectic Topology (1998) Oxford Mathematical Monographs, ISBN 0-19-850451-9.

Voci correlate

Collegamenti esterni

Template:Portale