[논문 리뷰] The hyperring of adèle classes

Alain Connes, Caterina Consani|arXiv (Cornell University)|2010. 01. 24.

Homotopy and Cohomology in Algebraic Topology참고 문헌 26인용 수 7

한 줄 요약

이 논문은 전역체 $ℚ$의 adfle 클래스 공간 $ℝ_{ℚ} = ℐ_{ℚ}/ℚ^\times$가 자연스럽게 하이퍼링(hyperring)의 구조를 지니며, 이는 하이퍼필드 $ℚ$의 하이퍼링 확장이 되며, 절대 점 위에서의代수기하학의 개념적 프레임워크를 제공한다. 핵심 결과는 곡선의 최대 아벨 커버의 루프 군족과 하이퍼링 $ℝ_{ℚ}$ 내의 소원들의 군족 사이에 자연스럽고 $W$-여기적(isomorphism)이 존재한다는 것이다. 이는 하이퍼링 이론을 통해 산술기하학과 비아벨 기하학을 연결한다.

ABSTRACT

We show that the theory of hyperrings, due to M. Krasner, supplies a perfect framework to understand the algebraic structure of the adele class space of a global field. After promoting F1 to a hyperfield K, we prove that a hyperring of the form R/G (where R is a ring and G is a subgroup of its multiplicative group) is a hyperring extension of K if and only if G union 0 is a subfield of R. This result applies to the adele class space which thus inherits the structure of a hyperring extension H of K. We begin to investigate the content of an algebraic geometry over K. The category of commutative hyperring extensions of K is inclusive of: commutative algebras over fields with semi-linear homomorphisms, abelian groups with injective homomorphisms and a rather exotic land comprising homogeneous non-Desarguesian planes. Finally, we show that for a global field of positive characteristic, the groupoid of the prime elements of the hyperring H is canonically and equivariantly isomorphic to the groupoid of the loops of the maximal abelian cover of the curve associated to the global field.

연구 동기 및 목표

• 전역체 $ℚ$의 adfle 클래스 공간 $ℝ_{ℚ} = ℐ_{ℚ}/ℚ^\times$의 대수적 구조를 하이퍼링 이론을 통해 이해하기 위해.
• 절대 점 $ℓ\mathrm{Spec}ℝ\u211f_1$ 위에서의 대수기하학 프레임워크를 하이퍼링과 하이퍼필드를 포함하도록 확장하기 위해.
• 양의 특성에서 산술적 대상과 비아벨 기하학의 기하적 대상 사이에 하이퍼링의 구조를 통해 정확한 대응을 설정하기 위해.
• 전역체의 맥락에서 $ℚ$가 $℟_1$의 하이퍼필드 상향($hyperfield lift$)임을 $ℓ\mathrm{Spec}℟_1$와는 다를 것임을 명확히 하기 위해.

제안 방법

• 저자들은 M. 크라스너의 하이퍼링 이론을 사용하여, $G \subset R^\times$인 경우의 몫 구조 $R/G$에 하이퍼덧셈을 정의함으로써, 이를 하이퍼링으로 만든다.
• 특히 $R/G$가 하이퍼필드 $ℚ$의 하이퍼링 확장임과 동시에 $G \cup \{0\}$이 $R$의 부분체일 때이고, 뿐만 아니라 그 조건이 필요충분임을 증명함으로써 하이퍼링 확장의 기준을 제시한다.
• adfle 클래스 공간 $ℝ_{ℚ}$는 이 기준을 통해 하이퍼링의 구조를 유도하며, 모든 $x \in \u211d_{ℚ}$에 대해 $x + x = \{0, x\}$임을 보여, 특성 1의 행동을 반영한다.
• 논문은 곡선 $X$의 최대 아벨 커버의 루프 군족 $\Pi_{1}^{\mathrm{ab}}(X)'$과 하이퍼링 $\u211d_{ℚ}$ 내의 소원들의 군족 $P(\u211d_{ℚ})$ 사이에 자연스러운 동형사상을 구축한다. 이는 계급체론과 아벨화된 위엘 군의 작용을 활용한다.
• 이 동형사상은 아벨화된 위엘 군 $\mathcal{W}^{\mathrm{ab}} \cong C_{ℚ}$의 작용에 대해 여기적임이 입증되어, 산술적 대칭과 기하적 대칭을 연결한다.
• 구성은 $X^{\mathrm{ab}} \times_X X^{\mathrm{ab}}$의 닫힌 점을 동일한 자리 위의 두 성분의 첨도로 식별하고, 계급체론의 동형사상을 통해 $C_{ℚ}/\u211a_w^\times$의 원소들을 커버의 자기동형사상과 연결함으로써 잘 정의되고 전단사임을 보장한다.

실험 결과

연구 질문

• RQ1 전역체 $\u211a$의 adfle 클래스 공간 $\u211d_{ℚ}$에 자연스러운 하이퍼링의 구조를 어떻게 부여할 수 있는가?
• RQ2 환 $R$의 곱셈부분군 $G \subset R^\times$에 의한 몫 $R/G$가 하이퍼필드 $\u211a$의 하이퍼링 확장이 되기 위한 조건은 무엇인가?
• RQ3 양의 특성에서 하이퍼링 $\u211d_{ℚ}$ 내의 소원들의 군족의 기하학적 의미는 무엇인가?
• RQ4 하이퍼링 $\u211d_{ℚ}$의 구조는 관련 곡선 $X$의 최대 아벨 커버 $X$에 대해 $\mathbb{F}_q$ 위에서 어떻게 관련되는가?
• RQ5 최대 아벨 커버의 루프 군족과 하이퍼링 $\u211d_{ℚ}$ 내의 소원들의 군족 사이에 자연스럽고 여기적인 동형사상이 존재하는가?

주요 결과

• 전역체 $\u211a$의 adfle 클래스 공간 $\u211d_{ℚ}$는 자연스럽게 하이퍼링의 구조를 지니며, 모든 $x \in \u211d_{ℚ}$에 대해 $x + x = \{0, x\}$임을 보여, 특성 1의 행동을 반영한다.
• $R/G$가 하이퍼필드 $\u211a$의 하이퍼링 확장임과 동시에 $G \cup \{0\}$이 $R$의 부분체일 때이며, 이 조건이 필요충분임을 보여, 정확한 대수적 기준을 제공한다.
• 하이퍼링 $\u211d_{ℚ}$ 내의 소원들의 군족 $P(\u211d_{ℚ})$는 곡선 $X$에 대응하는 최대 아벨 커버의 루프 군족 $\Pi_{1}^{\mathrm{ab}}(X)'$과 자연스럽게 동형임이 입증된다.
• $\Pi_{1}^{\mathrm{ab}}(X)'$과 $P(\u211d_{ℚ})$ 사이의 동형사상은 아벨화된 위엘 군 $\mathcal{W}^{\mathrm{ab}} \cong C_{\u211a}$의 작용에 대해 여기적임이 입증되어, 산술적 대칭과 기하적 대칭을 연결한다.
• 계급체론의 동형사상 $C_{\u211a} \cong \mathcal{W}^{\mathrm{ab}}$를 통해 $C_{\u211a}/\u211a_w^\times$의 원소들이 커버의 자기동형사상과 식별되며, 이는 잘 정의되고 전단사임을 보장한다.
• $P(\u211d_{ℚ})$ 내의 각 소원 $p_w$의 이소트로피 부분군은 $\u211a_w^\times$이며, 이는 국소 위엘 군과 일치하여 계급체론과의 일致성을 확인한다.