pith. sign in

arxiv: 2110.15041 · v2 · submitted 2021-10-28 · 🧮 math.AG

Unipotent morphisms

Daniel Bragg , Jack Hall , Siddharth Mathur This is my paper

Pith reviewed 2026-05-24 12:40 UTC · model grok-4.3

classification 🧮 math.AG
keywords unipotent morphismsalgebraic stacksvector bundleslocal to global principleresolution propertyGabber theoremDeligne-Mumford stacksflags
0
0 comments X

The pith

Unipotent morphisms establish a local to global principle for vector bundles on algebraic stacks.

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

The paper introduces the theory of unipotent morphisms of algebraic stacks and proves a surprising local to global principle for a class of vector bundles. This principle allows certain properties to be checked locally and then globalized. A sympathetic reader would care because it provides applications to gerbes and the resolution property for stacks. The main tool is a descent result for flags.

Core claim

We introduce the theory of unipotent morphisms of algebraic stacks and prove a surprising local to global principle for a class of vector bundles. Two sample applications of our methods are the following: a unipotent analogue of Gabber's Theorem for torsion G_m-gerbes and smooth Deligne-Mumford stacks with quasi-projective coarse spaces satisfy the resolution property in positive characteristic. Our main tool is a descent result for flags, which we prove using results of Schäppi.

What carries the argument

The descent result for flags on vector bundles, enabled by unipotent morphisms of algebraic stacks.

If this is right

  • A unipotent analogue of Gabber's Theorem holds for torsion G_m-gerbes.
  • Smooth Deligne-Mumford stacks with quasi-projective coarse spaces satisfy the resolution property in positive characteristic.
  • Local conditions on vector bundles extend to global statements on algebraic stacks.

Where Pith is reading between the lines

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

  • The principle might apply to other classes of bundles or objects if the unipotent condition can be relaxed.
  • It could lead to new results on the resolution property for stacks without quasi-projective coarse spaces.
  • Checking concrete examples of stacks would test the boundaries of the local to global principle.

Load-bearing premise

The descent result for flags holds, as established using results of Schäppi.

What would settle it

A counterexample algebraic stack where the local to global principle for the class of vector bundles fails, despite the descent for flags.

read the original abstract

We introduce the theory of unipotent morphisms of algebraic stacks and prove a surprising local to global principle for a class of vector bundles. Two sample applications of our methods are the following: (1) a unipotent analogue of Gabber's Theorem for torsion $\mathbf{G}_m$-gerbes and (2) smooth Deligne-Mumford stacks with quasi-projective coarse spaces satisfy the resolution property in positive characteristic. Our main tool is a descent result for flags, which we prove using results of Sch\"appi.

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

1 major / 3 minor

Summary. The paper introduces the notion of unipotent morphisms of algebraic stacks and proves a local-to-global principle for a class of vector bundles on stacks. It derives two applications: a unipotent analogue of Gabber's theorem for torsion G_m-gerbes, and the statement that smooth Deligne-Mumford stacks with quasi-projective coarse spaces satisfy the resolution property in positive characteristic. The central technical tool is a descent result for flags, obtained by applying theorems of Schäppi.

Significance. If the descent result for flags is valid under the stated hypotheses, the work supplies a new conceptual tool (unipotent morphisms) that yields concrete progress on vector-bundle questions for stacks. The resolution-property application in positive characteristic addresses a known open issue for DM stacks, while the gerbe application extends classical results; both are falsifiable in low-dimensional cases and rest on an explicit reduction to external theorems rather than ad-hoc constructions.

major comments (1)
  1. [The descent result for flags (main technical tool)] The descent result for flags (the main tool invoked for the local-to-global principle) is load-bearing; the manuscript must explicitly confirm that every hypothesis of the cited Schäppi theorems (e.g., flatness, properness, or affineness conditions) is satisfied when the morphism is unipotent, otherwise the applications to gerbes and the resolution property do not follow.
minor comments (3)
  1. [Introduction / definitions] Notation for unipotent morphisms should be introduced with a numbered definition and compared explicitly to related notions (e.g., affine or nilpotent morphisms) to avoid ambiguity in later statements.
  2. The reference list should include full bibliographic details for Schäppi's papers and verify that the spelling 'Schäppi' is consistent throughout the text and bibliography.
  3. [Main theorem] In the statement of the local-to-global principle, clarify whether the vector bundles are required to be of finite rank or satisfy any coherence condition; this affects the scope of both applications.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive assessment, the recommendation of minor revision, and the careful identification of the load-bearing technical point. We address the major comment below.

read point-by-point responses

  1. Referee: [The descent result for flags (main technical tool)] The descent result for flags (the main tool invoked for the local-to-global principle) is load-bearing; the manuscript must explicitly confirm that every hypothesis of the cited Schäppi theorems (e.g., flatness, properness, or affineness conditions) is satisfied when the morphism is unipotent, otherwise the applications to gerbes and the resolution property do not follow.

    Authors: We agree that the descent result for flags is central and that the applications rest on the correct invocation of Schäppi's theorems. In the manuscript the descent is obtained by applying those theorems to the unipotent case; the relevant hypotheses (flatness of the morphism, affineness of the fibers, and the appropriate properness or quasi-compactness conditions on the stacks) are satisfied by the definition of unipotent morphisms together with the standard properties of algebraic stacks used throughout the paper. To make the verification fully explicit, we will add a short dedicated paragraph immediately after the statement of the descent result, listing each hypothesis of the cited Schäppi theorems and confirming it holds in our setting. This addition will be purely expository and will not alter any proofs or statements. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external Schäppi results

full rationale

The paper's central local-to-global principle for vector bundles is obtained by reducing to a descent result for flags, which is proved using theorems of Schäppi (external to the authors). No load-bearing step reduces by definition, fitted input, or self-citation chain to the paper's own inputs. The derivation chain is self-contained against external benchmarks, with the cited descent result serving as independent support.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard results in algebraic geometry and a descent result from Schäppi; no free parameters or invented entities are indicated in the abstract.

axioms (2)
  • standard math Standard properties of algebraic stacks and vector bundles hold as background.
    Invoked implicitly to define unipotent morphisms and state the local-to-global principle.
  • domain assumption Results of Schäppi on descent for flags are valid and applicable.
    Cited as the main tool for proving the descent result.

pith-pipeline@v0.9.0 · 5600 in / 1118 out tokens · 46855 ms · 2026-05-24T12:40:05.966779+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

36 extracted references · 36 canonical work pages

  1. [1]

    Artin, J.-E

    M. Artin, J.-E. Bertin, M. Demazure, A. Grothendieck, P. Gabriel, M. Raynaud, and J.-P. Serre, Sch\'emas en groupes, S\'eminaire de G\'eom\'etrie Alg\'ebrique de l'Institut des Hautes \'Etudes Scientifiques, Institut des Hautes \'Etudes Scientifiques, Paris, 1963/1966

    work page 1963

  2. [2]

    Asok and B

    A. Asok and B. Doran, On unipotent quotients and some A^1 -contractible smooth schemes , Int. Math. Res. Pap. IMRP 2007 (2007), no. 2

    work page 2007

  3. [3]

    Alper, Good moduli spaces for Artin stacks , Ann

    J. Alper, Good moduli spaces for Artin stacks , Ann. Inst. Fourier (Grenoble) 63 (2013), no. 6, 2349--2402

    work page 2013

  4. [4]

    , Adequate moduli spaces and geometrically reductive group schemes, Algebr. Geom. 1 (2014), no. 4, 489--531. 3272912

    work page 2014

  5. [5]

    , Faithful moduli spaces, 2017, private communication

    work page 2017

  6. [6]

    Abramovich, M

    D. Abramovich, M. Olsson, and A. Vistoli, Tame stacks in positive characteristic, Ann. Inst. Fourier (Grenoble) 58 (2008), no. 4, 1057--1091. MR2427954 (2009c:14002)

    work page 2008

  7. [7]

    Bruhat and J

    F. Bruhat and J. Tits, Groupes r\' e ductifs sur un corps local. II . S ch\' e mas en groupes. E xistence d'une donn\' e e radicielle valu\' e e , Inst. Hautes \' E tudes Sci. Publ. Math. (1984), no. 60, 197--376. 756316

    work page 1984

  8. [8]

    Conrad, Smooth linear algebraic groups over the dual numbers, MathOverflow, 2010, http://mathoverflow.net/q/22078

    B. Conrad, Smooth linear algebraic groups over the dual numbers, MathOverflow, 2010, http://mathoverflow.net/q/22078

    work page 2010

  9. [9]

    A. J. de Jong, A result of G abber , preprint available at http://www.math.columbia.edu/ dejong/, 2003, p. 9

    work page 2003

  10. [10]

    Estrada, P

    S. Estrada, P. A. G. Asensio, and S. Odaba s , A L azard-like theorem for quasi-coherent sheaves , Algebr. Represent. Theory 16 (2013), no. 4, 1193--1205. 3079799

    work page 2013

  11. [11]

    Edidin, B

    D. Edidin, B. Hassett, A. Kresch, and A. Vistoli, Brauer groups and quotient stacks, Amer. J. Math. 123 (2001), no. 4, 761--777. 1844577 (2002f:14002)

    work page 2001

  12. [12]

    Gabber, Some theorems on A zumaya algebras , The B rauer group ( S em., L es P lans-sur- B ex, 1980), Lecture Notes in Math., vol

    O. Gabber, Some theorems on A zumaya algebras , The B rauer group ( S em., L es P lans-sur- B ex, 1980), Lecture Notes in Math., vol. 844, Springer, Berlin-New York, 1981, pp. 129--209. 611868

    work page 1980

  13. [13]

    Giraud, Cohomologie non ab\'elienne, Springer-Verlag, Berlin-New York, 1971, Die Grundlehren der mathematischen Wissenschaften, Band 179

    J. Giraud, Cohomologie non ab\'elienne, Springer-Verlag, Berlin-New York, 1971, Die Grundlehren der mathematischen Wissenschaften, Band 179. 0344253

    work page 1971

  14. [14]

    Grothendieck, Le groupe de B rauer

    A. Grothendieck, Le groupe de B rauer. II . T h\'eorie cohomologique , S\'eminaire B ourbaki, vol. 9, Exp.\ No.\ 297, Soc. Math. France, Paris, 1995, pp. 287--307. 1608805

    work page 1995

  15. [15]

    Gross, The resolution property of algebraic surfaces, Compositio Mathematica 148 (2012), no

    P. Gross, The resolution property of algebraic surfaces, Compositio Mathematica 148 (2012), no. 1, 209--226

    work page 2012

  16. [16]

    , Tensor generators on schemes and stacks, Algebr. Geom. 4 (2017), no. 4, 501--522

    work page 2017

  17. [17]

    Hovey, Homotopy theory of comodules over a H opf algebroid , Homotopy theory: relations with algebraic geometry, group cohomology, and algebraic K -theory, Contemp

    M. Hovey, Homotopy theory of comodules over a H opf algebroid , Homotopy theory: relations with algebraic geometry, group cohomology, and algebraic K -theory, Contemp. Math., vol. 346, Amer. Math. Soc., Providence, RI, 2004, pp. 261--304. 2066503

    work page 2004

  18. [18]

    Hall and D

    J. Hall and D. Rydh, Algebraic groups and compact generation of their derived categories of representations, Indiana Univ. Math. J. 64 (2015), no. 6, 1903--1923

    work page 2015

  19. [19]

    153 (2017), no

    , Perfect complexes on algebraic stacks, Compositio Math. 153 (2017), no. 11, 2318--2367

    work page 2017

  20. [20]

    Kaplansky, Modules over D edekind rings and valuation rings , Trans

    I. Kaplansky, Modules over D edekind rings and valuation rings , Trans. Amer. Math. Soc. 72 (1952), 327--340. 46349

    work page 1952

  21. [21]

    Kresch and A

    A. Kresch and A. Vistoli, On coverings of D eligne- M umford stacks and surjectivity of the B rauer map , Bull. London Math. Soc. 36 (2004), no. 2, 188--192. 2026412

    work page 2004

  22. [22]

    Lazard, Sur les modules plats, C

    D. Lazard, Sur les modules plats, C. R. Acad. Sci. Paris 258 (1964), 6313--6316. 0168625 (29 \#5883)

    work page 1964

  23. [23]

    Mathur, Experiments on the B rauer map in high codimension , Algebra Number Theory (2021), to appear

    S. Mathur, Experiments on the B rauer map in high codimension , Algebra Number Theory (2021), to appear

    work page 2021

  24. [24]

    Reine Angew

    , The resolution property via A zumaya algebras , J. Reine Angew. Math. 774 (2021), 93--126. 4250478

    work page 2021

  25. [25]

    Olsson, A boundedness theorem for H om-stacks , Math

    M. Olsson, A boundedness theorem for H om-stacks , Math. Res. Lett. 14 (2007), no. 6, 1009--1021. 2357471

    work page 2007

  26. [26]

    Raynaud, Faisceaux amples sur les sch\' e mas en groupes et les espaces homog\`enes , Lecture Notes in Mathematics, Vol

    M. Raynaud, Faisceaux amples sur les sch\' e mas en groupes et les espaces homog\`enes , Lecture Notes in Mathematics, Vol. 119, Springer-Verlag, Berlin-New York, 1970. 0260758

    work page 1970

  27. [27]

    Rosenlicht, On quotient varieties and the affine embedding of certain homogeneous spaces, Trans

    M. Rosenlicht, On quotient varieties and the affine embedding of certain homogeneous spaces, Trans. Amer. Math. Soc. 101 (1961), 211--223. 0130878 (24 \#A732)

    work page 1961

  28. [28]

    T he resolution property for schemes and stacks

    D. Rydh, Remarks on " T he resolution property for schemes and stacks" by B . T otaro MR2108211

    work page

  29. [29]

    Algebra 422 (2015), 105--147

    , Noetherian approximation of algebraic spaces and stacks, J. Algebra 422 (2015), 105--147

    work page 2015

  30. [30]

    , Approximation of sheaves on algebraic stacks, Int. Math. Res. Not. 2016 (2016), no. 3, 717--737

    work page 2016

  31. [31]

    Schr\" o er, On non-projective normal surfaces, Manuscripta Math

    S. Schr\" o er, On non-projective normal surfaces, Manuscripta Math. 100 (1999), no. 3, 317--321. 1726231

    work page 1999

  32. [32]

    Sch \"a ppi , A characterization of categories of coherent sheaves of certain algebraic stacks , J

    D. Sch \"a ppi , A characterization of categories of coherent sheaves of certain algebraic stacks , J. Pure Appl. Algebra (2017), to appear

    work page 2017

  33. [33]

    The Stacks Project Authors , S tacks P roject , http://stacks.math.columbia.edu

    work page

  34. [34]

    Schr\"oer and G

    S. Schr\"oer and G. Vezzosi, Existence of vector bundles and global resolutions for singular surfaces, Compos. Math. 140 (2004), no. 3, 717--728. 2041778

    work page 2004

  35. [35]

    Tong, Unipotent groups over a discrete valuation ring (after D olgachev- W eisfeiler) , Autour des sch\' e mas en groupes

    J. Tong, Unipotent groups over a discrete valuation ring (after D olgachev- W eisfeiler) , Autour des sch\' e mas en groupes. V ol. III , Panor. Synth\`eses, vol. 47, Soc. Math. France, Paris, 2015, pp. 173--225. 3525845

    work page 2015

  36. [36]

    Totaro, The resolution property for schemes and stacks, J

    B. Totaro, The resolution property for schemes and stacks, J. Reine Angew. Math. 577 (2004), 1--22. 2108211 (2005j:14002)

    work page 2004