K₁(Var) is presented by stratified birational equivalences
Pith reviewed 2026-05-18 05:04 UTC · model grok-4.3
The pith
The K1 group of varieties is presented by stratified birational equivalences.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
K_1(Var) is presented by stratified birational equivalences. These equivalences arise directly as the double exact squares that generate K1 once the Gillet-Grayson G-construction is adapted to the category of varieties, yielding a presentation that completes and simplifies prior approaches.
What carries the argument
Stratified birational equivalences, which are the double exact squares serving as generators of K1 in the G-construction adapted to varieties.
If this is right
- K1 of varieties admits an explicit description in terms of these equivalences.
- The same double-exact-square mechanism applies to definable sets in o-minimal structures.
- Generalized automorphisms of this type calibrate information in a range of non-additive categories.
- Earlier open questions about presentations of K1 for varieties are settled.
Where Pith is reading between the lines
- Explicit computations of K1 for concrete families of varieties become feasible.
- Connections between birational geometry and K-theory invariants may be explored directly.
- Similar presentations could be sought for K-groups in other geometric or logical categories.
Load-bearing premise
The Gillet-Grayson G-Construction can be adapted to the category of varieties so that double exact squares generate the K1 group.
What would settle it
A concrete stratified birational equivalence between varieties that fails to act as a generator in the K1 group produced by the adapted construction.
read the original abstract
This paper provides a complete presentation of $K_1(Var)$, the $K_1$ group of varieties, resolving and simplifying a problem left open in \cite{ZakhK1}. Our approach adapts Gillet-Grayson's $G$-Construction to define an un-delooped $K$-theory spectrum of varieties. There are two levels on which one can read the present paper. On a technical level, we streamline and extend previous results on the $K$-theory of exact categories to a broader class of categories, including $Var$. On a more conceptual level, our investigations bring into focus an interesting generalisation of automorphisms (``double exact squares'') which generate $K_1$. For varieties, this corresponds to what we call stratified birational equivalences, but the construction extends to a wide range of non-additive contexts (e.g. $o$-minimal structures, definable sets etc.). This raises a challenging question: what kind of information do these generalised automorphisms calibrate?
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper adapts the Gillet-Grayson G-construction to the category of varieties Var, yielding an un-delooped K-theory spectrum whose K_1 group is generated by double exact squares; for Var these generators are identified with stratified birational equivalences, thereby giving a complete presentation of K_1(Var) and resolving an open question from ZakhK1.
Significance. If the central identification holds, the work supplies an explicit, geometrically meaningful set of generators for K_1(Var), extends the G-construction beyond exact categories to a broader non-additive setting, and isolates a notion of generalized automorphism (double exact squares) that may apply to o-minimal structures and definable sets. The manuscript also carries out the necessary simplicial verifications for the presentation.
major comments (2)
- [§4.3] §4.3, Definition 4.7 and Proposition 4.12: the claim that every double exact square in Var arises from a stratified birational equivalence relies on the surjectivity of the map from birational data to the simplicial 1-simplices; the argument appears to use only the existence of a stratification but does not explicitly verify that the resulting square satisfies the exactness condition in the G-construction when the strata have positive codimension.
- [§5.1] §5.1, the proof that the relations in the 2-simplices are generated precisely by the stratified birational equivalences: the reduction to the case of a single blow-up along a smooth center is stated but the induction step on the number of strata is only sketched; a fully expanded diagram chase or reference to the corresponding step in Gillet-Grayson would strengthen the load-bearing identification.
minor comments (3)
- [§3] Notation for the simplicial set of double exact squares is introduced in §3 but reused with a different subscript in §6; a single consistent symbol would improve readability.
- [§7] The comparison with the classical K_1 of the exact category of vector bundles on a smooth variety is mentioned only in the introduction; a short remark or reference in §7 would clarify the relationship.
- [§4.2] Several diagrams in §4.2 are drawn without labels on the vertical arrows; adding the explicit morphisms would make the exact-square condition easier to check.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript and for the detailed comments, which help clarify the exposition. We address the two major comments below and will revise the manuscript accordingly.
read point-by-point responses
-
Referee: [§4.3] §4.3, Definition 4.7 and Proposition 4.12: the claim that every double exact square in Var arises from a stratified birational equivalence relies on the surjectivity of the map from birational data to the simplicial 1-simplices; the argument appears to use only the existence of a stratification but does not explicitly verify that the resulting square satisfies the exactness condition in the G-construction when the strata have positive codimension.
Authors: We thank the referee for this observation. The surjectivity of the indicated map ensures that every double exact square arises from stratified birational data. The exactness condition in the G-construction is satisfied by the definition of a stratified birational equivalence: the stratification is chosen so that the relevant morphisms become isomorphisms on the complements of the centers, which directly implies the required pullback squares in the simplicial structure. Nevertheless, to make this verification fully explicit for strata of positive codimension, we will insert a short additional paragraph (or a brief lemma) in §4.3 spelling out the exactness check. revision: yes
-
Referee: [§5.1] §5.1, the proof that the relations in the 2-simplices are generated precisely by the stratified birational equivalences: the reduction to the case of a single blow-up along a smooth center is stated but the induction step on the number of strata is only sketched; a fully expanded diagram chase or reference to the corresponding step in Gillet-Grayson would strengthen the load-bearing identification.
Authors: The referee correctly notes that the induction on the number of strata is only sketched. The reduction to a single smooth blow-up is the essential case, after which the general relation is obtained by composing the corresponding 2-simplices. We will expand the induction step with an explicit diagram chase that tracks the face and degeneracy maps, and we will include a direct reference to the analogous composition argument used by Gillet–Grayson when handling multiple generators in their simplicial presentation. revision: yes
Circularity Check
No significant circularity; derivation self-contained
full rationale
The manuscript adapts the Gillet-Grayson G-construction to Var by explicitly defining double exact squares as generators and verifying the required simplicial relations for the un-delooped spectrum. The identification of these generators with stratified birational equivalences is performed directly via the paper's own definitions and checks rather than by fitting parameters or reducing to prior self-citations. External citations to Gillet-Grayson and ZakhK1 supply independent background; the central presentation does not collapse to a self-definitional loop or renamed input.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Axioms of exact categories and the Gillet-Grayson G-construction
invented entities (1)
-
double exact squares
no independent evidence
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.