[논문 리뷰] Mass formulas for local Galois representations

Kiran S. Kedlaya, Daniel R. Gulotta|arXiv (Cornell University)|2005. 11. 05.

Advanced Algebra and Geometry참고 문헌 12인용 수 16

한 줄 요약

이 논문은 국소체의 절대 갈루아 군의 순열 표현을 세는 공식으로 간주함으로써, 비르카의 질량 공식을 국소 갈루아 표현으로 일반화한다. $B_n$ 및 $D_n$ 계열의 웨일 군에 대해 양의 결과를 도출하였고, 잔여 특성수가 홀수인 경우에 해당하며, 특성 2에서 $G_2$에 대해 부정적인 결과를 도출하여 $p$-진 적분과의 균일한 연결 가능성에 잠재적인 장애를 드러낸다.

ABSTRACT

Bhargava has given a formula, derived from a formula of Serre, computing a certain count of extensions of a local field, weighted by conductor and by number of automorphisms. We interpret this result as a counting formula for permutation representations of the absolute Galois group of the local field, then speculate on variants of this formula in which the role of the symmetric group is played by other groups. We prove an analogue of Bhargava's formula for representations into a Weyl group in the B_n series, which suggests a link with integration on p-adic groups. We also obtain analogous positive results in odd residual characteristic, and negative results in residual characteristic 2, for the D_n series (in the appendix) and the exceptional group G_2.

연구 동기 및 목표

• 국소체의 절대 갈루아 군의 순열 표현을 세는 공식으로 비르카의 질량 공식을 재구성한다.
• 기타 리 군 유형의 웨일 군으로의 표현에 대해 유사한 질량 공식이 존재하는지 탐구한다. 특히 $B_n$, $D_n$, $G_2$에 대해 고려한다.
• 그러한 질량 공식과 $p$-진 리 군 위의 적분 사이의 잠재적 연결 고리를 조사한다.
• 모든 잔여 특성에서 질량 공식 현상이 균일하게 확장되는지 여부를 규명한다. 특히 특성 2에서의 경우를 중심으로 한다.
• 특히 홀수와 짝수 잔여 특성에서의 차이를 고려하여, $D_n$의 경우를 기계적 계산과 이론적 분석을 통해 해결한다.

제안 방법

• 조합론의 지수함수 공식을 사용하여 비르카의 공식을 재구성함으로써 순열 표현을 세는 공식을 유도한다.
• 아르틴 판별자 이론과 특성 이론을 적용하여 갈루아 표현 $\rho$에 대한 총 질량 $M(K, \rho)$를 정의한다.
• 판별자-판별자 공식을 사용하여 $c(M/L/K)$를 $c(M/K)$와 $c(L/K)$로부터 계산함으로써 기여도를 재귀적으로 계산할 수 있도록 한다.
• 기계적 대수 시스템(GAP 및 SAGE)을 활용하여 $\mathbb{Q}_2$ 위의 8차 확장에서의 부분체 계열과 자기동형수를 분석한다. 특히 $D_4$의 경우에 중점을 둔다.
• 갈루아 군과 안정자에 대한 사례별 분석을 수행하여 $\#\operatorname{Aut}(M/K) \neq \#\operatorname{Aut}(M/L/K)$인 예외적인 경우를 탐지하고, 이에 따라 자기동형수를 보정한다.
• 급수 전개를 통해 총 질량의 생성함수를 유도하고, 수치 해석 데이터를 활용하여 계수를 검증한다.

실험 결과

연구 질문

• RQ1 기본군의 웨일 군으로의 표현에 대해 비르카의 공식과 유사한 질량 공식이 $B_n$ 계열에 존재하는가?
• RQ2 그러한 공식은 $D_n$ 계열로 확장될 수 있는가? 특히 홀수 잔여 특성에서의 경우에 대해 고려한다.
• RQ3 잔여 특성 2에서 $D_n$ 및 $G_2$ 계열에서는 어떤 일이 일어나는가? 공식이 여전히 성립하는가?
• RQ4 $W(D_n)$에 대해 모든 국소체에서 균일한 질량 공식이 존재하는가? 아니면 특성 2에서 패tern이 깨지는가?
• RQ5 $G_2$에서 특성 2에서 질량 공식이 실패하는 것은 $p$-진 적분에 대한 구조적 장애로 설명될 수 있는가?

주요 결과

• 질량 공식은 $B_n$ 계열에 대해 성립하며, 비르카의 원래 $A_n$에 대한 증명과 유사한 방식으로 증명되며, 이는 $p$-진 적분과의 잠재적 연결성을 시사한다.
• $D_n$ 계열의 경우, 홀수 잔여 특성에서 공식이 성립함을 증명하였으며, 디터 데르 루타가 기계적 검증을 통해 부록에서 이를 입증하였다.
• 잔여 특성 2에서 공식은 $D_4$에 대해 실패한다. 실제로 $M(\mathbb{Q}_2, W(D_4)) = \frac{1611}{1024} \neq \frac{51}{32}$로 계산되어 균일성에 위배된다.
• $G_2$의 경우 특성 2에서 공식이 실패함으로써, 예외적 군에 대한 균일한 질량 공식이 존재하지 않는 본질적인 장애가 드러난다.
• $D_4$에서의 오차는 $\#\operatorname{Aut}(M/K) = 8$ 이지만 $\#\operatorname{Aut}(M/L/K) = 4$인 예외적인 경우에서 기인하며, 이에 따라 자기동형수를 보정할 필요가 있다.