Affine Azumaya Schemes

• Affine Azumaya schemes are noncommutative analogs of affine schemes where Azumaya algebras serve as coordinate rings, enhancing the study of twisted geometric structures.
• They establish deep connections with Brauer groups and maximal orders, providing insights into obstruction theory and cohomological classifications in various dimensions.
• Their representation theory and derived enhancements enable refined moduli and deformation frameworks, bridging classical algebraic geometry with modern noncommutative methods.

Affine Azumaya schemes extend classical affine algebraic geometry to a noncommutative framework by formalizing the study of Azumaya algebras over commutative base rings as "coordinate rings" of generalized, fibered spaces. They play a central role in the interplay between algebra, geometry, and cohomology, providing the appropriate setting to study noncommutative twists of vector bundles, representation moduli, and derived categories, as well as their classification via Brauer and cohomological invariants (Hemelaer et al., 2016, Negron, 2016, Toen, 2010). Deep results connect these structures to questions in obstruction theory, moduli, and deformation, especially through their representation theory and derived invariants.

1. Definition and Local Structure

Let $R$ be a commutative $k$-algebra and $X = \Spec R$. An $R$-algebra $A$ is an Azumaya algebra if $A$ is finitely generated and projective as an $R$-module, and the canonical map

$A \otimes_R A^{\mathrm{op}} \xrightarrow{\;\sim\;} \End_R(A)$

is an isomorphism of $R$-algebras (Negron, 2016). Equivalently, $A$ is locally (in the Zariski topology) isomorphic to a matrix algebra $k$0. The center $k$1 is $k$2 and, for each maximal ideal $k$3, $k$4.

In Azumaya geometry, the category of affine Azumaya schemes, denoted (Editor's term) $k$5, replaces the role of commutative affine schemes in classical geometry (Hemelaer et al., 2016). Objects correspond to pairs $k$6 with $k$7 an Azumaya algebra over $k$8, and morphisms are $k$9-algebra maps preserving the center. These objects can be seen as "non-commutative affine schemes," locally modeled on matrix algebras but globally twisted by cohomological Brauer data.

2. Brauer Group and Order Theory

Given $X = \Spec R$0, Azumaya algebras over $X = \Spec R$1 up to Morita equivalence are classified by the cohomological Brauer group

$X = \Spec R$2

with $X = \Spec R$3 determining its class $X = \Spec R$4 (Antieau et al., 2012, Toen, 2010). Over the field of fractions $X = \Spec R$5, a central simple $X = \Spec R$6-algebra $X = \Spec R$7 admits a notion of order: a torsion-free coherent $X = \Spec R$8-subalgebra $X = \Spec R$9 with $R$0. An order is maximal if not properly contained in a larger $R$1-order, and Azumaya algebras are always maximal orders.

The classical result of Auslander–Goldman ensures that every unramified class in $R$2 for $R$3 admits an Azumaya maximal order. However, Antieau–Williams showed for regular integral noetherian affine schemes of dimension at least $R$4 that there exist Brauer classes whose associated division algebras over the generic point do not admit Azumaya maximal orders on $R$5. This phenomenon arises from topological obstructions involving classifying spaces of algebraic groups (Antieau et al., 2012).

3. Representation Theory and Azumaya Moduli

The moduli theory of representations of associative algebras can be reframed in the setting of affine Azumaya schemes. For a (not necessarily commutative) $R$6-algebra $R$7, the functor

$R$8

is shown to be a sheaf for the faithfully flat (and hence Zariski and étale) topology on affine $R$9 (Hemelaer et al., 2016).

A central construction is the Azumaya representation scheme $A$0, which represents the functor $A$1. Given a fixed Azumaya $A$2-algebra $A$3, $A$4 is constructed by first forming the coproduct $A$5, then taking coinvariants under the adjoint $A$6-action, and finally abelianizing to obtain a commutative $A$7-algebra. This scheme enjoys étale local triviality: if $A$8 splits étale-locally, then $A$9, where $A$0 (Hemelaer et al., 2016).

The quotient stacks $A$1 and the collection of all such for varying $A$2 are unified via a presheaf $A$3 on Azumaya geometry, which is a sheaf for many induced Grothendieck topologies (Hemelaer et al., 2016).

4. Derived Azumaya Schemes and Cohomological Classification

The theory of derived Azumaya algebras provides a derived enhancement of the classical theory, exhibiting a bijective correspondence between Morita classes of derived Azumaya algebras on $A$4 and

$A$5

as in Toën's work (Toen, 2010). Derived Azumaya algebras are associative unital $A$6-dg-algebras satisfying:

• $A$7 is a perfect generator in $A$8;
• the natural map $A$9 is a quasi-isomorphism.

Torsion classes in $R$0 correspond to classical Azumaya algebras, while non-torsion classes yield genuinely derived objects. The existence of compact generators for twisted derived categories (with coefficients in suitable dg-categories) is crucial for realizing these classes globally via derived Azumaya algebras, using descent for the fppf topology.

Explicit examples, such as Azumaya algebras on singular affine surfaces with infinite non-torsion Brauer groups, illustrate the reach of the derived theory beyond the classical Brauer group (Toen, 2010).

5. Derived Picard Groups and Equivalences

The derived Picard group $R$1 is the group of isomorphism classes of self-tilting complexes in the bounded derived category of $R$2, with convolution as group law (Negron, 2016). For $R$3 Azumaya over $R$4,

$R$5

where $R$6 is the group of global integer-valued locally constant functions, $R$7 is the Picard group, and $R$8 is the stabilizer of the Brauer class under automorphisms of $R$9, with a group-theoretic 2-cocycle $A \otimes_R A^{\mathrm{op}} \xrightarrow{\;\sim\;} \End_R(A)$0 encoding the semidirect structure.

Special cases yield refinements and generalizations: for $A \otimes_R A^{\mathrm{op}} \xrightarrow{\;\sim\;} \End_R(A)$1, the theory specializes to Yekutieli–Rouquier–Zimmermann’s description for commutative $A \otimes_R A^{\mathrm{op}} \xrightarrow{\;\sim\;} \End_R(A)$2; for finite characteristic Weyl algebras, the derived Picard group is strictly smaller than that for the center, reflecting the subtleties of the automorphism structure and Brauer class stabilizer (Negron, 2016).

A key implication is that derived equivalence of Azumaya algebras over $A \otimes_R A^{\mathrm{op}} \xrightarrow{\;\sim\;} \End_R(A)$3 implies their Brauer equivalence up to automorphism pullback, aligning derived and Brauer-theoretic classifications (Negron, 2016).

6. Counterexamples and Obstruction Theory

Antieau–Williams constructed explicit counterexamples showing the failure of existence of Azumaya maximal orders associated to certain division algebras over regular integral noetherian affine schemes of dimension at least $A \otimes_R A^{\mathrm{op}} \xrightarrow{\;\sim\;} \End_R(A)$4 (Antieau et al., 2012). These examples rely on topological obstructions in classifying spaces of certain algebraic groups, demonstrating that in high enough dimension the classical Brauer–Severi/Artin–Wedderburn paradigms over fields do not extend to general affine schemes. Specifically, there exist $A \otimes_R A^{\mathrm{op}} \xrightarrow{\;\sim\;} \End_R(A)$5 of period and index $A \otimes_R A^{\mathrm{op}} \xrightarrow{\;\sim\;} \End_R(A)$6 such that no degree-$A \otimes_R A^{\mathrm{op}} \xrightarrow{\;\sim\;} \End_R(A)$7 Azumaya algebra on $A \otimes_R A^{\mathrm{op}} \xrightarrow{\;\sim\;} \End_R(A)$8 represents $A \otimes_R A^{\mathrm{op}} \xrightarrow{\;\sim\;} \End_R(A)$9.

For $R$0, every unramified Brauer class admits an Azumaya maximal order of minimal degree; for $R$1, this property fails, while the intermediate cases for $R$2 remain open. Possible remedies include imposing factoriality or alternative geometric hypotheses on $R$3, or allowing stack-theoretic or "twisted" sheaf-theoretic generalizations.

7. Applications and Further Directions

Affine Azumaya schemes and their derived enhancements underpin advances in noncommutative geometry, representation theory, and categorical approaches to algebraic geometry. The rigidity and flexibility of their cohomological classification feed into the study of moduli of representations, twisted forms of moduli spaces, and to questions in deformation theory. The derived perspective links with the existence of compact generators for twisted derived categories, yielding a powerful toolset for constructing derived equivalences and moduli in both commutative and noncommutative settings (Toen, 2010).

Continuing directions include understanding the interaction with higher-stacks, deformations over singular bases, the characterization of derived equivalence classes, and the development of more flexible moduli theories (for instance, incorporating derived Azumaya algebras parameterized by non-torsion cohomology classes). Open questions remain on the minimality of Azumaya orders in intermediate dimensions and the precise structure of derived Picard groups in geometric and arithmetic settings.