[论文解读] Every curve is a Teichm ¨ uller curve

Jordan S. Ellenberg, D. B. McReynolds|arXiv (Cornell University)|Sep 10, 2009

Geometric and Algebraic Topology参考文献 19被引用 4

一句话总结

本文证明了每个定义在有理数域上的代数曲线，都与某个阿贝尔曲面在复数域上双有理等价，从而在代数几何与阿贝尔曲面动力系统之间建立了深刻联系。该结果表明，所有此类曲线均可作为具有维施群对称性的平坦曲面的参数空间出现，完成了对早期关于阿贝尔曲面具有算术模型结果的逆向结论。

ABSTRACT

AbstractWe prove that every algebraic curve X/Q is birational over C to a Teichmu¨ller curve. keywords: algebraic curve, mapping class group, Teichmuller curve, Veech group¨ .MSC code: 32G15, 37D40. 1 Introduction Write M g,[n] for the moduli space of genus g Riemann surfaces with n (unordered) punctures. A Teichmuller¨curve is a holomorphic curve f : V →M g,[n] such that f generically one-to-one and is a local isometry ofKobayashi metrics. These special immersed curves in M g,[n] have garnered interest for some time (especiallyin the unpunctured case n =0) and are central objects in both Teichmu¨ller and Grothendieck–Teichmu¨llertheory. Additionally, these curves and the Riemann surfaces they parameterize have ties to the dynamicsof polygonal billiards (see for instance [12], [15], [17], and [21]). McMullen proved [18] that every Te-ichmu¨ller curve has a model as an algebraic curve over Q (see also [15] and [21]). The main purpose of thisarticle is to prove the converse.Theorem 1.1. If X/Q is an algebraic curve, then there exists a Teichmuller curve V birational to X¨

研究动机与目标

• 建立每个定义在 ℚ 上的代数曲线均可通过双有理等价实现为阿贝尔曲面。
• 解决麦克马伦定理的逆命题，该定理曾表明阿贝尔曲面定义在 ℚ 上。
• 深化对代数曲线、阿贝尔曲面理论与平坦曲面动力系统之间相互作用的理解。
• 证明黎曼曲面的模空间包含所有代数曲线作为阿贝尔曲面的双有理像。

提出的方法

• 利用阿贝尔曲面理论及其关联的维施群，构造代数曲线的几何实现。
• 应用阿贝尔曲面理论及映射类群在黎曼曲面模空间上的作用结果。
• 构造从曲线 X 到模空间 M_{g,[n]} 的全纯且几乎处处单射的映射，该映射在 Kobayashi 度量下为局部等距。
• 利用阿贝尔曲面在 Kobayashi 度量下为局部等距的性质，确保其几何刚性。
• 利用维施群的算术性及算术模型的存在性，确保曲线定义在 ℚ 上。
• 通过几何与动力系统构造，建立给定曲线 X/ℚ 与阿贝尔曲面之间的双有理等价关系。

实验结果

研究问题

• RQ1 每个定义在 ℚ 上的代数曲线是否都能通过双有理等价实现为阿贝尔曲面？
• RQ2 映射类群与从任意代数曲线构造阿贝尔曲面之间的关系是什么？
• RQ3 维施群与平坦曲面结构如何与代数曲线的算术性质相关联？
• RQ4 阿贝尔曲面在多大程度上参数化了所有定义在 ℚ 上的代数曲线？
• RQ5 在 M_{g,[n]} 中，何种条件可确保一条曲线为阿贝尔曲面（即在 Kobayashi 度量下为局部等距）？

主要发现

• 每个定义在 ℚ 上的代数曲线 X，都与某个阿贝尔曲面在 ℂ 上双有理等价，确认了早期关于阿贝尔曲面算术性结果的逆命题。
• 该构造确保阿贝尔曲面是模空间 M_{g,[n]} 中的全纯、几乎处处单射映射，且在 Kobayashi 度量下具有局部等距性质。
• 所得阿贝尔曲面的维施群与映射类群是共轭的，反映出深刻的算术与几何结构。
• 阿贝尔曲面作为阿贝尔曲面空间关于维施群的商空间，通过平坦曲面结构将曲线嵌入模空间。
• 该结果在双有理等价意义下建立了 ℚ 上代数曲线与模空间中阿贝尔曲面之间的完全对应关系。
• 证明依赖于算术阿贝尔曲面的存在性及其在模空间中的稠密嵌入，从而实现所需双有理映射的构造。