[논문 리뷰] Mass formulas for local Galois representations and quotient singularities I: a comparison of counting functions

Melanie Machett Wood, Takehiko Yasuda|arXiv (Cornell University)|2013. 09. 11.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 4

한 줄 요약

이 논문은 근본적인 McKay 대응을 통해 국소 갈루아 표현의 바르가바 질량 공식과 점들의 Hilbert 스킴 사이의 이원성을 확립한다. $ S_n $-작용에 대한 $ \mathbb{A}^2 $ 상황에서 아르틴 판별식과 모티빅 무게의 수함수는 $ q \leftrightarrow q^{-1} $ 치환을 통해 관련되어 있음을 보여준다. 주요 결과는 $ H_{\mathcal{O}_K} $가 대칭곱 $ S^n\mathbb{A}^2 $의 찌그러짐 없는 해소임으로써, Conjecture 5.17을 Hilbert 스킴 $ H_{\mathcal{O}_K} $에 대해 증명하며, 에탈 확장과 몰입 특이점 간의 관계를 모티빅 적분을 통해 연결한다.

ABSTRACT

We study a relation between the Artin conductor and the weight coming from the motivic integration over wild Deligne-Mumford stacks. As an application, we prove some version of the McKay correspondence, which relates Bhargava's mass formula for extensions of a local field and the Hilbert scheme of points.

연구 동기 및 목표

• 국소 갈루아 표현에 대한 바르가바 질량 공식과 점들의 Hilbert 스킴의 생성함수 사이의 구조적 유사성을 명확히 하기.
• 야생 및 온전한 경우에서 갈루아 표현과 몰입 특이점의 수함수를 연결하는 모티빅 McKay 대응을 수립하기.
• 특정 갈루아 표현에 대한 무게가 모티빅 적분으로 유도된 가중치를 가진 가중합으로 표현되는, 구멍 난 Hilbert 스킴의 $ \mathbb{F}_q $-점 수와의 관련성을 증명하기.
• $ S_n $-작용에 대한 $ \mathbb{A}^2 $ 상황에서 아르틴 판별식과 모티빅 무게 함수가 $ q \leftrightarrow q^{-1} $에 대해 이원적임을 보여주기.

제안 방법

• 야생 Deligne-Mumford 스택 위에서의 모티빅 적분을 사용하여 갈루아 표현 $ \rho $의 아르틴 판별식과 무게 함수 $ \mathbf{w}(\rho) $를 연결한다.
• 구멍 난 Hilbert 스킴 $ Z \subset H_{\mathcal{O}_K} $의 셀 분해를 적용하여 $ \sharp Z(\mathbb{F}_q) $를 계수 $ P(n, n-m) $를 가진 분할의 합으로 계산한다.
• 바르가바의 공식과 케들레이의 해석을 활용하여 총 질량 $ M(K, S_n, -\mathbf{a}) $를 분할에 대한 $ q^{-m} $ 항의 합으로 표현한다.
• 고정점의 코드미니멀의 차원인 $ \mathbf{t}_\sigma $를 사용하여 $ \mathbf{w}_{2\sigma}(\rho) = 2\mathbf{t}_\sigma(\rho) - \mathbf{a}_\sigma(\rho) $라는 항등식을 통해 $ \mathbf{a}(\rho) $와 $ \mathbf{w}(\rho) $ 사이의 이원성을 확립한다.
• Hilbert-Chow 사상 $ H_R \to X_R $를 사용하여 $ H_R $가 대칭곱 $ X_R = S^n\mathbb{A}^2 $의 찌그러짐 없는 해소임을 실현하며, 이는 $ \mathcal{O}_K $ 위에서 유효하다.
• Corollary 4.9를 적용하여 총 질량 $ M(K, S_n, -\mathbf{w}_{2\sigma}) $를 분할에 대한 합으로 표현하며, 이는 $ Z $ 상의 점 수와 일치한다.

실험 결과

연구 질문

• RQ1 국소 갈루아 표현의 맥락에서 아르틴 판별식 $ \mathbf{a}(\rho) $와 모티빅 무게 $ \mathbf{w}(\rho) $는 어떻게 관련되어 있는가?
• RQ2 모티빅 적분을 이용한 Deligne-Mumford 스택에서 McKay 대응을 야생 경우로 확장할 수 있는가?
• RQ3 왜 $ S_n $-작용의 경우에 바르가바 질량 공식과 Hilbert 스킴의 점 수 사이에서 $ q \leftrightarrow q^{-1} $의 이원성이 성립하는가?
• RQ4 찌그러짐 없는 해소에서 원점의 역상에 대한 $ \mathbb{F}_q $-점 수가 갈루아 표현에 대한 가중합으로 일치하는 조건은 무엇인가?
• RQ5 구멍 난 Hilbert 스킴의 점 수 $ \sharp Z(\mathbb{F}_q) $와 $ \frac{1}{|\Gamma|} \sum_{\rho} q^{\mathbf{w}(\rho)} $ 사이의 추측이 $ \Gamma = S_n $ 및 $ X = S^n\mathbb{A}^2 $에 대해 성립하는가?

주요 결과

• 추측 $ \sharp Z(\mathbb{F}_q) = \frac{1}{|\Gamma|} \sum_{\rho \in \mathrm{Hom}_{\mathrm{cont.}}(G_K, \Gamma)} q^{\mathbf{w}(\rho)} $는 $ \Gamma = S_n $, $ X = S^n\mathbb{A}^2 $, $ Y = H_{\mathcal{O}_K} $에 대해 성립하며, 이는 Theorem 5.21를 증명한다.
• 구멍 난 Hilbert 스킴 $ Z $의 $ \mathbb{F}_q $-점 수는 $ \sum_{m=0}^{n-1} P(n, n-m) q^m $로 주어지며, 이는 Ellingsrud와 Strømme의 생성함수와 일치한다.
• 총 질량 $ M(K, S_n, -\mathbf{w}_{2\sigma}) $는 $ \sum_{m=0}^{n-1} P(n, n-m) q^m $와 같으며, 이는 $ \mathbf{a}(\rho) $와 $ \mathbf{w}(\rho) $ 사이의 $ q \leftrightarrow q^{-1} $ 이원성을 확인한다.
• 각 $ \rho $에 대해 $ \mathbf{w}_{2\sigma}(\rho) = 2\mathbf{t}_\sigma(\rho) - \mathbf{a}_\sigma(\rho) $를 만족하며, 이때 $ \mathbf{t}_\sigma(\rho) = m $은 $ \rho $가 $ n - m $개의 부분으로 구성된 분할에 대응할 때 성립한다.
• 공식 $ \sharp Z(\mathbb{F}_q) = \sum_{m=0}^{n-1} P(n, n-m) q^m $는 잔여체의 특성에 관계없이 성립하며, $ \mathcal{O}_K $가 국소체 $ K $의 정수환일 경우에 한하여 유효하다.
• 이 결과는 $ S_n $-작용에 대한 $ \mathbb{A}^2 $에서의 야생 McKay 대응에 대한 강력한 증거를 제공하며, 이전 결과를 $ \mathcal{O}_K $ 위의 전역 설정으로 확장한다.