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

有限群作用を持つ高次元コンパクト複素多様体上のシュヴァレー・ワイル公式

基本情報

論文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（表現論）
発表日: 2025年10月14日（arXiv プレプリント）
論文リンク: https://arxiv.org/abs/2510.10430

要約

本論文はAtiyah-Singer正則Lefschetz不動点定理に基づいて、コンパクト複素多様体上の有限群作用の不動点軌跡に関連する分岐加群(ramification modules)を定義する。これにより、古典的なシュヴァレー・ワイル公式をコンパクトリーマン曲面から高次元の場合へ推広することが可能になる。具体的には、 $G$ をコンパクト複素多様体 $X$ 上に作用する有限群、 $E$ を $X$ 上の $G$ -等変局所自由層とするとき、表現環 $R(G)_\mathbb{Q}$ において以下の等式が成立する： $\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$ ここで $Z$ は全ての不動点集合 $X^g$ （ $g\in G$ ）の連結成分を走り、各 $\Gamma(E)_Z\in R(G)_\mathbb{Q}$ を $Z$ における分岐加群と呼び、制限 $E|_Z$ と法束 $N_{Z/X}$ を $G_Z$ -等変束として見たときのみに依存する。

研究背景と動機

問題の背景

古典的シュヴァレー・ワイル公式：元々1934年にシュヴァレーとワイルによってコンパクトリーマン曲面に対して確立された。この公式は $n$ -微分の $G$ -加群 $H^0(X,\omega_X^{\otimes n})$ を正則表現の有理倍数と商写像 $X \to X/G$ の分岐軌跡によって決定される修正項の和として表現する。
既存の推広の限界：
- Ellingsrud-Lønstedは1980年に任意の代数閉体上の滑らかな射影的馴化 $G$ -曲線へ公式を推広した
- その後の研究は主に算術的側面の改善に集中している
- 既存の方法は商写像 $X \to X/G$ に依存しており、高次元への直接的な推広が困難である
研究の動機：
- 高次元複素多様体上の有限群作用の研究には、より一般的な道具が必要である
- 既存の方法は高次元の複雑性に対処できない
- 不動点軌跡がコホモロジー表現に与える寄与を理解するための統一的枠組みが必要である

革新的なアプローチ

本論文はAtiyah-Singer正則Lefschetz不動点定理を用いて不動点軌跡の寄与を直接捉え、分岐加群の概念を通じて商写像への依存を回避することで、高次元への推広を実現している。

核心的貢献

高次元シュヴァレー・ワイル公式の確立：古典的なシュヴァレー・ワイル公式をコンパクトリーマン曲面から任意次元のコンパクト複素多様体へ推広した。
分岐加群概念の導入：分岐加群 $\Gamma(E)_Z$ を定義し、これが不動点軌跡 $Z$ の $G$ -オイラー特性 $\chi_G(X,E)$ への寄与を符号化することを示した。
具体的な計算方法の提供：特殊な場合において分岐加群の明示的な計算公式を与え、特に安定化部分群が巡回群である場合または余次元が小さい場合に有効である。
完全な具体例の分析： $G \cong (\mathbb{Z}/2\mathbb{Z})^n$ がコンパクト複素曲面に作用する場合を詳細に分析し、完全に明示的な公式を与えた。
理論的枠組みの完成：巡回部分群の局所化制限から全体的な $G$ -加群を復元するための理論的基礎を確立した。

方法の詳細

問題の設定

コンパクト複素多様体 $X$ 上の有限群 $G$ の作用と $G$ -等変局所自由層 $E$ が与えられたとき、 $G$ -オイラー特性を計算する： $\chi_G(X, E) = \sum_{j}(-1)^j[H^j(X, E)] \in R(G)$

核心的な理論的枠組み

1. Artinの定理の応用

Artinの定理を利用すると、任意の仮想 $G$ -加群は巡回部分群からの誘導加群の有理線形結合として表現できる： $\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))$

ここで $\theta_H$ は巡回群 $H$ の特性加群であり、以下のように定義される： $\text{Tr}(h; \theta_H) = \begin{cases} 1 & \text{if } h \text{ generates } H \\ 0 & \text{otherwise} \end{cases}$

2. Atiyah-Singer正則Lefschetz不動点定理

$g \in G$ に対して、 $H = \langle g \rangle$ とするとき： $\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^* = N_{X^H/X}^*$ は余法束である。

3. 分岐加群の構成

層の定義：

層(Stratum): ある $X^g$ （ $g \in G$ ）の連結成分 $Z$
各層 $Z$ に対して、 $H_Z := \{H \subset G_Z \text{ cyclic} | Z \text{は} X^H \text{の分支}\}$ と定義する

主要な技術的要素：

$H$ -Chern特性： $\text{ch}_H(E|_Z) = \sum_{\varphi \in \hat{H}} \text{ch}(E_{Z,H,\varphi}) \otimes [\varphi]$
特性加群 $\theta_{Z,H}$ ： $\theta_{Z,H} = [1_H] - \sum_{B \subset K_{Z,H}} \frac{|B|}{|H|}\text{Ind}_B^H \theta_B$ ここで $K_{Z,H}$ は $Z$ が $X^h$ の分支でない元 $h \in H$ を含む。
分岐Todd類：唯一の $\tau_{Z,H} \in H^{\text{even}}(Z,\mathbb{Q}) \otimes R(H)$ が存在して： $\text{td}_H(Z) = \text{td}(Z) \cdot \tau_{Z,H}$