Severi-Brauer Scheme Overview

• Severi–Brauer schemes are twisted forms of projective spaces that locally resemble Pⁿ, encoding nontrivial Brauer classes and division algebra structures.
• Their classification uses H¹(X, PGLₙ₊₁) and the associated boundary map to the Brauer group, linking them directly to central simple (Azumaya) algebras.
• They exhibit rich structures in derived category decompositions, motivic splits, and moduli interpretations, influencing studies in arithmetic and birational geometry.

A Severi–Brauer scheme is a scheme (or Deligne–Mumford stack) defined over a base field or base scheme that is, locally in the étale or fppf topology, isomorphic to a projective space $\mathbb{P}^n$. These objects, called also Brauer–Severi varieties, function as nontrivial twisted forms of projective space and are central in the study of central simple algebras, the Brauer group, and the classification of algebraic varieties over non-algebraically closed fields. Severi–Brauer schemes possess rich geometric, cohomological, and motivic structures, and play a foundational role in the theory of division algebras, rationality problems, moduli of bundles, and the geometry of degenerations and compactifications.

1. Structure and Classification

Let $X$ be a base scheme or Deligne–Mumford stack (often reduced to the base field $k$), and fix an integer $n \geq 0$. A Severi–Brauer scheme $P \to X$ of relative dimension $n$ is defined as a flat, proper, projective morphism whose fibers are all isomorphic, étale-locally on $X$, to $\mathbb{P}^n$. Concretely, $P$ can be realized as a $\mathbb{P}^n$-bundle twisted by a $\mathrm{PGL}_{n+1}$-torsor, associated to a class $\xi \in H^1(X, \mathrm{PGL}_{n+1})$, and reconstructed as

$$P = Q \times^{\mathrm{PGL}_{n+1}} \mathbb{P}^n \to X$$

for a $\mathrm{PGL}_{n+1}$-torsor $Q\to X$, via the associated fiber bundle construction. The set of isomorphism classes of Severi–Brauer schemes of fixed relative dimension is in bijection with $H^1(X, \mathrm{PGL}_{n+1})$; this classifies their forms via Čech cocycles describing the gluings of trivializations over local covers.

From the fundamental exact sequence

$$1 \to \mathbb{G}_m \to \mathrm{GL}_{n+1} \to \mathrm{PGL}_{n+1} \to 1$$

one obtains the boundary map $$\delta : H^1(X, \mathrm{PGL}_{n+1}) \to H^2(X, \mathbb{G}_m) = \mathrm{Br}(X)$$, associating to $\xi$ the Brauer class of the Severi–Brauer scheme $P$ (equivalently, of the underlying Azumaya algebra). Conversely, a central simple (Azumaya) algebra $A$ of rank $(n+1)^2$ produces a Severi–Brauer scheme $\mathrm{SB}(A)\to X$ parametrizing right ideals of rank $n+1$; this constructs a bijection between the Brauer group and isomorphism classes of Severi–Brauer varieties of fixed dimension (Kresch et al., 2017, Mackall, 2021, Liedtke, 2016, Gounelas et al., 23 Oct 2025).

2. Period, Index, and Invariants

Given a Severi–Brauer scheme $P \to X$ associated to a class $\alpha \in \mathrm{Br}(X)$, the period $\operatorname{per}(\alpha)$ is the order of $\alpha$ in $\mathrm{Br}(X)$. The index $\operatorname{ind}(\alpha)$ is the greatest common divisor of the degrees of finite field extensions that split $\alpha$, or (when $X$ is irreducible) the degree of the division algebra over the function field representing $\alpha$. There are divisibility relations:

$$\operatorname{per}(\alpha) \mid \operatorname{ind}(\alpha) \mid \operatorname{per}(\alpha)^{\dim X+1}$$

and, for Severi–Brauer schemes of dimension $n-1$, one has $\operatorname{per}(\alpha)\mid n$ by the structure of relative canonical sheaves (Gounelas et al., 23 Oct 2025).

Furthermore, the Brauer class $\alpha$ and the Severi–Brauer variety $P$ are intertwined: $P$ is trivial (i.e., isomorphic to the projective bundle $\mathbb{P}^n_X$) if and only if $\alpha=0$, equivalently if and only if $P$ admits a global section over $X$ (Liedtke, 2016, Gounelas et al., 23 Oct 2025).

3. Derived Categories and Motives

The algebraic, geometric, and homological properties of Severi–Brauer schemes are reflected in their derived categories and motives. Over a base $X$, a generalized Severi–Brauer scheme $SB(k,n)_X$ is an fppf-twist of the relative Grassmannian $\mathrm{Gr}(k,n)_X$; it is a projective bundle over $X$ that can be viewed, locally in the fppf topology, as a Grassmannian (Dhillon et al., 2024).

The bounded derived category of coherent sheaves $D^b(SB(k,n)_X)$ admits a semiorthogonal decomposition indexed by Young partitions, whose pieces are equivalent to derived categories of twisted sheaves on $X$:

$$D^b(SB(k,n)_X) = \langle \operatorname{Im}\Phi_\alpha \mid \alpha \in B_{k,n} \rangle,$$

with each $\Phi_\alpha$ fully faithful and $$\operatorname{Im}\Phi_\alpha \simeq D^b(X, |\alpha|\beta)$$ for $\beta$ the Brauer class. This generalizes the decomposition for Grassmannians and is stable under base change (Dhillon et al., 2024). In the case $k=1$, this specializes to the well-studied decomposition for Severi–Brauer schemes (Dhillon et al., 2024).

From the viewpoint of motives, the Severi–Brauer variety $SB_k(D)$ for a central division algebra $D$ of degree $n$ is a projective homogeneous scheme whose Chow motive, over a splitting field, decomposes into a direct sum of Tate motives indexed by Schubert data. For $k=1$, the motive splits as $L^0 \oplus L^1 \oplus \cdots \oplus L^{n-1}$. These decompositions are rigid with respect to field extension (as long as $D$ remains division) and to change of coefficients—the invariants depend only on the prime $p$ dividing the degree $n$ (Clercq, 2011, Zhykhovich, 2011).

A key motivic phenomenon is that for generalized Severi–Brauer varieties $X(p^m, D)$ (parametrizing right ideals of reduced dimension $p^m$), the Chow motive decomposes completely into summands of the form $M(X(1, D))(a)$, except in the classical case $m=0$ and the quaternionic case $p=2, m=1$. Only in these exceptional cases does motivic indecomposability persist (Zhykhovich, 2011).

4. Hilbert Schemes and Moduli Interpretations

Given a Severi–Brauer scheme $\pi:X\to S$ of fixed relative dimension and a Hilbert polynomial $\phi(t)\in\mathbb{Q}[t]$, there exists a twisted Hilbert scheme $\mathrm{Hilb}_\phi^{\mathrm{tw}}(X/S)$, representing flat, proper families of subschemes of $X/S$ with the specified Hilbert polynomial defined with respect to the Quillen bundle. This scheme is projective over $S$ and, after base change to a splitting cover, recovers the classical Hilbert scheme of the projective bundle (Mackall, 2021).

As a special case, the subfunctor $\mathrm{Ell}_n(X)$ parametrizes smooth, geometrically connected genus $1$ curves of degree $n$ on the Severi–Brauer variety $X$ of index $n$. Over an algebraically closed field, $\mathrm{Ell}_n(X)$ is irreducible of dimension $n^2$; in many cases (e.g., when $X$ is associated to a cyclic algebra or split by a dihedral extension) it has a rational point (Mackall, 2021). The geometry of these spaces relates to period–index jumps, rationality obstructions, and the construction of explicit geometric representatives for Brauer classes.

Universal Brauer–Severi varieties, constructed as moduli spaces by Gounelas–Huybrechts, form universal families with prescribed period and index. Their cohomology, Picard, and Brauer groups are computable and in most cases they are simply connected. These spaces serve as classifying spaces, supporting universal Severi–Brauer varieties, and provide a framework for discriminant avoidance in the period–index problem (Gounelas et al., 23 Oct 2025).

5. Degenerations, Bundles, and Birational Geometry

Over higher-dimensional bases, one may consider Severi–Brauer surface bundles, which arise as projective bundles on root stacks and descend, after explicit birational modifications, to flat morphisms with controlled degenerations. These constructions, developed via root stacks and stack-theoretic methods, allow control over ramification of the Brauer class, prescribe fiber degenerations, and provide the geometric input for recent advances in the study of stable rationality via the specialization method (e.g., Voisin, Colliot-Thélène–Pirutka) (Kresch et al., 2017).

In arithmetic geometry, the minimal Brauer–Severi variety associated to an $fppf$-globally generated class in the relative Picard sheaf of a proper $k$-variety corresponds, via the boundary map, to a Brauer class; morphisms to Brauer–Severi varieties are classified by such data. The period detects the minimal embedding: for a Severi–Brauer variety $P$ of period $r$, the invertible sheaf $\mathcal{O}_P(r)$ is genuinely very ample and descends to $P$, recovering the Veronese embedding (Liedtke, 2016).

Severi–Brauer schemes satisfy both the Hasse principle and weak approximation over global fields; these properties are inherited by varieties birational to Severi–Brauer schemes (notably del Pezzo surfaces of degree $\geq 7$) (Liedtke, 2016).

6. Generalized Severi–Brauer Varieties and Further Directions

Generalized Severi–Brauer schemes, as fppf-twists of higher Grassmannians, extend the classical theory and allow the application of geometric, motivic, and derived-category techniques to broader classes of homogeneous varieties. The theory of upper motives provides a framework for understanding motivic decomposability, and the structure of the derived category as a semiorthogonal decomposition indexed by Schur functors and Young diagrams generalizes Kapranov’s classical results to twisted settings and over arbitrary bases (Dhillon et al., 2024, Clercq, 2011, Zhykhovich, 2011).

The interplay between their motive, derived category, cohomology, and moduli aspects reveals the Severi–Brauer scheme as a linchpin of the interface between noncommutative algebra, birational geometry, arithmetic, and the formulation and solution of central questions in the theory of division algebras, period–index bounds, rationality, and the structure of algebraic varieties.