pith. sign in

arxiv: 2605.25069 · v1 · pith:R4EZYEQYnew · submitted 2026-05-24 · 🧮 math.AG

(Quasi-)affineness of perverse character varieties

Enrico Lampetti , Michele Pernice This is my paper

Pith reviewed 2026-06-29 23:45 UTC · model grok-4.3

classification 🧮 math.AG
keywords perverse character varietiesquasi-affinenessalgebraic stacksstructure sheafglobal sectionscharacter varietiesmoduli spaces
0
0 comments X

The pith

Perverse character varieties are quasi-affine, shown by exhibiting enough global sections of their structure sheaf on the associated stack.

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

The paper proves that perverse character varieties are (quasi-)affine. It reaches this conclusion entirely through stack theory rather than by constructing explicit embeddings or using geometric invariants. The argument proceeds by producing sufficiently many global sections of the structure sheaf on the stack. A reader would care because this places the varieties inside the simpler category of quasi-affine objects, where many standard tools of algebraic geometry apply directly.

Core claim

We show that perverse character varieties are (quasi-)affine. We do this in a purely stack-theoretic fashion, by exhibiting enough sections of the structure sheaf.

What carries the argument

The stack structure on the perverse character variety, with its structure sheaf whose global sections are exhibited in sufficient number to force quasi-affineness.

If this is right

  • The varieties belong to the category of quasi-affine schemes when equipped with their stack structure.
  • Standard results about global sections and embeddings into affine space apply directly to these objects.
  • Comparisons with ordinary character varieties become possible inside a common algebraic framework.

Where Pith is reading between the lines

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

  • The stack-theoretic method could be tested on low-dimensional examples where explicit global sections can be computed by hand.
  • Similar section-counting arguments might apply to other moduli problems whose direct geometric descriptions are complicated.

Load-bearing premise

The perverse character variety admits a stack structure whose structure sheaf possesses enough global sections to imply quasi-affineness.

What would settle it

An explicit perverse character variety whose associated stack has only constant global sections on the structure sheaf, violating the condition for quasi-affineness.

read the original abstract

We show that perverse character varieties are (quasi-)affine. We do this in a purely stack-theoretic fashion, by exhibiting enough sections of the structure sheaf.

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

Summary. The manuscript claims to prove that perverse character varieties are (quasi-)affine. The proof is described as purely stack-theoretic, relying on the exhibition of sufficiently many global sections of the structure sheaf to establish the (quasi-)affineness property.

Significance. If the central claim holds with a complete argument, the result would clarify the geometric properties of perverse character varieties and could streamline computations involving their moduli stacks. The approach aligns with existing stack-theoretic techniques for affineness, but the absence of any derivation, lemmas, or explicit constructions in the manuscript prevents assessment of whether the exhibited sections actually suffice or whether the argument avoids circularity with external results.

major comments (1)
  1. The manuscript consists solely of the abstract and supplies no sections, equations, lemmas, or proofs. This makes it impossible to verify the key step that exhibiting enough sections of the structure sheaf implies (quasi-)affineness for the perverse character variety stack, or to check any hypotheses on the stack structure itself.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. We acknowledge that the submitted manuscript consists only of the abstract sentence and contains no proofs, lemmas, or constructions, making independent verification impossible at present.

read point-by-point responses

  1. Referee: The manuscript consists solely of the abstract and supplies no sections, equations, lemmas, or proofs. This makes it impossible to verify the key step that exhibiting enough sections of the structure sheaf implies (quasi-)affineness for the perverse character variety stack, or to check any hypotheses on the stack structure itself.

    Authors: We agree with this assessment. The current version provides no details on the stack-theoretic construction or the exhibited sections. A revised manuscript will include the full argument: the definition of the perverse character variety stack, the explicit global sections of its structure sheaf, the verification that these sections separate points and tangents sufficiently to imply (quasi-)affineness, and confirmation that the argument relies only on standard properties of algebraic stacks without circularity. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper claims to prove (quasi-)affineness of perverse character varieties via a stack-theoretic argument that exhibits enough global sections of the structure sheaf. The provided abstract and context contain no equations, self-citations, fitted parameters, or explicit constructions that reduce the claimed result to its own inputs by definition. The derivation is presented as relying on standard external stack-theoretic facts rather than any internal self-referential step, so the result is self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result relies on standard properties of algebraic stacks and coherent sheaves; no free parameters, ad-hoc axioms, or new entities are introduced in the abstract.

axioms (1)
  • standard math Standard axioms and definitions of algebraic stacks and the structure sheaf in algebraic geometry
    The proof is described as purely stack-theoretic and therefore inherits the background axioms of the field.

pith-pipeline@v0.9.1-grok · 5530 in / 1064 out tokens · 21851 ms · 2026-06-29T23:45:31.427290+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

51 extracted references · 10 canonical work pages · 1 internal anchor

  1. [1]

    Brauer groups and \'e tale cohomology in derived algebraic geometry

    Benjamin Antieau and David Gepner. Brauer groups and \'e tale cohomology in derived algebraic geometry. Geom. Topol. , 18(2):1149--1244, 2014

    2014

  2. [2]

    The intrinsic approach to moduli theory , 2026

    Jarod Alper and Daniel Halpern-Leistner. The intrinsic approach to moduli theory , 2026

    2026

  3. [3]

    Existence of moduli spaces for algebraic stacks

    Jarod Alper, Daniel Halpern-Leistner, and Jochen Heinloth. Existence of moduli spaces for algebraic stacks. Inventiones mathematicae , 234(3):949–1038, August 2023

    2023

  4. [4]

    Good Moduli Spaces in Derived Algebraic Geometry

    Eric Ahlqvist, Jeroen Hekking, Michele Pernice, and Michail Savvas. Good Moduli Spaces in Derived Algebraic Geometry . Preprint, arXiv :2309.16574 [math. AG ] (2023), 2023

    work page internal anchor Pith review Pith/arXiv arXiv 2023

  5. [5]

    2025), arXiv:1912.06162v4

    Jarod Alper, Jack Hall, and David Rydh. The \'etale local structure of algebraic stacks. Preprint, arXiv :1912.06162 [math. AG ] (2025), 2025

    work page arXiv 1912

  6. [6]

    Good moduli spaces for Artin stacks

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

    2013

  7. [7]

    Tame stacks in positive characteristic

    Dan Abramovich, Martin Olsson, and Angelo Vistoli. Tame stacks in positive characteristic. Ann. Inst. Fourier , 58(4):1057--1091, 2008

    2008

  8. [8]

    On Azumaya algebras and finite dimensional representations of rings

    Michael Artin. On Azumaya algebras and finite dimensional representations of rings. J. Algebra , 11:532--563, 1969

    1969

  9. [9]

    Faisceaux pervers

    Alexander Beilinson, Joseph Bernstein, Pierre Deligne, and Ofer Gabber. Faisceaux pervers. Actes du colloque `` Analyse et Topologie sur les Espaces Singuliers ''. Partie I , volume 100 of Ast \'e risque . Paris: Soci \'e t \'e Math \'e matique de France (SMF), 2nd edition edition, 2018

    2018

  10. [10]

    Relative critical loci and quiver moduli

    Tristan Bozec, Damien Calaque, and Sarah Scherotzke. Relative critical loci and quiver moduli. Ann. Sci. \'E c. Norm. Sup \'e r. (4) , 57(2):553--614, 2024

    2024

  11. [11]

    Relative Calabi - Yau structures

    Christopher Brav and Tobias Dyckerhoff. Relative Calabi - Yau structures. II : Shifted Lagrangians in the moduli of objects. Sel. Math., New Ser. , 27(4):45, 2021. Id/No 63

    2021

  12. [12]

    Cohomology of symmetric stacks

    Chenjing Bu, Ben Davison, Andr \'e s Ib \'a \ n ez N \'u \ n ez, Tasuki Kinjo, and Tudor P a durariu. Cohomology of symmetric stacks. Preprint, arXiv :2502.04253 [math. AG ] (2025), 2025

    work page arXiv 2025

  13. [13]

    Qingyuan Bai and Peter J. Haine. Localizing invariants of constructible sheaves. Preprint, arXiv :2512.12810 [math. KT ] (2026), 2026

    work page arXiv 2026

  14. [14]

    The reductive Borel - Serre compactification as a model for unstable algebraic K -theory

    Dustin Clausen and Mikala rsnes Jansen. The reductive Borel - Serre compactification as a model for unstable algebraic K -theory. Sel. Math., New Ser. , 30(1):93, 2024. Id/No 10

    2024

  15. [15]

    Positive microlocal holonomies are globally regular

    Roger Casals and Wenyuan Li. Positive microlocal holonomies are globally regular. Preprint, arXiv :2409.07435 [math. SG ] (2026), 2026

    work page arXiv 2026

  16. [16]

    Lagrangian structures on the derived moduli of constructible sheaves

    Merlin Christ and Enrico Lampetti. Lagrangian structures on the derived moduli of constructible sheaves. Preprint, arXiv :2603.04983 [math. AG ] (2026), 2026

    work page arXiv 2026

  17. [17]

    Purity and 2- Calabi - Yau categories

    Ben Davison. Purity and 2- Calabi - Yau categories. Invent. Math. , 238(1):69--173, 2024

    2024

  18. [18]

    Equations diff \'e rentielles \`a points singuliers r \'e guliers , volume 163 of Lect

    Pierre Deligne. Equations diff \'e rentielles \`a points singuliers r \'e guliers , volume 163 of Lect. Notes Math. Springer, Cham, 1970

    1970

  19. [19]

    BPS Lie algebras for totally negative 2- Calabi - Yau categories and nonabelian Hodge theory for stacks

    Ben Davison, Lucien Hennecart, and Sebastian Schlegel Mejia. BPS Lie algebras for totally negative 2- Calabi - Yau categories and nonabelian Hodge theory for stacks. Preprint, arXiv :2212.07668 [math. RT ] (2022), 2022

    work page arXiv 2022

  20. [20]

    Cohomological Hall algebras, their categorification, and their representations via torsion pairs

    Duiliu-Emanuel Diaconescu, Mauro Porta, and Francesco Sala. Cohomological Hall algebras, their categorification, and their representations via torsion pairs. Preprint, arXiv :2207.08926 [math. AG ] (2025), 2025

    work page arXiv 2025

  21. [21]

    Stratified Morse theory , volume 14 of Ergeb

    Mark Goresky and Robert MacPherson. Stratified Morse theory , volume 14 of Ergeb. Math. Grenzgeb., 3. Folge . Berlin etc.: Springer-Verlag, 1988

    1988

  22. [22]

    William M. Goldman. The symplectic nature of fundamental groups of surfaces. Adv. Math. , 54:200--225, 1984

    1984

  23. [23]

    Cohomological integrality for symmetric quotient stacks

    Lucien Hennecart. Cohomological integrality for symmetric quotient stacks. Preprint, arXiv :2408.15786 [math. AG ] (2024), 2024

    work page arXiv 2024

  24. [24]

    2025), arXiv: 2509.21298v3

    Lucien Hennecart and Tasuki Kinjo. The BPS decomposition theorem. Preprint, arXiv :2509.21298 [math. AG ] (2025), 2025

    work page arXiv 2025

  25. [25]

    Answer to M ath O verflow Q uestion 168526: Is the -topos (X) hypercomplete whenever X is a CW complex? https://mathoverflow.net/questions/168526/ MO:168526 , October 2016

    Marc Hoyois. Answer to M ath O verflow Q uestion 168526: Is the -topos (X) hypercomplete whenever X is a CW complex? https://mathoverflow.net/questions/168526/ MO:168526 , October 2016

    2016

  26. [26]

    Haine, Mauro Porta, and Jean-Baptiste Teyssier

    Peter J. Haine, Mauro Porta, and Jean-Baptiste Teyssier. The homotopy-invariance of constructible sheaves. Homology Homotopy Appl. , 25(2):97--128, 2023

    2023

  27. [27]

    Haine, Mauro Porta, and Jean-Baptiste Teyssier

    Peter J. Haine, Mauro Porta, and Jean-Baptiste Teyssier. Exodromy beyond conicality. Preprint, available at the authors' webpage https://peterjhaine.github.io/#research, 2024

    2024

  28. [28]

    Haine, Mauro Porta, and Jean-Baptiste Teyssier

    Peter J. Haine, Mauro Porta, and Jean-Baptiste Teyssier. The derived moduli of perverse sheaves. Preprint, available at the authors' webpage https://peterjhaine.github.io/#research, 2026

    2026

  29. [29]

    Higher traces, noncommutative motives, and the categorified Chern character

    Marc Hoyois, Sarah Scherotzke, and Nicol \`o Sibilla. Higher traces, noncommutative motives, and the categorified Chern character. Adv. Math. , 309:97--154, 2017

    2017

  30. [30]

    The Riemann - Hilbert problem for holonomic systems

    Masaki Kashiwara. The Riemann - Hilbert problem for holonomic systems. Publ. Res. Inst. Math. Sci. , 20:319--365, 1984

    1984

  31. [31]

    Quotients by groupoids

    Se \'a n Keel and Shigefumi Mori. Quotients by groupoids. Ann. Math. (2) , 145(1):193--213, 1997

    1997

  32. [32]

    Sheaves on manifolds

    Masaki Kashiwara and Pierre Schapira. Sheaves on manifolds. With a short history `` Les d \'e buts de la th \'e orie des faisceaux'' by Christian Houzel , volume 292 of Grundlehren Math. Wiss. Berlin etc.: Springer-Verlag, 1990

    1990

  33. [33]

    Good moduli for moduli of objects

    Enrico Lampetti. Good moduli for moduli of objects. Preprint, available at the authors' webpage https://sites.google.com/view/enricolampettimath, 2025

    2025

  34. [34]

    Good moduli space for constructible sheaves and Stokes functors

    Enrico Lampetti. Good moduli space for constructible sheaves and Stokes functors. Preprint, available at the authors' webpage https://sites.google.com/view/enricolampettimath, 2025

    2025

  35. [35]

    Alexander Lubotzky and Andy R. Magid. Varieties of representations of finitely generated groups , volume 336 of Mem. Am. Math. Soc. Providence, RI: American Mathematical Society (AMS), 1985

    1985

  36. [36]

    Higher algebra

    Jacob Lurie. Higher algebra. Available at the authors' webpage https://www.math.ias.edu/ lurie/, 2017

    2017

  37. [37]

    Spectral algebraic geometry

    Jacob Lurie. Spectral algebraic geometry. Available at the authors' webpage https://www.math.ias.edu/ lurie/, 2018

    2018

  38. [38]

    Une \'e quivalence de cat \'e gories

    Zoghman Mebkhout. Une \'e quivalence de cat \'e gories. Une autre \'e quivalence de cat \'e gories. Compos. Math. , 51:51--62, 63--88, 1984

    1984

  39. [39]

    Mumford, John C

    David B. Mumford, John C. Fogarty, and Frances C. Kirwan. Geometric invariant theory. , volume 34 of Ergeb. Math. Grenzgeb. Berlin: Springer-Verlag, 3rd enl. ed. edition, 1994

    1994

  40. [40]

    Derived methods in moduli theory

    Mauro Porta. Derived methods in moduli theory . Habilitation \`a diriger des recherches, Universit \'e de Strasbourg , 2025

    2025

  41. [41]

    Finite dimensional representations of algebras

    Claudio Procesi. Finite dimensional representations of algebras. Isr. J. Math. , 19:169--182, 1975

    1975

  42. [42]

    Topological exodromy with coefficients

    Mauro Porta and Jean-Baptiste Teyssier. Topological exodromy with coefficients. Preprint, available at the authors' webpage http://jbteyssier.com/, 2022

    2022

  43. [43]

    Adam S. Sikora. Character varieties. Trans. Am. Math. Soc. , 364(10):5173--5208, 2012

    2012

  44. [44]

    Carlos T. Simpson. Higgs bundles and local systems. Publ. Math., Inst. Hautes \'E tud. Sci. , 75:5--95, 1992

    1992

  45. [45]

    Stable model categories are categories of modules

    Stefan Schwede and Brooke Shipley. Stable model categories are categories of modules. Topology , 42(1):103--153, 2003

    2003

  46. [46]

    The stacks project

    The Stacks project authors . The stacks project. https://stacks.math.columbia.edu, 2025

    2025

  47. [47]

    Moduli of objects in dg-categories

    Bertrand To \"e n and Michel Vaqui \'e . Moduli of objects in dg-categories. Ann. Sci. \'E c. Norm. Sup \'e r. (4) , 40(3):387--444, 2007

    2007

  48. [48]

    Homotopical algebraic geometry

    Bertrand To \"e n and Gabriele Vezzosi. Homotopical algebraic geometry. II : Geometric stacks and applications , volume 902 of Mem. Am. Math. Soc. Providence, RI: American Mathematical Society (AMS), 2008

    2008

  49. [49]

    On discrete subgroups of Lie groups

    Andr \'e Weil. On discrete subgroups of Lie groups. Ann. Math. (2) , 72:369--384, 1960

    1960

  50. [50]

    On discrete subgroups of Lie groups

    Andr \'e Weil. On discrete subgroups of Lie groups. II . Ann. Math. (2) , 75:578–602, 1960

    1960

  51. [51]

    Charles A. Weibel. An introduction to homological algebra , volume 38 of Camb. Stud. Adv. Math. Cambridge: Cambridge University Press, 1994

    1994