Azumaya Locus: Structure & Applications

• Azumaya Locus is a region in the spectrum of a center where an algebra localizes to a matrix algebra, clarifying its noncommutative regularity.
• It connects representation theory and singularity analysis by pinpointing points where irreducible modules achieve maximal dimensions.
• It finds practical applications in PI algebras, quantum algebras, and Brauer groups, offering actionable insights into algebraic and geometric structures.

The Azumaya locus is a central concept in the structure theory of algebras finite over their centers, particularly in the context of polynomial identity (PI) algebras and noncommutative algebraic geometry. It encodes where an algebra behaves as a central simple algebra—equivalently, as a “matrix algebra over its center”—and provides a bridge between noncommutative and commutative geometry. The locus intimately connects with representation theory, singularity theory, and the geometric structure encoded in the center’s spectrum, with crucial roles in the study of quantum algebras, modular representation theory, and the cohomological Brauer group.

1. Definition of the Azumaya Locus

Let $A$ be an algebra over a center $Z=Z(A)$, with $A$ a finitely generated $Z$-module. $A$ is called an Azumaya algebra over $Z$ if:

1. $A$ is finitely generated and projective as a $Z$-module,
2. the canonical map $$A \otimes_Z A^{\mathrm{op}} \rightarrow \mathrm{End}_Z(A)$$, $a \otimes b^{\mathrm{op}} \mapsto (x \mapsto axb)$ is an isomorphism.

The Azumaya locus of $A$ is the open subset of $\operatorname{Max} Z$ (or $\operatorname{Specm} Z$) consisting of those maximal ideals $\mathfrak{m}$ for which the fiber algebra $A \otimes_Z \kappa(\mathfrak{m})$ is central simple, i.e., $$A \otimes_Z \kappa(\mathfrak{m}) \cong M_n(\kappa(\mathfrak{m}))$$ for some $n$ (necessarily the PI-degree of $A$). Equivalently, it is the locus where $A$ is Azumaya over $Z$ locally at $\mathfrak{m}$, or where the localization $A_{\mathfrak{m}}$ is Azumaya over $Z_{\mathfrak{m}}$ (Brown et al., 2017, Bera et al., 2023, Mukherjee, 2020, Beil, 2013).

For a cohomological Brauer class $$\alpha \in H^2_{\mathrm{et}}(X, \mathbb{G}_m)_{\mathrm{tors}}$$, the Azumaya locus $\mathrm{Az}(\alpha) \subset X$ is the maximal open subspace where $\alpha$ can be represented by an Azumaya algebra (Mathur, 2020).

2. Azumaya Locus in PI Algebras and Representation Theory

If $R$ is a prime affine PI algebra over an algebraically closed field with center $Z$, its Azumaya locus $\mathrm{Azu}(R) \subset \operatorname{Max} Z$ coincides with those maximal ideals $\mathfrak{m}$ such that $R / \mathfrak{m} R \cong M_n(\mathbb{K})$, where $n$ is the PI-degree (Brown et al., 2017, Bera et al., 2023). At these points, there is a unique irreducible $R$-module of maximal dimension $n$. Outside the Azumaya locus, the fibers are not central simple; they might be semisimple with smaller simple module dimensions or even not semisimple.

The PI-degree can be computed as $n = \sqrt{\dim_Q(\tilde R)}$ where $\tilde R = Q \otimes_Z R$ and $Q = \operatorname{Frac}(Z)$ (Brown et al., 2017). The dimensions of simple modules and the structure of the Azumaya locus often reflect deep geometric and representation-theoretic phenomena, such as in the modular representation theory of restricted enveloping algebras and finite $W$-algebras (Shu et al., 2017).

3. Geometric Properties: Relation to the Smooth Locus and Discriminant Ideals

The Azumaya locus is always an open subscheme of $\operatorname{Spec} Z$ (due to the stability of the Azumaya condition under localization), but its structure provides more. Under suitable homological conditions—Noetherianity, Cohen–Macaulay property, finite global dimension—the Azumaya locus coincides with the smooth locus of $\operatorname{Spec} Z$, that is, the points where $Z$ is regular (Shu et al., 2017, Brown et al., 2017, Beil, 2013).

A profound link is established through discriminant ideals: The zero locus of the top discriminant ideal $D_{n^2}(R/Z,\operatorname{tr})$ is exactly the complement of the Azumaya locus. That is,

$$V\bigl(D_{n^2}(R/Z,\operatorname{tr})\bigr) = \operatorname{MaxSpec}(Z) \setminus \mathrm{Azu}(R),$$

and, under further homological assumptions, this is precisely the singular locus $\mathrm{Sing}(\operatorname{Spec} Z)$ (Brown et al., 2017). Thus, the non-Azumaya locus detects singularities in the center.

4. Explicit Descriptions in Key Families

The Azumaya locus has been computed explicitly for several families of quantum and classical algebras:

• Finite $W$-algebras: For $T(\mathfrak{g},e)$ arising from a simple Lie algebra $\mathfrak{g}$ in large positive characteristic and a nilpotent $e$, the Azumaya locus of $Z(T(\mathfrak{g},e))$ coincides with its smooth locus. At these points, irreducible modules of maximal dimension (given by a Kac–Weisfeiler type formula) are parametrized (Shu et al., 2017).
• Quantum Weyl algebras at roots of unity: For quantized Weyl algebras $A_n^{q,A}$ with all parameters roots of unity, the Azumaya locus consists of points $(a_1,b_1,\dots,a_n,b_n) \in \mathbb{K}^{2n}$ for which each recursively defined central element $z_i$ (built from commutators) acts invertibly, i.e., $1 + \sum_{j=1}^i c_j a_j b_j \ne 0$ for all $i$ (Bera et al., 2023).
• Quantum Euclidean $2n$-space: For $A_q(2n)$ with $q$ a primitive $m$th root of unity (odd $m$), the Azumaya locus is the Zariski open set where the “partial Casimirs” $w_i$ (central elements derived from the generators) act invertibly, i.e., their images under the central character are nonzero for $i=2,\dots, n-1$ (Mukherjee, 2020).
• Dimer algebras: For certain non-cancellative dimer algebras $A$ and a cyclic contraction $A \to A'$, the Azumaya locus of $A$ can be described in terms of the smoother algebra $A'$, and the smooth and Azumaya loci coincide if they coincide for $A'$ (Beil, 2013).

5. Cohomological Brauer Classes and the Azumaya Locus in Algebraic Spaces

For a cohomological Brauer class $$\alpha \in H^2_{\mathrm{et}}(X, \mathbb{G}_m)_{\mathrm{tors}}$$ on a separated, noetherian algebraic space $X$ with dense regular locus, the Azumaya locus $\operatorname{Az}(\alpha)$ is the maximal open on which $\alpha$ is represented by an Azumaya algebra. Mathur proved that $\operatorname{Az}(\alpha)$ is the complement of a closed subset of codimension at least three, generalizing classical results of Grothendieck (Mathur, 2020). On surfaces ($\dim X = 2$), every class is geometric globally. In higher dimensions, the non-Azumaya locus can be singular points of arbitrarily high codimension.

Twisted sheaf and formal-local methods are essential for this construction. Mayer–Vietoris glueing of twisted bundles and descent theory establish the existence of Azumaya algebras on the complement of “bad loci” of codimension $\ge 3$.

6. Significance and Applications

The Azumaya locus serves as a precise bridge between noncommutative and commutative algebra, encoding the places where a noncommutative order appears “as simple as possible.” Its importance is multifold:

• Representation theory: The Azumaya locus parametrizes irreducible representations of maximal dimension, and the structure of these modules is often controlled by central (geometric) data (Shu et al., 2017, Bera et al., 2023, Mukherjee, 2020, Beil, 2013).
• Singularity theory: The correspondence between the Azumaya locus and the smooth locus of the center, and its detection via discriminant ideals, provides a noncommutative approach to singularities (Brown et al., 2017).
• Brauer groups and moduli: The Azumaya locus governs the loci in moduli spaces and algebraic spaces where Brauer–Severi varieties and Azumaya algebras represent cohomological classes (Mathur, 2020).

The explicit determination of the Azumaya locus thus underpins classifications of irreducible representations, calculations of the Brauer group, and the understanding of singularity-theoretic invariants in both commutative and noncommutative settings.

7. Summary Table: Characterizations of the Azumaya Locus

Algebraic Context	Azumaya Locus $\mathrm{Az}(A)$ Criterion	Reference
Prime affine PI algebra	$\mathfrak{m}\in\operatorname{Max} Z$: $A/\mathfrak{m}A\cong M_n(\kappa(\mathfrak{m}))$	(Brown et al., 2017, Bera et al., 2023)
Finite $W$-algebra $T(\mathfrak{g},e)$	Smooth points of $\operatorname{Specm} Z$	(Shu et al., 2017)
Quantum Weyl algebra at roots of unity	$\chi(z_i) \neq 0$ for $i=1,\ldots,n$ (central elements $z_i$)	(Bera et al., 2023)
Quantum Euclidean $2n$-space	$\chi(w_i)\neq 0$ for $i=2,\dots,n-1$	(Mukherjee, 2020)
Brauer classes on schemes/algebraic spaces	Complement of closed subset of codimension $\ge 3$	(Mathur, 2020)

The Azumaya locus embodies the interface between central simplicity (noncommutative regularity) and the underlying geometry, providing essential leverage in the classification of modules and analysis of singularities across algebra, geometry, and quantum algebra.