2025-11-12T07:01:09.441081

The Chevalley--Weil formula for finite group actions on higher dimensional compact complex manifolds

Liu, Lyu
Building on the Atiyah--Singer holomorphic Lefschetz fixed-point theorem, we define ramification modules associated to the fixed loci of a finite group acting on a compact complex manifold. This allows us to generalize the Chevalley--Weil formula for compact Riemann surfaces to higher dimensions. More precisely, let $G$ be a finite group acting on a compact complex manifold $X$, and let $\mathcal{E}$ be a $G$-equivariant locally free sheaf on $X$. Then, in the representation ring $R(G)_\mathbb{Q}$, we have \[ χ_G(X, \mathcal{E}):=\sum_{i=0}^{\dim X}(-1)^i[H^i(X, \mathcal{E})]=\frac{1}{|G|}χ(X,\mathcal{E})[\mathbb{C}[G]] + \sum_ZΓ(\mathcal{E})_Z \] where $Z$ runs over all connected components of the fixed-point sets $X^g$ for $g\in G$, and each $Γ(\mathcal{E})_Z\in R(X)_\mathbb{Q}$, called the \emph{ramification module} at $Z$, depends only on the restriction $\mathcal{E}|_Z$ and the normal bundle $N_{Z/X}$ as $G_Z$-equivariant bundles. We illustrate the computation of $Γ(\mathcal{E})_Z$ in several special cases and provide a detailed example for faithful actions of $G\cong(\mathbb{Z}/2\mathbb{Z})^n$ on a compact complex surface.
academic

The Chevalley--Weil formula for finite group actions on higher dimensional compact complex manifolds

基本信息

  • 论文ID: 2510.10430
  • 标题: The Chevalley--Weil formula for finite group actions on higher dimensional compact complex manifolds
  • 作者: Wenfei Liu, Renjie Lyu
  • 分类: math.AG (代数几何), math.RT (表示论)
  • 发表时间: October 14, 2025 (arXiv preprint)
  • 论文链接: https://arxiv.org/abs/2510.10430

摘要

本文基于Atiyah-Singer全纯Lefschetz不动点定理，定义了与有限群作用在紧复流形上的不动点轨迹相关的分歧模(ramification modules)。这使得经典的Chevalley-Weil公式能够从紧Riemann曲面推广到高维情形。具体而言，设GG是作用在紧复流形XX上的有限群，EE是XX上的GG-等变局部自由层，则在表示环R(G)QR(G)_\mathbb{Q}中有等式： χG(X,E):=∑i=0dim⁡X(−1)i[Hi(X,E)]=1∣G∣χ(X,E)[C[G]]+∑ZΓ(E)Z\chi_G(X, E) := \sum_{i=0}^{\dim X}(-1)^i[H^i(X, E)] = \frac{1}{|G|}\chi(X,E)[\mathbb{C}[G]] + \sum_Z\Gamma(E)_Z 其中ZZ遍历所有不动点集XgX^g(g∈Gg\in G)的连通分支，每个Γ(E)Z∈R(G)Q\Gamma(E)_Z\in R(G)_\mathbb{Q}称为在ZZ处的分歧模，仅依赖于限制E∣ZE|_Z和法丛NZ/XN_{Z/X}作为GZG_Z-等变丛。

研究背景与动机

问题背景

  1. 经典Chevalley-Weil公式：最初由Chevalley和Weil在1934年针对紧Riemann曲面建立，该公式将nn-微分的GG-模H0(X,ωX⊗n)H^0(X,\omega_X^{\otimes n})表示为正则表示的有理倍数加上由商映射X→X/GX \to X/G的分歧轨迹确定的修正项。
  2. 现有推广的局限性：
    • Ellingsrud-Lønsted在1980年将公式推广到任意代数闭域上的光滑射影驯化GG-曲线
    • 后续工作主要集中在算术方面的改进
    • 现有方法依赖于商映射X→X/GX \to X/G，难以直接推广到高维
  3. 研究动机：
    • 高维复流形上有限群作用的研究需要更一般的工具
    • 现有方法无法有效处理高维情形的复杂性
    • 需要一个统一的框架来理解不动点轨迹对上同调表示的贡献

创新思路

本文采用Atiyah-Singer全纯Lefschetz不动点定理直接捕获不动点轨迹的贡献，通过分歧模的概念避免了对商映射的依赖，从而实现了向高维的推广。

核心贡献

  1. 建立高维Chevalley-Weil公式：将经典的Chevalley-Weil公式从紧Riemann曲面推广到任意维数的紧复流形。
  2. 引入分歧模概念：定义了分歧模Γ(E)Z\Gamma(E)_Z，它编码了不动点轨迹ZZ对GG-Euler特征χG(X,E)\chi_G(X,E)的贡献。
  3. 提供具体计算方法：在特殊情况下给出了分歧模的显式计算公式，特别是当稳定子群为循环群或余维数较小时。
  4. 完整的实例分析：详细分析了G≅(Z/2Z)nG \cong (\mathbb{Z}/2\mathbb{Z})^n作用在紧复曲面上的情形，给出了完全显式的公式。
  5. 理论框架的完善：建立了从循环子群的局部化限制恢复全局GG-模的理论基础。

方法详解

任务定义

给定紧复流形XX上的有限群GG作用和GG-等变局部自由层EE，计算GG-Euler特征： χG(X,E)=∑j(−1)j[Hj(X,E)]∈R(G)\chi_G(X, E) = \sum_{j}(-1)^j[H^j(X, E)] \in R(G)

核心理论框架

1. Artin定理的应用

利用Artin定理，任何虚GG-模都可以表示为从循环子群诱导的模的有理线性组合： χG(X,E)=∑H⊂G cyclic∣H∣∣G∣IndHG(θH⊗ResHGχG(X,E))\chi_G(X, E) = \sum_{H \subset G \text{ cyclic}} \frac{|H|}{|G|}\text{Ind}_H^G(\theta_H \otimes \text{Res}_H^G\chi_G(X, E))

其中θH\theta_H是循环群HH的特征模，定义为： Tr(h;θH)={1if h generates H0otherwise\text{Tr}(h; \theta_H) = \begin{cases} 1 & \text{if } h \text{ generates } H \\ 0 & \text{otherwise} \end{cases}

2. Atiyah-Singer全纯Lefschetz不动点定理

对于g∈Gg \in G，设H=⟨g⟩H = \langle g \rangle，则： Tr(g;χG(X,E))=Tr(g;∫XHchH(E∣XH)⋅td(XH)chH(λ−1N∗))\text{Tr}(g;\chi_G(X, E)) = \text{Tr}\left(g; \int_{X^H} \frac{\text{ch}_H(E|_{X^H}) \cdot \text{td}(X^H)}{\text{ch}_H(\lambda_{-1}N^*)}\right)

其中N∗=NXH/X∗N^* = N_{X^H/X}^*是余法丛。

3. 分歧模的构造

定义层次：

  • 层(Stratum): 某个XgX^g(g∈Gg \in G)的连通分支ZZ
  • 对每个层ZZ，定义HZ:={H⊂GZ cyclic∣Z是XH的分支}H_Z := \{H \subset G_Z \text{ cyclic} | Z \text{是} X^H \text{的分支}\}

关键技术元素：

  1. HH-Chern特征： chH(E∣Z)=∑φ∈H^ch(EZ,H,φ)⊗[φ]\text{ch}_H(E|_Z) = \sum_{\varphi \in \hat{H}} \text{ch}(E_{Z,H,\varphi}) \otimes [\varphi]
  2. 特征模θZ,H\theta_{Z,H}： θZ,H=[1H]−∑B⊂KZ,H∣B∣∣H∣IndBHθB\theta_{Z,H} = [1_H] - \sum_{B \subset K_{Z,H}} \frac{|B|}{|H|}\text{Ind}_B^H \theta_B 其中KZ,HK_{Z,H}包含使得ZZ不是XhX^h分支的元素h∈Hh \in H。
  3. 分歧Todd类：存在唯一的τZ,H∈Heven(Z,Q)⊗R(H)\tau_{Z,H} \in H^{\text{even}}(Z,\mathbb{Q}) \otimes R(H)使得： tdH(Z)=td(Z)⋅τZ,H\text{td}_H(Z) = \text{td}(Z) \cdot \tau_{Z,H}

分歧模定义： Γ(E)Z:=∑H∈HZ∣H∣∣G∣IndHG(θH∫ZchH(E∣Z)tdH(Z))\Gamma(E)_Z := \sum_{H \in H_Z} \frac{|H|}{|G|}\text{Ind}_H^G\left(\theta_H \int_Z \text{ch}_H(E|_Z)\text{td}_H(Z)\right)

主要定理

定理 3.11 (高维Chevalley-Weil公式)： χG(X,E)=1∣G∣χ(X,E)[C[G]]+∑Z∈ZΓ(E)Z\chi_G(X, E) = \frac{1}{|G|}\chi(X, E)[\mathbb{C}[G]] + \sum_{Z \in \mathcal{Z}}\Gamma(E)_Z

其中Z\mathcal{Z}是所有层的集合。

特殊情况的计算

1. 循环稳定子群情形

当层ZZ的稳定子群GZG_Z为循环群时： Γ(E)Z=∣GZ∣∣G∣IndGZG∫ZchGZ(E∣Z)tdGZ(Z)\Gamma(E)_Z = \frac{|G_Z|}{|G|}\text{Ind}_{G_Z}^G \int_Z \text{ch}_{G_Z}(E|_Z)\text{td}_{G_Z}(Z)

2. 低余维数情形

  • 孤立点 (codimX(Z)>0\text{codim}_X(Z) > 0)：给出涉及切空间特征值的显式公式
  • 余维数1的曲线：在曲面情形下有具体的计算公式

3. (Z/2Z)n(\mathbb{Z}/2\mathbb{Z})^n作用在复曲面上

定理 5.2：设XX是连通紧复曲面，G≅(Z/2Z)nG \cong (\mathbb{Z}/2\mathbb{Z})^n，则： χG(X,E)=12nχ(X,E)[C[G]]+（孤立点贡献）+（固定曲线贡献）\chi_G(X, E) = \frac{1}{2^n}\chi(X, E)[\mathbb{C}[G]] + \text{（孤立点贡献）} + \text{（固定曲线贡献）}

其中固定曲线CkC_k的贡献为： 12n+1IndHCkG(−(KX⋅Ck)(rk+−rk−)+2(deg⁡ECk+−deg⁡ECk−))([1HCk]−12[C[HCk]])\frac{1}{2^{n+1}}\text{Ind}_{H_{C_k}}^G\left(-(K_X \cdot C_k)(r_k^+ - r_k^-) + 2(\deg E_{C_k}^+ - \deg E_{C_k}^-)\right)\left([1_{H_{C_k}}] - \frac{1}{2}[\mathbb{C}[H_{C_k}]]\right)

实验结果与应用

具体应用实例

1. 余切丛的情形 (E=ΩX1E = \Omega_X^1)

对于(Z/2Z)n(\mathbb{Z}/2\mathbb{Z})^n作用在复曲面上： χG(X,ΩX1)=12n(KX2−10χ(OX))[C[G]]+（修正项）\chi_G(X,\Omega_X^1) = \frac{1}{2^n}(K_X^2 - 10\chi(O_X))[\mathbb{C}[G]] + \text{（修正项）}

2. 典范丛的幂 (E=OX(nKX)E = O_X(nK_X))

χG(X,nKX)=12n(χ(X,OX)+12n(n−1)KX2)[C[G]]+（分歧贡献）\chi_G(X,nK_X) = \frac{1}{2^n}\left(\chi(X,O_X) + \frac{1}{2}n(n-1)K_X^2\right)[\mathbb{C}[G]] + \text{（分歧贡献）}

理论验证

  • 当GG作用自由时，分歧模Γ(E)Z=0\Gamma(E)_Z = 0，公式退化为经典结果
  • 在曲线情形下恢复已知的Chevalley-Weil公式
  • 与Donovan的代数版本兼容

相关工作

历史发展

  1. Chevalley-Weil (1934)：建立了Riemann曲面上的原始公式
  2. Ellingsrud-Lønsted (1980)：推广到任意特征的代数闭域
  3. Köck (2005), Arapura (2022)：展示了与不动点公式的联系
  4. Liu-Liu (2025)：处理奇异曲线的情形

本文的创新

  • 首次实现向高维的完全推广
  • 避免依赖商映射，直接使用不动点定理
  • 提供了分歧模的具体计算方法
  • 建立了统一的理论框架

结论与讨论

主要结论

  1. 理论完备性：成功将Chevalley-Weil公式推广到任意维数的紧复流形
  2. 计算可行性：在多种特殊情况下提供了分歧模的显式计算方法
  3. 应用广泛性：方法适用于代数和解析两种设置

局限性

  1. 计算复杂性：一般情况下分歧模的计算仍然复杂
  2. 稳定子群限制：某些计算需要稳定子群为循环群的假设
  3. 维数限制：具体例子主要集中在曲面情形

未来方向

  1. 更高维度的具体例子：推广到三维及以上的具体计算
  2. 非循环稳定子群：处理更一般的稳定子群结构
  3. 算术应用：在数论几何中的应用
  4. 奇异空间：推广到奇异复空间

深度评价

优点

  1. 理论创新性强：首次实现了Chevalley-Weil公式的高维推广，解决了长期悬而未决的问题
  2. 方法论突破：通过分歧模的概念巧妙地处理了高维情形的复杂性
  3. 技术严谨性：数学证明完整严密，理论框架完善
  4. 实用价值高：提供了多种特殊情况下的具体计算方法

不足

  1. 计算复杂度：一般情况下的计算仍然相当复杂，实际应用受限
  2. 例子局限性：具体的完整例子主要局限于低维情形
  3. 推广性：某些结果需要特定的群结构假设

影响力

  1. 学术贡献：为代数几何和表示论的交叉研究提供了重要工具
  2. 理论价值：完善了经典理论在现代数学中的地位
  3. 应用前景：为相关领域的进一步研究奠定了基础

适用场景

  • 研究紧复流形上的有限群作用
  • 计算等变上同调的表示论结构
  • 代数几何中的不动点理论应用
  • 复几何与表示论的交叉研究

参考文献

论文引用了相关领域的重要文献，包括：

  • Atiyah-Singer指标定理系列工作
  • Serre的有限群线性表示理论
  • Chevalley-Weil的原始工作
  • 近期相关推广工作

本论文为Chevalley-Weil公式向高维的推广做出了重要贡献，建立了完整的理论框架并提供了实用的计算方法，是代数几何和表示论交叉领域的重要进展。