Finite subgroups of automorphism groups of Severi--Brauer varieties of prime degree
Pith reviewed 2026-05-18 23:54 UTC · model grok-4.3
The pith
Finite subgroups of automorphism groups of non-trivial Severi-Brauer varieties of dimension q-1 for prime q are classified over any field.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We classify finite subgroups of automorphism groups of non-trivial Severi-Brauer varieties of dimension q-1, where q ≥ 3 is a prime number, over an arbitrary field. We also construct families of examples, namely, for every consistent set of finite groups, we construct a field together with a non-trivial Severi-Brauer variety over that field such that every group in the set acts on the constructed variety. Additionally, we show that non-trivial Severi-Brauer varieties of dimension q-1, where q ≥ 3 is a prime number, over a field of characteristic not equal to q are not G-birationally rigid.
What carries the argument
The standard equivalence between non-trivial Severi-Brauer varieties of dimension q-1 and central simple algebras of degree q, which converts questions about finite automorphism subgroups into questions about the structure and Galois action on these algebras.
If this is right
- Every finite subgroup of the automorphism group of such a variety must satisfy explicit restrictions coming from the underlying central simple algebra.
- Any consistent collection of finite groups can be realized simultaneously as acting on one non-trivial Severi-Brauer variety over a suitably chosen field.
- Non-trivial Severi-Brauer varieties of dimension q-1 fail to be G-birationally rigid whenever the base field has characteristic different from q.
- The possible finite symmetries are completely determined by the Brauer class and splitting behavior of the corresponding algebra of degree q.
Where Pith is reading between the lines
- The classification supplies a template that may extend to Severi-Brauer varieties of composite degree by reduction to the prime case.
- Explicit realizations over chosen fields could be used to produce examples with prescribed finite symmetry groups in other classes of varieties.
- The birational non-rigidity statement connects the classification to questions about stable rationality and group actions in higher-dimensional geometry.
Load-bearing premise
The varieties under consideration are non-trivial and have dimension exactly q-1 for prime q, which depends on their equivalence to central simple algebras of degree q.
What would settle it
A single non-trivial Severi-Brauer variety of dimension q-1 whose automorphism group contains a finite subgroup absent from the classification, or a consistent set of groups for which no such variety exists over any field, would disprove the claims.
read the original abstract
We classify finite subgroups of automorphism groups of non-trivial Severi--Brauer varieties of dimension $q-1$, where $q \geqslant 3$ is a prime number, over an arbitrary field. We also construct families of examples, namely, for every consistent set of finite groups, we construct a field together with a non-trivial Severi--Brauer variety over that field such that every group in the set acts on the constructed variety. Additionally, we show that non-trivial Severi--Brauer varieties of dimension $q-1$, where $q \geqslant 3$ is a prime number, over a field of characteristic not equal to $q$ are not $G$-birationally rigid.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper classifies finite subgroups of the automorphism groups of non-trivial Severi-Brauer varieties of dimension q-1 (q prime, q≥3) over arbitrary fields by Galois descent to compatible finite subgroups of PGL_q. It constructs, for every consistent set of finite groups, a field and non-trivial Severi-Brauer variety on which all groups act simultaneously, using explicit iterated Laurent series or function-field extensions in §5. It further proves that such varieties are not G-birationally rigid over fields of characteristic ≠q by exhibiting an explicit G-equivariant birational map.
Significance. If the results hold, the classification and explicit constructions advance the study of automorphism groups of twisted forms of projective space tied to central simple algebras of prime degree. The strength lies in the concrete generators, relations, and case analysis on cyclic/non-abelian extensions, together with the reproducible function-field construction that realizes arbitrary consistent sets while preserving a non-split Brauer class of period q. The non-rigidity result supplies a falsifiable, explicit birational equivalence that is useful for birational geometry questions.
major comments (2)
- [§5] §5, consistent-set construction: the iterated Laurent series (or function-field) extension is asserted to keep the Brauer class of period exactly q while permitting independent actions; however, the text does not verify that the resulting central simple algebra remains of index q after adjoining the independent group actions, which is load-bearing for the claim that every consistent set is realized by a non-trivial variety.
- [Classification section] Classification section (reduction via Galois descent): the completeness of the case analysis on cyclic and non-abelian extensions of the image in the twisted form of PGL_q depends on showing that every finite subgroup of PGL_q(k^s) that is compatible with a Brauer class of period q descends; an explicit cocycle or descent datum for the non-abelian case is needed to confirm no groups are missed.
minor comments (3)
- The definition of a 'consistent set' of finite groups is used in the abstract and §5 but is only formalized later; an early forward reference or boxed definition would improve readability.
- In the non-rigidity argument, the explicit G-equivariant birational map is described at a high level; adding the coordinate equations or the target model would make the proof easier to check.
- Notation for the Brauer class α and the associated Severi-Brauer variety X should be fixed at the first appearance in the introduction rather than varying between sections.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and for the constructive comments, which help clarify the presentation of the constructions and the classification. We address each major comment below and will incorporate the suggested clarifications in the revised version.
read point-by-point responses
-
Referee: [§5] §5, consistent-set construction: the iterated Laurent series (or function-field) extension is asserted to keep the Brauer class of period exactly q while permitting independent actions; however, the text does not verify that the resulting central simple algebra remains of index q after adjoining the independent group actions, which is load-bearing for the claim that every consistent set is realized by a non-trivial variety.
Authors: We agree that an explicit verification of the index is desirable for completeness. In the revised manuscript we will add a short lemma in §5 showing that the Brauer class of the central simple algebra retains period and index q after the iterated Laurent series (or function-field) extensions. The argument uses the linear disjointness of the chosen extensions from the splitting field of the original algebra together with the standard fact that the period-index relation is preserved under such base changes when the residue field extensions are chosen to be unramified with respect to the Brauer class. revision: yes
-
Referee: [Classification section] Classification section (reduction via Galois descent): the completeness of the case analysis on cyclic and non-abelian extensions of the image in the twisted form of PGL_q depends on showing that every finite subgroup of PGL_q(k^s) that is compatible with a Brauer class of period q descends; an explicit cocycle or descent datum for the non-abelian case is needed to confirm no groups are missed.
Authors: The classification proceeds by Galois descent from compatible subgroups of PGL_q over the separable closure. While the case division into cyclic and non-abelian images is carried out in the text, we acknowledge that an explicit cocycle description for a representative non-abelian case would make the descent step fully transparent. In the revision we will insert a brief subsection (or short appendix) that exhibits an explicit 1-cocycle for a typical non-abelian subgroup compatible with a period-q Brauer class, constructed directly from the given action on the Severi–Brauer variety; this will confirm that no compatible subgroups are omitted by the case analysis. revision: yes
Circularity Check
No significant circularity
full rationale
The derivation proceeds by Galois descent from Aut(X) for a non-trivial Severi-Brauer variety X of dimension q-1 to compatible finite subgroups of PGL_q over the separable closure, followed by explicit case analysis on cyclic and non-abelian extensions of degree dividing q and construction of consistent sets via iterated Laurent series or function-field extensions that keep the Brauer class non-split. These steps invoke only the standard equivalence of Severi-Brauer varieties with central simple algebras of degree q and standard Galois-cohomology facts; no parameter is fitted to data and then renamed a prediction, no uniqueness theorem is imported from the author's prior work, and no ansatz is smuggled via self-citation. The non-rigidity statement is established by exhibiting an explicit G-equivariant birational map, keeping the argument self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Non-trivial Severi-Brauer varieties of dimension q-1 correspond to central simple algebras of degree q over the base field
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.