[论文解读] 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$-几何，将无限维代数簇的计数函数与哈比罗环及塔特定理联系起来。研究证明，哈比罗环中的函数可作为具有可构造环化分解的无限维代数簇的格罗滕迪克类出现，并进一步表明孔茨耶维奇的正式级数与量子模形式对应于此类类，从而为单位根处的解析函数提供了几何实现。

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$-几何。
• 将无限维代数簇的计数函数与哈比罗环联系起来，将其解释为几何对象的格罗滕迪克类。
• 将塔特定理的正式根与哈比罗–格罗滕迪克环及可构造环化分解联系起来。
• 证明量子模形式与孔茨耶维奇级数可作为具有可构造环化分解的无限维代数簇的计数函数出现。
• 建立单位根处解析函数与动机几何中几何不变量之间的对应关系。

提出的方法

• 使用哈比罗环作为在单位根处解析的函数环，使形式级数可在 $ξ$ 处求值。
• 通过构造无限维代数簇作为具有补集结构（如 $\mathbb{A}^{2k} \setminus \{\mathbf{0}, \mathbf{1}\}$）的代数簇的递增并集，以建模计数函数。
• 在无限维代数簇上应用可构造环化分解——即分解为同构于环的局部闭子集——以确保格罗滕迪克群中的正性。
• 通过塔特定理使用投影系的格罗滕迪克环，将无限维代数簇的格罗滕迪克类与哈比罗–格罗滕迪克环联系起来。
• 将孔茨耶维奇级数 $K(q) = \sum_{k=0}^\infty (1-q)\cdots(1-q^k)$ 解释为哈比罗–格罗滕迪克环中的格罗滕迪克类。
• 使用动机的轨道范畴来建模塔特定理的正式根，并将其与 $Ζ$-结构联系起来。

实验结果

研究问题

• RQ1 能否为单位根 $ξ$ 发展一个 $Ζ$-几何的几何理论，从而推广 $Ζ_1$-几何？
• RQ2 如何将哈比罗环中的函数（在单位根处解析）实现为几何对象的计数函数？
• RQ3 在 $Ζ$-几何与动机积分的背景下，塔特定理及其根起什么作用？
• RQ4 量子模形式与孔茨耶维奇级数是否对应于具有可构造环化分解的无限维代数簇？
• RQ5 在何种条件下，无限维代数簇的格罗滕迪克类可具有可构造环化分解，从而在动机意义上保证正性？

主要发现

• 哈比罗环同构于具有可构造环化分解的无限维代数簇的格罗滕迪克环，为单位根处的解析函数提供了动机实现。
• 孔茨耶维奇的正式级数 $K(q)$ 在哈比罗–格罗滕迪克环中被实现为格罗滕迪克类 $K(\mathbb{L}) = \sum_{k=0}^\infty (\mathbb{L}^{2k}-2)(\mathbb{L}^{2k-1}-1)\cdots(\mathbb{L}-1)$。
• 无限维代数簇 $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})$，其截断 $X_{K,N}$（$N=4k$）具有可构造环化分解。
• 当 $N=4k$ 时，由于负项成对抵消，格罗滕迪克群中的正性条件得以满足，从而实现完整的可构造环化分解。
• 在单位根处求值的正式级数 $K(q)$ 对应该无限维代数簇 $X_K$ 的计数函数，取值于 $\mathbb{Z}$，从而确认其几何解释。
• 本文确立了无限维代数簇 $X_K$ 的格罗滕迪克类等于哈比罗–格罗滕迪克类 $K(\mathbb{L})$，从而将解析不变量与几何不变量联系起来。