2025-11-10T02:37:06.008718

Positivity, plethysm and hyperbolicity of Siegel varieties in positive characteristic

Alexandre
We study hyperbolicity properties of the moduli space of polarized abelian varieties (also known as the Siegel modular variety) in characteristic $p$. Our method uses the plethysm operation for Schur functors as a key ingredient and requires a new positivity notion for vector bundles in characteristic $p$ called $(φ,D)$-ampleness. Generalizing what was known for the Hodge line bundle, we also show that many automorphic vector bundles on the Siegel modular variety are $(φ,D)$-ample.
academic

Positivity, plethysm and hyperbolicity of Siegel varieties in positive characteristic

基本信息

  • 论文ID: 2206.05804
  • 标题: Positivity, plethysm and hyperbolicity of Siegel varieties in positive characteristic
  • 作者: Thibault Alexandre
  • 分类: math.AG (代数几何)
  • 发表时间: 2022年6月，最新版本2025年10月
  • 论文链接: https://arxiv.org/abs/2206.05804

摘要

本文研究特征p下极化阿贝尔簇模空间（即Siegel模簇）的双曲性质。方法的关键成分是Schur函子的plethysm运算，并需要引入特征p下向量丛的新正性概念——(φ,D)-ampleness。作为对Hodge线丛已知结果的推广，我们还证明了Siegel模簇上的许多自守向量丛都是(φ,D)-ample的。

研究背景与动机

问题背景

  1. 双曲性理论：在数论几何中，判断代数簇的双曲性是一个核心问题。对于数域上的曲线，Faltings定理建立了算术双曲性、Brody双曲性和代数双曲性的等价性。
  2. Siegel模簇的双曲性：在复数域上，g维极化阿贝尔簇的模空间Ag,NA_{g,N}已知是代数双曲的。然而在正特征p中，情况变得复杂。
  3. 正特征的困难：Moret-Bailly构造了一个反例，显示在特征p中Siegel模簇不是完全双曲的——存在非同构的超奇异阿贝尔曲面族A→P1\mathcal{A} \to \mathbb{P}^1。

研究动机

  • 理解正特征下Siegel模簇双曲性的失效机制
  • 寻找"部分双曲性"：虽然不是完全双曲，但某些余维数条件下的子簇仍具有对数一般型性质
  • 发展适用于正特征的新技术工具

核心贡献

  1. 引入(φ,D)-ampleness概念：定义了介于ample和nef之间的新正性概念，适用于特征p下的向量丛
  2. 建立plethysm与双曲性的联系：首次将Schur函子的plethysm运算与几何双曲性联系起来
  3. 证明部分双曲性定理：当p≥g2+3g+1p \geq g^2 + 3g + 1时，余维数≤g−1\leq g-1的光滑子簇都是对数一般型的
  4. 推广自守向量丛的正性结果：将已知的Hodge线丛结果推广到更一般的自守向量丛

方法详解

核心概念定义

(φ,D)-ampleness

设XX是kk上的射影概形，DD是有效Cartier除子，φ:X→X(p)\varphi: X \to X^{(p)}是相对几何Frobenius态射。向量丛EE称为**(φ,D)-ample**，如果存在整数r0≥1r_0 \geq 1使得对所有r≥r0r \geq r_0，向量丛E(pr)(−D):=(φr)∗(φr)∗E⊗OX(−D)E^{(p^r)}(-D) := (\varphi^r)^*(\varphi^r)_* E \otimes \mathcal{O}_X(-D)都是ample的。

关键性质

  • 对于线丛：(φ,D)(φ,D)-ample等价于nef且big，以DD为例外轨迹
  • 稳定性：在直和、扩张、商、张量积、有限态射拉回等运算下保持稳定

技术路线

1. Schur函子与plethysm

在正特征下，Schur函子SλS_\lambda的复合Sλ∘SμS_\lambda \circ S_\mu一般不能分解为Schur函子的直和，但在条件p≥2∣λ∣−1p \geq 2|\lambda| - 1下，存在以Schur函子为分次片的滤过：

0=Tn⊊Tn−1⊊⋯⊊T0=Sλ∘Sμ0 = T_n \subsetneq T_{n-1} \subsetneq \cdots \subsetneq T^0 = S_\lambda \circ S_\mu

2. 旗丛的正性传递

对于GG-torsor EE和相应的旗丛π:Y→X\pi: Y \to X，建立了关键的正性传递定理：

定理 6.4-6.5：如果L2λ+2ρL_{2\lambda + 2\rho}在YY上是ample（resp. (φ,π−1D)(φ,\pi^{-1}D)-ample），则π∗Lλ\pi_* L_\lambda在XX上是ample（resp. (φ,D)(φ,D)-ample）向量丛。

3. 自守向量丛的正性判据

对于Siegel模簇上的自守向量丛∇(λ)\nabla(\lambda)，给出了(φ,D)(φ,D)-ampleness的充分条件：

定理 7.20：设λ\lambda是TT的占优特征标。如果γ:=2λ+2ρL\gamma := 2\lambda + 2\rho_L满足：

  • 轨道p-接近性：max⁡α∈Φ,w∈W,⟨γ,α∨⟩≠0∣⟨γ,wα∨⟩∣∣⟨γ,α∨⟩∣≤p−1\max_{\alpha \in \Phi, w \in W, \langle\gamma,\alpha^\vee\rangle \neq 0} \frac{|\langle\gamma, w\alpha^\vee\rangle|}{|\langle\gamma,\alpha^\vee\rangle|} \leq p-1
  • Z∅Z_\emptyset-ampleness：⟨γ,α∨⟩>0\langle\gamma,\alpha^\vee\rangle > 0对所有α∈I\alpha \in I，⟨γ,α∨⟩<0\langle\gamma,\alpha^\vee\rangle < 0对所有α∈Φ+∖ΦL+\alpha \in \Phi^+ \setminus \Phi^+_L

则∇(λ)\nabla(\lambda)是(φ,D)(φ,D)-ample的。

主要结果

核心定理

定理 1（推论 8.7）：假设p≥g2+3g+1p \geq g^2 + 3g + 1。任何余维数≤g−1\leq g-1的子簇ι:V↪Shtor\iota: V \hookrightarrow \text{Sh}^{\text{tor}}满足：

  1. VV是光滑的
  2. ι−1Dred\iota^{-1}D_{\text{red}}是正规交除子

则VV关于DD是对数一般型的。

关键技术结果

定理 8.6：假设p≥g2+3g+1p \geq g^2 + 3g + 1。对所有k≥g(g−1)/2+1k \geq g(g-1)/2 + 1，丛ΩShtork(log⁡Dred)\Omega^k_{\text{Sh}^{\text{tor}}}(\log D_{\text{red}})是(φ,D)(φ,D)-ample的。

特殊情况的精确结果

  • g=2g = 2：当p≥7p \geq 7时，Siegel三重中的曲面是对数一般型的
  • g=3g = 3：当p≥17p \geq 17时，四维子簇是对数一般型的
  • g=4g = 4：当p≥31p \geq 31时，七维子簇是对数一般型的

技术创新点

1. plethysm与几何的新联系

首次建立了对称函数中plethysm运算与代数几何中双曲性质的直接联系，这是一个全新的研究视角。

2. 正特征适配的正性概念

(φ,D)(φ,D)-ampleness巧妙利用了Frobenius态射的特殊性质，在保持足够强度的同时避开了正特征下的技术困难。

3. 滤过技术的应用

通过∇\nabla-滤过将复杂的向量丛分解为可控制的标准模块，然后逐个验证正性条件。

证明策略

核心思路

  1. Kodaira-Spencer同构：Sym2Ωtor≅ΩShtor1(log⁡D)\text{Sym}^2 \Omega^{\text{tor}} \cong \Omega^1_{\text{Sh}^{\text{tor}}}(\log D)
  2. plethysm分解：SλΩShtor1(log⁡D)≅Sλ∘Sym2ΩtorS_\lambda \Omega^1_{\text{Sh}^{\text{tor}}}(\log D) \cong S_\lambda \circ \text{Sym}^2 \Omega^{\text{tor}}
  3. 滤过分析：在条件p≥2∣λ∣−1p \geq 2|\lambda| - 1下，右边有Schur函子滤过
  4. 正性验证：验证滤过中每个分次片对应的自守向量丛都是(φ,D)(φ,D)-ample的

关键引理

引理 8.3：如果SλΩShtor1(log⁡Dred)S_\lambda \Omega^1_{\text{Sh}^{\text{tor}}}(\log D_{\text{red}})是(φ,D)(φ,D)-ample且dim⁡V≥ht(λ)\dim V \geq \text{ht}(\lambda)，则对数规范丛ωV(ι−1Dred)\omega_V(\iota^{-1}D_{\text{red}})是(φ,ι−1D)(φ,\iota^{-1}D)-ample的，从而VV是对数一般型的。

相关工作

历史背景

  • Faltings定理：建立了数域上曲线双曲性的等价刻画
  • 复数情形：Zuo和Brunebarbe证明了复数域上Siegel模簇的代数双曲性
  • 正特征困难：Moret-Bailly的反例显示直接推广不可行

技术发展

  • Schur函子理论：Friedlander-Suslin的严格多项式函子范畴
  • 自守向量丛：BGKS等人关于广义Hasse不变量的工作
  • 正性理论：Hartshorne关于正特征下向量丛ampleness的经典工作

结论与讨论

主要结论

  1. 正特征下Siegel模簇虽然不是完全双曲的，但展现出"部分双曲性"
  2. 假想的例外轨迹E⊂ShtorE \subset \text{Sh}^{\text{tor}}的余维数严格大于g−1g-1，推测恰好等于gg
  3. plethysm运算为研究几何双曲性提供了新的代数工具

局限性

  1. 特征限制：需要p≥g2+3g+1p \geq g^2 + 3g + 1，对小特征情形未能处理
  2. 余维数限制：只能处理余维数≤g−1\leq g-1的子簇
  3. 光滑性要求：主要结果限制在光滑子簇，虽然作者指出可推广到奇异情形

未来方向

  1. 改进特征数的界，特别是达到最优界p≥g2+3g+1p \geq g^2 + 3g + 1是否必要
  2. 确定例外轨迹的精确余维数
  3. 将方法推广到其他Shimura簇

深度评价

优点

  1. 方法创新：plethysm与双曲性的联系是全新且深刻的洞察
  2. 技术深度：综合运用了表示论、代数几何和对称函数理论
  3. 结果精确：给出了明确的特征数界和余维数界
  4. 计算支持：提供了具体的plethysm计算和intersection理论验证

不足

  1. 特征限制较强：p≥g2+3g+1p \geq g^2 + 3g + 1在应用中可能过于严格
  2. 部分结果：未能完全刻画例外轨迹的结构
  3. 技术复杂性：方法涉及多个深层理论，难以推广到其他问题

影响力

这项工作为正特征代数几何提供了新的技术工具，特别是：

  1. (φ,D)(φ,D)-ampleness概念可能在其他正特征问题中有应用
  2. plethysm方法为研究模空间几何提供了新视角
  3. 为理解正特征与复特征的差异提供了深刻示例

适用场景

  1. 正特征下模空间的几何性质研究
  2. 自守形式与代数几何的交叉问题
  3. Shimura簇的算术几何理论

参考文献

论文包含46篇参考文献，涵盖了表示论、代数几何、自守形式等多个领域的重要工作，体现了问题的交叉性和复杂性。