余秩 1 算术 Siegel-Weil 公式如何归约为局部几何量？

余秩 1 公式究竟刻画了什么

余秩 1 的算术 Siegel-Weil 公式断言：Kudla-Rapoport 算术特殊 1-循环的次数，被编码在酉 Eisenstein 级数 Fourier 系数的一阶导数中。换言之，一侧的几何相交计数与另一侧的解析导数相匹配。设定中的酉 Shimura 簇具有任意大的偶数算术维数，循环位于相对维数为 n-1 的奇数的 exotic smooth Rapoport-Smithling-Zhang 整模型上；当 n 模 4 同余于 0 时，该模型为空。

特殊循环本身是具体的。模空间上承载一族 Hermitian 格，它由从一个阿贝尔概形到另一个阿贝尔概形的 O_F-线性同态构成；对 Hermitian 矩阵 T，循环 Z(T) 是 Gram 矩阵等于 T 的那些元组构成的子栈。在一般纤维上，态射 Z(T) 的相对维数为 n-1-rank(T)；当 T 不是半正定时，Z(T) 为空。余秩 1 意味着秩比环境维数低 1，这正是公式涉及特殊 1-循环的原因。

全局交数为何必须拆分

一个全局算术交数是一个实数，但它由基域每个位上的贡献构成。论文的主要目标是说明如何把这些全局交数归约为伴随论文中局部主定理几何一侧出现的量。这一归约是桥梁：伴随论文提供局部命题，本文则说明全局数恰好是这些局部命题相加的结果。

论文对无边界贡献的算术次数给出了显式分解。当 m 不超过 n 时，循环与某个度量化的 tautological 丛的第一算术 Chern 类的幂配对所得次数，分成三部分：Green 流形与 Chern 类在 Archimedes 处的积分；tautological 丛限制在 Z(T) 平坦部分上所得次数构成的水平贡献；以及各素数处局部垂直次数乘以 log p 的求和。这一拆分以 Archimedes 积分的收敛为条件，并且是在 Z(T) 为 proper 的情形下陈述的，因为模空间一般并不 proper，循环可能需要在某个紧化上作修改。

Archimedes 部分与垂直部分分开处理

Archimedes 部分并不是一个直接的积分。Green 流 g_{T,y} 依赖于一个辅助的正定矩阵 y，这是 Kudla 纲领中的典型做法；论文用满足修正流方程的流来构造水平类：要求 ddbar 型表达式与一个支撑在 Z(T) 复纤维上的 delta 流、再与一个 Chern 类作楔积后的组合，能由一个光滑形式表示。论文沿用 Garcia 与 Sankaran 的做法，他们用 Mathai-Quillen 超联络理论构造了这类流，并将其应用于 Z(T) 的平坦部分。

非 Archimedes 部分通过单值化处理。论文研究整模型的形式完备化，定义框架对象与框架栈，并得到局部特殊循环的单值化。这使得局部垂直交数可以在框架一侧计算。论文还指出，Archimedes 部分与水平部分或许可以用 Garcia-Sankaran 的想法处理，而垂直部分或许可以用导出或 K-理论方法处理；同时指出，目前似乎不清楚这两种方法能否结合，因为目前似乎还没有导出算术相交理论。

局部水平数是准典范循环上的求和

在水平一侧，论文对秩为 n-1 的局部 Hermitian 矩阵 T' 定义局部水平交数，其中 m 等于 n-1 或 n。该定义对介于某个选定向量张成的空间与其对偶之间的格求和，并附加一个长度条件；每一项是准典范提升循环的次数乘以局部 tautological 高度变化，再乘以 2。多出的因子 2 来自整数环与 p 进整数作张量后，在 p 进整数上的次数为 2。

有两个特点使这一定义可用。第一，由酉群在相应空间上的作用以及 Witt 定理，它不依赖于 Gram 矩阵为 T' 的向量 x_p 的选取。第二，准典范提升循环次数的公式表明，每个局部水平交数都是整数。论文还定义了水平循环本身的局部次数，同样不依赖于向量的选取；当这样的向量不存在时，这两个量都取零。

同源下的高度变化给出局部项

局部项不是假设出来的，而是计算出来的。论文研究两种高度，即 Faltings 高度与 tautological 高度，在 p-可除群同源下如何变化。对一个由同源与整数环作张量构造出的特定 O_F-线性同源，论文计算了 Faltings 高度的变化，并证明它等于 tautological 高度变化的负二倍，从而给出一个用同源的次数 p^s 以及一个依赖于 p 在虚二次域中惰性、分歧或分裂的常数表示的公式。

这一计算通过 Serre 张量构造完成。论文把 Lie 代数上的诱导映射等同于一个显式矩阵，其行列式生成不同理想，于是余核的长度可以用判别式的 p 进赋值表示。论文随后证明，同源在相应线丛上的范数为 1，且对偶 tautological 丛上的余核消失，因此在该情形下 tautological 高度的变化为零。这些要素使局部水平数可以被求值，而不只是被定义。

循环类被推广到非奇异矩阵之外

论文还提出了一个新的候选定义，用于可能奇异的、任意余秩矩阵的算术循环类。该类写成一个水平部分与各素数处垂直部分之和。水平部分意在同时刻画 Z(T) 的平坦部分与 Archimedes 纤维上的 Green 流；每个垂直部分则是某个 K 零群的某个分次片中的元素，该群支撑在 Z(T) 于该素数处的约化上。

这一构造是作为提议提出的，论文也明确说明了它依赖什么。由于模空间一般并不 proper，该类很可能需要在某个合适的紧化上作修改；不过作者预期该构造适用于已经紧的情形，例如对有理数以外的全实域 CM 扩张的 Rapoport-Smithling-Zhang 设定。也可能需要以不同于 Garcia-Sankaran 定义的方式修改 Green 流。论文建议用 Garcia-Sankaran 的想法处理 Archimedes 部分与水平部分，用导出或 K-理论方法处理垂直部分，同时指出把这两种方法结合起来仍是未解决的问题。

这一归约尚未覆盖的范围

结果是在特定假设下陈述的。在引言中，虚二次域的判别式为奇数，Hermitian 空间的符号为 (n-1,1) 且包含一个满秩自对偶格，并假设素数 2 在整数环中分裂。主要关注对象是相对维数为 n-1 的奇数的 exotic smooth 整模型；当 n 模 4 同余于 0 时，该模型为空。论文指出，主要全局结果的某些版本对更一般的模型成立，包括奇数算术维数 n，代价是舍弃有限多个素数，尤其是奇数 n 时的分歧素数。

还存在局部限制。在局部水平交数一节中，论文要求当 p 为惰性时 p 不等于 2，因为准典范提升循环的讨论需要这一假设。算术次数分解以 Archimedes 积分的收敛为条件，并且是在 Z(T) 为 proper 的情形下陈述的。这些条件之所以重要，是因为它们决定了局部到全局归约目前能覆盖哪些素数与哪些维数。

归约改变了哪里的图景

最关键的一点是论证的方向。论文并不直接证明全局公式；它说明全局算术交数是伴随论文已经掌控的局部几何量之和。这意味着该纲领的实际检验是局部的：Archimedes 积分是否收敛，水平局部数能否在所述长度条件下对格求和，以及垂直局部数能否在框架栈上计算。

对判断这篇论文交付了多少内容的读者而言，关键区别在于归约与构造之间。从全局交数到局部几何量的归约已经完成，并给出了显式的三部分分解与局部水平定义。针对任意余秩奇异矩阵的算术特殊循环类仍是一个提议，在紧化以及结合 Archimedes 方法与垂直方法方面仍有未决问题。因此，论文的贡献在局部主定理已经存在且循环为 proper 的地方最强；而在奇异矩阵与非 proper 模型进入的地方，它最为初步。

本文引用的文献