[论文解读] Noncommutative Smooth Models

Lieven Le Bruyn|ArXiv.org|Sep 6, 2002

Algebraic structures and combinatorial models参考文献 10被引用 3

一句话总结

该论文证明：当且仅当存在一个函数域 K 的光滑模型 S，使得 Σ 中关于 𝒪_S 的极大整环的分歧除子是光滑不可约曲线的不相交并集时，定义在超越次数为二的函数域 K 上的单中心代数 Σ 才会存在非交换光滑模型。关键结果是此类光滑模型的布劳尔-塞弗里纤维化是平坦态射，且在局部标记 quiver 为 A_{k01} 类型的分歧点处，其纤维恰好有 k+1 个维数为 n−1 的不可约分支。

ABSTRACT

We determine the central simple algebras D over a functionfield K of trancendence degree two which admit a model of smooth Cayley-Hamilton algebras. This happens if and only if there is a smooth model S of K such that the ramification divisor of a maximal S-order in D is a disjoint union of smooth curves. Further, we prove that the Brauer-Severi fibration of smooth models which are in addition maximal orders is a flat morphism and determine the number of irreducible components of the fibers.

研究动机与目标

• 确定超越次数为二的函数域上的中心单代数在何种条件下会存在非交换光滑模型。
• 通过光滑曲面上分歧除子的几何性质来刻画此类模型的存在性。
• 证明光滑极大 𝒪_S-模的布劳尔-塞弗里纤维化是一个平坦态射。
• 利用quiver理论方法分析布劳尔-塞弗里纤维化在分歧点处的纤维结构。

提出的方法

• 通过表示系 trep_n A 的光滑性及其关于 GL_n 的商的光滑性来定义光滑 Cayley-Hamilton 模。
• 基于扩展 quiver 和 Hesselink 分层，利用 étale 局域模型分析表示空间中的奇点。
• 构造 trep_n A 的 GL_n-等变消去，以恢复光滑模型。
• 将 Hesselink 分层应用于扩展 quiver 表示空间的零锥，以分类分层并计算纤维分支。
• 使用特征 θ = (−n, d₁, ..., d_{k+1}) 来确定层级 quiver 中的 θ-半稳定表示。
• 利用 Zariski 同构定理，将布劳尔-塞弗里纤维的纤维与零锥关于 GL(α̃) 的商联系起来。

实验结果

研究问题

• RQ1 何时一个超越次数为二的函数域上的中心单代数会存在非交换光滑模型？
• RQ2 极大整环的分歧除子需满足何种几何条件，才能保证此类模型的存在？
• RQ3 光滑极大 𝒪_S-模的布劳尔-塞弗里纤维化是否为平坦态射？
• RQ4 在局部标记 quiver 为 A_{k01} 类型的分歧点处，布劳尔-塞弗里纤维的不可约分支有多少个？

主要发现

• 一个超越次数为二的函数域 K 上的中心单代数 Σ 存在非交换光滑模型，当且仅当存在 K 的一个光滑模型 S，使得 Σ 中关于 𝒪_S 的极大整环的分歧除子是光滑不可约曲线的不相交并集。
• 光滑极大 𝒪_S-模的布劳尔-塞弗里纤维化是平坦态射。
• 在局部标记 quiver 为 A_{k01} 类型的分歧点处，布劳尔-塞弗里纤维恰好有 k+1 个不可约分支。
• 此类点处纤维的每个不可约分支的维数为 n−1，其中 n 是代数的次数。
• 纤维结构通过扩展 quiver 表示空间的零锥的 Hesselink 分层计算得出，每个分支对应一个 θ-半稳定分层。
• 层级 quiver 中 θ_i-半稳定表示的模空间同构于 ℙ^{d_i−1}，从而确认了维数和分支数。