arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2006.01699math.AG
收藏

具有对合的Azumaya代数与经典半单群概型

Azumaya algebras with involution and classical semisimple group schemes

S. Srimathy

AI总结:

本文通过平展下降证明了一个从带对合Azumaya代数到经典伴随群概型的函子等价,从而在一般概型上分类了经典型伴随群概型,并推广了域上已知结果,且给出了特殊化定理与积分模型唯一性等应用。

摘要:

设$S$为非空概型且2可逆。本文给出了一个函子$F: AZ_*^{n'} \ ightarrow GS_*^n$,其中$AZ_*^{n'}$和$GS_*^n$是$Sch_S$上的纤维范畴,分别由带有$*$型对合的$n'$次Azumaya代数和具有绝对单纤维的$*$型经典秩$n$伴随群概型给出。这里$n'$是$n$的函数。我们利用平展下降证明了该函子是纤维范畴的等价,从而给出了$S$上伴随(以及单连通)群概型的分类,推广了基概型为域谱的已知情形。特别地,这意味着每个具有绝对单纤维的经典型伴随群概型都同构于一个唯一的(在同构意义下)带有对合的Azumaya代数的自同构群概型的中性分量。我们还展示了该分类的有趣应用,例如Hensel局部环上带对合Azumaya代数同构类的特殊化定理,离散赋值域上具有好约化的群的积分模型唯一性,并讨论了其对某些域上Grothendieck-Serre猜想的影响。

英文摘要:

Let $S$ be a non-empty scheme with 2 invertible. In this paper we present a functor $F: AZ_*^{n'} \rightarrow GS_*^n$ where $AZ_*^{n'}$ and $GS_*^n$ are fibered categories over $Sch_S$ given respectively by degree-$n'$ Azumaya algebras with an involution of type $*$ and rank-$n$ adjoint group schemes of classical type $*$ with absolutely simple fibers. Here $n'$ is a function of $n$. We show that this functor is an equivalence of fibered categories using étale descent, thus giving a classification of adjoint (as well as simply connected) group schemes over $S$, generalizing the well known case when the base scheme is the spectrum of a field. In particular, this implies that every adjoint group scheme of classical type with absolutely simple fibers is isomorphic to the neutral component of the automorphism group scheme of a unique (up to isomorphism) Azumaya algebra with involution. We also show interesting applications of this classification such as specialization theorem for isomorphism classes of Azumaya algebra with involution over Henselian local rings, uniqueness of integral model for groups with good reduction over discrete valued fields and discuss its implications on the Grothendieck-Serre conjecture over certain domains.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑