[论文解读] On the local residue symbol in the style of Tate and Beilinson

Oliver Bräunling|arXiv (Cornell University)|Mar 31, 2014

Algebraic structures and combinatorial models参考文献 22被引用 11

一句话总结

本文通过霍赫希尔ト同调，提出了一种新的、坐标无关的高维局部留数符号构造方法，推广了塔特定理的交换子方法。它通过迭代边界映射和托普利茨型算子，建立了一个从霍赫希尔特同调到基域的典范映射，证明了其与贝利尼森的李同调构造等价，并得出了一个显式的多维留数公式。

ABSTRACT

Tate gave a famous construction of the residue symbol on curves by using some non-commutative operator algebra in the context of algebraic geometry. We explain Beilinson's multidimensional generalization, which is not so well-documented in the literature. We provide a new approach using Hochschild homology.

研究动机与目标

• 提供一种在高维中不依赖局部坐标的局部留数符号的坐标无关构造。
• 将贝利尼森基于李同调的留数映射重新解释为霍赫希尔特同调的形式，以简化并阐明其底层机制。
• 在立方分解代数上，建立一个具体且可计算的留数公式，涉及迭代边界映射和托普利茨算子。
• 证明基于霍赫希尔特同调的新构造与贝利尼森原始的李同调方法一致。
• 在新框架下，制定并证明一个高维互反律。

提出的方法

• 本文引入了一个单位元的 $n$-重立方分解代数 $A^n$，作为高维留数的框架。
• 通过连接同态和一个托普利茨型算子 $\Lambda$，构造链映射 $HC_n(A^n) \xrightarrow{\delta\Lambda} HC_{n-1}(A^{n-1}) \to \cdots \to HC_0(A^0) \to k$。
• 关键映射 $\phi_C$ 通过迭代应用修改后的边界映射 $\delta\Lambda$ 定义，该映射源于代数扩张 $A^{n-1} \hookrightarrow A^n \twoheadrightarrow A^n/A^{n-1}$。
• 该构造利用了霍赫希尔特消去律，并通过识别 $\Omega^n_{R/k} \simeq HH_n(R)$ 将微分形式与霍赫希尔特同调联系起来。
• 建立了一个交换图，通过典范映射将贝利尼森的李同调映射 $\phi_{Beil}$、霍赫希尔特同调 $\phi_{HH}$ 与新映射 $\phi_C$ 联系起来。
• 该理论建立在有限维向量空间的 $n$-塔对象范畴之上，简化了阿代尔结构，并使得留数的范畴化解释成为可能。

实验结果

研究问题

• RQ1 如何在不选择局部坐标的情况下定义高维局部留数符号？
• RQ2 在留数的语境下，贝利尼森的李同调构造与霍赫希尔特同调之间的确切关系是什么？
• RQ3 能否通过边界映射链和代数扩张显式计算留数映射？
• RQ4 托普利茨型算子 $\Lambda$ 在通过霍赫希尔特同调实现留数映射的过程中起什么作用？
• RQ5 在立方分解代数的框架下，高维互反律是否成立？

主要发现

• 本文通过迭代应用 $\delta\Lambda$，构造了一个典范映射 $\phi_C: HC_n(A^n) \to k$，为高维留数提供了坐标无关且可计算的公式。
• 证明了基于霍赫希尔特同调的新映射 $\phi_C$ 与贝利尼森原始的李同调构造 $\phi_{Beil}$ 等价，建立了包含 $H_{n+1}(\mathfrak{g},k)$、$HH_n(A)$ 与 $HC_n(A)$ 的交换图。
• 局部公式（定理26）显式地展开为局部坐标的留数映射，将塔特的交换子公式推广至高维。
• 提出了一个新的立方互反律并予以证明，将一维乘法互反律推广至 $n$-维立方分解代数。
• 该构造被证明与霍赫希尔特同调的局部化序列相容，长正合列中的边界映射精确地实现了映射 $\phi_C$。
• 该框架使得阿代尔可被范畴化地解释为 $n$-塔范畴中的自同态，从而简化了留数构造的代数结构。