pith. sign in

arxiv: 2605.18983 · v1 · pith:IN6IP444new · submitted 2026-05-18 · 🧮 math.AG

Outer Type Severi-Brauer Schemes

Cameron Ruether This is my paper

Pith reviewed 2026-05-20 07:22 UTC · model grok-4.3

classification 🧮 math.AG
keywords outer Severi-Brauer schemesAzumaya algebrasunitary involutionsparabolic subgroupstype morphismsDynkin schemesQuillen's constructionalgebraic geometry
0
0 comments X

The pith

Outer Severi-Brauer schemes arise as fibers of a type morphism and correspond to algebras with unitary involutions via a generalized construction.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines outer Severi-Brauer schemes by extending the known link between Severi-Brauer schemes and Azumaya algebras into the outer type A_n setting. It introduces lowered flags of modules to build sheaves of flags of ideals that match the parabolic subgroups of unitary groups over a general base scheme. These sheaves, together with sheaves of tuples of idempotents, let the author define a type morphism whose fibers recover the outer Severi-Brauer schemes. The work also supplies a new route to Quillen's construction that produces an algebra with unitary involution from an outer Severi-Brauer scheme. A sympathetic reader would care because the result supplies a uniform geometric language for handling outer forms of projective space and related objects without assuming the group splits.

Core claim

The author shows that outer Severi-Brauer schemes can be defined as suitable fibers of the type morphism from the sheaf of parabolic and Levi subgroup pairs to the Dynkin scheme. The morphism is built from sheaves of flags of ideals and sheaves of tuples of idempotents that are isomorphic to the corresponding subgroup sheaves for unitary groups. When the group splits suitably, these recover ordinary flags in a vector bundle equipped with a hermitian form. A new presentation of Quillen's construction recovers an Azumaya algebra from an ordinary Severi-Brauer scheme, and the same method extends to recover an algebra with unitary involution from an outer Severi-Brauer scheme.

What carries the argument

The type morphism from the sheaf of parabolic and Levi subgroup pairs (built via lowered flags of O-modules and tuples of idempotents) to the Dynkin scheme; its fibers define the (outer) Severi-Brauer schemes.

If this is right

  • Outer Severi-Brauer schemes exist as geometric objects over any base scheme once the corresponding unitary group data is given.
  • An algebra equipped with a unitary involution can be recovered from any outer Severi-Brauer scheme by the outer Quillen's construction.
  • The type morphism can be defined uniformly whether the underlying group is of inner or outer type.
  • When the group splits, the sheaves reduce to ordinary flags of submodules in a vector bundle with hermitian form.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same lowered-flag technique might classify outer forms of other homogeneous spaces attached to algebraic groups.
  • The construction suggests a route to extend similar correspondences beyond type A_n to other Dynkin diagrams.
  • These schemes could serve as a testing ground for computing Brauer invariants when an involution is present.

Load-bearing premise

That sheaves of flags of ideals isomorphic to parabolic subgroups for unitary groups can be defined over an arbitrary base scheme S.

What would settle it

An explicit outer Severi-Brauer scheme over some base scheme S for which no algebra with unitary involution arises from the generalized construction would show the claimed correspondence fails.

read the original abstract

We introduce the notion of a lowered flag of $\mathcal{O}$--modules in order to define a sheaf of flags of ideals isomorphic to the sheaf of parabolic subgroups for the general linear group $\mathbf{GL}_{1,\mathcal{A}}$ of an Azumaya algebra over a general scheme $S$. This notion is extended to the outer type $A_n$ case and we define a suitable sheaf of flags of ideals isomorphic to the sheaf of parabolic subgroups for a unitary group over $S$. When the group is suitably split these are related to flags of submodules in a vector bundle or in a vector bundle with hermitian form, respectively. We also define a sheaf of tuples of idempotents in the associated algebra which is isomorphic to the sheaf of parabolic and Levi subgroup pairs. We show how the type morphism from parabolic subgroups to the Dynkin scheme can be defined in terms of these sheaves of flags. We review how the Severi-Brauer scheme associated to an Azumaya algebra $\mathcal{A}$ is isomorphic to a particular fiber of this type morphism and we generalize this idea to the outer case in order to define outer Severi-Brauer schemes. We provide a new approach to Quillen's construction which produces an Azumaya algebra from a Severi-Brauer scheme and we show that an outer version of Quillen's construction also exists for outer Severi-Brauer schemes which produces an algebra with unitary involution.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript introduces lowered flags of O-modules to define sheaves of flags of ideals isomorphic to the sheaves of parabolic subgroups for GL_{1,A} where A is an Azumaya algebra over a general scheme S. This is extended to the outer type A_n case to define analogous sheaves for unitary groups, along with sheaves of tuples of idempotents corresponding to parabolic-Levi pairs. The type morphism to the Dynkin scheme is constructed from these sheaves, outer Severi-Brauer schemes are defined as specific fibers of this morphism, and an outer version of Quillen's construction is given that produces an algebra equipped with a unitary involution from such a scheme.

Significance. If the isomorphisms are established rigorously, the work provides a uniform framework for generalizing Severi-Brauer schemes to outer forms associated to algebras with involution. This could impact the geometric study of hermitian forms and Azumaya algebras with involution over schemes. The new approach to Quillen's construction and the use of lowered flags to handle both inner and outer cases are potentially useful technical contributions.

major comments (2)
  1. [Section defining the outer type A_n sheaves and the type morphism] The central definition of the outer Severi-Brauer scheme as a fiber of the type morphism rests on the asserted isomorphism between the lowered-flag sheaf of ideals and the standard parabolic subgroup sheaf for the unitary group in the suitably split case. No explicit local trivialization or direct comparison with flags in a hermitian vector bundle is supplied to confirm this identification, which is load-bearing for the generalization.
  2. [Section on the outer version of Quillen's construction] The outer Quillen's construction claims to produce an algebra with unitary involution from an outer Severi-Brauer scheme, but the manuscript does not verify that the lowered-flag construction is functorial and glues without extra local-triviality assumptions on S. This step is required for the construction to be well-defined over a general base.
minor comments (2)
  1. Notation for the sheaves of flags of ideals and tuples of idempotents could be made more uniform with standard references on parabolic subgroups of algebraic groups to improve readability.
  2. [Introduction] A brief comparison with existing literature on outer forms of Severi-Brauer varieties or involution algebras would help situate the new definitions.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. The two major points raised concern the explicit verification of the key isomorphism in the split case and the functoriality/gluing properties of the lowered-flag construction. We address each below and will revise the manuscript accordingly to strengthen these aspects.

read point-by-point responses

  1. Referee: [Section defining the outer type A_n sheaves and the type morphism] The central definition of the outer Severi-Brauer scheme as a fiber of the type morphism rests on the asserted isomorphism between the lowered-flag sheaf of ideals and the standard parabolic subgroup sheaf for the unitary group in the suitably split case. No explicit local trivialization or direct comparison with flags in a hermitian vector bundle is supplied to confirm this identification, which is load-bearing for the generalization.

    Authors: We agree that additional explicit details would improve clarity and rigor. In the revised version we will insert a new subsection (in the section on outer type A_n sheaves) that provides a local trivialization over an étale cover where the unitary group splits, and directly compares the lowered-flag sheaf of ideals to the standard sheaf of parabolic subgroups arising from flags in a hermitian vector bundle. This will include explicit local generators and a verification that the two sheaves coincide on the split locus. revision: yes

  2. Referee: [Section on the outer version of Quillen's construction] The outer Quillen's construction claims to produce an algebra with unitary involution from an outer Severi-Brauer scheme, but the manuscript does not verify that the lowered-flag construction is functorial and glues without extra local-triviality assumptions on S. This step is required for the construction to be well-defined over a general base.

    Authors: The lowered-flag sheaves are defined intrinsically as sheaves on S, so functoriality with respect to base change follows from the universal property of the sheafification. Nevertheless, we acknowledge that an explicit check of gluing without supplementary local-triviality hypotheses on S would make the argument more self-contained. In the revision we will add a short lemma immediately preceding the outer Quillen's construction that verifies the gluing of the resulting algebra-with-involution data on an arbitrary base S, using only the sheaf axioms and the local descriptions already present in the paper. revision: yes

Circularity Check

0 steps flagged

No circularity: new definitions built on standard Azumaya and parabolic sheaf theory

full rationale

The paper defines lowered flags of O-modules to produce sheaves of ideals isomorphic to parabolic subgroups for GL_{1,A} and unitary groups, then uses these to define type morphisms and outer Severi-Brauer schemes as fibers. It reviews Quillen's construction and extends it to the outer case. These steps rely on the existence of Azumaya algebras over S and standard correspondences (when split) to flags in vector bundles or hermitian bundles; no equation or construction reduces by definition to a fitted parameter, self-referential input, or prior self-citation that bears the central load. The isomorphism statements are presented as extensions of known split-case geometry rather than tautological redefinitions.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The central claims rest on standard background from algebraic geometry together with several newly introduced entities whose only support is the definitions given in the paper.

axioms (2)
  • standard math Standard properties of Azumaya algebras and their associated group schemes over arbitrary schemes
    Invoked throughout the abstract as the ambient setting for the constructions.
  • domain assumption Existence and basic properties of parabolic subgroups for GL and unitary groups over schemes
    Used to motivate the isomorphism statements for the new sheaves.
invented entities (2)
  • Lowered flag of O-modules no independent evidence
    purpose: To define a sheaf of flags of ideals isomorphic to the sheaf of parabolic subgroups
    Newly introduced object whose properties are developed in the paper.
  • Outer Severi-Brauer scheme no independent evidence
    purpose: Generalization of the Severi-Brauer scheme to the outer type A_n case
    Defined via the type morphism in the outer setting.

pith-pipeline@v0.9.0 · 5779 in / 1621 out tokens · 54074 ms · 2026-05-20T07:22:48.533231+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

8 extracted references · 8 canonical work pages

  1. [1]

    Breen, On the Classification of 2-gerbes and 2-stacks, Paris: Société mathématique de France (1994)

    L. Breen, On the Classification of 2-gerbes and 2-stacks, Paris: Société mathématique de France (1994)

    work page 1994

  2. [2]

    Calm\`es, J

    B. Calm\`es, J. Fasel, Groupes classiques , Autour des sch\'emas en groupes, vol II, Panoramas et Synth\`eses 46 (2015), p. 1-133

    work page 2015

  3. [3]

    Conrad, Reductive Group Schemes, Panoramas et synth\`eses 42--43 (2014), p

    B. Conrad, Reductive Group Schemes, Panoramas et synth\`eses 42--43 (2014), p. 29--444

    work page 2014

  4. [4]

    Gille, Sur la classification des sch\'emas en groupes semi-simples , Autour des sch\'emas en groupes, vol III, Panoramas et Synth\`eses 47 (2015), 39-110

    P. Gille, Sur la classification des sch\'emas en groupes semi-simples , Autour des sch\'emas en groupes, vol III, Panoramas et Synth\`eses 47 (2015), 39-110

    work page 2015

  5. [5]

    Koll\'ar, Severi-Brauer Varieties; A Geometric Treatment, Preprint version 2: https://arxiv.org/abs/1606.04368, (2025)

    J. Koll\'ar, Severi-Brauer Varieties; A Geometric Treatment, Preprint version 2: https://arxiv.org/abs/1606.04368, (2025)

    work page arXiv 2025

  6. [6]

    Quillen, Higher Algebraic K-theory

    D. Quillen, Higher Algebraic K-theory. I, Algebr. K-Theory I, Proc. Conf. Battelle Inst. 1972, Lect. Notes Math. 341, 85--147 (1973)

    work page 1972

  7. [7]

    Demazure et A

    S\'eminaire de G\'eom\'etrie alg\'ebrique de l'I.H.E.S., 1963-1964, sch\'emas en groupes, dirig\'e par M. Demazure et A. Grothendieck , Lecture Notes in Math. 151-153. Springer (1970)

    work page 1963

  8. [8]

    The Stacks Project Authors, Stacks project , http://stacks.math.columbia.edu/

    work page