[论文解读] A fixed point formula of Lefschetz type in Arakelov geometry II: a residue formula / Une formule du point fixe de type Lefschetz en geometrie d'Arakelov II: une formule des residus

Kai Köhler, Damian Roessler|arXiv (Cornell University)|Jan 1, 2008

Advanced Algebra and Geometry参考文献 16被引用 1

一句话总结

本文利用阿莱克谢耶夫几何中的全纯Lefschetz不动点公式，为配备可对角化环面作用的算术簇上的算术特征类建立了Bott型余项公式。该研究基于Bismut-Goette关于等变解析 torsion 的结果，推导出一个公式，将算术特征类表示为不动点处的局部贡献之和。

ABSTRACT

This is the second of a series of papers dealing with an analog in Arakelov geometry of the holomorphic Lefschetz fixed point formula. We use the main result [KR2, Th. 4.4] of the first paper to prove a residue formula ”`a la Bott” for arithmetic characteristic classes living on arithmetic varieties acted upon by a diagonalisable torus; recent results of BismutGoette on the equivariant (Ray-Singer) analytic torsion play a key role in

研究动机与目标

• 将全纯Lefschetz不动点公式推广至算术特征类背景下的阿莱克谢耶夫几何。
• 为算术簇上的可对角化环面作用，发展出类似于Bott公式的余项公式。
• 将等变解析 torsion 领域的最新进展，特别是Bismut-Goette的工作，融入算术几何。
• 将算术特征类表示为环面作用下不动点的和，推广经典局部化技术。

提出的方法

• 利用第一篇论文（KR2, 定理4.4）中关于阿莱克谢耶夫几何中Lefschetz不动点公式的主结果。
• 应用等变解析 torsion 理论，特别是Bismut-Goette关于等变设置下Ray-Singer解析 torsion 的结果。
• 通过分析可对角化环面在算术簇上的作用，构建局部化公式。
• 依赖于特征类在环面作用不动点集上的局部贡献分解。
• 利用Chern-Simons上同调形式和曲率项，关联分析与代数不变量。
• 结合算术Riemann-Roch定理与等变指标理论，推导出余项公式。

实验结果

研究问题

• RQ1 如何在阿莱克谢耶夫几何的背景下，形式化Bott型余项公式？
• RQ2 等变解析 torsion 在算术特征类的局部化中起什么作用？
• RQ3 可对角化环面作用的不动点如何对总算术特征类产生贡献？
• RQ4 Lefschetz不动点公式如何推广至具有环面作用的算术簇？
• RQ5 在此设定下，解析 torsion 与代数特征类之间的确切关系是什么？

主要发现

• 为配备可对角化环面作用的算术簇上的算术特征类，建立了Bott型余项公式。
• 该公式将总算术特征类表示为环面作用不动点集上局部贡献的和。
• 推导过程依赖于Bismut-Goette关于等变解析 torsion 的结果，这些结果为局部化提供了必要的分析输入。
• 该公式将经典局部化技术推广至算术设定，通过阿莱克谢耶夫理论将代数几何与分析联系起来。
• 该结果为在存在环面对称性时计算算术特征类提供了实用工具。
• 该方法验证了算术Lefschetz公式与等变设定下已知结果的一致性。