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

유한군의 고차원 콤팩트 복소다양체 작용에 대한 Chevalley--Weil 공식

기본정보

논문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 preprint)
논문링크: https://arxiv.org/abs/2510.10430

초록

본 논문은 Atiyah-Singer 정칙 Lefschetz 부동점 정리에 기반하여 콤팩트 복소다양체 위의 유한군 작용의 부동점 궤적과 관련된 분기 모듈(ramification modules)을 정의한다. 이를 통해 고전적인 Chevalley-Weil 공식을 콤팩트 Riemann 곡면에서 고차원 경우로 일반화할 수 있다. 구체적으로, $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$ -동변 다발로서의 구조에만 의존한다.

연구 배경 및 동기

문제 배경

고전적 Chevalley-Weil 공식: 원래 Chevalley와 Weil이 1934년에 콤팩트 Riemann 곡면에 대해 수립한 공식으로, $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 부동점 정리를 직접 적용하여 부동점 궤적의 기여를 포착하고, 분기 모듈의 개념을 통해 몫 사상에 대한 의존성을 회피함으로써 고차원으로의 일반화를 실현한다.

핵심 기여

고차원 Chevalley-Weil 공식 수립: 고전적인 Chevalley-Weil 공식을 콤팩트 Riemann 곡면에서 임의의 차원의 콤팩트 복소다양체로 일반화.
분기 모듈 개념 도입: 분기 모듈 $\Gamma(E)_Z$ 를 정의하여 부동점 궤적 $Z$ 가 $G$ -Euler 특성 $\chi_G(X,E)$ 에 미치는 기여를 인코딩.
구체적 계산 방법 제공: 특수한 경우에 분기 모듈의 명시적 계산 공식 제시, 특히 안정화 부분군이 순환군이거나 여차원이 작을 때.
완전한 실례 분석: $G \cong (\mathbb{Z}/2\mathbb{Z})^n$ 이 콤팩트 복소곡면에 작용하는 경우를 상세히 분석하여 완전히 명시적인 공식 제공.
이론 틀의 완성: 순환 부분군의 국소화 제한에서 전역 $G$ -모듈을 복원하는 이론적 기초 수립.

방법 상세 설명

과제 정의

콤팩트 복소다양체 $X$ 위의 유한군 $G$ 작용과 $G$ -동변 국소 자유층 $E$ 가 주어졌을 때, $G$ -Euler 특성을 계산: $\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}$

분기 모듈 정의: $\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 공식): $\chi_G(X, E) = \frac{1}{|G|}\chi(X, E)[\mathbb{C}[G]] + \sum_{Z \in \mathcal{Z}}\Gamma(E)_Z$

여기서 $\mathcal{Z}$ 는 모든 층의 집합.

특수한 경우의 계산

1. 순환 안정화 부분군의 경우

층 $Z$ 의 안정화 부분군 $G_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. 낮은 여차원의 경우

고립점 ( $\text{codim}_X(Z) > 0$ ): 접공간 고유값을 포함하는 명시적 공식 제시
여차원 1의 곡선: 곡면 경우에 구체적 계산 공식

3. $(\mathbb{Z}/2\mathbb{Z})^n$ 이 복소곡면에 작용하는 경우

정리 5.2: $X$ 를 연결 콤팩트 복소곡면, $G \cong (\mathbb{Z}/2\mathbb{Z})^n$ 이라 하면: $\chi_G(X, E) = \frac{1}{2^n}\chi(X, E)[\mathbb{C}[G]] + \text{(고립점 기여)} + \text{(고정 곡선 기여)}$

여기서 고정 곡선 $C_k$ 의 기여는: $\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)$