[论文解读] The Legendre determinant form for Drinfeld modules in arbitrary rank

Rudolph Perkins|arXiv (Cornell University)|Sep 23, 2014

Advanced Algebra and Geometry参考文献 6被引用 7

一句话总结

本文通过使用秩 $r$ 的通用德林费尔德模的刚性解析平凡化及其向量形式埃斯特别里级数的形变，构造了 $​\mathrm{GL}_r(\mathbb{F}_q[\theta])$ 上最小权 $1 + q + \cdots + q^{r-1}$ 的处处非零、单尖点的德林费尔德模形式。关键贡献在于证明了该勒让德行列式形式在任意秩下的全纯性与非零性，同时确立了所有定义在 $\mathbb{F}_q[\theta]$ 上的德林费尔德模的 de Rham 上同调到 Betti 上同调的周期类映射为同构。

ABSTRACT

For each positive integer $r$, we construct a nowhere-vanishing, single-cuspidal Drinfeld modular form for $\GL_r(\FF_q[θ])$, necessarily of least possible weight, via determinants using rigid analytic trivializations of the universal Drinfeld module of rank $r$ and deformations of vectorial Eisenstein series. Along the way, we deduce that the cycle class map from de Rham cohomology to Betti cohomology is an isomorphism for Drinfeld modules of all ranks over $\FF_q[θ]$.

研究动机与目标

• 完成对任意秩 $r$ 的格克勒勒的勒让德行列式形式在德林费尔德模形式理论中的构造。
• 将向量形式模形式的形变理论推广至更高秩 $r$。
• 证明勒让德行列式形式在无穷远处全纯且处处非零，适用于 $\mathrm{GL}_r(\mathbb{F}_q[\theta})$。
• 确立任意秩下定义在 $\mathbb{F}_q[\theta]$ 上的德林费尔德模的 de Rham 上同调与 Betti 上同调之间的同构关系。
• 提供一种系统化方法，通过向量形式埃斯特别里级数形变的行列式构造单尖点模形式。

提出的方法

• 利用秩 $r$ 的通用德林费尔德模的刚性解析平凡化构造矩阵 $\Xi$，其行列式即为勒让德形式。
• 通过分析平凡化矩阵满足的 $\tau$-差分方程，研究模形式性质与非零性。
• 引入向量形式埃斯特别里级数 $\mathcal{E}_k$ 的形变，获得其在无穷远处的显式展开式，从而与已知形式进行比较。
• 应用从 de Rham 上同调到 Betti 上同调的周期类映射，通过显式构造证明其为同构。
• 利用行列式 $\det\Xi$ 的非零性以及其分量在 $\mathbb{F}_q[t]$ 上的线性无关性，证明该形式处处非零。
• 依赖 Moore 行列式理论与安德森生成函数，建立代数独立性与零化条件。

实验结果

研究问题

• RQ1 能否通过刚性解析平凡化构造任意秩 $r$ 的德林费尔德模的勒让德行列式形式，并证明其在无穷远处全纯？
• RQ2 在更高秩下，逆刚性解析平凡化矩阵 $\Psi^{-1}$ 的列与矩阵 $\Xi$ 之间的确切关系为何？
• RQ3 所有秩 $r$ 的单尖点德林费尔德模形式是否都能表示为向量形式埃斯特别里级数形变的 $r$ 重组的行列式？
• RQ4 在 $\mathbb{C}_\infty$ 中对参数 $t$ 的取值如何影响德林费尔德模的 de Rham 上同调与 $A$-模结构？
• RQ5 德林费尔德模的 $\theta$-进 Tate 模与 de Rham 上同调之间的确切关系为何？

主要发现

• 勒让德行列式形式 $\det\Xi$ 是 $\mathrm{GL}_r(\mathbb{F}_q[\theta])$ 上类型为 1、权为 $1 + q + \cdots + q^{r-1}$ 的处处非零、单尖点的德林费尔德模形式。
• 形式 $\det\Xi$ 在无穷远处全纯且非零，其证明基于 $\tau(\det\Xi)$ 在权为 $1 + q + \cdots + q^{r-1}$ 的模形式空间中非零。
• 所有定义在 $\mathbb{F}_q[\theta]$ 上的任意秩德林费尔德模的 de Rham 上同调到 Betti 上同调的周期类映射为同构。
• 向量形式埃斯特别里级数 $\mathcal{E}_1 = (\epsilon_r, \dots, \epsilon_1)^{tr}$ 在 $\Omega^r$ 上处处非零，且其分量在 $\mathbb{F}_q[t]$ 上线性无关。
• 若 $k_1 + \cdots + k_r < 1 + q + \cdots + q^{r-1}$ 且每个 $k_i \equiv 1 \pmod{q-1}$，则 $\det[\mathcal{E}_{k_1} \cdots \mathcal{E}_{k_r}] = 0$，表明低权下存在线性相关性。
• 在秩 2 时，所有单尖点形式均可表示为 $\det[\mathcal{E}_1 \; \mathcal{E}_{1+k(q-1)}]$，提示该结构可能推广至更高秩。