[论文解读] Boundary behavior of special cohomology classes arising from the Weil representation

Jens Funke, John J. Millson|arXiv (Cornell University)|Nov 6, 2008

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

一句话总结

本文研究了在正交群的非紧局部对称空间上，由Weil表示产生的特殊上同调类所关联的θ函数在边界处的行为，其符号型为$(p,q)$。研究证明，这些θ函数可延拓至Borel-Serre紧化，且在每个面的限制均为更小正交群与更大系数系统的θ函数。在符号型为$(p,p)$的$\mathbb{Q}$-分裂情形下，小Borel-Serre紧化无法支持该延拓，因边界极限依赖于路径；此时，采用“大”Borel-Serre紧化可解决此问题，实现良定义的边界限制，并通过有限覆盖证明了特殊（上）同调类的非零性。

ABSTRACT

In our previous paper [math.NT/0408050], we established a correspondence between vector-valued holomorphic Siegel modular forms and cohomology with local coefficients for local symmetric spaces $X$ attached to real orthogonal groups of type $(p,q)$. This correspondence is realized using theta functions associated to explicitly constructed "special" Schwartz forms. Furthermore, the theta functions give rise to generating series of certain "special cycles" in $X$ with coefficients. In this paper, we study the boundary behaviour of these theta functions in the non-compact case and show that the theta functions extend to the Borel-Sere compactification $\bar{X}$ of $X$. However, for the $\Q$-split case for signature $(p,p)$, we have to construct and consider a slightly larger compactification, the "big" Borel-Serre compactification. The restriction to each face of $\bar{X}$ is again a theta series as in [math.NT/0408050], now for a smaller orthogonal group and a larger coefficient system. As application we establish the cohomological nonvanishing of the special (co)cycles when passing to an appropriate finite cover of $X$. In particular, the (co)homology groups in question do not vanish.

研究动机与目标

• 理解与由正交群符号型$(p,q)$的非紧局部对称空间上Weil表示产生的特殊上同调类相关的θ函数的边界行为。
• 分析在符号型为$(p,p)$的$\mathbb{Q}$-分裂情形下，这些θ函数无法延拓至小Borel-Serre紧化的原因，即边界极限依赖于接近路径。
• 构建并利用“大”Borel-Serre紧化以解决延拓问题，并确保边界限制的良定义性。
• 通过取局部对称空间的适当有限覆盖，建立特殊循环的上同调非零性。
• 通过显式Schwartz形式与θ分布，将几何θ对应推广至非平凡系数系统$\mathbb{S}_{[\lambda]}(V_{\mathbb{C}})$。

提出的方法

• 作者利用Weil表示构造了取值于$\mathcal{S}(V^{n}_{\mathbb{R}}) \otimes \mathbb{S}_{[\lambda]}(V_{\mathbb{C}})$的$(\mathfrak{g},K)$上循环，这些上循环在对称空间$D$上生成闭微分形式。
• 他们为格$\mathcal{L} \subset V^n$定义了一个θ分布$\Theta_{\mathcal{L}} = \sum_{\ell \in \mathcal{L}} \delta_\ell$，并将其与上循环配对，得到在商空间$X = \Gamma \backslash D$上取值于$\mathbb{S}_{[\lambda]}(V_{\mathbb{C}})$的闭$nq$-形式$\theta_{\varphi^{V}_{nq,[\lambda]}}$。
• 通过研究θ函数在对称空间趋近其Borel-Serre边界时的渐近极限，特别是靠近对应于抛物子群的角点处，分析其边界行为。
• 在$\operatorname{SO}(p,p)$的$\mathbb{Q}$-分裂情形下，小Borel-Serre紧化无法支持良定义的边界限制，因极限依赖于路径；此问题通过引入额外的$\mathbb{R}_+$-因子的“大”Borel-Serre紧化得以解决。
• 证明了θ函数在紧化每个面的限制，均为更小正交群与更大系数系统的θ函数，推广了[12]的结果。
• 应用Poisson求和公式与部分傅里叶变换，分析收敛性与边界参数的依赖性，尤其在$\operatorname{SO}(2,2)$情形下，证明了其无法延拓至小紧化。

实验结果

研究问题

• RQ1 为何θ函数$\theta(\varphi_{2,0})$无法延拓至$\operatorname{SO}(2,2)$的小Borel-Serre紧化？
• RQ2 在符号型为$(p,p)$的$\mathbb{Q}$-分裂情形下，“大”Borel-Serre紧化在解决θ函数非延拓性问题中起何作用？
• RQ3 θ函数在紧化空间每个面的限制如何与更小正交群及修改后的系数系统相关？
• RQ4 当限制在$X$的有限覆盖上时，特殊循环$Z_{T,[\lambda]}$的上同调意义为何？
• RQ5 θ函数的边界极限如何依赖于接近路径？为何这在小紧化中破坏了良定义性？

主要发现

• θ函数$\theta_{\varphi^{V}_{nq,[\lambda]}}$可延拓至符号型为$(p,q)$的非紧对称空间$X$的Borel-Serre紧化$\overline{X}$，且在每个面的限制均为良定义的。
• 在符号型为$(p,p)$的$\mathbb{Q}$-分裂情形下，小Borel-Serre紧化无法支持θ函数的良定义延拓，因边界极限依赖于路径，尤其在对应于2-环面$e'(P')$的角点处。
• “大”Borel-Serre紧化通过引入额外的$\mathbb{R}_+$-因子，使边界极限独立于接近路径，从而解决了延拓问题。
• 在“大”Borel-Serre紧化中，θ函数在每个面的限制仍为θ函数，但此时对应于更小的正交群与更大的系数系统。
• 通过取$X$的适当有限覆盖，确立了特殊循环$[Z_{T,[\lambda]}]$的上同调非零性，证明了相关（上）同调群不为零。
• 在$\operatorname{SO}(2,2)$情形下，当$t_1, t_2 \to \infty$时，$\theta(\varphi_{2,0})$的极限依赖于$t_2$，而$t_2$并非边界环面的坐标，因此破坏了良定义性，确认了其无法延拓至小紧化。