[论文解读] The Q-Picard group of the moduli space of curves in positive characteristic

Atsushi Moriwaki|ArXiv.org|Dec 4, 2000

Algebraic Geometry and Number Theory参考文献 10被引用 10

一句话总结

该论文证明了在正特征代数闭域上，亏格 g 的 n 个标记点的稳定曲线模空间的 ℚ-Picard 群由典型类生成——具体而言，即霍奇类 λ、ψ-类 ψ₁,…,ψₙ 和边界类 δₜ。证明方法使用模 p 约化，并通过特鲁尔曼水平结构将平展上同调与奇异上同调进行比较，从而在第二平展上同调中建立了从代数循环到平展上同调的上同调映射的双射性。

ABSTRACT

In this note, we prove that the Q-Picard group of the moduli space of n-pointed stable curves of genus g over an algebraically closed field is generated by the tautological classes. We also prove that the cycle map to the 2nd etale cohomology group is bijective.

研究动机与目标

• 将哈勒在特征零下关于曲线模空间 ℚ-Picard 群的结果推广到正特征。
• 建立在任意代数闭域上，模空间 M̄_{g,n} 的 ℚ-Picard 群由典型类生成。
• 证明从 ℚ-Picard 群到第二平展上同调群（系数为 ℚℓ）的上同调映射是双射。
• 通过模 p 约化与特鲁尔曼水平结构，比较特征零与正特征下的平展上同调与奇异上同调。

提出的方法

• 利用模 p 约化，将正特征域上模空间的几何性质与复数域上的对应物联系起来。
• 通过使用特鲁尔曼水平结构的光滑伽罗瓦覆盖，比较平展上同调群 H²_{ét}(M̄_{g,n}(k), ℚℓ) 与奇异上同调 H²(M̄_{g,n}(ℂ), ℚ)。
• 利用 Boggi-Pikaart 的结果，即当 m ≥ 3 时模空间的单连通性，以确保上同调映射的单射性。
• 应用泽里斯基关于整数概形的引理，以控制离散赋值环上模型的特殊纤维上的交点理论。
• 利用在射影代数簇上，数值等价与代数等价在有理数上重合的事实，从而将 NS(X)⊗ℚ 与 NSν(X)⊗ℚ 识别为同一对象。
• 使用上同调映射 Pic(M̄_{g,n})⊗ℚℓ → H²_{ét}(M̄_{g,n}, ℚℓ)，并通过维数比较与单射性证明其双射性。

实验结果

研究问题

• RQ1 在正特征下，n 个标记点的亏格 g 的稳定曲线模空间的 ℚ-Picard 群是否仍由典型类生成？
• RQ2 在正特征域上，从 ℚ-Picard 群到第二平展上同调群的上同调映射是否为双射？
• RQ3 能否通过模 p 约化技术，将特征零下关于 ℚ-Picard 生成的结果推广到正特征？
• RQ4 正特征下模空间的平展上同调如何与其中文解析对应物相关联？
• RQ5 特鲁尔曼水平结构在跨特征比较上同调理论中起到何种作用？

主要发现

• 在任意代数闭域 k 上，M̄_{g,n} 的 ℚ-Picard 群由典型类 λ、ψ₁,…,ψₙ 和 δₜ（t ∈ T）生成。
• 对任意在 k 中可逆的素数 ℓ，上同调映射 Pic(M̄_{g,n})⊗ℚℓ → H²_{ét}(M̄_{g,n}, ℚℓ) 是双射。
• 平展上同调群 H²_{ét}(M̄_{g,n}(k), ℚℓ) 的维数不超过奇异上同调群 H²(M̄_{g,n}(ℂ), ℚ) 的维数。
• 上同调映射的单射性源于具有水平结构 m ≥ 3 的模空间的单连通性。
• 通过上同调比较，确立了典型类在 ℚ 上的线性无关性。
• 该结果与基域的特征无关，将哈勒在特征零下的结果推广到了正特征。