---
title: Severi-Brauer Schemes in Algebraic Geometry
url: https://www.emergentmind.com/topics/severi-brauer-schemes
type: topic
---

# Severi-Brauer Schemes in Algebraic 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)$ [2601.13764].

## 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 [2601.13764].

### 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) [2405.00580].

## 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 [2405.00580]. 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)$ [1105.4981]. 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 [1110.1023].

### 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$ [1603.02104].
- 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 [1907.08115].

## 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}$ [1706.10093].

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$ [1501.00859].

### 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$ [2510.20474]. 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 [2107.12434].

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 [2601.13764].

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 [2405.00580],
- Period-index problems and discriminant avoidance in the study of central simple algebras and their moduli [2510.20474],
- Failures of stable rationality for bundles and families of Brauer-Severi varieties via degeneration and root stack techniques [1708.06277],
- Explicit computation of equations and models for Severi-Brauer surfaces, including norm-form and Veronese models [1706.10079],
- The study of genus one curves and their Jacobians inside Severi-Brauer surfaces, linking elliptic curve arithmetic and the structure of division algebras [2105.09986].

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.

Source: https://www.emergentmind.com/topics/severi-brauer-schemes