Toric Variety

代数的なトーラス, つまり \((\mathbb{C}^{\times })^{n}\), の作用を持つ代数多様体が興味深い研究対象であることが分かってきたのは, 1970年代の最初のことらしい。 多面体の組み合せ論など, 予想外の分野との関連が次々に分ってきた。 その後, そのトポロジー版も盛んに研究されている。

解説としては次のようなものがある:

Ewald の本は, 前半で凸多面体の組み合せ論が解説してあり, 読み易い。

Toric variety と fan の対応を, toric stack と stacky fan の \(2\)-category の間の同値に拡張したのは, Iwanari の [Iwa09] である。この toric stack は Borisov と Chen と Smith により [BCS05] で導入されたもので, その coarse moduli space (object の同型類) が toric variety となるものである。

  • toric stack
  • stacky fan

凸多面体 \(P\) から, projective toric variety \(X_P\) が作られるが, その intersection cohomology は \(P\) に関する重要な情報を含んでいる。また \(X_P\) を経由せず, 直接 “combinatorial intersection cohomology” を作ることができる。 Barthel と Brasselet と Fieseler と Kaup [Bar+d; Bar+c] や Bressler と Lunts [BL03], そして Karu の [Kar] で定義されたものである。その後, [Bar+b; Bar+a] といった結果がある。また, Braden の [Bra06] という解説がある。Braden と MacPherson の [BM01] では, moment graph という, 辺がベクトルでラベルづけられたグラフ上の sheaf が用いられている。

また, グラフからも toric variety が作られる。Sturmfels と Sullivant の [SS08] で定義されたのが最初なのだろうか。 系統樹と関係があるようで興味深い。

Torus equivariant cohomology は subspace arrangementとも関係があるようで興味深い。 Goresky と MacPherson の [GM10] や [Bra+11] など。

Toric variety の quantum cohomology については, Batyrev が [Bat93] で調べている。もちろん, 数理物理との関係では, toric variety の mirror symmetry も活発に研究されている話題である。その関連で, Borisov は [Bor05]でhigher Stanley-Reisner 環というものを定義している。

Bahri と Bendersky は, [BB00] で toric variety の \(\mathrm{KO}\)-theory を計算している。 Scheme としての algebraic \(K\)-theory については, Au と Huang と Walker の [AHW09] がある。

Real toric variety の 基本群については, Uma が [Uma04] で調べている。

Toric variety の hyperkähler もしくは quaternionic analogue として hypertoric variety というものも考えられている。Proudfoot の解説 [Pro08] がある。

代数群の代数多様体への作用を考えるときには, その quotient として geometric invariant theory (GIT) による quotient が考えられる。Toric variety と geometric invariant theory との関連については, Proudfoot の解説 [Pro05] がある。GIT quotient の構成には, 代数群の作用だけでなく ample line bundle も必要である。異なる ample line bundle を選べば別の quotient ができる。複素数体上では, cotangent bundle 上の moment map を用いた symplectic quotient も考えることができる。Proudfoot は [Pro11] でそれらの quotient の関係を調べている。

Mikhalkin は, [Mik05] で toric surface 上の curve の数え上げ (Gromov-Witten invarinat) に 関する公式を求めているが, それに tropical geometry が使われている点が興味深い。Mikhalkin は Madrid の ICM 2006 の Proceedings に概説 [Mik06] を書いている。

López Peña と Lorscheid は [LL11] で torus への分解を持つものを torified variety として定義している。Toric variety を含むだけでなく, “\(1\)個の元から成る体”との関係からも興味深い。

  • torified variety

References

[AHW09]

Suanne Au, Mu-wan Huang, and Mark E. Walker. “The equivariant \(K\)-theory of toric varieties”. In: J. Pure Appl. Algebra 213.5 (2009), pp. 840–845. arXiv: 0809.3378. url: http://dx.doi.org/10.1016/j.jpaa.2008.10.010.

[Bar+a]

G. Barthel, J. -P-Brasselet, K. -H. Fieseler, and L. Kaup. Hodge-Riemann Relations for Polytopes: A Geometric Approach. arXiv: math/0602411.

[Bar+b]

Gottfried Barthel, Jean-Paul Brasselet, Karl-Heinz Fieseler, and Ludger Kaup. Combinatorial Duality and Intersection Product: A Direct Approach. arXiv: math/0309352.

[Bar+c]

Gottfried Barthel, Jean-Paul Brasselet, Karl-Heinz Fieseler, and Ludger Kaup. Combinatorial Intersection Cohomology for Fans. arXiv: math/0002181.

[Bar+d]

Gottfried Barthel, Jean-Paul Brasselet, Karl-Heinz Fieseler, and Ludger Kaup. Equivariant Intersection Cohomology of Toric Varieties. arXiv: math/9904159.

[Bat93]

Victor V. Batyrev. “Quantum cohomology rings of toric manifolds”. In: Astérisque 218 (1993). Journées de Géométrie Algébrique d’Orsay (Orsay, 1992), pp. 9–34. arXiv: alg-geom/9310004.

[BB00]

Anthony Bahri and Martin Bendersky. “The \(K\mathrm{O}\)-theory of toric manifolds”. In: Trans. Amer. Math. Soc. 352.3 (2000), pp. 1191–1202. arXiv: math/9904087. url: http://dx.doi.org/10.1090/S0002-9947-99-02314-4.

[BCS05]

Lev A. Borisov, Linda Chen, and Gregory G. Smith. “The orbifold Chow ring of toric Deligne-Mumford stacks”. In: J. Amer. Math. Soc. 18.1 (2005), 193–215 (electronic). arXiv: math/0309229. url: http://dx.doi.org/10.1090/S0894-0347-04-00471-0.

[BL03]

Paul Bressler and Valery A. Lunts. “Intersection cohomology on nonrational polytopes”. In: Compositio Math. 135.3 (2003), pp. 245–278. arXiv: math/0002006. url: http://dx.doi.org/10.1023/A:1022232232018.

[BM01]

Tom Braden and Robert MacPherson. “From moment graphs to intersection cohomology”. In: Math. Ann. 321.3 (2001), pp. 533–551. arXiv: math/0008200. url: http://dx.doi.org/10.1007/s002080100232.

[Bor05]

Lev A. Borisov. “Higher-Stanley-Reisner rings and toric residues”. In: Compos. Math. 141.1 (2005), pp. 161–174. arXiv: math/0306307. url: http://dx.doi.org/10.1112/S0010437X04000831.

[Bra+11]

Tom Braden, Anthony Licata, Christopher Phan, Nicholas Proudfoot, and Ben Webster. “Localization algebras and deformations of Koszul algebras”. In: Selecta Math. (N.S.) 17.3 (2011), pp. 533–572. arXiv: 0905.1335. url: http://dx.doi.org/10.1007/s00029-011-0058-y.

[Bra06]

Tom Braden. “Remarks on the combinatorial intersection cohomology of fans”. In: Pure Appl. Math. Q. 2.4, part 2 (2006), pp. 1149–1186. arXiv: math/0511488.

[Cox97]

David A. Cox. “Recent developments in toric geometry”. In: Algebraic geometry—Santa Cruz 1995. Vol. 62. Proc. Sympos. Pure Math. Providence, RI: Amer. Math. Soc., 1997, pp. 389–436.

[Dan78]

V. I. Danilov. “The geometry of toric varieties”. In: Uspekhi Mat. Nauk 33.2(200) (1978), pp. 85–134, 247.

[Ewa96]

Günter Ewald. Combinatorial convexity and algebraic geometry. Vol. 168. Graduate Texts in Mathematics. New York: Springer-Verlag, 1996, pp. xiv+372. isbn: 0-387-94755-8.

[Ful93]

William Fulton. Introduction to toric varieties. Vol. 131. Annals of Mathematics Studies. The William H. Roever Lectures in Geometry. Princeton, NJ: Princeton University Press, 1993, pp. xii+157. isbn: 0-691-00049-2.

[GM10]

Mark Goresky and Robert MacPherson. “On the spectrum of the equivariant cohomology ring”. In: Canad. J. Math. 62.2 (2010), pp. 262–283. url: https://doi.org/10.4153/CJM-2010-016-4.

[Iwa09]

Isamu Iwanari. “The category of toric stacks”. In: Compos. Math. 145.3 (2009), pp. 718–746. arXiv: math/0610548. url: http://dx.doi.org/10.1112/S0010437X09003911.

[Kar]

Kalle Karu. Hard Lefschetz Theorem for Nonrational Polytopes. arXiv: math/0112087.

[LL11]

Javier López Peña and Oliver Lorscheid. “Torified varieties and their geometries over \(\F _1\)”. In: Math. Z. 267.3-4 (2011), pp. 605–643. arXiv: 0903.2173. url: http://dx.doi.org/10.1007/s00209-009-0638-0.

[Mik05]

Grigory Mikhalkin. “Enumerative tropical algebraic geometry in \(\R ^2\)”. In: J. Amer. Math. Soc. 18.2 (2005), pp. 313–377. arXiv: math/0312530. url: http://dx.doi.org/10.1090/S0894-0347-05-00477-7.

[Mik06]

Grigory Mikhalkin. “Tropical geometry and its applications”. In: International Congress of Mathematicians. Vol. II. Eur. Math. Soc., Zürich, 2006, pp. 827–852. arXiv: math/0601041.

[Oda88]

Tadao Oda. Convex bodies and algebraic geometry. Vol. 15. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]. An introduction to the theory of toric varieties, Translated from the Japanese. Berlin: Springer-Verlag, 1988, pp. viii+212. isbn: 3-540-17600-4.

[Pro05]

Nicholas Proudfoot. “Geometric invariant theory and projective toric varieties”. In: Snowbird lectures in algebraic geometry. Vol. 388. Contemp. Math. Amer. Math. Soc., Providence, RI, 2005, pp. 161–167. arXiv: math/0502366. url: https://doi.org/10.1090/conm/388/07263.

[Pro08]

Nicholas J. Proudfoot. “A survey of hypertoric geometry and topology”. In: Toric topology. Vol. 460. Contemp. Math. Amer. Math. Soc., Providence, RI, 2008, pp. 323–338. arXiv: 0705.4236. url: https://doi.org/10.1090/conm/460/09027.

[Pro11]

Nicholas Proudfoot. “All the GIT quotients at once”. In: Trans. Amer. Math. Soc. 363.4 (2011), pp. 1687–1698. arXiv: math/0510055. url: https://doi.org/10.1090/S0002-9947-2010-05483-2.

[SS08]

Bernd Sturmfels and Seth Sullivant. “Toric geometry of cuts and splits”. In: Michigan Math. J. 57 (2008). Special volume in honor of Melvin Hochster, pp. 689–709. arXiv: math/0606683. url: http://dx.doi.org/10.1307/mmj/1220879432.

[Uma04]

V. Uma. “On the fundamental group of real toric varieties”. In: Proc. Indian Acad. Sci. Math. Sci. 114.1 (2004), pp. 15–31. arXiv: math/0607663. url: http://dx.doi.org/10.1007/BF02829668.