Conexiune (geometrie necomutativă)

Geometria sistemelor cuantice (cum ar fi geometria necomutativă și supergeometria ) poate fi formulată în termeni algebrici de module și algebre . Conexiunea pe module generalizează conexiunea liniară pe fascicule vectoriale , scrisă ca conexiune pe modulul de secțiuni . [unu]

Geometrie comutativă

Fie  un inel comutativ și  un -modul. Există mai multe definiții echivalente ale conexiunii pe . [2] Fie  modulul de derivații al inelului . O conexiune pe un -modul este definită ca un morfism al -modulelor

astfel încât operatorii diferenţiali de ordinul întâi nu îndeplinesc regula Leibniz

O conexiune la un modul peste un inel comutativ există întotdeauna. Curbura conexiunii este definită ca un operator diferenţial de ordin zero

Pe modul pentru toată lumea .

Dacă  este un pachet vectorial, există o corespondență unu-la-unu între conexiunile liniare pe și conexiunile pe modulul - de secțiuni ale . În acest caz, corespunde diferenţialului covariant al conexiunii pe

Supergeometrie

Noţiunea de conectare pe un inel comutativ se transferă direct la module prin algebre supra - gradate . [3] Acesta este cazul superconexiunilor în supergeometrie pe varietăți gradate și mănunchiuri supervectori . Superconexiunile există întotdeauna.

Geometrie necomutativă

Dacă  este un inel necomutativ, conexiunile pe modulele stânga și dreapta sunt definite în același mod ca și pe modulele peste un inel comutativ. [4] Cu toate acestea, astfel de conexiuni nu există neapărat.

Spre deosebire de conexiunile pe modulele din stânga și din dreapta, apare o problemă cu definirea conexiunilor pe bimodule peste inele necomutative și . Există diferite definiții ale unor astfel de conexiuni. [5] Iată una dintre ele. O conexiune pe un -bimodul este definită ca un morfism al bimodulelor

care satisface regula Leibniz

Vezi și

Note

  1. Koszul (1950)
  2. Koszul (1950), Mangiarotti (2000)
  3. Bartocci (1991), Mangiarotti (2000)
  4. Landi (1997)
  5. Dubois-Violette (1996), Landi (1997)

Literatură

Link -uri