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

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.

Publication Details

Journal
ArXiv.org
Published
2025-10-12
Primary Topic
Geometry and complex manifolds
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

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

ArXiv.org
Geometry and complex manifolds
article

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

article en

Abstract

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.

ArXiv.org
Sustainable cities and communities
Openalex Percentile: Top 37%
Geometry and complex manifolds
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.