[논문 리뷰] A noncommutative Weierstrass preparation theorem and applications to Iwasawa theory

Otmar Venjakob|ArXiv.org|2002. 04. 12.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 19

한 줄 요약

이 논문은 비가환 국소환 위의 비가환 스크류 거듭제곱 다항식환에 대해 비가환 Weierstrass 준비정리를 수립하며, 이는 비아벨리안 $p$-진 리 군 위의 Iwasawa 모듈러에 대한 구조 이론을 가능하게 한다. 주요 기여는 특정 갈루아 모듈러—특히 비아벨리안 $\mathbb{Z}_p^2$-확장 위의 $p$-힐베르트 클래스 필드 군—이 완전 충실하다는 것을 증명하는 것이다. 즉, 그들의 전역 소멸자(global annihilator)가 0이며, 이는 특성 이상을 갖지 못하고 $L$-함수와 소멸자를 통해 연결될 수 없음을 의미한다.

ABSTRACT

In this paper and a forthcoming joint one with Y. Hachimori we study Iwasawa modules over an infinite Galois extension K of a number field k whose Galois group G=G(K/k) is isomorphic to the semidirect product of two copies of the p-adic numbers. After first analyzing some general algebraic properties of the corresponding Iwasawa algebra, we apply these results to the Galois group of the p-Hilbert class field over K. As a main tool we prove a Weierstrass preparation theorem for certain skew power series rings. One striking result in our work is the discovery of the abundance of faithful torsion modules, i.e. non-trivial torsion modules whose global annihilator ideal is zero. Finally we show that the completed group algebra with coefficients in the finite field of p elements is a unique factorization domain in the sense of Chatters.

연구 동기 및 목표

• 비가환 국소환 위의 비가환 스크류 거듭제곱 다항식환에 대해 비가환 Weierstrass 준비정리의 일반화를 개발한다.
• 비아벨리안 프로-$p$ 군 $G \cong H \rtimes \Gamma$ 이며 $H \cong \Gamma \cong \mathbb{Z}_p$ 인 경우 Iwasawa 대수 $\Lambda(G)$ 위의 Iwasawa 모듈러를 연구한다.
• 비아벨리안 $\mathbb{Z}_p^2$-확장 위의 $p$-힐베르트 클래스 필드의 갈루아 군 $X_{nr}$ 의 구조를 분석한다.
• $X_{nr}$ 가 $\Lambda(G)$-모듈러로서 완전 충실하다는 것을 수립하며, 이는 $\mathrm{Ann}(X_{nr}) = 0$ 임을 의미하며, 이는 $L$-함수와 전역 소멸자를 통해 연결될 수 없음을 암시한다.
• 완비화된 군 대수 $\mathbb{F}_p[[G]]$ 가 Chatters의 의미에서 유일 인수분해 도메인임을 증명한다.

제안 방법

• Iwasawa 대수 $\Lambda(G)$ 를 $R = \Lambda(H)$ 위의 스크류 거듭제곱 다항식환 $R[[Y; \sigma, \delta]]$ 로 표현한다. 여기서 $H \cong \mathbb{Z}_p$ 이다.
• 이러한 스크류 거듭제곱 다항식환에 대해 일반화된 Weierstrass 준비정리를 증명하며, 나눗셈 보조정리와 Weierstrass 다항식으로의 인수분해를 확립한다.
• 준비정리를 이용해 $\Lambda(H)$-모듈러이자 동시에 유한생성된 $\Lambda(G)$-모듈러의 구조를 분석하며, 특히 그들의 준영모듈러 및 충실성 성질에 초점을 맞춘다.
• 코homological 기법, 특히 함자 $\mathrm{E}^i$ 를 사용하여 $X_{nr}$ 와 그 부분군 $H_n$ 에서의 여군집합(co-invariants)의 구조를 연구한다.
• Nakayama의 보조정리와 교환적 Iwasawa 대수의 구조 이론을 활용하여 $X_{nr}$-여군집합의 랭크 성장률을 분석한다.
• 직접극한의 $p$-클래스 군과 역극한의 Iwasawa-수반 사이에, 준영모듈러인 코코어널을 가진 의사등장사상(pseudo-isomorphism)을 통해 이중성(duality)을 수립한다.

실험 결과

연구 질문

• RQ1 비가환 국소환 위의 스크류 거듭제곱 다항식환에 대해 비가환 Weierstrass 준비정리를 어떻게 형식화할 수 있으며, 그 대수적 결과는 무엇인가?
• RQ2 전역 소멸자가 0인 충실한 토르션 $\Lambda(G)$-모듈러—즉, 전역 소멸자가 0인 것—는 수론적 맥락, 특히 Iwasawa 이론에서 자연스럽게 나타나는가?
• RQ3 비아벨리안 $\mathbb{Z}_p^2$-확장 위의 $p$-힐베르트 클래스 필드 갈루아 군 $X_{nr}$ 는 $\Lambda(G)$-모듈러로서 완전 충실한가?
• RQ4 비아벨리안 $p$-진 리 군 확장에서 $p$-클래스 군의 직접극한과 역극한 사이의 이중성은 유지되는가? 그리고 이 이중성에서 코코어널의 성격은 무엇인가?
• RQ5 완비화된 군 대수 $\mathbb{F}_p[[G]]$ 는 $G \cong \mathbb{Z}_p^2 \rtimes \mathbb{Z}_p$ 일 때 Chatters의 의미에서 유일 인수분해 도메인인가?

주요 결과

• 확장 $k_{\infty} = \mathbb{Q}(\mu_p)(p^{p^{-\infty}})$ 위의 $p$-힐베르트 클래스 필드 갈루아 군 $X_{nr}$ 는 $\Lambda(G)$-모듈러로서 완전 충실하다. 즉, $\mathrm{Ann}(X_{nr}) = 0$ 이며, 이는 비영 전역 소멸자가 존재하지 않음을 의미한다.
• 직접극한의 $p$-클래스 군 $\mathrm{Cl}(k_{\infty})(p)^\vee$ 의 폰트리아긴 쌍대는 $\mathrm{E}^1(X_{nr})$ 와 의사등장사상(pseudo-isomorphic)이며, 코코어널이 준영모듈러이므로 비가환 이중성을 수립한다.
• 만약 $X_{nr}$ 가 준영모듈러이면 $\mathrm{Cl}(k_{\infty})(p) = 0$ 이며, 이는 정규 소수일 때 정확히 성립한다.
• $X_{nr}$ 의 $\mu$-불변량이 0이 되는 것은 $X_{nr}$ 가 $\Lambda(H)$-모듈러로서 유한생성될 때이고, 이는 모든 $n$ 에 대해 $\mu(X(k_{n,\infty})) = 0$ 이라는 것을 암시한다.
• $X_{nr}$-여군집합 $X_{nr, H_n}$ 의 랭크는 점점 커지며, $\mathrm{rk}_{\Lambda(H)}(X_{nr}) \cdot p^n + c$ 의 형태로 점 渐진적으로 증가한다. 여기서 $c$ 는 상수이며, $\lambda$-불변량은 랭크와 모듈러의 구조에 의해 결정된다.
• 유닛군 모듈러 $\mathcal{E}(k_{\infty})$ 의 토르션 부분모듈러는 주요 정리와 이중성의 결과로 준영모듈러이다.