[논문 리뷰] Chevalley's ambiguous class number formula for an arbitrary torus

Cristian D. González-Avilés|ArXiv.org|2007. 11. 10.

Geometric and Algebraic Topology참고 문헌 7인용 수 3

한 줄 요약

이 논문은 전역체 위의 임의의 토르스로 체베르리의 고전적 모호한 클래스 수 공식을 일반화한다. 이는 $\mathbb{G}_m$의 경우에 대한 고전적 결과를 네론-레나오 모델, 갈루아 코hom로지, 국소 인자들을 통합하여 확장한다. 주요 결과는 갈루아 확장과 기저 체 위의 토르스의 클래스 수 비율을 갈루아 코호몰로지 군, 분해율, 네론-레나오 모델의 성분군을 통해 기술한다.

ABSTRACT

This version is a significant improvement of the original paper. It includes a new section where we discuss norm tori in some detail. The new abstract is the following: In this paper we obtain Chevalley's ambiguous class number formula for an arbitrary torus T over a global field. The classical formula of C.Chevalley may be recovered by setting T=G_{m} in our formula. As an illustration of the general result, we discuss norm tori in detail. A key ingredient of the proof of our main theorem is the work of X.Xarles on groups of components of Neron-Raynaud models of tori.

연구 동기 및 목표

• 전역체 위의 임의의 토르스로 체베르리의 모호한 클래스 수 공식을 곱셈군 $\mathbb{G}_m$ 에서 일반화한다.
• 갈루아 확장과 그 기저 체 위의 토르스의 클래스 수 비율을 코호몰로지 공식으로 제공한다.
• 분해율과 네론-레나오 모델의 성분군과 같은 국소 불변량을 공식에 통합한다.
• 일반 공식을 노름 토르스에 특수화하여, 특히 이차 경우에 새로운 클래스 수 관계를 도출한다.
• 토르스의 클래스 수와 노름 사상의 핵, 단위군과 같은 산술 불변량 간의 관계를 명확히 한다.

제안 방법

• 토르스 $T$ 의 $S$-정수환 $\mathcal{O}_{F,S}$ 위의 네론-레나오 모델 $\mathcal{T}^\circ$ 와 갈루아 확장 $K/F$ 에서의 기저 변경을 사용한다.
• 갈루아 코호몰로지를 $T(K)/\widetilde{\mathcal{T}}^{\circ}(\widetilde{U})$ 와 항등성분 $\widetilde{\mathcal{T}}^{\circ}(\widetilde{U})$ 에 적용하고, 핵을 $H^1(G, \cdot)^\prime$ 으로 표기한다.
• 기저 $v \notin S$ 에서의 소수 $w$ 위에서 네론-레나오 모델의 성분군 $\Phi_w(\kappa(w))$ 와 관련된 국소 인자 $\ell_v$ 와, $T_{F_v}$ 의 최대 분해 부분토르스의 차원 $d_v$ 에 따라 승수로 올린 분해율 $e_v^{d_v}$ 를 통합한다.
• 네론-레나오 모델의 성분군에 관한 X. Xarles 의 작업에 기반하여 클래스 군 $C_{T,K,S}$ 의 구조를 분석한다.
• 네론-레나오 모델의 정확한 수열을 이용하여 갈루아 코호몰로지 군과 클래스 군의 구조를 비교함으로써 주요 공식을 유도한다.
• 일반 공식을 노름 토르스 $T = R^{(1)}_{K/F}(\mathbb{G}_{m,K})$ 에 특수화하여 순환 경우에 대해 명시적인 클래스 수 관계를 도출한다.

실험 결과

연구 질문

• RQ1 체베르리의 모호한 클래스 수 공식은 전역체 위의 임의의 토르스로 곱셈군을 초월하여 어떻게 일반화될 수 있는가?
• RQ2 네론-레나오 모델과 그 성분군은 토르스의 클래스 수 계산에 어떤 역할을 하는가?
• RQ3 분해율과 $d_v$, $\ell_v$ 와 같은 국소 불변량은 클래스 수 비율에 어떻게 기여하는가?
• RQ4 갈루아 확장 $K/F$ 위의 토르스 $T$ 에 대해 클래스 군 $C_{T,K,S}^G$ 의 구조는 어떻게 되며, 기저 체와의 관계는 어떠한가?
• RQ5 일반 공식은 노름 토르스에 특수화되어 새로운 산술 항등식을 클래스 수에 대해 도출할 수 있는가?

주요 결과

• 주요 결과는 전역체 $F$ 위의 임의의 토르스 $T$ 에 대해 체베르리 공식을 일반화하며, $T = \mathbb{G}_m$ 일 때 고전적 경우가 복원된다.
• 클래스 수 비율 $[C_{T,K,S}^G] / [C_{T,F,S}]$ 는 핵이 있는 갈루아 코호몰로지 군의 몫, 분해율 $e_v^{d_v}$, 국소 인자 $\ell_v$ 와 함께, $[\widetilde{\mathcal{T}}^\circ(\widetilde{U})^G : \mathcal{T}^\circ(U)]^{-1}$ 로 조정된 공식으로 표현된다.
• 노름 토르스 $T = R^{(1)}_{K/F}(\mathbb{G}_{m,K})$ 에 대해 공식은 $h_{T,F,S}$ 를 $h_{F,S}$, 노름 사상의 핵, 단위군 인덱스, 분해 자료와 연결하는 새로운 항등식을 도출한다.
• 이차 경우 ($[K:F] = 2$) 에서 공식은 $[\mathcal{O}_{F,S}^* : W_{F,S}] \cdot [F^* : N_{K/F}(K^*)] \cdot [\ker(N_{\mathcal{O}}) : \mathcal{T}^\circ(U)] \cdot h_{T,F,S} = 4^{\mu + \nu - 1} h_{F,S}$ 로 단순화되며, 여기서 $\mu$ 는 $S$ 에서 분해되지 않은 소수의 수이고 $\nu$ 는 $S$ 밖의 분해된 소수의 수이다.
• 공식은 $\mu + \nu \geq 1$ 이면 $h_{T,F,S}$ 가 $4^{\mu + \nu - 1} h_{F,S}$ 에 의해 나누어 떨어짐을 보여주며, 노름 토르스의 클래스 수에 대한 유한성 조건을 제공한다.
• 논문은 네론 모델의 비연결 섬유 가능성으로 인해 클래스 수 $\mathcal{T}' = \ker N_{\mathcal{O}}$ 가 $\mathcal{T}^\circ$ 와 직접 비교될 수 없다는 점을 명확히 하여, 네론 모델의 산술에서의 핵심적 차이점을 부각시킨다.