[논문 리뷰] The $p$-cyclic McKay correspondence via motivic integration

Takehiko Yasuda|arXiv (Cornell University)|2012. 08. 01.

Algebraic Geometry and Number Theory참고 문헌 22인용 수 13

한 줄 요약

이 논문은 몰입적 통합을 통해 정 characteristic $p$에서 $p$-순환 McKay 대응을 수립한다. 아르틴-슈라이어 확장과 관련된 변형된 호를 일반화하여, 몰입적 통합을 통해 몰입적 통합을 적용하고, 몰입적 통합을 통해 $V/G$의 스트링이론적 몰입적 불변량을 계산한다. 이는 임의의 균형 해석형이 존재할 경우 위상적 오일러 특성 수 $p$를 가지며, 이는 분해능의 분해능과 관련된 분해능의 수와 연결된다.

ABSTRACT

We study the McKay correspondence for representations of the cyclic group of order $p$ in characteristic $p$. The main tool is the motivic integration generalized to quotient stacks associated to representations. Our version of the change of variables formula leads to an explicit computation of the stringy invariant of the quotient variety. A consequence is that a crepant resolution of the quotient variety (if any) has topological Euler characteristic $p$ like in the tame case. Also, we link a crepant resolution with a count of Artin-Schreier extensions of the power series field with respect to weights determined by ramification jumps and the representation.

연구 동기 및 목표

• 정 characteristic $p$에서 순환군 $\mathbb{Z}/p\mathbb{Z}$의 야생 경우에 대한 McKay 대응을 확장한다.
• 비- tame 군 작용을 가진 몰입적 통합을 위한 몰입적 통합 방법론을 개발한다.
• 변형된 호와 분해능 데이터를 이용하여 몰입적 통합을 통해 몰입적 통합을 계산한다.
• 균형 해석형과 특정 분해능 점프를 가진 아르틴-슈라이어 확장의 수 사이의 연결 고리를 설정한다.
• 프로젝티브 몰입적 통합 스택 $[X/\mathbb{G}_m]$의 스트링이론 불변량에 대해 Poincaré 대칭을 증명한다.

제안 방법

• 몰입적 통합을 몰입적 통합 스택 $\mathcal{X} = [V/G]$의 변형된 호 공간으로 일반화한다.
• 정수 $p$가 $j$에 나누어지지 않는 조건에서 아르틴-슈라이어 확장 $k((t))$를 통해 변형된 호를 도입한다.
• 몰입적 통합의 변화 공식을 유도하며, 자코비안과 보정 항 $\mathfrak{s}_{\mathcal{X}}(\gamma) = \mathrm{sht}_V(j)$를 포함한다.
• 스트링이론 몰입적 불변량 $M_{\mathrm{st}}(X)$를 변형된 호 공간 위의 몰입적 통합으로 정의하며, 일반화된 변화 공식을 적용한다.
• $D_V = \sum_{\lambda=1}^l \frac{(d_\lambda - 1)d_\lambda}{2}$를 사용하여 경우를 분류하며, $D_V \geq p$ 조건이 불변량이 잘 정의되도록 보장한다.
• 공식을 적용하여 프로젝티브 스택 $[X/\mathbb{G}_m]$에 대해 Poincaré 대칭 성질을 도출한다.

실험 결과

연구 질문

• RQ1 정 characteristic $p$에서 순환군 $G$가 차수 $p$일 때 몰입적 통합 스택 $V/G$의 스트링이론 몰입적 불변량의 구조는 무엇인가?
• RQ2 정 characteristic에서 $p$-군 작용을 가진 비-tame 몰입적 통합 스택에 대해 몰입적 통합 이론은 어떻게 일반화되는가?
• RQ3 아르틴-슈라이어 확장의 분해능 점프와 몰입적 통합 스택의 스트링이론 불변량 사이의 관계는 무엇인가?
• RQ4 균형 해석형이 존재하면 $D_V = p$임을 보장하며, $D_V = p$일 때 반드시 그런 해석형이 존재하는가?
• RQ5 이러한 몰입적 통합 스택에 대해 정 characteristic에서 스트링이론 불변량에 대해 Poincaré 대칭을 확립할 수 있는가?

주요 결과

• 만약 $D_V \geq p$이면, 몰입적 통합 스택 $X = V/G$의 스트링이론 몰입적 불변량은 $M_{\mathrm{st}}(X) = \mathbb{L}^d + \frac{\mathbb{L}^{l-1}(\mathbb{L}-1)\left(\sum_{s=1}^{p-1}\mathbb{L}^{s - \mathrm{sht}_V(s)}\right)}{1 - \mathbb{L}^{p-1-D_V}}$로 주어진다.
• 만약 $X$가 균형 해석형 $Y \to X$를 가진다면, $D_V = p$이며 $[Y] = \mathbb{L}^d + \mathbb{L}^l \sum_{s=1}^{p-1} \mathbb{L}^{s - \mathrm{sht}_V(s)}$임을 의미하며, 이는 $Y$의 위상적 오일러 특성이 $p$임을 의미한다.
• 유한체 $\mathbb{F}_q$에 대해, 예외적 구역 $E_0 \subset Y$의 $\mathbb{F}_q((t))$-유리점의 수는 $\sharp E_0(\mathbb{F}_q) = 1 + \frac{p-1}{p} \sum_{j>0,\, p\nmid j} \frac{N_{q,j}}{q^{\mathrm{sht}_V(j)}}$를 만족하며, 이는 점의 수와 갈로아 확장의 수 사이의 연결 고리를 제공한다.
• 프로젝티브 몰입적 통합 스택 $[X/\mathbb{G}_m]$의 스트링이론 불변량은 Poincaré 대칭을 만족한다: $M_{\mathrm{st}}(\mathcal{W}; \mathbb{L}^{-1}) \mathbb{L}^{d-1} = M_{\mathrm{st}}(\mathcal{W}; \mathbb{L})$.
• 변형된 호 $\gamma$에 대한 보정 항 $\mathfrak{s}_{\mathcal{X}}(\gamma)$는 $\mathrm{sht}_V(j) = \sum_{\lambda=1}^l \sum_{i=1}^{d_\lambda - 1} \left\lfloor \frac{ij}{p} \right\rfloor$로 주어지며, 여기서 $j$는 관련된 아르틴-슈라이어 확장의 분해능 점프이다.
• 모르피즘 $\phi_\infty: \mathcal{J}_\infty\mathcal{X} \to J_\infty X$에 대해 변화 공식이 성립하며, 측도 변환은 $\mathrm{ord}\, \mathrm{Jac}_\phi$와 $\mathfrak{s}_{\mathcal{X}}$를 포함한다.