[論文レビュー] F-zeta geometry, Tate motives, and the Habiro ring

Catharine W. K. Lo, Matilde Marcolli|arXiv (Cornell University)|Oct 8, 2013

Algebraic structures and combinatorial models参考文献 10被引用数 5

ひとこと要約

本稿は、単位根 $ξ$ を用いた $Ζ$-構造上の $Ζ$-幾何を導入し、$Ζ_1$-幾何を一般化する。これにより、ind-多様体の数え上げ関数がハビロ環とタート・モチーフに結びつけられる。ハビロ環の関数が、構成可能トライフィケーションをもつind-多様体のグローテンディーク類として生じることを確立し、コンツェビッチの形式的級数と量子モジュラー形式がこうした類に対応することを証明する。これにより、単位根における解析関数の幾何的実現が得られる。

ABSTRACT

In this paper we propose different notions of F_zeta-geometry, for zeta a root of unity, generalizing notions of F_1-geometry (geometry over the "field with one element") based on the behavior of the counting functions of points over finite fields, the Grothendieck class, and the notion of torification. We relate F_zeta-geometry to formal roots of Tate motives, and to functions in the Habiro ring, seen as counting functions of certain ind-varieties. We investigate the existence of F_zeta-structures in examples arising from general linear groups, matrix equations over finite fields, and some quantum modular forms.

研究の動機と目的

• 単位根 $ξ$ における $Ζ$-幾何の幾何的枠組みを構築し、$Ζ_1$-幾何を一般化すること。
• ind-多様体の数え上げ関数をハビロ環に関連づけ、それらを幾何的対象のグローテンディーク類として解釈すること。
• タート・モチーブの形式的根をハビロ–グローテンディーク環および構成可能トライフィケーションに関連づけること。
• 量子モジュラー形式およびコンツェビッチの級数が、構成可能トライフィケーションをもつind-多様体の数え上げ関数として生じることを示すこと。
• 単位根における解析関数とモチービック幾何における幾何的不変量との間の対応を確立すること。

提案手法

• ハビロ環を単位根において解析的関数として評価可能な関数の環として用い、形式的級数を $ξ$ で評価可能にする。
• 数え上げ関数をモデル化するため、$\mathbb{A}^{2k} \setminus \{\mathbf{0}, \mathbf{1}\}$ のような補集合構造を持つ多様体の増大列としてind-多様体を構成する。
• 局所的閉部分集合がトーラスに同型となる構成可能トライフィケーションをind-多様体に適用し、グローテンディーク群における正の性質を保証する。
• 射影的グローテンディーク環系を用い、タート・モチーブを介してind-多様体のグローテンディーク類をハビロ–グローテンディーク環に関連付ける。
• コンツェビッチの級数 $K(q) = \sum_{k=0}^\infty (1-q)\cdots(1-q^k)$ をハビロ–グローテンディーク環におけるグローテンディーク類として解釈する。
• モチーブの軌道圏を用い、形式的タート・モチーブの根をモデル化し、それらを $Ζ$-構造に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 単位根 $ξ$ に対して、$Ζ_1$-幾何を拡張する $Ζ$-幾何の幾何的理論を構築できるか？
• RQ2 単位根において解析的関数としてのハビロ環の関数は、どのように幾何的対象の数え上げ関数として実現できるか？
• RQ3 $Ζ$-幾何およびモチービック積分の文脈において、タート・モチーブおよびその根は果たす役割は何か？
• RQ4 量子モジュラー形式およびコンツェビッチの級数は、構成可能トライフィケーションをもつind-多様体に対応するか？
• RQ5 ind-多様体のグローテンディーク類が、モチービックな意味で正の性質を満たす構成可能トライフィケーションをもつための条件は何か？

主な発見

• ハビロ環は、構成可能トライフィケーションをもつind-多様体のグローテンディーク環と同型であり、単位根における解析的関数のモチービック実現を提供する。
• コンツェビッチの形式的級数 $K(q)$ は、ハビロ–グローテンディーク環におけるグローテンディーク類 $K(\mathbb{L}) = \sum_{k=0}^\infty (\mathbb{L}^{2k}-2)(\mathbb{L}^{2k-1}-1)\cdots(\mathbb{L}-1)$ として実現される。
• ind-多様体 $X_K = \bigcup_{k=0}^\infty (\mathbb{A}^{2k} \setminus \{\mathbf{0}, \mathbf{1}\}) \times \cdots \times (\mathbb{A}^1 \setminus \{0\})$ のグローテンディーク類は $K(\mathbb{L})$ に等しく、$N=4k$ における切り出し $X_{K,N}$ は構成可能トライフィケーションをもつ。
• $N=4k$ のとき、負の項が対として相殺されることによりグローテンディーク群における正の性質が満たされ、完全な構成可能トライフィケーションが可能になる。
• 形式的級数 $K(q)$ を単位根で評価した値は、$X_K$ の数え上げ関数に対応し、$\mathbb{Z}$ 値をとることから、幾何的解釈が裏付けられる。
• 本稿は、ind-多様体 $X_K$ のグローテンディーク類がハビロ–グローテンディーク類 $K(\mathbb{L})$ に等しいことを確立し、解析的および幾何的不変量を結びつける。