[論文レビュー] Homotopy types and geometries below Spec Z

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

Algebraic structures and combinatorial models参考文献 28被引用数 3

ひとこと要約

この論文は、安定ホモトピー理論とグローテンディーク環を用いて、Spec Z より下の幾何構造のホモトピー的枠組みを構築する。複素数の代数的多様体に準単位的自己同型が作用するアセンブラカテゴリを導入し、Frobeniusに類似した写像 σₙ と ρ̃ₙ をこのカテゴリ上の自己函手へと上げる。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 で、f_* がホモロジー上で準単位的であるようなアセンブラカテゴリ C^Z_C を導入する。
• f を保存する直和を生成するグローテンディーク位相をアセンブラに導入し、スカイサーショングリューデンスを可能にする。
• 自己函手 σₙ(X,f) = (X,fⁿ) と ρ̃ₙ(X,f) = (X×Zₙ, Φₙ(f)) を定義し、Frobenius的およびヘッケに類似した写像をアセンブラレベルに上げる。
• K-理論スペクトル K(C^Z_C) を構成し、π₀ = K₀^Z(V_C) であることを示し、σₙ と ρ̃ₙ がホモトピー群に誘導する写像がボスト＝コンス作用を回復することを示す。

実験結果

リサーチクエスチョン

• RQ1 Z 上のスキームにおけるFrobeniusに類似したダイナミクスは、どのようにホモトピー的枠組みに符号化できるか？
• RQ2 スカイサーショングリューデンスとグローテンディーク環は、滑らかでないスキームへのゼータ関数の一般化において、果たす役割は何か？
• RQ3 ボスト＝コンス系は、アセンブラを介してK-理論から等長的またはスペクトル的レベルへどのように上げられるか？
• RQ4 ホモロジー上の準単位的自己同型は、Frobenius固有値のホモトピー的置き換えとしてどのように機能するか？
• RQ5 スカイサーショングリューデンスと自己同型作用を満たす、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-理論の商として実現され、算術的ダイナミクスと安定ホモトピー論が結びつけられる。