ホモトピー論的代数幾何学

代数多様体, より正確には scheme の圏でホモトピー論を行なう, というアイデアが, Grothendieck が motif の理論を考える動機であったようである。

「ホモトピー論代数幾何学」と言う用語があるのかどうか知らないが, ホモトピー論的手法と代数幾何学の融合については, この Grothendieck のアイデアを実現する Voevodsky らの motivic homotopy theory [MV99] の他にも, 可換環の圏を symmetric monoidal model category に一般化して代数幾何学の類似を行うという Lurie や Toën らの仕事がある。より古くは étale homotopy theory もある。

• étale homotopy theory
• Voevodsky の motivic homotopy theory
• Toën, Vezzosi, Lurie らの derived algebraic geometry

可換環の圏を symmetric monoidal model category に取り替えるというアイデアは, ホモロジー代数的構成の spectrum の圏での類似が色々できることから考えても妥当であるし, 興味深い。

また, dg category を scheme 上の quasi-coherent sheaf の成す derived category の類似と考え, dg category のホモトピー論を scheme のホモトピー論の非可換版と考える立場もある。Tabuada [Tab12] によると, このアプローチは Bondal と Kapranov の [BK89; BK90] が 起源のようである。

他にも非可換代数幾何学と呼ばれるものは, 色々ある。

• 非可換代数幾何学

References

[BK89]

A. I. Bondal and M. M. Kapranov. “Representable functors, Serre functors, and reconstructions”. In: Izv. Akad. Nauk SSSR Ser. Mat. 53.6 (1989), pp. 1183–1205, 1337.

[BK90]

A. I. Bondal and M. M. Kapranov. “Framed triangulated categories”. In: Mat. Sb. 181.5 (1990), pp. 669–683.

[MV99]

Fabien Morel and Vladimir Voevodsky. “\(\mathbf{A}^1\)-homotopy theory of schemes”. In: Inst. Hautes Études Sci. Publ. Math. 90 (1999), 45–143 (2001). url: http://www.numdam.org/item?id=PMIHES_1999__90__45_0.

[Tab12]

Gonçalo Tabuada. “A guided tour through the garden of noncommutative motives”. In: Topics in noncommutative geometry. Vol. 16. Clay Math. Proc. Providence, RI: Amer. Math. Soc., 2012, pp. 259–276. arXiv: 1108.3787.