[논문 리뷰] Characteristic one, entropy and the absolute point

Alain Connes, Caterina Consani|ArXiv.org|2009. 11. 18.

Mathematical and Theoretical Analysis참고 문헌 24인용 수 35

한 줄 요약

이 논문은 특성 1 수학, 아이디포텐트 해석학, 그리고 타로픽 기하학 사이의 깊은 연결고리를 확립하며, 특성 1으로 일반화된 '완벽한' 반군 구조를 도입하여 위트 링 구성법을 특성 1으로 일반화한다. 이는 엔트로피와 열역학과도 연결되며, 토퍼스가 있는 $\mathbb{F}_1$-스킴에 대한 제타 함수 계산을 확장하고, 절대 점 위에서의 가설적 곡선 $\overline{\mathrm{Spec}\,\mathbb{Z}}$를 위한 새로운 프레임워크를 제공한다. 이론은 $\mathbb{Q}$ 위의 타원곡선에서 검증된다. 주요 기여는 모노이드의 덧셈 구조를 통해 $\mathbb{F}_1$-스킴의 새로운 기하학적 및 산술적 해석을 제안하는 것이다.

ABSTRACT

We show that the mathematical meaning of working in characteristic one is directly connected to the fields of idempotent analysis and tropical algebraic geometry and we relate this idea to the notion of the absolute point. After introducing the notion of "perfect" semi-ring of characteristic one, we explain how to adapt the construction of the Witt ring in positive characteristic to the limit case of characteristic one. This construction unveils an interesting connection with entropy and thermodynamics, while shedding a new light on the classical Witt construction itself. We simplify our earlier construction of the geometric realization of an F_1-scheme and extend our earlier computations of the zeta function to cover the case of F_1-schemes with torsion. Then, we show that the study of the additive structures on monoids provides a natural map from monoids to sets which comes close to fulfill the requirements for the hypothetical curve compactifying Spec Z over the absolute point. Finally, we test the computation of the zeta function on elliptic curves over the rational numbers.

연구 동기 및 목표

• 특성 1에서의 수학적 의미를 명확히 하며, 특히 절대 점 $\mathrm{Spec}\,\mathbb{F}_1$의 맥락에서 이를 다루는 것.
• 특성 1 수학을 위한 엄밀한 프레임워크를 마련하기 위해 '완벽한' 반군을 도입하고, 고전적 위트 링 구성법을 일반화하는 것.
• 특성 1 수학에서의 엔트로피와 열역학을 $p$-진 구조의 극한 $p \to 1$을 통해 연결하는 것.
• $\mathbb{F}_1$-스킴, 특히 토퍼스가 있는 경우의 제타 함수 계산을 일반화하고, 이들을 $\mathbb{Q}$ 위의 타원곡선에서 검증하는 것.
• $\mathbb{F}_1$ 위에서의 가설적 곡선 $\overline{{\rm Spec}\,{\mathbb{Z}}}$의 기하학을 근사하는 자연스러운 함자 $M \mapsto A(M)$를 제안하는 것.

제안 방법

• 특성 1의 '완벽한' 반군의 개념을 도입하여 유한체와 아이디포텐트 반군의 구조를 일반화한다.
• 고전적 위트 링 구성법을 $p=1$의 극한 경우로 확장하여, 이가 최대-합 대수 $\mathbb{R}_{+}^{\rm max}$의 구조를 복원함을 보여준다.
• 특성 1의 모델로 아이디포텐트 반체 $\mathbb{B} = \mathbb{R}_{+}^{\rm max}$를 사용하며, 여기서 덧셈은 $x \uplus y = \max\{x,y\}$, 곱셈은 일반적인 곱셈이다.
• 토퍼스를 포함한 $\mathbb{F}_1$-스킴의 기하학적 실현을 모노이드 공간과 $\mathfrak{Mo}$-함수를 통해 구성하며, 이전 연구를 확장한다.
• 제타 함수 $\zeta_N(s)$의 로그 도함수에 대한 적분 공식을 유도하고, 그 해석성을 증명한다.
• 제타 함수 계산을 $\mathbb{Q}$ 위의 타원곡선에서 검증하여, 수량 함수 $N(n)$을 계산하고 악성 감소를 보이는 소수를 식별한다.

실험 결과

연구 질문

• RQ1 알gebraic geometry와 분석의 맥락에서 특성 1의 개념을 일관된 수학적 의미로 부여할 수 있는가?
• RQ2 절대 점 $\mathrm{Spec}\,\mathbb{F}_1$는 산술적 및 기하학적 구조를 통합하는 데 어떤 역할을 하는가?
• RQ3 고전적 위트 링 구성법은 어떻게 $p=1$의 경우로 확장될 수 있으며, 이는 엔트로피와 열역학에 대해 무엇을 드러내는가?
• RQ4 $\mathbb{F}_1$-스킴의 제타 함수는 토퍼스를 포함하여 의미 있게 일반화될 수 있는가? 그리고 타원곡선에서는 어떻게 행동하는가?
• RQ5 $\mathbb{F}_1$ 위에서의 가설적 곡선 $\overline{{\rm Spec}\,{\mathbb{Z}}}$를 실현하는 자연스러운 함자 $M \mapsto A(M)$가 존재하는가?

주요 결과

• 논문은 위트 링을 일반화하고 아이디포텐트 해석학 및 타로픽 기하학과 직접 연결하는 특성 1의 '완벽한' 반군을 구성한다.
• $p \to 1$로 갈 때 위트 구성의 극한은 $\mathbb{R}_{+}^{\rm max}$와 동형이 되며, 프로베누스 사상은 $x \mapsto x^\lambda$로 나타나며, 단조성을 유지한다.
• 토퍼스가 있는 $\mathbb{F}_1$-스킴의 제타 함수는 $\zeta_N(s)$에 대한 적분 공식을 통해 일반화되며, 이는 해석적임을 증명한다.
• $\mathbb{Q}$ 위의 타원곡선에 대해, 수량 함수 $N(n)$은 $N(n) = n+1 - t(n)$으로 계산되며, 여기서 $t(n)$은 프로베누스 에ンド모르피즘의 $n$제곱의 트레이스이다.
• 검증된 타원곡선에서 악성 감소를 보이는 유일한 소수는 $p=11$이며, 수정된 제타 함수 $\zeta_N^{\rm disc}(s)$는 이 소수에서 특이성을 보인다.
• 제안된 함자 $M \mapsto A(M)$는 $\mathbb{F}_1$ 위에서의 $\overline{{\rm Spec}\,{\mathbb{Z}}}$의 기하학적 실현을 위한 후보를 제공하며, $\#\underline{E}(\mathbb{F}_{1^n}) = N(n+1)$를 만족한다.