代数的構造の deformatioin theory の始まりは, Gerstenhaber の [Ger64] だろうか。そこには deformation
theory について 4つの条件が書いてある。その中に, 代数的トポロジーと関係の深い条件として formal deformation やその
integrability の obstruction などが, 適当なコホモロジー論で記述できるというものがある。Gerstenhaber の調べた
associative algebra の deformation theory では, Hochschild cohomology がその
cohomology theory である。 Gerstenhaber は, [Ger63] で調べた associative algebra の
Hochschild cohomology の持つ構造が deformation theory と関係していることを示した。
このような algebra の deformation theory ついての簡潔にまとまった解説としては, Doubek とMarkl と
Zima の [DMZ07] や Giaquinto の [Gia11] がある。 Moduli space を中心に書かれた解説としては,
Hartshorne の lecture note がある。
Giaquinto の survey によると, 現在の代数的構造の deformation theory の起源は, Frölicher と
Nijenhuis [FN57] や Kodaira と Spencer の [KS58; KS60] あたりのようである。
そして, Nijenhuis は Richardson と共に [NR66; NR67] 代数的構造の deformation の dg Lie
algebra や類似の構造による記述を与えている。現在では, この視点が一般的だと思うが, Schlessinger と Stasheff [SS]
によると, このことを Goldman と Millson への手紙で指摘したのは Deligne らしい。
現代的には, Lurie [Lura] と Pridham [Pri10] のように \((\infty ,1)\)-category の言葉を使うべきだろうか。彼等は, 標数 \(0\)
の体上では, formal deformation problem の成す \((\infty ,1)\)-category と dg Lie algebra の成す \((\infty ,1)\)-category
が同値であるということを示している。
それを任意標数に拡張することは, Brantner と Mathew [BM] により行なわれている。そのために, partition Lie
algebra を導入している。
Algebra の deformation theory の relative 版が morphism の deformation theory,
より一般に algebra の diagram の deformation theory である。 Gerstenhaber と Schack の [GS83;
GS85; GS88] といった仕事がある。
Algebra の deformation theory の dual として coalgebra の deformation theory
も考えられる。これについても, Gerstenhaber と Schack が [GS92] で調べている。その relative version を
Donald Yau [Yau07] が考えている。もちろん bialgebra や Hopf algebra の deformation theory
も考えられている。 [GS90; MS94; Car+08] などである。
Yau は, [Yau08] で Loday の定義した dialgebra の deformation theory を展開している。
各種ホモロジー代数的構成の類似が spectrum の category でできるようになったので, deformation
theory を structured ring spectrum に拡張しようというのは自然なアイデアである。 実際, \(E_{\infty }\)-ring
spectrum の deformation theory は, Lurie の Higher Algebra [Lurb] の §7.4
にある。
Herscovich と Solotar と Suárez-Álvarez の [HSS14] によると, 他のアプローチとして, Berger と
Ginzburg [BG06] の PBW deformation や weak PBW deformation というものがあるらしい。彼等は,
それと Gerstenhaber の deformation theory との関係を調べている。
References
-
[BG06]
-
Roland Berger and Victor Ginzburg. “Higher symplectic reflection
algebras and non-homogeneous \(N\)-Koszul property”. In:
J. Algebra 304.1 (2006), pp. 577–601. arXiv: math/0506093. url:
http://dx.doi.org/10.1016/j.jalgebra.2006.03.011.
-
[BM]
-
Lukas Brantner and Akhil Mathew. Deformation Theory and
Partition Lie Algebras. arXiv: 1904.07352.
-
[Car+08]
-
J. Scott Carter, Alissa S. Crans, Mohamed Elhamdadi, and
Masahico Saito. “Cohomology of the adjoint of Hopf algebras”. In:
J. Gen. Lie Theory Appl. 2.1 (2008), pp. 19–34. arXiv: 0705.3231.
url: https://doi.org/10.4303/jglta/S070102.
-
[DMZ07]
-
M. Doubek, M. Markl, and P. Zima. “Deformation theory (lecture
notes)”. In: Arch. Math. (Brno) 43.5 (2007), pp. 333–371. arXiv:
0705.3719.
-
[FN57]
-
Alfred Frölicher and Albert Nijenhuis. “A theorem on stability of
complex structures”. In: Proc. Nat. Acad. Sci. U.S.A. 43 (1957),
pp. 239–241.
-
[Ger63]
-
Murray Gerstenhaber. “The cohomology structure of an associative
ring”. In: Ann. of Math. (2) 78 (1963), pp. 267–288. url:
https://doi.org/10.2307/1970343.
-
[Ger64]
-
Murray Gerstenhaber. “On the deformation of rings and
algebras”. In: Ann. of Math. (2) 79 (1964), pp. 59–103. url:
https://doi.org/10.2307/1970484.
-
[Gia11]
-
Anthony Giaquinto. “Topics in algebraic deformation theory”. In:
Higher structures in geometry and physics. Vol. 287. Progr. Math.
Birkhäuser/Springer, New York, 2011, pp. 1–24. arXiv: 1011.1299.
url: https://doi.org/10.1007/978-0-8176-4735-3_1.
-
[GS83]
-
M. Gerstenhaber and S. D. Schack. “On the deformation of algebra
morphisms and diagrams”. In: Trans. Amer. Math. Soc. 279.1 (1983),
pp. 1–50. url: http://dx.doi.org/10.2307/1999369.
-
[GS85]
-
Murray Gerstenhaber and Samuel D. Schack. “On the cohomology
of an algebra morphism”. In: J. Algebra 95.1 (1985), pp. 245–262.
url: http://dx.doi.org/10.1016/0021-8693(85)90104-8.
-
[GS88]
-
Murray Gerstenhaber and Samuel D. Schack. “Sometimes \(H^1\)
is \(H^2\) and discrete groups deform”. In: Geometry of group
representations (Boulder, CO, 1987). Vol. 74. Contemp. Math.
Providence, RI: Amer. Math. Soc., 1988, pp. 149–168. url:
http://dx.doi.org/10.1090/conm/074/957517.
-
[GS90]
-
Murray Gerstenhaber and Samuel D.
Schack. “Bialgebra cohomology, deformations, and quantum groups”.
In: Proc. Nat. Acad. Sci. U.S.A. 87.1 (1990), pp. 478–481. url:
http://dx.doi.org/10.1073/pnas.87.1.478.
-
[GS92]
-
Murray Gerstenhaber
and Samuel D. Schack. “Algebras, bialgebras, quantum groups, and
algebraic deformations”. In: Deformation theory and quantum groups
with applications to mathematical physics (Amherst, MA, 1990).
Vol. 134. Contemp. Math. Providence, RI: Amer. Math. Soc., 1992,
pp. 51–92. url: http://dx.doi.org/10.1090/conm/134/1187279.
-
[HSS14]
-
Estanislao Herscovich, Andrea Solotar, and Mariano Suárez-Álvarez.
“PBW-deformations and deformations à la Gerstenhaber of \(N\)-Koszul
algebras”. In: J. Noncommut. Geom. 8.2 (2014), pp. 505–539. arXiv:
1105.0211. url: https://doi.org/10.4171/JNCG/163.
-
[KS58]
-
K. Kodaira and D. C. Spencer. “On deformations of complex
analytic structures. I, II”. In: Ann. of Math. (2) 67 (1958),
pp. 328–466. url: https://doi.org/10.2307/1970009.
-
[KS60]
-
K. Kodaira and D. C. Spencer. “On
deformations of complex analytic structures. III. Stability theorems
for complex structures”. In: Ann. of Math. (2) 71 (1960), pp. 43–76.
url: https://doi.org/10.2307/1969879.
-
[Lura]
-
Jacob
Lurie. Derived Algebraic Geometry X: Formal Moduli Problems. url:
https://www.math.ias.edu/~lurie/papers/DAG-X.pdf.
-
[Lurb]
-
Jacob Lurie. Higher Algebra. url:
https://www.math.ias.edu/~lurie/papers/HA.pdf.
-
[MS94]
-
Martin Markl and James D. Stasheff. “Deformation theory
via deviations”. In: J. Algebra 170.1 (1994), pp. 122–155. url:
http://dx.doi.org/10.1006/jabr.1994.1331.
-
[NR66]
-
Albert Nijenhuis and R. W. Richardson Jr. “Cohomology and
deformations in graded Lie algebras”. In: Bull. Amer. Math. Soc. 72
(1966), pp. 1–29.
-
[NR67]
-
Albert Nijenhuis and R. W. Richardson Jr. “Deformations of
homomorphisms of Lie groups and Lie algebras”. In: Bull. Amer.
Math. Soc. 73 (1967), pp. 175–179.
-
[Pri10]
-
J. P. Pridham. “Unifying derived deformation theories”. In:
Adv. Math. 224.3 (2010), pp. 772–826. arXiv: 0705.0344. url:
https://doi.org/10.1016/j.aim.2009.12.009.
-
[SS]
-
Mike Schlessinger and Jim Stasheff. Deformation theory and rational
homotopy type. arXiv: 1211.1647.
-
[Yau07]
-
Donald Yau. “Deformations of coalgebra morphisms”. In: J.
Algebra 307.1 (2007), pp. 106–115. arXiv: math/0602173. url:
https://doi.org/10.1016/j.jalgebra.2006.02.003.
-
[Yau08]
-
Donald Yau. “Deformation theory of dialgebra morphisms”. In:
Algebra Colloq. 15.2 (2008), pp. 279–292. arXiv: math/0604404.
url: https://doi.org/10.1142/S1005386708000254.
|