[论文解读] Spectra and strains

Vasily Golyshev|ArXiv.org|Jan 2, 2008

Algebraic Geometry and Number Theory参考文献 5被引用 3

一句话总结

本文引入了Fano簇的Fano谱和张量作为不变量，通过伽罗瓦表示将量子上同调与算术几何联系起来。它提出，谱——源自量子乘法矩阵——编码了深刻的算术与几何数据，其中低分歧层与特殊洛朗多项式为分类这些谱（尤其是极小与可胞复叠Fano簇）提供了路径。

ABSTRACT

This is a blend of two informal reports on the activities of the seminar on Galois representations and mirror symmetry given at the Conference on classification problems and mirror duality at the Steklov Institute, in March 2006, and at the Seminar on Algebra, Geometry and Physics at MPI, in November 2007. We assess where we are on the issue of the spectra of Fano varieties, and state problems. We introduce higher dimensional irreducible analogues of dessins, the low ramified sheaves, and hypothesize that Fano spectra relate to their geometric conductors. We give a recipe to a physicist.

研究动机与目标

• 通过量子乘法矩阵及其在洛朗多项式环中的特殊化（基于曲线度数），定义并形式化Fano簇的谱。
• 引入'张量'的概念作为在超平面截面下封闭的形变类，并定义张量的谱为在乘法平移下不变的量。
• 研究母体簇（即无非截面的簇）在各自张量中的极小代表角色。
• 探讨Fano谱与低分歧层（LRS）之间的联系，假设谱的分量源于几何单值性数据。
• 研究谱是否可作为精细不变量，以区分不同Fano张量，特别是在极小与可胞复叠情形下。

提出的方法

• 将Fano簇的谱定义为量子乘法矩阵关于超平面类的行列式零点集，通过曲线度数特殊化至洛朗多项式环。
• 通过使用反典范类进行特殊化，引入反典范谱，并通过添加无穷远分量，定义完整的反典范谱。
• 利用Givental的量子弱Lefschetz定理，证明谱在超平面截面下的稳定性，通过Givental常数平移调整索引为1的情形。
• 通过'低分歧层'（在有理函数域上定义、具有最小单值性的局部系统）将dessins d'enfants推广至高维。
• 将极小Fano三复叠的谱与模对象（如模曲线$X_0(N)/W_N$上的椭圆点）及Picard-Fuchs方程联系起来。
• 通过分层给定支撑的多项式空间，构造特殊洛朗多项式的动物园，筛选出具有退化临界值的多项式，并将其与低分歧层联系起来。

实验结果

研究问题

• RQ1 Fano簇的谱在多大程度上决定了其形变类（张量），特别是在极小或可胞复叠情形下？
• RQ2 两个非同构的可胞复叠张量是否可能具有完全相同的谱？谱是否为这类类别的完整不变量？
• RQ3 Fano簇的完整反典范谱的所有不可约分量是否也都是某个低分歧层（LRS）谱的分量？
• RQ4 可胞复叠Fano簇中仿射胞复叠分解的组合结构与相关LRS的算术导子之间是否存在结构性对应？
• RQ5 能否证明谱分量的定义域具有小判别式，从而暗示其算术复杂性的最优性？

主要发现

• 格拉斯曼簇$G(2,5)$的谱由$t^2 - 11t - 1$的两个根构成，表明其在射影空间中不是完全交。
• 射影空间中完全交的张量的谱是定义在$\mathbb{Q}$上的单一点，且该张量是可胞复叠、极小且Tate的。
• 在$\mathbb{P}^1$上对$\mathbb{P}^3$进行的爆破的谱由两个不可约分量组成，每个分量的伽罗瓦群为$S_3$，判别式分别为$-23$与$-31$，即权为1的尖形式的最小判别式。
• 所有格拉斯曼簇的谱均定义在$\mathbb{Q}^{ab}$上，不可约分量的伽罗瓦群可为$n \geq 5$时的$S_n$，表明其具有非平凡的算术复杂性。
• 对于极小Fano三复叠，谱与模对象相关：它们对应于$X_0(N)/W_N$上的椭圆点与尖点，其中$N = (-K_F)^3 / (2d^2)$。
• 本文猜想，一般极小Fano簇的谱为LRS谱，依据是其计数方程具有Picard-Fuchs性质，且相关局部系统的低分歧性。