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

Basic Information

• Paper ID: 2510.10430
• Title: The Chevalley--Weil formula for finite group actions on higher dimensional compact complex manifolds
• Authors: Wenfei Liu, Renjie Lyu
• Classification: math.AG (Algebraic Geometry), math.RT (Representation Theory)
• Publication Date: October 14, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.10430

Abstract

This paper, based on the Atiyah-Singer holomorphic Lefschetz fixed point theorem, defines ramification modules associated with fixed point loci of finite group actions on compact complex manifolds. This enables the classical Chevalley-Weil formula to be generalized from compact Riemann surfaces to higher dimensions. Specifically, if $G$ is a finite group acting on a compact complex manifold $X$, and $E$ is a $G$-equivariant locally free sheaf on $X$, then in the representation ring $R(G)_\mathbb{Q}$ we have the equality: $\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$ where $Z$ ranges over all connected components of fixed point sets $X^g$ ($g\in G$), and each $\Gamma(E)_Z\in R(G)_\mathbb{Q}$ is called the ramification module at $Z$, depending only on the restriction $E|_Z$ and the normal bundle $N_{Z/X}$ as a $G_Z$-equivariant bundle.

Research Background and Motivation

Problem Background

1. Classical Chevalley-Weil Formula: Originally established by Chevalley and Weil in 1934 for compact Riemann surfaces, this formula expresses the $G$-module $H^0(X,\omega_X^{\otimes n})$ of $n$-differentials as a rational multiple of the regular representation plus correction terms determined by the ramification locus of the quotient map $X \to X/G$.
2. Limitations of Existing Generalizations:
   • Ellingsrud-Lønsted (1980) extended the formula to smooth projective tame $G$-curves over arbitrary algebraically closed fields
   • Subsequent work has focused primarily on arithmetic refinements
   • Existing methods rely on the quotient map $X \to X/G$, making direct generalization to higher dimensions difficult
3. Research Motivation:
   • Study of finite group actions on higher-dimensional complex manifolds requires more general tools
   • Existing methods cannot effectively handle the complexity of higher-dimensional cases
   • A unified framework is needed to understand the contribution of fixed point loci to cohomological representations

Innovative Approach

This paper employs the Atiyah-Singer holomorphic Lefschetz fixed point theorem to directly capture the contributions of fixed point loci. By introducing the concept of ramification modules, it avoids dependence on the quotient map, thereby achieving generalization to higher dimensions.

Core Contributions

1. Establishing the Higher-Dimensional Chevalley-Weil Formula: Generalizes the classical Chevalley-Weil formula from compact Riemann surfaces to compact complex manifolds of arbitrary dimension.
2. Introduction of Ramification Modules: Defines ramification modules $\Gamma(E)_Z$ that encode the contribution of fixed point loci $Z$ to the $G$-Euler characteristic $\chi_G(X,E)$.
3. Explicit Computational Methods: Provides explicit formulas for computing ramification modules in special cases, particularly when the stabilizer subgroup is cyclic or has small codimension.
4. Comprehensive Examples: Provides detailed analysis of the case where $G \cong (\mathbb{Z}/2\mathbb{Z})^n$ acts on compact complex surfaces, yielding completely explicit formulas.
5. Refinement of Theoretical Framework: Establishes the theoretical foundation for recovering global $G$-modules from localization restrictions to cyclic subgroups.

Detailed Methodology

Problem Setup

Given a finite group $G$ acting on a compact complex manifold $X$ and a $G$-equivariant locally free sheaf $E$, compute the $G$-Euler characteristic: $\chi_G(X, E) = \sum_{j}(-1)^j[H^j(X, E)] \in R(G)$

Core Theoretical Framework

1. Application of Artin's Theorem

Using Artin's theorem, any virtual $G$-module can be expressed as a rational linear combination of modules induced from cyclic subgroups: $\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))$

where $\theta_H$ is the character module of the cyclic group $H$, defined by: $\text{Tr}(h; \theta_H) = \begin{cases} 1 & \text{if } h \text{ generates } H \\ 0 & \text{otherwise} \end{cases}$

2. Atiyah-Singer Holomorphic Lefschetz Fixed Point Theorem

For $g \in G$, let $H = \langle g \rangle$, then: $\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)$

where $N^* = N_{X^H/X}^*$ is the conormal bundle.

3. Construction of Ramification Modules

Hierarchical Definition:

• Stratum: A connected component $Z$ of some $X^g$ ($g \in G$)
• For each stratum $Z$, define $H_Z := \{H \subset G_Z \text{ cyclic} | Z \text{ is a component of } X^H\}$

Key Technical Elements:

1. $H$-Chern Character: $\text{ch}_H(E|_Z) = \sum_{\varphi \in \hat{H}} \text{ch}(E_{Z,H,\varphi}) \otimes [\varphi]$
2. Character Module $\theta_{Z,H}$: $\theta_{Z,H} = [1_H] - \sum_{B \subset K_{Z,H}} \frac{|B|}{|H|}\text{Ind}_B^H \theta_B$ where $K_{Z,H}$ contains elements $h \in H$ such that $Z$ is not a component of $X^h$.
3. Ramification Todd Class: There exists a unique $\tau_{Z,H} \in H^{\text{even}}(Z,\mathbb{Q}) \otimes R(H)$ such that: $\text{td}_H(Z) = \text{td}(Z) \cdot \tau_{Z,H}$

Definition of Ramification Module: $\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)$

Main Theorem

Theorem 3.11 (Higher-Dimensional Chevalley-Weil Formula): $\chi_G(X, E) = \frac{1}{|G|}\chi(X, E)[\mathbb{C}[G]] + \sum_{Z \in \mathcal{Z}}\Gamma(E)_Z$

where $\mathcal{Z}$ is the set of all strata.

Computations in Special Cases

1. Cyclic Stabilizer Subgroup Case

When the stabilizer subgroup $G_Z$ of stratum $Z$ is cyclic: $\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. Low Codimension Cases

• Isolated Points ($\text{codim}_X(Z) > 0$): Yields explicit formulas involving eigenvalues of the tangent space
• Codimension 1 Curves: Concrete computational formulas in the surface case

3. $(\mathbb{Z}/2\mathbb{Z})^n$ Action on Complex Surfaces

Theorem 5.2: Let $X$ be a connected compact complex surface and $G \cong (\mathbb{Z}/2\mathbb{Z})^n$, then: $\chi_G(X, E) = \frac{1}{2^n}\chi(X, E)[\mathbb{C}[G]] + \text{(isolated point contributions)} + \text{(fixed curve contributions)}$

where the contribution from fixed curve $C_k$ is: $\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)$

Experimental Results and Applications

Concrete Application Examples

1. Cotangent Bundle Case ($E = \Omega_X^1$)

For $(\mathbb{Z}/2\mathbb{Z})^n$ action on complex surfaces: $\chi_G(X,\Omega_X^1) = \frac{1}{2^n}(K_X^2 - 10\chi(O_X))[\mathbb{C}[G]] + \text{(correction terms)}$

2. Powers of Canonical Bundle ($E = O_X(nK_X)$)

$\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{(ramification contributions)}$

Theoretical Verification

• When $G$ acts freely, ramification modules $\Gamma(E)_Z = 0$, and the formula reduces to classical results
• Recovers the known Chevalley-Weil formula in the curve case
• Compatible with Donovan's algebraic version

Related Work

Historical Development

1. Chevalley-Weil (1934): Established the original formula for Riemann surfaces
2. Ellingsrud-Lønsted (1980): Extended to smooth projective tame $G$-curves over arbitrary algebraically closed fields
3. Köck (2005), Arapura (2022): Demonstrated connections with fixed point formulas
4. Liu-Liu (2025): Handled singular curves

Innovation of This Paper

• First complete generalization to higher dimensions
• Avoids dependence on quotient maps by directly using fixed point theorems
• Provides concrete computational methods for ramification modules
• Establishes a unified theoretical framework

Conclusions and Discussion

Main Conclusions

1. Theoretical Completeness: Successfully generalizes the Chevalley-Weil formula to compact complex manifolds of arbitrary dimension
2. Computational Feasibility: Provides explicit computational methods for ramification modules in multiple special cases
3. Broad Applicability: Methods apply to both algebraic and analytic settings

Limitations

1. Computational Complexity: Computing ramification modules in general cases remains complex
2. Stabilizer Subgroup Restrictions: Some computations require the assumption that stabilizer subgroups are cyclic
3. Dimensional Limitations: Concrete examples are primarily concentrated in the surface case

Future Directions

1. Higher-Dimensional Examples: Extend to concrete computations in three and higher dimensions
2. Non-Cyclic Stabilizer Subgroups: Handle more general stabilizer subgroup structures
3. Arithmetic Applications: Applications in arithmetic geometry
4. Singular Spaces: Generalization to singular complex spaces

In-Depth Evaluation

Strengths

1. Strong Theoretical Innovation: First achievement of higher-dimensional generalization of the Chevalley-Weil formula, solving a long-standing open problem
2. Methodological Breakthrough: Cleverly handles the complexity of higher dimensions through the concept of ramification modules
3. Technical Rigor: Complete and rigorous mathematical proofs with a well-developed theoretical framework
4. High Practical Value: Provides concrete computational methods for multiple special cases

Weaknesses

1. Computational Complexity: General case computations remain quite involved, limiting practical applications
2. Limited Examples: Complete concrete examples are primarily restricted to low-dimensional cases
3. Generalization Constraints: Some results require specific group structure assumptions

Impact

1. Academic Contribution: Provides important tools for cross-disciplinary research between algebraic geometry and representation theory
2. Theoretical Value: Establishes the position of classical theory in modern mathematics
3. Application Prospects: Lays the foundation for further research in related fields

Applicable Scenarios

• Study of finite group actions on compact complex manifolds
• Computing representation-theoretic structures of equivariant cohomology
• Applications of fixed point theory in algebraic geometry
• Cross-disciplinary research between complex geometry and representation theory

References

The paper cites important literature in related fields, including:

• Works in the Atiyah-Singer index theorem series
• Serre's theory of linear representations of finite groups
• Original work of Chevalley-Weil
• Recent related generalizations

This paper makes important contributions to the generalization of the Chevalley-Weil formula to higher dimensions, establishing a complete theoretical framework and providing practical computational methods. It represents significant progress in the cross-disciplinary field of algebraic geometry and representation theory.