[논문 리뷰] Lambda actions of rings of integers

James Borger, Bart de Smit|arXiv (Cornell University)|2011. 05. 24.

Algebraic Geometry and Number Theory참고 문헌 2인용 수 6

한 줄 요약

이 논문은 수체 $K$의 정수환 ${\mathcal{O}}$에 대해, $\lambda$-환의 구조를 일반화하는 $Λ_{\mathcal{O}}$-환의 구조를 토피컬리 프리 ${\mathcal{O}}$-대수에 도입한다. 유한 에탈 $K$-대수에 대해 ${\mathcal{O}}$ 위에 정수 모델이 존재하는지를 판단하는 기준을 제시하며, 이는 델 라인-리베르트 모노이드와 레이 클래스 군을 사용한다. 핵심 결과는 이러한 모델의 존재성이 모노이드 $I({\mathcal{O}}) \times G_K$의 작동이 레이 클래스 군을 통해 인식됨에 따라 결정된다는 것이다. 이 결과는 기존의 $\mathbb{Z}$ 위에서의 $\lambda$-환 이론을 클래스 체 이론을 활용하여 수체로 확장한다.

ABSTRACT

Let O be the ring of integers of a number field K. For an O-algebra R which is torsion free as an O-module we define what we mean by a Lambda_O-ring structure on R. We can determine whether a finite etale K-algebra E with Lambda_O-ring structure has an integral model in terms of a Deligne-Ribet monoid of K. This a commutative monoid whose invertible elements form a ray class group.

연구 동기 및 목표

• 수체 $K$의 정수환 ${\mathcal{O}}$에 대해 $\mathbb{Z}$ 위에서의 $\lambda$-환의 구조를 $\Lambda_{\mathcal{O}}$-환의 구조를 통해 일반화하는 것.
• 유한 에탈 $K$-대수에 $\Lambda_{\mathcal{O}}$-구조가 부여된 경우, 이가 ${\mathcal{O}}$ 위에서 유한 평탄 ${\mathcal{O}}$-모듈러스로서의 정수 모델을 갖는지 여부를 결정하는 것.
• $I({\mathcal{O}}) \times G_K$의 작동이 $K$-대수의 분리 코어로 가는 환형 사상의 집합 위에서 작용하는 방식을 이용하여, 이러한 정수 모델의 존재에 대한 코homological 기준을 수립하는 것.
• 정수 모델의 존재성을 델 라인-리베르트 모노이드를 통해 레이 클래스 군과 연결함으로써, $\mathbb{Z}$-사례에서 사용된 원시적 클래스 체 이론 접근법을 확장하는 것.

제안 방법

• ${\mathcal{O}}$의 각 소수 ${\mathfrak{p}}$에 대해, 토피컬리 프리 ${\mathcal{O}}$-대수 $E$에 대한 $\Lambda_{\mathcal{O}}$-구조를 각 소수에서의 프로베누스 승강 작용 $\psi_{\mathfrak{p}}$의 가환 가중치로 정의한다.
• $\Lambda_{\mathcal{O}}$-구조를 $I({\mathcal{O}}) \to \mathrm{Map}_{G_K}(S,S)$ 형태의 모노이드 사상으로 번역한다. 여기서 $S$는 $E$에서 $K^{\mathrm{sep}}$로의 $K$-대수의 사상들의 집합이다.
• 그로텐디크의 갈루아 이론을 사용하여, 유한 에탈 $K$-대수를 유한한 $G_K$-집합으로 식별하고, $\Lambda_{\mathcal{O}}$-구조를 $I({\mathcal{O}}) \times G_K$의 작용으로 해석한다.
• 주어진 순환 ${\mathfrak{f}}$에 대해 관련된 델 라인-리베르트 모노이드 $\mathrm{DR}({\mathfrak{f}})$를 도입하며, 이의 가역 원소들은 레이 클래스 군을 이룬다.
• $G_K$-작용이 $S$ 위에서의 행동의 분해에 따라, $I({\mathcal{O}})$-오빗들에 대한 부분행동들의 최소공배수인 도함수를 사용하여 순환 ${\mathfrak{f}}$를 구성한다.
• $I({\mathcal{O}}) \times G_K$-작용이 $\mathrm{DR}({\mathfrak{f}})$를 통해 인식됨과 동시에 정수 $\Lambda_{\mathcal{O}}$-모델이 존재함을 보이며, 국소-글로벌 원리와 아르틴 상호작용 법칙을 사용한다.

실험 결과

연구 질문

• RQ1 유한 에탈 $K$-대수에 $\Lambda_{\mathcal{O}}$-구조가 부여된 경우, 이가 ${\mathcal{O}}$ 위에서 유한 평탄 ${\mathcal{O}}$-대수로서의 정수 모델을 갖는 조건은 무엇인가?
• RQ2 이러한 정수 모델의 존재는 갈루아 이론적이고 산술적 자료를 어떻게 기반으로 특성화할 수 있는가?
• RQ3 델 라인-리베르트 모노이드는 어떤 역할을 하여, 유한 에탈 $K$-대수 위의 $\Lambda_{\mathcal{O}}$-구조를 분류하는가?
• RQ4 $\Lambda_{\mathcal{O}}$-구조는 레이 클래스 체 이론과 아르틴 기호와 어떻게 관련이 있는가?
• RQ5 $\mathcal{O}$ 위에서의 정수 모델에 대한 기준을 $I({\mathcal{O}}) \times G_K$의 작동이 레이 클래스 군을 통해 인식됨으로써 조건화할 수 있는가?

주요 결과

• 유한 에탈 $K$-대수 $E$에 $\Lambda_{\mathcal{O}}$-구조가 부여된 경우, $I({\mathcal{O}}) \times G_K$가 $K$-대수의 사상 $E \to K^{\mathrm{sep}}$의 집합 위에서 작용하는 방식이 어떤 순환 ${\mathfrak{f}}$에 대해 델 라인-리베르트 모노이드 $\mathrm{DR}({\mathfrak{f}})$를 통해 인식될 때, 그리고 그때에만 정수 $\Lambda_{\mathcal{O}}$-모델이 존재한다.
• 순환 ${\mathfrak{f}}$는 $S$ 위에서의 $I({\mathcal{O}})$-오빗들에 대한 부분행동들의 도함수들의 최소공배수로 구성되며, 이는 작용이 $\mathrm{Cl}({\mathfrak{f}})$를 통해 인식됨을 보장한다.
• 확장에서 분할되지 않은 소수 ${\mathfrak{p}}$에 대해, ${\mathfrak{p}}$의 작용은 레이 클래스 군 $\mathrm{Cl}({\mathfrak{f}})$ 내의 아르틴 기호 $[{\ olimits}{\mathfrak{p}}]$와 일치한다. 이는 $\Lambda_{\mathcal{O}}$-구조가 클래스 체 이론과 연결됨을 보여준다.
• 모든 소수 ${\mathfrak{p}}$에 대해 국소 $\Lambda_{{\mathcal{O}}_{\mathfrak{p}}}$-모델이 존재함은, 관성군이 분할된 부분에서 자명하게 작용하고, 프로베누스 원소가 그 부분에서의 작용과 일치할 경우, 정리 1.1에 의해 보장된다.
• 모든 ${\mathfrak{p}}$에 대해 국소 정수 모델의 교차는 $R$ (즉, ${\mathcal{O}}$의 정수적 폐쇄)의 유한지수 ${\mathcal{O}}$-부분대수 $A \subset R$를 이룬다. 이는 모든 $\psi_{\mathfrak{p}}$에 대해 안정적이며, 따라서 전역 정수 $\Lambda_{\mathcal{O}}$-모델을 이룬다.
• 이 기준은 정확하다: $I({\mathcal{O}}) \times G_K$-작용이 $\mathrm{DR}({\mathfrak{f}})$를 통해 인식된다면, 그러한 모델이 존재하고, 그 역으로 정수 모델이 존재하면 작용은 어떤 ${\mathfrak{f}}$에 대해 $\mathrm{DR}({\mathfrak{f}})$를 통해 인식된다.