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]
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
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.
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