[論文レビュー] Involutions of Azumaya Algebras

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

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

ひとこと要約

この論文は、自己同型を持つ局所的に環化トポスへのアズマヤ代数の自己同型の理論を一般化し、λ-自己同型を備えた代数とブラウアー同値であるためのコhomologicalな基準を提供する。この論文は、そのような代数の最小次数が 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.

研究の動機と目的

• スキームを超えた文脈にまで拡張する古典的な結果を得るために、自己同型を持つ局所的に環化トポスへのアズマヤ代数の自己同型を一般化すること。
• アズマヤ代数がλ-自己同型を備えた代数とブラウアー同値である条件を特定し、コhomologicalな条件を提供すること。
• このようなブラウアー同値な代数の次数 2n の最小性を確立し、この上限を改善できないことを示すこと。
• 非自明かつ分岐した状況、特に非分岐および非自由作用を含む設定において、自己同型の基礎的枠組みを構築すること。
• 特異点のないアフィン多様体に固定点のない自己同型が存在する幾何的状況ですら、次数の上限 2n が最良であることを示すこと。

提案手法

• 等長ホモトピー論を用いて、λ-自己同型を備えた低次の代表元が存在できないことを示す位相的障害を構成すること。
• 分類空間と C2-等長写像の構成を用いて、ブラウアー類とそのコhomologyにおける実現を分析すること。
• 核心化写像とその核を用いて、λ-自己同型を備えたブラウアー類を特徴づけること。
• 非自明かつ分岐した自己同型を含む、環化トポス上のアズマヤ代数における自己同型の一般枠組みの開発。
• 連続複素関数の層を用いて、ストークが厳密にヘンゼル的であることを証明し、局所環のトポスの文脈でヘンゼルの補題を適用可能にする。
• トポスへのサルトマンの定理の適応により、核心化写像の核に属するブラウアー類は、λ-自己同型を備えた次数 2n の代表元を持つことを示すこと。

実験結果

リサーチクエスチョン

• RQ1 どのコhomologicalな条件が、ブラウアー類がλ-自己同型を備えたアズマヤ代数によって表されると保証するか？
• RQ2 一般のトポスにおいて、サルトマンの定理における次数の上限 2n は、第二種の自己同型についても鋭いか？
• RQ3 特異点のないアフィン多様体のような幾何的状況では、λ-自己同型を備えたブラウアー同値なアズマヤ代数の最小次数が 2n より小さくなる可能性はあるか？
• RQ4 ベースとなるトポス上の分岐的または非自由な自己同型は、アズマヤ代数上のそのような自己同型の存在性および最小性にどのように影響するか？
• RQ5 等長トポロジーは、λ-自己同型類の低次の代表元を妨げる障害をどのように果たすか？

主な発見

• ブラウアー同値なアズマヤ代数がλ-自己同型を備える最小次数は正確に 2n であり、この上限は鋭い。
• ブラウアー類がλ-自己同型を備えるためのコhomologicalな条件は、核心化写像の核に属することである。これは古典的結果をトポスへ一般化したものである。
• 任意の奇数 a に対して、元の代数の次数が n であるとき、次数が an のアズマヤ代数はλ-自己同型を備えられない。これは等長写像に起因する位相的障害による。
• 特異点のないアフィン多様体 X に固定点のない自己同型が存在する場合でも、この結果は成り立ち、2n がその幾何的状況において最小であることを示している。
• 位相空間上の連続複素関数の環のストークは、厳密にヘンゼル的であり、この文脈でヘンゼルの補題を適用可能にする。
• 論文は、位相的障害論と等長ホモトピー論を用いて、次数の上限 2n を改善できない反例を構成している。