[论文解读] Involutions of Azumaya Algebras

Uriya A. First, Ben Williams|arXiv (Cornell University)|Oct 8, 2017

Algebraic Geometry and Number Theory参考文献 35被引用 4

一句话总结

本文将阿兹马亚代数上对合的理论推广至带有对合的局部环层拓扑，为阿兹马亚代数与支持λ-对合的代数之间的布雷厄尔等价性提供了上同调判别准则。证明了此类代数的最小次数为2n，且该界是紧确的，即使在具有无不动点对合的非奇异仿射概形情形下亦成立，通过等变同伦理论与拓扑障碍理论确立了最小性。

ABSTRACT

We consider the general circumstance of an Azumaya algebra $A$ of degree $n$ over a locally ringed topos $(\mathbf{X}, \mathcal O_\mathbf{X})$ where the latter carries a (possibly trivial) involution, denoted $\lambda$. This generalizes the usual notion of involutions of Azumaya algebras over schemes with involution, which in turn generalizes the notion of involutions of central simple algebras. We provide a criterion to determine whether two Azumaya algebras with involutions extending $\lambda$ are locally isomorphic, describe the equivalence classes obtained by this relation, and settle the question of when an Azumaya algebra $A$ is Brauer equivalent to an algebra carrying an involution extending $\lambda$, by giving a cohomological condition. We remark that these results are novel even in the case of schemes, since we allow ramified, non-trivial involutions of the base object. We observe that, if the cohomological condition is satisfied, then $A$ is Brauer equivalent to an Azumaya algebra of degree $2n$ carrying an involution. By comparison with the case of topological spaces, we show that the integer $2n$ is minimal, even in the case of a nonsingular affine variety $X$ with a fixed-point free involution. As an incidental step, we show that if $R$ is a commutative ring with involution for which the fixed ring $S$ is local, then either $R$ is local or $R/S$ is a quadratic \'etale extension of rings.

研究动机与目标

• 将阿兹马亚代数的对合理论推广至带有对合的局部环层拓扑，将经典结果拓展至概形之外的范畴。
• 确定何时一个阿兹马亚代数与支持λ-对合的代数布雷厄尔等价，并提供一个上同调条件。
• 确立此类布雷厄尔等价代数的最小次数2n，并证明该界无法改进。
• 为分枝及非平凡情形下的对合作基础性工具，包括非无分支与非自由作用的情形。
• 证明在非奇异仿射概形等几何情形下，次数界2n仍为最优，即使对合无不动点。

提出的方法

• 利用等变同伦理论构造拓扑障碍，阻止低次数代表元支持λ-对合。
• 构造分类空间与C2-等变映射，以分析布雷厄尔类及其在上同调中的实现。
• 应用核心化映射及其核，以刻画支持λ-对合的布雷厄尔类。
• 发展阿兹马亚代数在环层拓扑上的对合的一般框架，包括非平凡与分枝对合。
• 利用连续复函数环的纤维，证明其为严格赫斯勒环，从而在拓扑局部环的背景下启用亨泽尔引理。
• 将萨尔特曼定理适配至拓扑，表明核心化映射核中的布雷厄尔类可由次数为2n且带有λ-对合的代表元实现。

实验结果

研究问题

• RQ1 何种上同调条件可确保一个布雷厄尔类由支持λ-对合的阿兹马亚代数实现？
• RQ2 在一般拓扑中，萨尔特曼定理中对第二类对合的次数界2n是否紧确？
• RQ3 在非奇异仿射概形等几何情形下，布雷厄尔等价的阿兹马亚代数的最小次数是否可能低于2n？
• RQ4 基底拓扑上的分枝或非自由对合如何影响阿兹马亚代数上此类对合的存在性与最小性？
• RQ5 等变拓扑在阻碍λ-对合类的低次数代表元中起何种作用？

主要发现

• 与给定代数布雷厄尔等价且支持λ-对合的阿兹马亚代数的最小次数恰好为2n，且该界是紧确的。
• 布雷厄尔类支持λ-对合的上同调条件是其属于核心化映射的核，该结果将经典结论推广至拓扑范畴。
• 对任意奇数a，若原代数次数为n，则不存在次数为an的阿兹马亚代数可支持λ-对合，原因在于等变映射带来的拓扑障碍。
• 即使在具有无不动点对合的非奇异仿射概形X上，该结论仍成立，证明2n在该类几何情形下为最小次数。
• 在拓扑空间上连续复函数环的纤维是严格赫斯勒环，使亨泽尔引理在此背景下得以应用。
• 本文构造了一个反例，表明次数界2n无法改进，方法为使用拓扑障碍理论与等变同伦理论。