Geometrie kvantových systémů (jako je nekomutativní geometrie a supergeometrie ) může být formulována v algebraických podmínkách modulů a algeber . Spojení na modulech zobecňuje lineární spojení na vektorových svazcích , zapsané jako spojení na -modulu sekcí . [jeden]
Dovolit být komutativní prsten a být -modul. Existuje několik ekvivalentních definic propojenosti na . [2] Dovolit být modul derivací kruhu . Spojení na -modulu je definováno jako morfismus -modulů
takové, že diferenciální operátory prvního řádu nesplňují Leibnizovo pravidlo
Spojení na modulu přes komutativní kruh vždy existuje. Zakřivení spojení je definováno jako diferenciální operátor nultého řádu
Na modulu pro všechny .
Pokud je vektorový svazek, existuje vzájemná korespondence mezi lineárními spoji na a připojeními na -modulu sekcí . V tomto případě odpovídá kovariančnímu diferenciálu zapojení zapnuto
Pojem spojení na komutativním prstenci se přenáší přímo na moduly pomocí nadhodnocených algeber . [3] To je případ superspojení v supergeometrii na odstupňovaných manifoldech a supervektorových svazcích . Superspojení vždy existují.
Pokud je nekomutativní kruh, jsou připojení na levém a pravém modulu definována stejným způsobem jako na modulech přes komutativní kruh. [4] Taková spojení však nutně nemusí existovat.
Na rozdíl od spojení na levém a pravém modulu vzniká problém s definicí spojení na bimodulech přes nekomutativní kruhy a . Existují různé definice takových spojení. [5] Tady je jeden z nich. Spojení na -bimodulu je definováno jako morfismus bimodulů
který splňuje Leibnizovo pravidlo