[논문 리뷰] Absolute algebra and Segal's Gamma sets

Alain Connes, Caterina Consani|arXiv (Cornell University)|2015. 02. 19.

Homotopy and Cohomology in Algebraic Topology참고 문헌 18인용 수 8

한 줄 요약

이 논문은 세갈의 $\Gamma$-집합이 절대 대수를 위한 통합적 프레임워크를 제공함을 보이며, 구체적으로 구의 스펙트럼에서 유도되고 $\Gamma$-집합을 통해 형식화된 ${\mathbb{S}}$-대수들이 모노이드, 반환환, 초환환, 아라켈로프 기하학 내의 모나드 등 다양한 구성들을 포함하고 일반화함을 보여준다. 핵심 결과는 스매시 곱 $H{\mathbb{Z}}\wedge H{\mathbb{Z}}$가 $H{\mathbb{Z}}$와 동형이 아니라는 점으로, 이는 ${\mathbb{S}}$-대수 프레임워크 내에서 비자명한 구조가 존재함을 시사하며, 이는 이전 접근에서의 ${\mathbb{Z}}\otimes_{{\mathbb{F}}_1}{\mathbb{Z}}$의 자명성과 대비된다.

ABSTRACT

We show that the basic categorical concept of an S-algebra as derived from the theory of Segal's Gamma-sets provides a unifying description of several constructions attempting to model an algebraic geometry over the absolute point. It merges, in particular, the approaches using monoids, semirings and hyperrings as well as the development by means of monads and generalized rings in Arakelov geometry. The assembly map determines a functorial way to associate an S-algebra to a monad on pointed sets. The notion of an S-algebra is very familiar in algebraic topology where it also provides a suitable groundwork to the definition of topological cyclic homology. The main contribution of this paper is to point out its relevance and unifying role in arithmetic, in relation with the development of an algebraic geometry over symmetric closed monoidal categories.

연구 동기 및 목표

• 다양한 접근 방식—모노이드, 반환환, 초환환, 모나드를 포함하여—을 하나의 범주론적 프레임워크 아래 통합하는 것.
• 세갈의 $\Gamma$-집합에서 유도된 ${\mathbb{S}}$-대수가 절대 점 위의 기하학에 자연스럽고 엄밀한 기초를 제공함을 보이는 것.
• 포인트된 집합 위의 모나드에 대해 ${\mathbb{S}}$-대수를 함의적으로 연결하는 어셈블리 맵을 정의함으로써, 아라켈로프 기하학에서 두로프의 모나드 기반 접근을 일반화하는 것.
• 아라켈로프 컴actsification인 $\overline{{\rm Spec}\,{\mathbb{Z}}}}$에 자연스러운 ${\mathbb{S}}$-대수의 층의 구조를 부여함으로써 새로운 기하학적 해석을 가능하게 하는 것.
• ${\mathbb{S}}$-대수 프레임워크 내에서 스매시 곱 $H{\mathbb{Z}}\wedge H{\mathbb{Z}}$가 비자명함을 입증함으로써, 이는 이전 접근에서의 ${\mathbb{Z}}\otimes_{{\mathbb{F}}_1}{\mathbb{Z}}$의 자명성과 대비되며, 절대 대수의 더 풍부한 구조를 드러내는 것.

제안 방법

• 저자들은 세갈의 $\Gamma$-집합에서 유도된 ${\mathbb{S}}$-대수의 범주론적 프레임워크를 사용하여 절대 대수 내의 다양한 구성들을 통합한다.
• 어셈블리 맵을 포인트된 집합 위의 모나드에 대해 ${\mathbb{S}}$-대수를 할당하는 함의적 구성으로 정의함으로써, 두로프의 모나드 기반 기하학을 일반화한다.
• ${\mathbb{S}}$-대수의 스매시 곱은 $\Gamma$-집합 위에서의 Day 컨볼루션 곱을 통해 분석되며, 특히 $H{\mathbb{B}}$와 $H{\mathbb{Z}}$의 경우에 초점을 맞춘다.
• $H{\mathbb{Z}}(k_+)$의 구조는 기저점 0을 가진 ${\mathbb{Z}}^k$로 식별되며, $\alpha, \beta, \gamma: 2_+ \to 1_+$의 세 사상의 작용을 통해 $\widetilde{H{\mathbb{Z}}} \circ H{\mathbb{Z}}$의 $\Gamma$-집합 구조를 분석한다.
• 비단사성의 반증을 통해 $\rho: (\widetilde{H{\mathbb{Z}}} \circ H{\mathbb{Z}})(2_+) \to (\widetilde{H{\mathbb{Z}}} \circ H{\mathbb{Z}})(1_+)^2$가 단사가 아니라는 점을 보이며, 이는 $H{\mathbb{Z}}$의 경우에 비해 이중사상이 전단사임을 고려할 때, 이는 $\widetilde{H{\mathbb{Z}}} \circ H{\mathbb{Z}}$가 $H{\mathbb{Z}}$와 동형이 아니라는 것을 증명한다.
• 호모토피적 추론을 통해 지지되며, $\pi_*(\underline{H{\mathbb{Z}}} \wedge \underline{H{\mathbb{Z}}})$는 비자명함(즉, $H_*(\underline{H{\mathbb{Z}}}, \mathbb{Z})$와 동형)이며, 이는 $\pi_*(\underline{H{\mathbb{Z}}})$와 대비되며, 이는 스펙트럼 수준에서의 비동형성을 확인한다.

실험 결과

연구 질문

• RQ1 세갈의 $\Gamma$-집합에서 유도된 ${\mathbb{S}}$-대수는 모노이드, 반환환, 초환환, 모나드 등을 포함한 절대 대수의 다양한 접근 방식을 통합할 수 있는가?
• RQ2 어셈블리 맵은 포인트된 집합 위의 모나드와 ${\mathbb{S}}$-대수 사이에 함의적으로 어떻게 연결되며, 아라켈로프 기하학에서 그 의미는 무엇인가?
• RQ3 $H{\mathbb{Z}}\wedge H{\mathbb{Z}}$가 $H{\mathbb{Z}}$와 동형이 아니게 되는 이유는 무엇이며, 이는 절대 대수의 구조에 어떤 함의를 갖는가?
• RQ4 아라켈로프 컴팩티피케이션인 $\overline{{\rm Spec}\,{\mathbb{Z}}}}$는 자연스럽게 ${\mathbb{S}}$-대수의 층으로 장비될 수 있는가? 그리고 이는 어떤 기하학적 구조를 유도하는가?
• RQ5 ${\mathbb{S}}$-대수 이론은 탑올로지컬 순환 호모로지와 안정 호모토피 범주와 어떻게 관련이 있는가?

주요 결과

• ${\mathbb{S}}$-대수 $H{\mathbb{Z}}$는 비자명한 자명변환을 갖지 않으며, 따라서 $H{\mathbb{Z}}\wedge H{\mathbb{Z}} \to H{\mathbb{Z}}$의 동형이 존재한다면 그는 유일할 것이다.
• 어셈블리 맵 $\alpha_{H{\mathbb{Z}}, H{\mathbb{Z}}}$는 전사이며, 만약 $H{\mathbb{Z}}\wedge H{\mathbb{Z}}$가 $H{\mathbb{Z}}$와 동형이라면, $\mu \circ \psi$는 ${\mathbb{Z}}$의 전사 자기형사상이 되며, 따라서 자명변환일 것이다.
• $\rho: (\widetilde{H{\mathbb{Z}}} \circ H{\mathbb{Z}})(2_+) \to (\widetilde{H{\mathbb{Z}}} \circ H{\mathbb{Z}})(1_+)^2$는 $(t_1 - 1)(t_2 - 1)$의 배수를 더함으로써 이미지가 유지되므로 단사가 아니며, 이는 $H{\mathbb{Z}}$의 경우에 비해 전단사임을 고려할 때, 이는 $\widetilde{H{\mathbb{Z}}} \circ H{\mathbb{Z}}$가 $H{\mathbb{Z}}$와 동형이 아니라는 것을 증명한다.
• 이 비단사성은 $\widetilde{H{\mathbb{Z}}} \circ H{\mathbb{Z}}$가 $H{\mathbb{Z}}$와 동형이 아니며, 따라서 $H{\mathbb{Z}}\wedge H{\mathbb{Z}} \cong H{\mathbb{Z}}$라는 가정에 모순됨을 의미한다.
• $\underline{H{\mathbb{Z}}} \wedge \underline{H{\mathbb{Z}}}$의 호모토피 군은 Eilenberg-MacLane 스펙트럼 $\underline{H{\mathbb{Z}}}$의 정수 호모로지와 동형이며, 이는 양의 차수에서 비자명하지만 유한함을 확인하며, 이는 스펙트럼 수준에서의 비동형성을 확인한다.
• $\overline{{\rm Spec}\,{\mathbb{Z}}}}$ 위의 구조 층 $\mathcal{O}_{\overline{{\rm Spec}\,{\mathbb{Z}}}}}$는 자연스럽게 ${\mathbb{S}}$-대수이며, 각 아라켈로프 약수는 그 위의 모듈러스 층을 정의하며, 이는 프로베니우스 대응 규칙과 일치하는 일파라미터 군의 약하게 가역적인 층을 형성한다.