pith. sign in

arxiv: 2304.03539 · v4 · pith:IFF7CUH7new · submitted 2023-04-07 · 🧮 math.KT

Witt groups of Severi-Brauer varieties and of function fields of conics

Anne Qu\'eguiner-Mathieu , Jean-Pierre Tignol This is my paper

Pith reviewed 2026-05-24 09:23 UTC · model grok-4.3

classification 🧮 math.KT
keywords Witt groupsSeveri-Brauer varietiesdivision algebrassymplectic involutionskew-hermitian formsexact sequencesquaternion algebrasfunction fields of conics
0
0 comments X

The pith

The Witt group of skew hermitian forms over a division algebra with symplectic involution is canonically isomorphic to the Witt group of symmetric bilinear forms over the Severi-Brauer variety valued in a suitable line bundle.

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

The paper proves a canonical isomorphism linking the Witt group of skew hermitian forms on a division algebra D equipped with symplectic involution to the Witt group of symmetric bilinear forms on the Severi-Brauer variety of D, with coefficients in a chosen line bundle. This identification transfers questions about forms over the algebra into geometric questions about forms on the variety. For the special case of quaternion algebras the construction produces two five-term exact sequences that relate the Witt groups of hermitian and skew-hermitian forms over D to the Witt groups of the base field, the function field of the associated conic, and the residue fields at closed points of the conic.

Core claim

The Witt group of skew hermitian forms over a division algebra D with symplectic involution is shown to be canonically isomorphic to the Witt group of symmetric bilinear forms over the Severi-Brauer variety of D with values in a suitable line bundle. In the special case where D is a quaternion algebra we extend previous work by Pfister and by Parimala on the Witt group of conics to set up two five-terms exact sequences relating the Witt groups of hermitian or skew-hermitian forms over D with the Witt groups of the center, of the function field of the Severi-Brauer conic of D, and of the residue fields at each closed point of the conic.

What carries the argument

The canonical isomorphism between the Witt group of skew-hermitian forms over D and the Witt group of symmetric bilinear forms on the Severi-Brauer variety X of D twisted by a suitable line bundle.

If this is right

  • Properties of skew-hermitian Witt groups over D transfer directly to properties of twisted symmetric bilinear forms on the associated Severi-Brauer variety.
  • For quaternion algebras the five-term exact sequences relate the Witt groups over D to those over the base field, the function field of the conic, and all residue fields at closed points.
  • The sequences provide a concrete way to compute or bound Witt groups of conics and their function fields in terms of data over the quaternion algebra.
  • The isomorphism and sequences extend earlier results of Pfister and Parimala on Witt groups of conics to a broader setting of division algebras.

Where Pith is reading between the lines

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

  • The identification may allow Witt-group computations for certain projective varieties to be reduced to computations inside central simple algebras.
  • The exact sequences suggest that Witt groups of function fields of conics can be expressed in terms of residue-field data and the algebra's own Witt group.
  • Similar isomorphisms might exist when the involution is of a different type or when the base is a more general scheme.

Load-bearing premise

There exists a line bundle on the Severi-Brauer variety of D for which the stated map between the two Witt groups is a canonical isomorphism.

What would settle it

An explicit division algebra D with symplectic involution together with a computation showing that its skew-hermitian Witt group is not isomorphic to the twisted symmetric Witt group of its Severi-Brauer variety for any choice of line bundle.

read the original abstract

The Witt group of skew hermitian forms over a division algebra $D$ with symplectic involution is shown to be canonically isomorphic to the Witt group of symmetric bilinear forms over the Severi-Brauer variety of $D$ with values in a suitable line bundle. In the special case where $D$ is a quaternion algebra we extend previous work by Pfister and by Parimala on the Witt group of conics to set up two five-terms exact sequences relating the Witt groups of hermitian or skew-hermitian forms over $D$ with the Witt groups of the center, of the function field of the Severi-Brauer conic of $D$, and of the residue fields at each closed point of the conic.

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

0 major / 2 minor

Summary. The manuscript proves a canonical isomorphism between the Witt group of skew-hermitian forms over a central division algebra D equipped with a symplectic involution and the Witt group of symmetric bilinear forms over the Severi-Brauer variety SB(D) with values in a suitable line bundle L. In the quaternion-algebra case it constructs two five-term exact sequences relating the Witt groups of hermitian and skew-hermitian forms over D to the Witt groups of the base field, the function field of the associated conic, and the residue fields at closed points, extending earlier results of Pfister and Parimala.

Significance. If the stated isomorphism and exact sequences are valid, the work supplies a geometric realization of algebraic Witt groups attached to involutions on division algebras. This link may permit transfer of computational techniques between the algebraic and geometric settings and strengthen the study of quadratic and hermitian forms over function fields of Severi-Brauer varieties.

minor comments (2)
  1. The abstract refers to 'a suitable line bundle' without naming it; the introduction or §1 should state the explicit choice of L and the precise category of forms involved.
  2. The five-term sequences are described only at the level of the abstract; a diagram or numbered display of the sequences (with maps) would improve readability in the quaternion case.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending minor revision. The referee's description accurately captures the main results on the canonical isomorphism for skew-hermitian Witt groups and the five-term exact sequences in the quaternion case. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's central result is presented as a shown canonical isomorphism between Witt groups, with special cases extending prior results by Pfister and Parimala (distinct authors). No quoted equations or steps reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations; the abstract and description frame the work as new derivations in algebraic K-theory without internal reductions to the inputs themselves. The derivation chain is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard background from the theory of Witt groups of hermitian forms and the geometry of Severi-Brauer varieties; no free parameters or invented entities are visible in the abstract.

axioms (2)
  • standard math Standard properties of Witt groups for symmetric bilinear, hermitian, and skew-hermitian forms over algebras with involution
    Invoked implicitly as the setting for the isomorphism.
  • standard math Existence and basic properties of Severi-Brauer varieties associated to central simple algebras
    Used to define the geometric side of the isomorphism.

pith-pipeline@v0.9.0 · 5660 in / 1306 out tokens · 31507 ms · 2026-05-24T09:23:37.122965+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

26 extracted references · 26 canonical work pages

  1. [1]

    Arason, R

    J.\,Kr. Arason, R. Elman and B. Jacob, On indecomposable vector bundles, Comm.\ Algebra 20 (1992), no. 5, 1323--1351, doi:10.1080/00927879208824407

    work page doi:10.1080/00927879208824407 1992

  2. [2]

    Balmer, Witt groups, in Handbook of K -theory

    P. Balmer, Witt groups, in Handbook of K -theory. Vol. 1, 2, pp. 539--576, Springer, Berlin, 2005, doi:10.1007/978-3-540-27855-9_11

    work page doi:10.1007/978-3-540-27855-9_11 2005

  3. [3]

    Balmer and C

    P. Balmer and C. Walter, A Gersten--Witt spectral sequence for regular rings, Ann.\ Sci.\ \'Ecole Norm.\ Sup. (4) 35 (2002), no. 1, 127-152, doi:10.1016/S0012-9593(01)01084-9

    work page doi:10.1016/s0012-9593(01)01084-9 2002

  4. [4]

    Becher, A proof of the Pfister Factor Conjecture, Invent.\ Math.\ 173 (2008), no

    K.\,J. Becher, A proof of the Pfister Factor Conjecture, Invent.\ Math.\ 173 (2008), no. 1, 1--6, doi:10.1007/s00222-007-0107-5

    work page doi:10.1007/s00222-007-0107-5 2008

  5. [5]

    Berhuy, Cohomological invariants of quaternionic skew-hermitian forms, Arch.\ Math.\ (Basel) 88 (2007), no

    G. Berhuy, Cohomological invariants of quaternionic skew-hermitian forms, Arch.\ Math.\ (Basel) 88 (2007), no. 5, 434--447, doi:10.1007/s00013-006-2001-6

    work page doi:10.1007/s00013-006-2001-6 2007

  6. [6]

    Bourbaki, Alg\`ebre, Chapitres 1 \`a 3, Hermann, Paris, 1970

    N. Bourbaki, Alg\`ebre, Chapitres 1 \`a 3, Hermann, Paris, 1970

    work page 1970

  7. [7]

    Chevalley, Introduction to the Theory of Algebraic Functions of One Variable, Math.\ Surveys, No

    C. Chevalley, Introduction to the Theory of Algebraic Functions of One Variable, Math.\ Surveys, No. VI, Amer.\ Math.\ Soc., New York, NY, 1951, doi:10.1090/surv/006

    work page doi:10.1090/surv/006 1951

  8. [8]

    Elman, N

    R. Elman, N. Karpenko and A. Merkurjev, The algebraic and geometric theory of quadratic forms, Amer.\ Math.\ Soc.\ Colloq.\ Publ., vol. 56, Amer. Math. Soc., Providence, RI, 2008

    work page 2008

  9. [9]

    Garrel, Invariants cohomologiques de groupes alg\'ebriques et d'alg\`ebres \`a involutions, Ph.D

    N. Garrel, Invariants cohomologiques de groupes alg\'ebriques et d'alg\`ebres \`a involutions, Ph.D. dissertation, Universit\'e Paris 13, 2018, available at https://nicolas.garrel.me/thesis.pdf

    work page 2018

  10. [10]

    Grenier-Boley and M.\,G

    N. Grenier-Boley and M.\,G. Mahmoudi, Exact sequences of Witt groups, Comm.\ Algebra 33 (2005), no. 4, 965--986, doi:10.1081/AGB-200053791

    work page doi:10.1081/agb-200053791 2005

  11. [11]

    Karpenko, Hyperbolicity of orthogonal involutions (with an appendix by J.-P

    N.\,A. Karpenko, Hyperbolicity of orthogonal involutions (with an appendix by J.-P. Tignol), Doc.\ Math.\ 2010 , Extra vol.: Andrei A.\ Suslin sixtieth birthday, 371--392

    work page 2010

  12. [12]

    M. Knebusch, Grothendieck- und Wittringe von nichtausgearteten symmetrischen Bilinearformen, S.-B.\ Heidelberger Akad.\ Wiss.\ Math.-Natur.\ Kl.\ 1969/70 (1969/1970), 93--157, doi:10.1007/978-3-642-99987-1

    work page doi:10.1007/978-3-642-99987-1 1969

  13. [13]

    Knus, Quadratic and Hermitian Forms over Rings, Grundlehren math.\ Wiss., vol

    M.-A. Knus, Quadratic and Hermitian Forms over Rings, Grundlehren math.\ Wiss., vol. 294, Springer-Verlag, Berlin, 1991, doi:10.1007/978-3-642-75401-2

    work page doi:10.1007/978-3-642-75401-2 1991

  14. [14]

    M.-A. Knus, A. Merkurjev, M. Rost, and J.-P. Tignol, The book of involutions, Amer.\ Math.\ Soc.\ Colloq.\ Publ., vol. 44, Amer.\ Math.\ Soc., Providence, RI, 1998

    work page 1998

  15. [15]

    Lam, Introduction to quadratic forms over fields, Grad.\ Stud.\ Math., vol

    T.\,Y. Lam, Introduction to quadratic forms over fields, Grad.\ Stud.\ Math., vol. 67, Amer.\ Math.\ Soc., Providence, RI, 2005

    work page 2005

  16. [16]

    Lewis, New improved exact sequences of Witt groups, J

    D.\,W. Lewis, New improved exact sequences of Witt groups, J. Algebra 74 (1982), no. 1, 206--210, doi:10.1016/0021-8693(82)90013-8

    work page doi:10.1016/0021-8693(82)90013-8 1982

  17. [17]

    Merkurjev and J.-P

    A. Merkurjev and J.-P. Tignol, Excellence of function fields of conics, Enseign.\ Math.\ 62 (2016), no. 3-4, 421--456, doi:10.4171/lem/62-3/4-3

    work page doi:10.4171/lem/62-3/4-3 2016

  18. [18]

    Parimala, Witt groups of conics, elliptic, and hyperelliptic curves, J

    R. Parimala, Witt groups of conics, elliptic, and hyperelliptic curves, J. Number Theory 28 (1988), no. 1, 69--93, doi:10.1016/0022-314X(88)90120-5

    work page doi:10.1016/0022-314x(88)90120-5 1988

  19. [19]

    Parimala, R

    R. Parimala, R. Sridharan and V. Suresh, Hermitian Analogue of a Theorem of Springer, J. Algebra 243 (2001), no. 2, 780--789, doi:10.1006/jabr.2001.8830

    work page doi:10.1006/jabr.2001.8830 2001

  20. [20]

    Pfister, Quadratic Lattices in Function Fields of Genus 0 , Proc.\ London Math.\ Soc

    A. Pfister, Quadratic Lattices in Function Fields of Genus 0 , Proc.\ London Math.\ Soc. (3) 66 (1993), no. 2, 257--278, doi:10.1112/plms/s3-66.2.257

    work page doi:10.1112/plms/s3-66.2.257 1993

  21. [21]

    Pumpl\"un, The Witt ring of a Brauer--Severi variety, Manuscripta Math.\ 97 (1998), no

    S. Pumpl\"un, The Witt ring of a Brauer--Severi variety, Manuscripta Math.\ 97 (1998), no. 1, 93--108, doi:https://doi.org/10.1007/s002290050088. Erratum: Manuscripta Math.\ 103 (2000), 409--411. doi:10.1007/s002290070015

    work page doi:10.1007/s002290050088 1998

  22. [22]

    3, 255--265, doi:10.1023/A:1007884327508

    , The Witt group of symmetric bilinear forms over a Brauer--Severi variety with values in a line bundle, K -Theory 18 (1999), no. 3, 255--265, doi:10.1023/A:1007884327508. Corrigendum: K -Theory 23 (2001), no. 2, 201--202, doi:10.1023/A:1017932902663

    work page doi:10.1023/a:1007884327508 1999

  23. [23]

    Qu\' e guiner-Mathieu and J.-P

    A. Qu\' e guiner-Mathieu and J.-P. Tignol, Orthogonal involutions on central simple algebras and function fields of Severi--Brauer varieties, Adv.\ Math.\ 336 (2018), 455--476, doi:10.1016/j.aim.2018.07.030

    work page doi:10.1016/j.aim.2018.07.030 2018

  24. [24]

    Quillen, Higher algebraic K -theory I, In: Algebraic K -theory, I: Higher K -theories (Proc.\ Conf., Battelle Memorial Inst., Seattle, Wash., 1972), pp

    D. Quillen, Higher algebraic K -theory I, In: Algebraic K -theory, I: Higher K -theories (Proc.\ Conf., Battelle Memorial Inst., Seattle, Wash., 1972), pp. 85--147, Lecture Notes Math., vol. 341, Springer-Verlag, Berlin--New York, 1973, doi:10.1007/BFb0067053

    work page doi:10.1007/bfb0067053 1972

  25. [25]

    Scharlau, Quadratic and Hermitian Forms, Grundlehren math.\ Wiss., vol

    W. Scharlau, Quadratic and Hermitian Forms, Grundlehren math.\ Wiss., vol. 270, Springer-Verlag, Berlin, 1985, doi:10.1007/978-3-642-69971-9

    work page doi:10.1007/978-3-642-69971-9 1985

  26. [26]

    Xie, Witt groups of smooth projective quadrics, Adv.\ Math.\ 346 (2019), 70--123, doi:10.1016/j.aim.2019.01.038

    H. Xie, Witt groups of smooth projective quadrics, Adv.\ Math.\ 346 (2019), 70--123, doi:10.1016/j.aim.2019.01.038

    work page doi:10.1016/j.aim.2019.01.038 2019