[論文レビュー] Homotopy Spectra and Diophantine Equations

Yuri I. Manin, Matilde Marcolli|arXiv (Cornell University)|Jan 1, 2021

Homotopy and Cohomology in Algebraic Topology参考文献 52被引用数 4

ひとこと要約

本稿は、モチーフ的積分とアセンブラ構成を用いて、代数的位相のホモトピースペクトラを代数的多様体上の有理点の分布と結びつける新しい枠組みを提案する。グローテンディーク環からべき級数環へのゼータ関数のモルフィズムとしての解釈により、モチーフ的高さゼータ関数のスペクトル的実現が達成され、モチーフ的ポアソン和分とクレメンス複体の組合せ論によって有理型が保証される。

ABSTRACT

Arguably, the first bridge between vast, ancient, but disjoint domains of mathematical knowledge, - topology and number theory, - was built only during the last fifty years. This bridge is the theory of spectra in stable homotopy theory. This connection poses the challenge: discover new information in number theory using the independently-developed machinery of homotopy theory. In this combined research/survey paper we suggest to apply homotopy spectra to the problem of distribution of rational points upon algebraic manifolds.

研究の動機と目的

• 安定ホモトピー論と数論の間の橋渡しをすることを目的とし、代数的多様体上の有理点の分布にスペクトルを適用する。
• 指数関数的構造とスシヤー合同関係を備えたグローテンディーク環を用いた、高さゼータ関数のモチーフ的枠組みを構築すること。
• アセンブラに関連するスペクトルからのモチーフ的ゼータ関数のモルフィズムとしての実現を可能にし、算術的数え上げ問題の位相的解釈を可能にすること。
• クレメンス複体による局所因子の分解とモチーフ的ポアソン和分を用いて、モチーフ的高さゼータ関数の有理型を達成すること。

提案手法

• 安定ホモトピー論におけるスペクトルの理論を用いて、算術的数え上げ問題を位相的不変量へと昇格させる。
• 正則交差の除法を持つ代数的群の同相的コンパクト化からアセンブラカテゴリ $\mathcal{C}_{X,G}$ を構成する。
• 特性関数 $1_{H(\underline{m},\beta)}$ にモチーフ的フーリエ変換を適用し、局所ゼータ因子を分析する。
• $\pi_0K(\mathcal{C})$ におけるスシヤー合同関係を用いて、分解におけるゼータ関数の乗法性を保証する。
• 交差領域の組合せ論的構造をモデル化するため、クレメンス複体を用い、局所ゼータ因子の構造を決定する。
• モチーフ的ポアソン和分を用いてモチーフ的高さゼータ関数を再定式化し、$\mathbb{L}^{(1-g)N}\sum_{\xi\in F^n} Z(T,\xi)$ の形に書き直す。ここで $Z(T,\xi)$ は分母が $1 - \mathbb{L}^n \underline{T}^{\underline{m}}$ である有理関数である。

実験結果

リサーチクエスチョン

• RQ1 ホモトピースペクトラを用いて、代数的多様体上の有理点の分布をどのようにモデル化できるか？
• RQ2 クレメンス複体は、モチーフ的ゼータ関数の局所因子の構造を決定する上で果たす役割は何か？
• RQ3 モチーフ的高さゼータ関数は、スペクトル構造を備えたグローテンディーク環からべき級数環へのモルフィズムとして実現可能か？
• RQ4 モチーフ的ポアソン和分は、モチーフ的設定における多変数ゼータ関数の有理型をどのように実現するか？
• RQ5 どのアセンブラ構成が、モチーフ的ゼータ関数と整合するスシヤー合同関係を実現するか？

主な発見

• モチーフ的ポアソン和分を用いて、モチーフ的高さゼータ関数が $\mathbb{L}^{(1-g)N}\sum_{\xi\in F^n} Z(T,\xi)$ の形に再定式化され、各 $Z(T,\xi)$ は多変数有理関数である。
• 各局所因子 $Z_v(\underline{T},\xi)$ はクレメンス複体の最大面ごとの和に分解され、各項は $\frac{1}{1 - \mathbb{L}^{\rho_\alpha - 1} T_\alpha}$ の形を取る。
• ゼータ関数 $Z_{\mathcal{H}_\beta}(\underline{T}) = \sum_{\underline{n}} [Sym^{\underline{n}}(\mathcal{H}_\beta)] \underline{T}^{\underline{n}}$ はスシヤー合同関係を満たす。
• $Z(T,\xi)$ の有理型は、分母が $1 - \mathbb{L}^n \underline{T}^{\underline{m}}$ の形であると確認され、重要な算術的幾何的性質が裏付けられる。
• アセンブラ $\mathcal{C}_{X,G}$ の構成は、部分コンパクト化と除法補集合を含む被覆族のグローテンディーク位相に従う。
• モチーフ的ゼータ関数は $\pi_0K(\mathcal{C})$ から $\mathrm{Exp}\mathcal{M}_k[[T]][T^{-1}]$ へのモルフィズムへと上昇され、算術的数え上げにスペクトル構造が与えられる。