[논문 리뷰] Homotopy types and geometries below Spec Z

Yuri I. Manin, Matilde Marcolli|arXiv (Cornell University)|2018. 06. 28.

Algebraic structures and combinatorial models참고 문헌 28인용 수 3

한 줄 요약

이 논문은 안정적 호모토피 이론과 그로텐디크 링을 사용하여 Spec Z 이하의 기하학에 대한 호모토피 프레임워크를 개발한다. 복소수 대칭형의 준단순 자동형사상이 있는 다양체의 어셈블러 카테고리 도입하며, 프로베누스 유사 사상 σₙ 및 ρ̃ₙ을 이 카테고리 위의 내항자로 올리고, K-이론 스펙트럼을 통해 보스트-콘스 대수의 구조를 실현하며, Z[Q/Z]로 가는 스펙트럴 오일러 특성수를 수립한다.

ABSTRACT

After the first heuristic ideas about `the field of one element' F_1 and `geometry in characteristics 1' (J.~Tits, C.~Deninger, M.~Kapranov, A.~Smirnov et al.), there were developed several general approaches to the construction of `geometries below Spec Z'. Homotopy theory and the `the brave new algebra' were taking more and more important places in these developments, systematically explored by B.~Toën and M.~Vaquié, among others. This article contains a brief survey and some new results on counting problems in this context, including various approaches to zeta--functions and generalised scissors congruences. The new version includes considerable extensions and revisions suggested by I. Zakharevich.

연구 동기 및 목표

• 안정적 호모토피 이론과 그로텐디크 링을 사용하여 'Spec Z 이하의 기하학'에 대한 호모토피 프레임워크를 개발한다.
• 유한체 위의 비평탄 및 비준거리적 스킴에 대해 수세기 함수와 자르기 합동을 일반화한다.
• 보스트-콘스 시스템을 등변 그로텐디크 링으로 올리고, K-이론 스펙트럼을 통해 그 구조를 실현한다.
• 복소수 준사영 다양체와 준단순 자동형사상이 있는 어셈블러 카테고리를 구축하고, 관련 K-이론 스펙트럼을 정의한다.
• 자르기 관계와 자동형사상 작용을 존중하는 Z[Q/Z]로 가는 스펙트럴 오일러 특성수를 수립한다.

제안 방법

• 대칭 모노이드 카테고리 (C, ⊗, 1)를 구성하여, C 내의 가환 모노이드의 반대 범주로서 애핀 스킴을 정의한다.
• Aff_C 위에 그로텐디크 위상을 적용하여, F₁- 및 Z-기하학을 포함한 일반화된 기하학에서의 스킴을 정의한다.
• 복소수 준사영 다양체 X와 자동형사상 f: X → X를 갖는 객체들로 구성된 어셈블러 카테고리 C^Z_C를 도입하며, f_* 가 호모로지에서 준단순임을 조건으로 한다.
• f를 보존하는 분리합집합으로 생성되는 그로텐디크 위상을 어셈블러에 부여하여 자르기 관계를 가능하게 한다.
• 내항자 σₙ(X,f) = (X,fⁿ) 및 ρ̃ₙ(X,f) = (X×Zₙ, Φₙ(f))를 정의하여, 프로베누스 및 히크 유사 사상들을 어셈블러 수준으로 올린다.
• K-이론 스펙트럼 K(C^Z_C)를 구성하고 π₀ = K₀^Z(V_C)임을 보이며, σₙ 및 ρ̃ₙ가 호모토피 군에 유도하는 사상들이 보스트-콘스 작용을 복원함을 보인다.

실험 결과

연구 질문

• RQ1 정수 스킴에 대한 호모토피 프레임워크에서 프로베누스 유사 역학을 어떻게 표현할 수 있는가?
• RQ2 자르기 합동과 그로텐디크 링은 비평탄 스킴으로의 제타 함수 일반화에 있어 어떤 역할을 하는가?
• RQ3 어셈블러를 통해 K-이론에서 등변 또는 스펙트럴 수준으로 보스트-콘스 시스템을 어떻게 올릴 수 있는가?
• RQ4 호모로지에서 준단순 자동형사상은 프로베누스 고유값에 대한 호모토피적 대체로 어떤 방식으로 기능하는가?
• RQ5 자르기 관계와 자동형사상과의 호환성을 만족하는 Z[Q/Z]로 가는 스펙트럴 오일러 특성수 σ: K₀^Z(V_C) → Z[Q/Z]를 어떻게 구성할 수 있는가?

주요 결과

• 어셈블러 카테고리 C^Z_C는 복소수 준사영 다양체와 준단순 자동형사상이 있는 것으로 정의되며, f를 보존하는 분리합집합으로 생성되는 그로텐디크 위상이 부여되어 있다.
• K₀^Z(V_C) 위의 사상 σₙ 및 ρ̃ₙ는 C^Z_C 위의 내항자로 올라가며, σₙ는 모노이드 구조를 보존하고, ρ̃ₙ는 군 준동형사를 유도한다.
• K-이론 스펙트럼 K(C^Z_C)의 π₀는 K₀^Z(V_C)와 동형이며, 호모토피 군에 유도된 사상들이 보스트-콘스 대수의 구조를 복원한다.
• 스펙트럴 오일러 특성수 σ: K₀^Z(V_C) → Z[Q/Z]는 f와 호환되는 분해에 대해 가역성을 만족하여 자르기 관계와의 일致성을 보장한다.
• 이 구성은 K₀^Z(V_C)를 통해 비가환적 확장으로서의 그로텐디크 링을 실현하며, 유리수화는 K₀^Z(V_C)⊗Q ⋊ N 형태의 준군 교차곱과 동형이다.
• 이 프레임워크는 보스트-콘스 시스템을 어셈블러의 K-이론 몫으로 실현하여 산술 역학적 동역학과 안정적 호모토피 이론을 연결한다.