Связность (некоммутативная геометрия)

Материал из testwiki
Перейти к навигации Перейти к поиску

Геометрия квантовых систем (например, некоммутативная геометрия и супергеометрия) может быть сформулирована в алгебраических терминах модулей и алгебр. Связность на модулях обобщает линейную связность на векторных расслоениях EX, записанную как связность на C(X) - модуле сечений EX.[1]

Коммутативная геометрия

Пусть A — коммутативное кольцо и P — A-модуль. Существуют несколько эквивалентных определений связности на P.[2] Пусть D(A) — модуль дифференцирований кольца A. Связность на A-модуле P определяется как морфизм A-модулей

:D(A)uuDiff1(P,P),

такой что дифференциальные операторы первого порядка u на P удовлетворяют правилу Лейбница

u(ap)=u(a)p+au(p),aA,pP.

Связность на модуле над коммутативным кольцом всегда существует. Кривизна связности определяется как дифференциальный оператор нулевого порядка

R(u,u)=[u,u][u,u].

На модуле P для всех u,uD(A).

Если EX — векторное расслоение, существует взаимно однозначное соответствие между линейными связностями Γ на EX и связностями на C(X)-модуле сечений of EX. При этом, соответствует ковариантному дифференциалу связности на EX.

Супергеометрия

Понятие связности на коммутативном кольце непосредственным образом переносится на модули над 2-градуированными алгебрами.[3] Это — случай суперсвязностей в супергеометрии на градуированных многообразиях и супервекторных расслоениях. Суперсвязности всегда существуют.

Некоммутативная геометрия

Если A — некоммутативное кольцо, связности на левых и правых A-модулях определяются так же, как и на модулях над коммутативным кольцом.[4] Однако такие связности не обязательно существуют.

В отличие от связностей на левых и правых модулях, проблема возникает с определением связности на RS-бимодулях над некоммутативными кольцами R и S. Существуют различные определения таких связностей.[5] Приведем одно из них. Связность на RS-бимодуле P определяется как морфизм бимодулей

:D(A)uuDiff1(P,P),

который удовлетворяет правилу Лейбница

u(apb)=u(a)pb+au(p)b+apu(b),aR,bS,pP.

См. также

Примечания

Шаблон:Примечания

Литература

  • Koszul, J., Homologie et cohomologie des algebres de Lie, Bulletin de la Societe Mathematique 78 (1950) 65
  • Koszul, J., Lectures on Fibre Bundles and Differential Geometry (Tata University, Bombay, 1960)
  • Bartocci, C., Bruzzo, U., Hernandez Ruiperez, D., The Geometry of Supermanifolds (Kluwer Academic Publ., 1991) ISBN 0-7923-1440-9
  • Dubois-Violette, M., Michor, P., Connections on central bimodules in noncommutative differential geometry, J. Geom. Phys. 20 (1996) 218. arXiv: q-alg/9503020v2
  • Landi, G., An Introduction to Noncommutative Spaces and their Geometries, Lect. Notes Physics, New series m: Monographs, 51 (Springer, 1997) ArXiv eprint, iv+181 pages.
  • Mangiarotti, L., Sardanashvily, G., Connections in Classical and Quantum Field Theory (World Scientific, 2000) ISBN 981-02-2013-8
  • Сарданашвили Г. А., Современные методы теории поля. 4. Геометрия и квантовые поля (УРСС, 2000) ISBN 5-88417-221-4.

Ссылки

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