Spojení (nekomutativní geometrie)

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]

Komutativní geometrie

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

Supergeometrie

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

Nekomutativní geometrie

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

Viz také

Poznámky

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

Literatura

Odkazy