非可換微分幾何学

Connes が 非可換な空間を考えるに至った動機の一つは, 非可換微分幾何学を行なうことである。例えば, cyclic homology は de Rham cohomology の定義を可換とは限らない \(C^*\)-algebra に対して拡張するために導入された。 \(C^*\)-algebra に対しては, \(K\)-theory も定義できる。

• cyclic homology
• Chern character の一般化
• \(C^*\)-algebra の \(K\)-theory

多様体の de Rham cohomology や vector field との関係については, 例えば, [NT99] や [MS06] を見るとよい。

微分幾何学の非可換版と言うからには, Riemann 多様体の類似が定義できるべきである。 それに対するアプローチとしては, 作用素環によるものと, 代数的なものがある。

Lai の [Lai] によると, 作用素環的なアプローチにも2種類ある。 その内1つは, spectral triple を含むものであるが, spectral triple は, Riemann 計量を持つ \(\mathrm {Spin}_c\) 多様体に対応するものである。

• spectral triple

Cantor set のような 変な空間も, 非可換幾何額の枠組みでは多様体のように扱えるようで興味深い。Pearson と Bellissard は [PB] で, ultrametric Cantor set に対し, spectral triple を構成している。

Spectral triple の変換群を考えることも行なわれている。

• spectral triple の quantum isometry group

代数的なアプローチは, Woronowicz の [Wor89] が起源なのだろうか。Woronowicz は quantum group 上で微分幾何学の類似を行なうために covariant differential calculus を導入している。これは Hopf algebra 上の differential calculus であるが, commutative algebra 上の differential calculus 自体は, Grothendieck による。

• commutative differential calculus
• noncommutative differential calculus
• covariant differential calculus over Hopf algebra

大雑把に言えば, de Rham complex を bimodule の category の monoid object で微分を持つものにしたものを differential calculus という。定義は, 例えば [BGL20] にある。

可換環の場合の類似が成り立たない, もしくは大きく修正しなければならない場合も, もちろん, 多い。例えば, 可換環の場合は vector field は derivation と同一視できたが, 非可換の場合は Ginzburg [Gin] が言うように, double derivation というものを考えなければならないようである。

• derivation と vector field
• double derivation

また, Barnes と Schenkel と Szabo の [BSS15] の §1.1 に書いてあるように, connection についても, bimodule connection というものを考えないといけないようである。

• bimodule connection [Mou95; DM96; Dub01]

具体的な多様体の非可換版と呼ぶべきものもいろいろ発見されている。

• 非可換多様体の例

Eli Hawkins は, [Haw04; Haw07] で多様体の noncommutative deformation が存在するための条件について考察している。

Kontsevich と Soibelman の [KS09] では, \(A_{\infty }\)-algebra を “noncommutative formal graded pointed manifold equipped with a homological vector field” として扱っている。 \(A_{\infty }\)-algebra や \(A_{\infty }\)-category の代数的な性質と, noncommutative formal graded manifold の間の辞書を作ろうという試みで興味深い。

このような homotopy algebra を用いて, 多様体上の微積分を非可換化しようという試みには, Dolgushev と Tamarkin と Tsygan の [DTT; DTT09; DTT11] などがある。彼等は noncommutative calculus と呼んでいる。

物理学では, 非可換化は量子化に現われる。 数学的にも様々な quatization の概念が導入されているが, 幾何学やトポロジーの分野では symplectic 多様体の deformation quatization が挙げられるだろう。

Symplectic 多様体の deformation quantization と非可換幾何学の関係については, [Dol05] などがある。 Crawley-Boevey と Etingof と Ginzburg の [CEG07] によると Symplectic geometry の非可換化は, Kontsevich [Kon93] により始められたらしいが。 また, [BL02; Gin01] などの研究もあるらしい。

代数幾何を非可換化しようという試みもあるが, 代数多様体と可微分多様体の中間にある analytic manifold の非可換化も重要である。Non-archimedean field の上の analytic manifold に対して, その非可換版の例が Soibelman の [Soi09] にある。Complex analytic manifold の非可換化については, Schuhmacher が [Sch] で考えている。

非可換多様体の内, 最も良く研究されているのは, noncommutative torus だろう。 Kajiura は [Kaj07] で noncommutative torus 上の holomorphic line bundle の圏の記述を求めている。また [Kaj06] では, noncommutative torus を用いて theta 関数の非可換化を考えている。

Landi と van Suijlekom の非可換ゲージ理論の試み [LS08] でも noncommutative torus を扱っている。

Connes と Tretkoff [CT11] や Zadeh と Khalkhali [FK12] は, zeta関数を用いて, \(2\)次元 noncommutative torus に対する Gauss-Bonnet の定理を得ている。その計算は, とても読む気になる代物ではないが。

可換性を弱めるだけでなく結合性も弱め, noncommutative nonassociative algebra を考えている人もいる。Barnes と Schenkel と Szabo の [BSS15; BSS16] など。

• nonassociative geometry

References

[BGL20]

Jyotishman Bhowmick, Debashish Goswami, and Giovanni Landi. “Levi-Civita connections and vector fields for noncommutative differential calculi”. In: Internat. J. Math. 31.8 (2020), pp. 2050065, 23. arXiv: 2001.01545. url: https://doi.org/10.1142/S0129167X20500652.

[BL02]

Raf Bocklandt and Lieven Le Bruyn. “Necklace Lie algebras and noncommutative symplectic geometry”. In: Math. Z. 240.1 (2002), pp. 141–167. url: http://dx.doi.org/10.1007/s002090100366.

[BSS15]

Gwendolyn E. Barnes, Alexander Schenkel, and Richard J. Szabo. “Nonassociative geometry in quasi-Hopf representation categories I: Bimodules and their internal homomorphisms”. In: J. Geom. Phys. 89 (2015), pp. 111–152. arXiv: 1409.6331. url: https://doi.org/10.1016/j.geomphys.2014.12.005.

[BSS16]

Gwendolyn E. Barnes, Alexander Schenkel, and Richard J. Szabo. “Nonassociative geometry in quasi-Hopf representation categories II: Connections and curvature”. In: J. Geom. Phys. 106 (2016), pp. 234–255. arXiv: 1507.02792. url: https://doi.org/10.1016/j.geomphys.2016.04.005.

[CEG07]

William Crawley-Boevey, Pavel Etingof, and Victor Ginzburg. “Noncommutative geometry and quiver algebras”. In: Adv. Math. 209.1 (2007), pp. 274–336. arXiv: math/0502301. url: http://dx.doi.org/10.1016/j.aim.2006.05.004.

[CT11]

Alain Connes and Paula Tretkoff. “The Gauss-Bonnet theorem for the noncommutative two torus”. In: Noncommutative geometry, arithmetic, and related topics. Johns Hopkins Univ. Press, Baltimore, MD, 2011, pp. 141–158. arXiv: 0910.0188.

[DM96]

Michel Dubois-Violette and Thierry Masson. “On the first-order operators in bimodules”. In: Lett. Math. Phys. 37.4 (1996), pp. 467–474. arXiv: q-alg/9507028. url: https://doi.org/10.1007/BF00312677.

[Dol05]

V. A. Dolgushev. “Hochschild cohomology versus de Rham cohomology without formality theorems”. In: Int. Math. Res. Not. 21 (2005), pp. 1277–1305. arXiv: math/0405177. url: http://dx.doi.org/10.1155/IMRN.2005.1277.

[DTT]

Vasiliy Dolgushev, Dmitry Tamarkin, and Boris Tsygan. Formality of the homotopy calculus algebra of Hochschild (co)chains. arXiv: 0807.5117.

[DTT09]

Vasiliy Dolgushev, Dmitry Tamarkin, and Boris Tsygan. “Formality theorems for Hochschild complexes and their applications”. In: Lett. Math. Phys. 90.1-3 (2009), pp. 103–136. arXiv: 0901.0069. url: https://doi.org/10.1007/s11005-009-0350-3.

[DTT11]

V. A. Dolgushev, D. E. Tamarkin, and B. L. Tsygan. “Noncommutative calculus and the Gauss-Manin connection”. In: Higher structures in geometry and physics. Vol. 287. Progr. Math. Birkhäuser/Springer, New York, 2011, pp. 139–158. arXiv: 0902.2202. url: https://doi.org/10.1007/978-0-8176-4735-3_7.

[Dub01]

Michel Dubois-Violette. “Lectures on graded differential algebras and noncommutative geometry”. In: Noncommutative differential geometry and its applications to physics (Shonan, 1999). Vol. 23. Math. Phys. Stud. Kluwer Acad. Publ., Dordrecht, 2001, pp. 245–306. arXiv: math/9912017.

[FK12]

Farzad Fathizadeh and Masoud Khalkhali. “The Gauss-Bonnet theorem for noncommutative two tori with a general conformal structure”. In: J. Noncommut. Geom. 6.3 (2012), pp. 457–480. arXiv: 1005.4947. url: https://doi.org/10.4171/JNCG/97.

[Gin]

Victor Ginzburg. Double derivations and Cyclic homology. arXiv: math/0505236.

[Gin01]

Victor Ginzburg. “Non-commutative symplectic geometry, quiver varieties, and operads”. In: Math. Res. Lett. 8.3 (2001), pp. 377–400.

[Haw04]

Eli Hawkins. “Noncommutative rigidity”. In: Comm. Math. Phys. 246.2 (2004), pp. 211–235. arXiv: math/0211203. url: http://dx.doi.org/10.1007/s00220-004-1036-4.

[Haw07]

Eli Hawkins. “The structure of noncommutative deformations”. In: J. Differential Geom. 77.3 (2007), pp. 385–424. arXiv: math/0504232. url: http://projecteuclid.org/euclid.jdg/1193074900.

[Kaj06]

Hiroshige Kajiura. “Star product formula of theta functions”. In: Lett. Math. Phys. 75.3 (2006), pp. 279–292. arXiv: math/0510307. url: http://dx.doi.org/10.1007/s11005-006-0051-0.

[Kaj07]

Hiroshige Kajiura. “Categories of holomorphic line bundles on higher dimensional noncommutative complex tori”. In: J. Math. Phys. 48.5 (2007), pp. 053517, 23. arXiv: hep-th/0510119. url: http://dx.doi.org/10.1063/1.2719564.

[Kon93]

Maxim Kontsevich. “Formal (non)commutative symplectic geometry”. In: The Gel\('\) fand Mathematical Seminars, 1990–1992. Boston, MA: Birkhäuser Boston, 1993, pp. 173–187.

[KS09]

M. Kontsevich and Y. Soibelman. “Notes on \(A_{\infty }\)-algebras, \(A_{\infty }\)-categories and non-commutative geometry”. In: Homological mirror symmetry. Vol. 757. Lecture Notes in Phys. Berlin: Springer, 2009, pp. 153–219. arXiv: math/0606241.

[Lai]

Alan Lai. On Type II noncommutative geometry and the JLO character. arXiv: 1003.4226.

[LS08]

Giovanni Landi and Walter D. van Suijlekom. “Noncommutative bundles and instantons in Tehran”. In: An invitation to noncommutative geometry. World Sci. Publ., Hackensack, NJ, 2008, pp. 275–353. arXiv: hep-th/0603053. url: http://dx.doi.org/10.1142/9789812814333_0004.

[Mou95]

J. Mourad. “Linear connections in non-commutative geometry”. In: Classical Quantum Gravity 12.4 (1995), pp. 965–974. arXiv: hep-th/9410201. url: http://stacks.iop.org/0264-9381/12/965.

[MS06]

Varghese Mathai and Danny Stevenson. “On a generalized Connes-Hochschild-Kostant-Rosenberg theorem”. In: Adv. Math. 200.2 (2006), pp. 303–335. arXiv: math/0404329. url: https://doi.org/10.1016/j.aim.2004.11.006.

[NT99]

Ryszard Nest and Boris Tsygan. “On the cohomology ring of an algebra”. In: Advances in geometry. Vol. 172. Progr. Math. Boston, MA: Birkhäuser Boston, 1999, pp. 337–370. arXiv: math/9803132.

[PB]

John Pearson and Jean Bellissard. Noncommutative Riemannian Geometry and Diffusion on Ultrametric Cantor Sets. arXiv: 0802.1336.

[Sch]

Frank Schuhmacher. Noncommutative complex analytic spaces. arXiv: math/0606150.

[Soi09]

Y. Soibelman. “On non-commutative analytic spaces over non-Archimedean fields”. In: Homological mirror symmetry. Vol. 757. Lecture Notes in Phys. Berlin: Springer, 2009, pp. 221–247. arXiv: math/0606001.

[Wor89]

S. L. Woronowicz. “Differential calculus on compact matrix pseudogroups (quantum groups)”. In: Comm. Math. Phys. 122.1 (1989), pp. 125–170. url: http://projecteuclid.org/euclid.cmp/1104178320.