Severi-Brauer Schemes in Algebraic Geometry

• Severi-Brauer schemes are twisted forms of projective spaces defined by Azumaya algebras and principal projective linear torsors, connecting geometric structures with Brauer invariants.
• They are classified by n-torsion elements in the Brauer group and exhibit smooth, projective fibers that become standard projective spaces over splitting covers.
• These schemes extend naturally to generalized twisted Grassmannians and inform derived category decompositions, motivic invariants, and birational properties in arithmetic geometry.

A Severi-Brauer scheme is a twisted form of a projective space or, more generally, of a homogeneous space over a base, classified and constructed algebro-geometrically via Azumaya algebras and principal projective linear group torsors. Severi-Brauer schemes and their generalizations serve as geometric models encoding nontrivial Brauer classes over schemes or fields, linking the structure of central simple algebras, Galois cohomology, and derived or motivic invariants. Their theory synthesizes aspects of algebraic geometry, arithmetic, and algebraic K-theory.

1. Basic Definition and Construction via Azumaya Algebras

Let $X$ be a scheme. An Azumaya algebra $\mathcal{A}$ of degree $n$ on $X$ is a sheaf of $\mathcal{O}_X$-algebras which is Zariski, étale, or fppf-locally isomorphic to $M_n(\mathcal{O}_X)$. The $PGL_n$-isomorphism torsor $$P = \mathrm{Isom}_X(\mathcal{A}, M_n(\mathcal{O}_X))$$ is a principal $PGL_n$-torsor over $X$.

The Severi-Brauer scheme of $\mathcal{A}$ is the associated fiber bundle:

$$SB(\mathcal{A}) = P \times^{PGL_n} \mathbb{P}^{n-1} \to X,$$

where $P\times^{PGL_n} \mathbb{P}^{n-1}$ is the contracted product for the natural $PGL_n$-action.

Geometrically, after pullback to a Brauer class splitting cover $U\to X$ (trivializing $\mathcal{A}$), $SB(\mathcal{A})_U \cong \mathbb{P}^{n-1}_U$. Each fiber is a projective space of dimension $n-1$.

For $k$ a field and $A$ a central simple $k$-algebra of degree $n$, the Severi-Brauer variety $SB(A)$ is a $k$-scheme that becomes isomorphic to $\mathbb{P}^{n-1}_{\bar{k}}$ after a separable closure $\bar{k}/k$.

2. Cohomological Classification and Brauer Group Invariants

The fppf exact sequence

$1 \to \mathbb{G}_m \to GL_n \to PGL_n \to 1$

yields, on $X$, a nonabelian cohomology connecting map

$$\delta: H^1(X, PGL_n) \to H^2(X, \mathbb{G}_m) = \mathrm{Br}(X).$$

Key correspondences:

• $PGL_n$-torsors $\leftrightarrow$ Azumaya algebras of degree $n$ $\leftrightarrow$ elements of $H^1(X, PGL_n)$,
• The Brauer class $\beta = [\mathcal{A}] \in \mathrm{Br}(X)$ is $\delta([P])$,
• $SB(\mathcal{A})$ depends only on the $PGL_n$-torsor class and thus only on the $n$-torsion in $\mathrm{Br}(X)$.

Consequently, Severi-Brauer schemes (of period dividing $n$) over $X$ are in bijection with $n$-torsion elements of $\mathrm{Br}(X)$ (Ikeda, 20 Jan 2026).

3. Structural Geometry and Examples

Geometric Properties

A Severi-Brauer scheme $SB(\mathcal{A})$ is:

• Smooth and projective over $X$, of relative dimension $n-1$,
• Associated with a relatively ample line bundle (often written as a descent of $\mathcal{O}_{\mathbb{P}^{n-1}}(1)$),
• Equipped with a tautological universal right ideal subsheaf over the total space (Ikeda, 20 Jan 2026).

Generalizations: Twisted Grassmannians and Flag Varieties

Given an Azumaya algebra $\mathcal{A}$ of degree $n$ on $X$ and $1\leq k\leq n$, the generalized Severi-Brauer scheme $SB(k,\mathcal{A})$ parametrizes left $\mathcal{A}$-ideals of reduced rank $k$, becoming the Grassmannian $Gr(k,n)$ over the splitting cover. These constructions subsume flag varieties and moduli of linear subspaces (as in the partial flag varieties parameterized by $SB(\mathbf{d},\mathcal{A})$ where $\mathbf{d}$ is a sequence of ranks) (Dhillon et al., 2024).

4. Derived, Motivic, and Birational Invariants

Derived Category Semiorthogonal Decompositions

The bounded derived category $D^b(SB(k,\mathcal{A}))$ admits a semiorthogonal decomposition with components equivalent to twisted derived categories $D^b(X,\beta^d)$, indexed by Schur functors and Young diagrams corresponding to the $GL_k$-structure (Dhillon et al., 2024). For $k=1$ (the classical Severi-Brauer variety), this yields:

$$D^b(SB(1,\mathcal{A})) = \left\langle D^b(X,\beta^0), D^b(X,\beta^1),\dots, D^b(X,\beta^{n-1}) \right\rangle.$$

Motivic Rigidity

The Chow motive $M(SB(A))$ of a Severi-Brauer variety $SB(A)$ attached to a central division algebra $A$ over a field of index $n$ decomposes (over a field of characteristic $p \mid n$) as a sum of Tate motives $\bigoplus_{i=0}^{p^r-1} \mathbb{F}_p(i)$ (Clercq, 2011). For generalized Severi-Brauer varieties, motivic decomposability/indecomposability is governed by the prime-power structure of the index and by Karpenko's criteria, with explicit upper motives and a full classification in (Zhykhovich, 2011).

Birational and Rationality Aspects

Stable birational types of symmetric powers, products, and related moduli spaces depend only on the index $i$ of the underlying central simple algebra. Specifically,

• $\operatorname{Sym}^d(SB(A))$ is stably rational iff $i \mid d$ (Kollár, 2016).
• Products and symmetric powers are classified up to stable birational equivalence by $i$ and the action of Grassmannians of twisted linear subspaces.

Birational automorphism groups of Severi-Brauer surfaces are explicitly generated by projective automorphisms and specific involutions associated with closed points of degree 3 or 6, paralleling the Cremona group realization in the split case (Weinstein, 2019).

5. Picard Groups, Bundles, and Explicit Models

Picard Group and Absolutely Split Bundles

For a classical Severi-Brauer variety $X$ of index $r$:

• The Picard group is $$\operatorname{Pic}(X) = r\mathbb{Z} \subset \mathbb{Z}$$,
• Pullback to the algebraic closure gives $\operatorname{Pic}(X_{\bar{k}}) = \mathbb{Z}$ (Badr et al., 2017).

Absolutely split (AS) bundles are vector bundles that decompose after scalar extension to a sum of invertible sheaves. Every indecomposable AS bundle is constructed from Galois orbits of line bundles and the structure of the Picard scheme, with explicit ranks given in terms of the index of tensor powers of $A$ (Novaković, 2015).

Explicit Moduli and Universal Parameter Spaces

Universal Brauer-Severi varieties $Q_i \to B_i$ of period $d$ and index $n$ exist; all relative Brauer-Severi varieties of prescribed invariants can be locally pulled back from $Q_i \to B_i$ (Gounelas et al., 23 Oct 2025). The Picard and Brauer groups, as well as rational and topological connectedness properties, are determined explicitly.

6. Subschemes, Twisted Hilbert Schemes, and Quantum/Segre Geometry

The Hilbert scheme of subschemes of SB($\mathcal{A}$) can be defined and constructed globally using descent data, yielding the so-called "twisted Hilbert scheme" $Hilb^{tw}_{\varphi(t)}(SB(\mathcal{A})/X)$. This functor parametrizes subschemes whose fibers have specified Hilbert polynomial after trivialization (Mackall, 2021).

Certain loci in these Hilbert schemes, such as "Segre-Hilbert loci", encode geometric or entanglement-theoretic obstructions:

• The existence of a relative Segre subscheme (flat and locally modeled on a Segre variety $$\mathbb{P}^{d_1-1}\times\dots\times\mathbb{P}^{d_s-1}$$) in $SB(\mathcal{A})$ corresponds to a reduction of $P$ to the stabilizer $G_{\mathbf d}\subset PGL_n$,
• The moduli space of $\mathbf d$-subsystem structures is canonically the quotient $P/G_{\mathbf d}$, realized as a smooth, locally closed subscheme of the relative Hilbert scheme (Ikeda, 20 Jan 2026).

In the context of quantum information, entanglement is interpreted as the geometric obstruction to the global existence of such Segre loci in the family of twisted projective spaces; this can be formalized via reductions of the torsor and corresponds to the nontriviality of the Brauer class.

7. Applications and Further Directions

Severi-Brauer schemes and their generalizations play central roles in topics such as:

• Derived categorical representability and semiorthogonal decompositions, informing questions about exceptional objects and arithmetic in twisted settings (Dhillon et al., 2024),
• Period-index problems and discriminant avoidance in the study of central simple algebras and their moduli (Gounelas et al., 23 Oct 2025),
• Failures of stable rationality for bundles and families of Brauer-Severi varieties via degeneration and root stack techniques (Kresch et al., 2017),
• Explicit computation of equations and models for Severi-Brauer surfaces, including norm-form and Veronese models (García, 2017),
• The study of genus one curves and their Jacobians inside Severi-Brauer surfaces, linking elliptic curve arithmetic and the structure of division algebras (Saltman, 2021).

Advances in the field continue to clarify the interplay between geometric, arithmetic, and cohomological properties of Severi-Brauer schemes, with progress on derived and motivic decomposition, explicit moduli spaces, and connections to quantum and enumerative geometry.