pith. sign in

arxiv: 1906.11016 · v1 · pith:BFDQMOFBnew · submitted 2019-06-26 · 🧮 math.AG

Rees algebras of additive group actions

Adrien Dubouloz (IMB) , Isac Hed\'en , Takashi Kishimoto This is my paper

Pith reviewed 2026-05-25 15:19 UTC · model grok-4.3

classification 🧮 math.AG
keywords Rees algebraGa-actionadditive group schemelocally nilpotent derivationaffine threefoldrelative schemegraded algebra sheaf
0
0 comments X

The pith

A canonical sheaf of graded algebras is associated to every Ga,S-action on a relative affine scheme over a base S.

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

The paper introduces the relative Rees algebra as a sheaf of graded algebras canonically tied to any action of the additive group scheme Ga,S on a scheme X mapping to a base S. This object is functorial in the action and satisfies a list of basic algebraic properties that extend the classical Rees construction. The authors verify these properties on examples drawn from the study of locally nilpotent derivations and apply the algebra to produce families of affine threefolds carrying Ga-actions. A reader cares because the construction supplies a uniform graded object that organizes information about the action without requiring additional choices.

Core claim

For every relative affine scheme f : X → S equipped with an action of Ga,S, there exists a canonically associated sheaf of graded algebras, called the relative Rees algebra of the action, which is functorial with respect to morphisms of such equipped schemes and obeys a set of basic properties that generalize those of ordinary Rees algebras.

What carries the argument

The relative Rees algebra, the sheaf of graded algebras canonically attached to the Ga,S-action on the relative affine scheme.

If this is right

  • The Rees algebra construction yields new families of affine threefolds equipped with Ga-actions.
  • Basic properties of the algebra give a uniform language for locally nilpotent derivations on affine varieties over a base.
  • The graded structure encodes the infinitesimal behavior of the additive group action in a single object.
  • Morphisms of Ga-actions induce morphisms of their associated Rees algebras.

Where Pith is reading between the lines

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

  • The same graded algebra might serve as a source of numerical invariants that distinguish non-isomorphic Ga-actions.
  • The construction could extend naturally to actions of other unipotent groups once the Ga case is settled.
  • Explicit computation of the Rees algebra on a given threefold might produce new examples where the Ga-action is free outside a controlled locus.

Load-bearing premise

A canonical graded algebra sheaf can be attached to any Ga,S-action on a relative affine scheme so that the attachment is functorial and satisfies the listed algebraic properties.

What would settle it

An explicit Ga,S-action on a relative affine scheme for which no functorial graded algebra sheaf exists that reproduces the classical Rees algebra when the action is trivial or free.

read the original abstract

We establish basic properties of a sheaf of graded algebras canonically associated to every relative affine scheme $f : X \rightarrow S$ endowed with an action of the additive group scheme $\mathbb{G}_{ a,S}$ over a base scheme or algebraic space $S$, which we call the (relative) Rees algebra of the $\mathbb{G}_{ a,S}$-action. We illustrate these properties on several examples which played important roles in the development of the algebraic theory of locally nilpotent derivations and give some applications to the construction of families of affine threefolds with Ga-actions.

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 / 1 minor

Summary. The paper constructs a canonical sheaf of graded algebras, called the relative Rees algebra, associated to any action of the additive group scheme Ga,S on a relative affine scheme X/S over a base scheme or algebraic space S. It establishes basic properties of this object, illustrates them via examples arising from locally nilpotent derivations, and applies the construction to produce families of affine threefolds equipped with Ga-actions.

Significance. If the claimed canonical and functorial construction holds with the stated properties, the relative Rees algebra would supply a graded-algebraic invariant for Ga-actions that is compatible with base change and could streamline the study of invariants, quotients, and deformations in the theory of locally nilpotent derivations. The explicit applications to threefolds indicate potential utility for constructing and classifying examples in low-dimensional affine geometry.

minor comments (1)
  1. The abstract asserts that basic properties are established and examples are given, but supplies no derivations, definitions, or verification steps; without the body of the manuscript the central construction cannot be checked for canonicity or functoriality.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful summary of the manuscript and for recognizing the potential utility of the relative Rees algebra construction. No specific major comments were provided in the report, so we have no individual points to address. We remain available to clarify any aspects of the work or to incorporate feedback if additional comments are supplied.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's central claim is the construction of a canonical, functorial sheaf of graded algebras (the relative Rees algebra) attached to any Ga,S-action on a relative affine scheme X/S, together with verification of its basic properties. The abstract presents this association as definitional and canonical, with properties illustrated on examples from locally nilpotent derivations. No equations, predictions, or reductions are visible that would make the result equivalent to its inputs by construction. No self-citations are referenced in the provided text as load-bearing for the existence or canonicity claim. The derivation is self-contained as a definitional construction with verified properties, consistent with the reader's assessment of score 0.0.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The work rests on the standard axioms of scheme theory and group scheme actions; no free parameters or new postulated entities beyond the defined Rees algebra appear in the abstract.

axioms (1)
  • standard math Relative affine schemes and Ga,S-actions exist and are well-defined over a base scheme or algebraic space S
    Invoked in the first sentence of the abstract as the setup for the construction.
invented entities (1)
  • Relative Rees algebra no independent evidence
    purpose: Canonical graded algebra sheaf associated to a Ga,S-action
    The central object introduced and studied; it is defined rather than postulated as an independent physical entity.

pith-pipeline@v0.9.0 · 5617 in / 1137 out tokens · 24549 ms · 2026-05-25T15:19:34.275895+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

31 extracted references · 31 canonical work pages · 4 internal anchors

  1. [1]

    LND-Filtrations and Semi-Rigid Domains

    B. Alhajjar, LND-Filtrations and Semi-Rigid Domains,arXiv:1501.00445

    work page internal anchor Pith review Pith/arXiv arXiv

  2. [2]

    Methods to compute ring invariants and applications: a new class of exotic threefolds

    B. Alhajjar, Methods to compute ring invariants and applications: a new c lass of exotic threefolds, arXiv:1506.08522

    work page internal anchor Pith review Pith/arXiv arXiv

  3. [3]

    Arzhantsev, U

    I. Arzhantsev, U. Derenthal, J. Hausen and A. Laface, Cox rings, Cambridge Studies in Advanced Mathematics, 144. Cambridg e University Press, Cambridge, 2015

    work page 2015

  4. [4]

    Bourbaki, Commutative algebra, Chapters 1-7

    N. Bourbaki, Commutative algebra, Chapters 1-7. Translated from the French. Reprint of the 1972 edition. Elements of Mathematics (Berlin). Springer-V erlag, Berlin, 1989

    work page 1972

  5. [5]

    J. K. Deveney, D. R. Finston and M. Gehrke, Ga-actions on Cn, Comm. Alg. 22 (1994) 4977-4988

    work page 1994

  6. [6]

    Dubouloz, Danielewski-Fieseler surfaces, Transformation Groups vol

    A. Dubouloz, Danielewski-Fieseler surfaces, Transformation Groups vol. 10, no. 2, (2005), p. 139-162

    work page 2005

  7. [7]

    Exotic Ga-quotients of SL$_2 \times \mathbb{A}^1$

    A. Dubouloz, Exotic Ga-quotients of SL2 × A1, arXiv:1902.00372

    work page internal anchor Pith review Pith/arXiv arXiv 1902

  8. [8]

    Dubouloz and J

    A. Dubouloz and J. Fasel, Families of A1-contractible affine threefolds, Algebr. Geom., 5(1):1-14, 2018

    work page 2018

  9. [9]

    Dubouloz and D

    A. Dubouloz and D. R. Finston, On exotic affine 3-spheres, J. Algebraic Geom. 23 (2014), no. 3, 445-469

    work page 2014

  10. [10]

    Dubouloz, D

    A. Dubouloz, D. R. Finston and I. Jaradat, Proper triangular Ga-actions on A4 are translations, Algebra Number Theory 8:8 (2014), 1959-1984

    work page 2014

  11. [11]

    Dubouloz, I

    A. Dubouloz, I. Hedén, and T. Kishimoto, Equivariant extensions of Ga-torsors over punctured surfaces , Ann. Sc. Norm. Super. Pisa Cl. Sci. (To appear), DOI 10.2422/2036-2145.201710_002, arXiv:1707.08768

    work page doi:10.2422/2036-2145.201710_002 2036

  12. [12]

    Dubouloz and P .-M

    A. Dubouloz and P .-M. Poloni, On a class of Danielewski surfaces in affine 3-space , Journal of Algebra 321 (2009), p.1797-1812

    work page 2009

  13. [13]

    van den Essen, Polynomial automorphisms and the Jacobian conjecture, Progress in Mathematics, 190

    A. van den Essen, Polynomial automorphisms and the Jacobian conjecture, Progress in Mathematics, 190. Birkhäuser V erlag, Basel, 2000

    work page 2000

  14. [14]

    Canonical factorization of the quotient morphism for an affine $\mathbb{G}_a$-variety

    G. Freudenburg, Canonical factorization of the quotient morphism for an affi ne Ga-variety, Transformation Groups (2018). , arXiv:1602.08786

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  15. [15]

    Freudenburg, Algebraic theory of locally nilpotent derivations, Second edition,Encyclopaedia of Mathematical Sciences, 136

    G. Freudenburg, Algebraic theory of locally nilpotent derivations, Second edition,Encyclopaedia of Mathematical Sciences, 136. Invariant Theory and Algebraic Transformation Groups, VII . Springer-V erlag, Berlin, 2017

    work page 2017

  16. [16]

    Grothendieck, Éléments de géométrie algébrique : II

    A. Grothendieck, Éléments de géométrie algébrique : II. Étude globale élémen taire de quelques classes de morphismes, Publ. Math. I.H.É.S. , Tome 8 (1961), 5-222

    work page 1961

  17. [17]

    Hartshorne, Algebraic Geometry Graduate Texts in Mathematics Series V olume 52, Springer-Verlag New Y ork, 1977

    R. Hartshorne, Algebraic Geometry Graduate Texts in Mathematics Series V olume 52, Springer-Verlag New Y ork, 1977

    work page 1977

  18. [18]

    Hedén, Affine extensions of principal additive bundles over a punct ured surface, Transform

    I. Hedén, Affine extensions of principal additive bundles over a punct ured surface, Transform. Groups 21 (2),(2016), 427-449

    work page 2016

  19. [19]

    Horrocks, V ector bundles on the punctured spectrum of a local ring, Proc

    G. Horrocks, V ector bundles on the punctured spectrum of a local ring, Proc. London Math. Soc. (3) 14 1964, 689-713

    work page 1964

  20. [20]

    Kaliman, Proper Ga-actions on C4 preserving a coordinate, Algebra Number Theory V olume 12, Number 2 (2018), 227-258

    S. Kaliman, Proper Ga-actions on C4 preserving a coordinate, Algebra Number Theory V olume 12, Number 2 (2018), 227-258

    work page 2018

  21. [21]

    Kaliman and L

    S. Kaliman and L. Makar-Limanov, On the Russell-Koras contractible threefolds, J. Algebraic Geom., 6 no. 2 (1997), 247-268

    work page 1997

  22. [22]

    Kaliman and L

    S. Kaliman and L. Makar-Limanov, AK-invariant of affine domains , Affine Algebraic Geometry, 231-255, Osaka University Pres s, (2007)

    work page 2007

  23. [23]

    Kaliman and M

    S. Kaliman and M. Zaidenberg, Affine modifications and affine hypersurfaces with a very transitive automorphism group, Transform. Groups 4 (1999), no. 1, 53-95

    work page 1999

  24. [24]

    Lazarsfeld, Positivity in algebraic geometry I, Ergebnisse der Mathematik und ihrer Grenzgebiete

    R. Lazarsfeld, Positivity in algebraic geometry I, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folg e. 48. Springer-V erlag, Berlin, 2004

    work page 2004

  25. [25]

    Laumon et L

    G. Laumon et L. Moret-Bailly, Champs Algébriques, Ergebnisse der Mathematik und ihrer Grenzgebiete 39. Spri nger-V erlag, New Y ork, 2000

    work page 2000

  26. [26]

    Miyanishi, A remark on an iterative infinite higher derivation , J

    M. Miyanishi, A remark on an iterative infinite higher derivation , J. Math. Kyoto Univ. 8 (1968) 411-415

    work page 1968

  27. [27]

    Rentschler, Opérations du groupe additif sur le plan affine , C

    R. Rentschler, Opérations du groupe additif sur le plan affine , C. R. Acad. Sci. Paris Sér. A-B 267 (1968) 384-387

    work page 1968

  28. [28]

    Seshadri, Triviality of vector bundles over the affine space K 2, Proc

    C.S. Seshadri, Triviality of vector bundles over the affine space K 2, Proc. Nat. Acad. Sci. U.S.A. 44 1958, 456-458. REES ALGEBRAS OF ADDITIVE GROUP ACTIONS 26

    work page 1958

  29. [29]

    Srinivas, Some applications of algebraic cycles to affine algebraic ge ometry, Algebraic cycles, sheaves, shtukas, and moduli, 185-215, Trends Math., Birkhäuser, Basel, 2008

    V . Srinivas, Some applications of algebraic cycles to affine algebraic ge ometry, Algebraic cycles, sheaves, shtukas, and moduli, 185-215, Trends Math., Birkhäuser, Basel, 2008

    work page 2008

  30. [30]

    Winkelmann, On free holomorphic C+-actions on Cn and homogeneous Stein manifolds, Math

    J. Winkelmann, On free holomorphic C+-actions on Cn and homogeneous Stein manifolds, Math. Ann. 286 (1990), 593-612

    work page 1990

  31. [31]

    Zariski, The theorem of Riemann-Roch for high multiples of an effecti ve divisor on an algebraic surface , Ann

    O. Zariski, The theorem of Riemann-Roch for high multiples of an effecti ve divisor on an algebraic surface , Ann. of Math. (2) 76 (1962), 560-615. IMB UMR5584, CNRS, U NIV. B OURGOGNE FRANCHE -C OMTÉ , F-21000 D IJON , F RANCE . E-mail address: adrien.dubouloz@u-bourgogne.fr MATHEMATICS INSTITUTE , Z EEMAN BUILDING , U NIVERSITY OF WARWICK COVENTRY CV4 7...

    work page 1962