内容简介
黎曼曲面及其模空间的概念由黎曼分别在其博士毕业论文和一篇著名的文章中定义。由于与数学和物理的许多学科联系广泛,黎曼曲面及其模空间得到了深入的研究,并将继续吸引人们的关注。近期热带曲线的研究迅速崛起。热带代数曲线是经典复数域上代数曲线以及黎曼曲面在热带半环上的一种模拟。
《黎曼曲面和热带曲线的模空间导引(英文版)》深入浅出地介绍了以上几个重要数学分支,并且重点强调如代数几何、复几何、双曲几何、拓扑、几何群理论和数学物理等不同学科之间的关联。季理真是美国密歇根大学教授,研究兴趣涉及几何、拓扑和分析领域,以及这些领域之间的联系,喜欢阅读和写作,曾获得Sloan研究奖。
Eduard Looijenga是世界代数几何学家之一,荷兰皇家艺术和科学院院士,现任教于清华大学。
内页插图
目录
前言/序言
analogy with locally symmetric spaces, which by definition are obtained as orbit space of symmetric spaces endowed with an action of an arithmetic group. This analogy, though imperfect, has been very fruitful in the past decades, as it suggested both problems and solutions.
As we mentioned, compact Riemann surfaces can also be regarded as algebraic curves over the complex numbers. In the past few years, there has been an explosion of work on their tropical counterparts, i.e., algebraic curves over the tropical semifield. These have appeared in many unexpected topics and make currently a very active area of study. It turns out that the moduli spaces of tropical curves also fit into the above analogy,in the sense that these are the orbit spaces of tropical Teichmuller spaces by outer automorphism groups of free groups. The outer automorphism groups of free groups are among the most important groups in geometric group theory, and the tropical Teichmuller spaces were studied as spaces of marked metric graphs before the subject of tropical geometry (and its name) existed.
Given the rich history of Riemann surfaces and their moduli spaces, and their generalizations, applications and connections with other subjects, it seems helpful to provide an accessible and timely introduction to all the above topics, while emphasizing the underlying connections. The current book is an attempt towards this goal. It consists of two parts. The first part deals with mapping class groups of surfaces, Teichmuller spaces and their applications to moduli spaces of Riemann surfaces, whereas the second part deals with tropical analogues and some applications in geometric group theory. Though these parts were conceived independently, together they cover both basic and essential results in these subjects as well as some recent developments. Although there exist several works on some of the above topics, we hope and believe that the nature of the subject justifies our offering of our own perspective on this wonderful world.
黎曼曲面与热带曲线模空间导引 深入理解几何、拓扑与代数交织的前沿领域 本书旨在为数学家、几何学家、拓扑学家以及理论物理学家提供一个详尽而严谨的导论,聚焦于黎曼曲面模空间与热带曲线模空间这两个深刻且相互关联的数学结构。全书结构清晰,内容深入,力图在代数几何、复分析、微分拓扑和低维拓扑的交叉地带,为读者搭建一座坚实的桥梁,使其能够掌握这些高级概念的核心思想、重要构造以及它们在现代数学中的应用。 核心主题与内容概述: 本书的叙述遵循从基础概念到前沿研究的逻辑脉络,重点关注模空间的构造、性质以及其拓扑学和几何学特性。 第一部分:黎曼曲面的基础与模空间(The Foundations of Riemann Surfaces and Their Moduli) 这一部分为后续的模空间理论奠定必要的背景。 1. 复流形与黎曼曲面: 深入探讨一维复流形的结构,即黎曼曲面。内容包括局部坐标、全纯结构、复解析函数理论的基础,以及如何将拓扑概念(如亏格、连通分支数)转化为代数和几何属性。重点讨论了均匀化定理(Uniformization Theorem)及其在不同拓扑空间上的应用。 2. 向量丛与线丛: 详细介绍黎曼曲面上的复向量丛,特别是主丛和局部平凡性。重点阐述了典范线丛(Canonical Line Bundles)$K$以及庞加莱对偶(Poincaré Duals)的概念,为理解曲面上如何构造重要的代数不变量做准备。 3. 几何不变式与维数: 介绍黎曼曲面上的基本几何量度,如周长、面积(通过双曲度量衡量)。对于亏格为 $g$ 的曲面,精确计算了其上的微分形式空间 $H^0(X, Omega^1_X)$ 的维度 $g$,以及高阶微分形式空间的维度。引入了德利涅-廷伯格对偶定理(Deligne-Tjurin Duality)在低维情况下的初步应用。 4. 模空间的引入与构造: 严格定义黎曼曲面模空间 $mathcal{M}_{g, n}$($g$ 为亏格,$n$ 为带标记点数)。这一部分将侧重于Teichmüller 空间的引入,作为黎曼曲面局部形变的模空间。讨论 Teichmüller 空间的局部性质,如其上的双曲度量,以及其完备化(Gavin-Barth-Lefschetz 构造)的必要性。 5. 稳定曲线与 Artin 栈: 介绍“模空间”的严格代数几何定义。由于一般的黎曼曲面形变不一定能保持光滑性,本书将详细介绍稳定曲线(Stable Curves)的概念,即那些具有有限自同构的曲线。这导出了 Artin 栈 $overline{mathcal{M}}_{g, n}$ 的构造,它是光滑模空间 $mathcal{M}_{g, n}$ 的光滑完备化。讨论如何利用 Scholze 理论对这些栈进行更精确的分析。 第二部分:热带几何与热带曲线(Tropical Geometry and Tropical Curves) 本部分将完全转向热带几何这一新兴领域,阐明其与经典代数几何的深刻联系。 6. 基础概念与多面体: 介绍热带几何的基石——非阿基米德域(Ultrametric Fields)和精简环(Reduced Rings)的概念。定义热带加法(Max-Plus 代数)和热带乘法。重点讲解多面体理论(Polyhedral Theory)在热带几何中的核心作用,包括凸包和支撑函数。 7. 热带代数曲线的定义: 严格定义热带代数曲线(Tropical Algebraic Curves)。阐述如何通过将代数簇(例如平面曲线)进行“热带化”(Tropicalization)过程得到热带曲线。这一过程通常涉及对坐标环上的指数映射或 $log$ 映射的应用。重点分析热带曲线的骨架(Skeleton)结构。 8. 热带曲线的同构与模空间: 定义热带曲线之间的同构,并将其推广到热带图(Tropical Graphs)的范畴。介绍热带曲线模空间 $mathcal{M}^{ ext{trop}}_d$(其中 $d$ 是曲线的代数度数)的初步构造思路,通常通过分析其对应的极小图(Minimal Graphs)的同构类集合。 9. 模空间中的局部结构: 探讨热带模空间的局部结构,例如如何通过分析热带曲线在特定点的局部逼近来理解整体结构。这涉及到热带化过程中的奇异点处理。 第三部分:黎曼曲面模空间与热带曲线模空间的联系(The Bridge) 本书的后半部分集中于展示两个看似不同的模空间如何通过“度量”和“退化”的理念相互连接。 10. 模空间的退化理论(Degeneration Theory): 详细阐述当黎曼曲面(或更一般的复簇)的结构发生退化时,其模空间中的路径会如何演变。重点讨论 Picard-Lefschetz 理论在模空间中处理“喉部”(Necks)或“细颈”(Fibrations)处的应用,这些退化路径对应于曲面的收缩。 11. 模空间上的热带化映射: 这是全书的核心连接点。引入 Gross-Siebert 理论或相关工作,展示如何从稳定黎曼曲面模空间 $overline{mathcal{M}}_{g, n}$ 上的特定路径或特定向量丛的截面,构造出热带曲线模空间中的相应对象。具体来说,讨论如何通过黎曼面度量对特定模空间上的对象进行渐近分析,从而进入热带几何的框架。 12. 模空间上的不变量: 讨论两个模空间上定义的不变量(如周长、面积、体积形式)之间的关系。例如,如何利用热带曲线的对偶结构来计算黎曼曲面模空间上某些陈类(Chern Classes)或 Weil-Petersson 积分的渐近展开。 13. 应用与展望: 最后,讨论这些模空间在其他数学分支的应用,例如代数 K 理论、弦理论中的界面场论(Interface Field Theory)以及低维拓扑中的三角剖分(Triangulations)与测地流(Geodesic Flow)的联系。 本书的特点: 本书的叙述风格严谨、详尽,对每个关键定义和定理都提供了清晰的背景和动机。它不回避高级数学工具(如栈论、非阿基米德分析),但始终致力于通过直观的几何图像来解释抽象的代数结构。对于希望在黎曼曲面理论与新兴的热带几何之间建立坚实理论基础的读者而言,本书提供了无可替代的深度与广度。
从我过去的研究经历来看,理解模空间并非易事,它往往需要扎实的代数几何和拓扑学基础。我曾经尝试阅读过一些相关的文献,但常常因为概念的跳跃和缺乏清晰的脉络而感到困惑。因此,我非常看重这本书是否能提供一个循序渐进的学习路径。我希望它能够从最基础的概念讲起,逐步构建起对黎曼曲面和热带曲线模空间理论的理解。特别是“模空间”这个概念,对于初学者来说,它究竟代表什么,如何构造,以及它在研究中扮演的角色,这些都需要清晰的解释。我希望作者能够提供丰富的例子和直观的解释,来帮助我建立起对这些抽象结构的直观认识。同时,书中关于热带曲线的部分也让我充满期待,这是否意味着它能将代数几何和离散数学的某些思想联系起来?我希望这本书能够弥合我在这方面的知识鸿沟,让我能够更自信地探索这个迷人的数学领域。