モジュライ空間の幾何学

モジュライ空間とは, 何なんのだろうか? 私のイメージでは, ある幾何学的対象の集合に幾何学的構造を定義し, 「空間」にしたものを, モジュライ空間と呼ぶことが多いように思う。

もっとも簡単なのは, \(0\)次元の部分対象, つまり点を集めてきたものであり, 例えば 代数幾何学では, 点の Hilbert scheme と呼ばれるものを考えたりする。 トポロジーで広く使われる 点の配置空間も, moduli space の一種と思っていいだろう。 他にも様々なものの配置の成す空間が考えられている。

• Hilbert scheme
• 配置の成す空間

\(1\)次元のものでは, 代数曲線 ( Riemann面) の moduli が, 様々な分野で現れる重要な研究対象である。

• 代数曲線や Riemann面の moduli

他に代数幾何学で登場するものとしては, vector bundle や sheaf の moduli space などがある。

• moduli spaces of vector bundles and sheaves

「空間」を構成することが難しい場合には, 一般化された空間の概念を使う必要がある。 よく使われるのは, stack である。 Deligne-Mumford stack の解説としては, Edidin の [Edi00] がある。

更に, 安定ホモトピー論の道具が使われるようになったことは, 興味深い。例えば Szymik の [Szy] やそこに挙げられている文献を見るとよい。

微分幾何学では, metric の成す moduli space を考える。例えば, Walsh [Wal13] は, positive scalar curvature metric の成す空間のホモトピー型を調べている。

• space of metrics

最近では, 可微分多様体の moduli space も考えられている。 Galatius と Randal-Williams の user’s guide [GR20] を見るとよい。

• moduli spaces of smooth manifolds

代数的トポロジーでは, Goerss と Hopkins の仕事 [GH04] や, Hokins と Miller [Hop02] による \(\mathrm {tmf}\) (topological modular form) の構成や, その Lurie による改良 [Lur09] が有名である。 Lurie による ICM 2010 での講演録 [Lur10] を見るとよい。

他には, unstable \(\mathcal {A}_*\)-coalgebra の実現でも使われている。 Biedermann と Raptis と Stelzer の [BRS17] である。

References

[BRS17]

Georg Biedermann, Georgios Raptis, and Manfred Stelzer. “The realization space of an unstable coalgebra”. In: Astérisque 393 (2017), pp. viii+148. arXiv: 1409.0410.

[Edi00]

Dan Edidin. “Notes on the construction of the moduli space of curves”. In: Recent progress in intersection theory (Bologna, 1997). Trends Math. Birkhäuser Boston, Boston, MA, 2000, pp. 85–113. arXiv: math/9805101.

[GH04]

P. G. Goerss and M. J. Hopkins. “Moduli spaces of commutative ring spectra”. In: Structured ring spectra. Vol. 315. London Math. Soc. Lecture Note Ser. Cambridge: Cambridge Univ. Press, 2004, pp. 151–200. url: http://dx.doi.org/10.1017/CBO9780511529955.009.

[GR20]

Søren Galatius and Oscar Randal-Williams. “Moduli spaces of manifolds: a user’s guide”. In: Handbook of homotopy theory. CRC Press/Chapman Hall Handb. Math. Ser. CRC Press, Boca Raton, FL, [2020] ©2020, pp. 443–485. isbn: 978-0-815-36970-7. arXiv: 1811.08151.

[Hop02]

M. J. Hopkins. “Algebraic topology and modular forms”. In: Proceedings of the International Congress of Mathematicians, Vol. I (Beijing, 2002). Beijing: Higher Ed. Press, 2002, pp. 291–317.

[Lur09]

J. Lurie. “A survey of elliptic cohomology”. In: Algebraic topology. Vol. 4. Abel Symp. Berlin: Springer, 2009, pp. 219–277. url: http://dx.doi.org/10.1007/978-3-642-01200-6_9.

[Lur10]

Jacob Lurie. “Moduli problems for ring spectra”. In: Proceedings of the International Congress of Mathematicians. Volume II. Hindustan Book Agency, New Delhi, 2010, pp. 1099–1125.

[Szy]

Markus Szymik. Brave new local moduli for ordinary K3 surfaces. arXiv: 0908.1880.

[Wal13]

Mark Walsh. “Cobordism invariance of the homotopy type of the space of positive scalar curvature metrics”. In: Proc. Amer. Math. Soc. 141.7 (2013), pp. 2475–2484. arXiv: 1109.6878. url: https://doi.org/10.1090/S0002-9939-2013-11647-3.