arxiv: 2605.07169 · v1 · submitted 2026-05-08 · 🧮 math.AG · math.DG

Recognition: 2 theorem links

· Lean Theorem

The Structure of C^infty-Superschemes

Alexander Torres-Gomez, Cristian Danilo Olarte, Pedro Rizzo

Pith reviewed 2026-05-11 01:25 UTC · model grok-4.3

classification 🧮 math.AG math.DG

keywords Batchelor spaceC^∞-superschemesglobal splittingEuler vector fieldstructure sheafsuperderivationsuperschemegrading

0 comments

The pith

Any Batchelor space in C^∞-superschemes admits a global splitting, making its structure sheaf isomorphic to the associated graded sheaf via an Euler vector field.

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

This paper extends Batchelor's theorem to the category of C^∞-superschemes. It establishes that every Batchelor space satisfies a global splitness condition, yielding a non-canonical isomorphism between the structure sheaf and its associated graded sheaf. The splitting induces a natural non-negative integer grading on the sheaf. This grading is equivalent to the existence of an even superderivation, which the authors call an Euler vector field. The result matters because it replaces an abstract algebraic notion of splitting with an explicit object from differential geometry that can be used to study superspaces concretely.

Core claim

Our main result proves that any Batchelor space satisfies a global splitness condition, establishing an isomorphism between the structure sheaf and its associated graded sheaf. Although this isomorphism is non-canonical, the existence of a splitting endows the structure sheaf with a natural Z≥0-grading. This grading is shown to be equivalent to the data of an even superderivation, which we term an Euler vector field. Consequently, global splittings of C^∞-superspaces can be characterized in terms of Euler vector fields, providing a differential-geometric formulation of the splitting.

What carries the argument

The global splitness condition, which produces a Z≥0-grading on the structure sheaf equivalent to the data of an Euler vector field.

If this is right

The structure sheaf of any Batchelor space carries a natural Z≥0-grading induced by the splitting.
Global splittings of C^∞-superspaces are in one-to-one correspondence with Euler vector fields.
Splittings acquire a concrete differential-geometric description rather than remaining purely algebraic.
Local-to-global arguments for splittings become available once an Euler vector field is identified.

Where Pith is reading between the lines

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

Different choices of Euler vector field on the same space may yield distinct but equivalent gradings because the isomorphism is non-canonical.
The characterization could reduce questions about morphisms of superschemes to questions about derivations.
Similar global-splitting results might be sought in other smoothness classes beyond C^∞.

Load-bearing premise

Batchelor spaces are defined so that their local splitting properties extend to a global splitting inside the given category of C^∞-superschemes.

What would settle it

An explicit construction of a Batchelor space in C^∞-superschemes that admits no global splitting and no Euler vector field would show the main result is false.

read the original abstract

This paper establishes a structural generalization of Batchelor's theorem within the framework of $C^\infty$-superschemes. Our main result proves that any Batchelor space satisfies a global splitness condition, establishing an isomorphism between the structure sheaf and its associated graded sheaf. Although this isomorphism is non-canonical, the existence of a splitting endows the structure sheaf with a natural $\mathbb{Z}_{\geq 0}$-grading. This grading is shown to be equivalent to the data of an even superderivation, which we term an Euler vector field. Consequently, global splittings of $C^\infty$-superspaces can be characterized in terms of Euler vector fields, providing a differential-geometric formulation of the splitting.

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.

Desk Editor's Note private letter to a colleague

The paper gives a differential-geometric characterization of global splittings in C∞-superschemes via Euler vector fields as a Batchelor generalization, but the abstract supplies no proof steps to check the gluing.

read the letter

The central new piece is the equivalence between a global splitting of the structure sheaf and the existence of an even superderivation called an Euler vector field. This turns the splitting into something detectable by a derivation rather than just an abstract isomorphism, and the abstract presents it as following directly from the sheaf definitions in the C∞-superscheme category. That link looks like a modest but concrete addition to the literature on Batchelor-type results in the smooth setting.

Referee Report

1 major / 1 minor

Summary. This paper generalizes Batchelor's theorem to the setting of C^∞-superschemes. The main result states that any Batchelor space admits a global splitting, which establishes a non-canonical isomorphism between the structure sheaf and its associated graded sheaf. Furthermore, this splitting is equivalent to the existence of an even superderivation, termed an Euler vector field, providing a differential-geometric characterization of global splittings.

Significance. If correct, this result offers a valuable extension of known splitting theorems to smooth superschemes, with the equivalence to Euler vector fields providing a new perspective that may be useful in differential geometry and related fields. The explicit mention of the non-canonical isomorphism is a strength.

major comments (1)

[Main Theorem] The global splitness for Batchelor spaces is claimed to follow from local conditions, but the argument for gluing these local splittings globally does not address the need for paracompactness of the base space to ensure partitions of unity exist. This assumption is crucial in the C^∞ setting and appears unstated in the definitions, which could undermine the global claim.

minor comments (1)

Some notation in the abstract, such as 'Batchelor space', could be briefly defined or referenced to the section where it is introduced for readers unfamiliar with the term.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of our manuscript and for the positive assessment of its significance. We address the major comment below and will incorporate the suggested clarification in the revised version.

read point-by-point responses

Referee: [Main Theorem] The global splitness for Batchelor spaces is claimed to follow from local conditions, but the argument for gluing these local splittings globally does not address the need for paracompactness of the base space to ensure partitions of unity exist. This assumption is crucial in the C^∞ setting and appears unstated in the definitions, which could undermine the global claim.

Authors: We agree that the gluing argument for local splittings relies on the existence of partitions of unity, which in the C^∞ setting requires the underlying topological space to be paracompact. Our definitions of C^∞-superschemes are modeled on the standard category of smooth manifolds, which are paracompact, but we acknowledge that this hypothesis was not stated explicitly. In the revised manuscript we will add an explicit paracompactness assumption to the definition of the base space (both for general C^∞-superschemes and for Batchelor spaces) and we will expand the proof of the main theorem to indicate precisely where partitions of unity are invoked in the gluing step. This clarification does not change the statement or proof strategy of the theorem but makes the dependence on paracompactness transparent. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation follows from standard sheaf and derivation definitions

full rationale

The paper generalizes Batchelor's theorem by showing that Batchelor spaces in the C^∞-superscheme setting admit global splittings, yielding a (non-canonical) isomorphism of the structure sheaf with its associated graded sheaf and an equivalence to the existence of an even superderivation (Euler vector field). This chain is built from the given definitions of superschemes, structure sheaves, and graded sheaves without any self-definitional loops, fitted parameters renamed as predictions, or load-bearing self-citations that reduce the central claim to unverified inputs. The result is presented as a direct consequence of local-to-global properties in the sheaf category, independent of the target statement itself.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard definitions and properties of superschemes, sheaves, and superderivations from prior supergeometry literature; no new free parameters or invented entities are introduced in the abstract.

axioms (1)

domain assumption Standard axioms of C^∞-superschemes and associated graded sheaves as defined in the literature on supergeometry.
The result assumes these background structures behave as in classical treatments of Batchelor spaces and superschemes.

pith-pipeline@v0.9.0 · 5419 in / 1189 out tokens · 27962 ms · 2026-05-11T01:25:58.888928+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear
Definition 3.28: A C^∞-superspace X is a Batchelor space if locally split and O_X is fine. Theorem 3.32: Every Batchelor space is globally split (O_X ≅ Gr O_X via Euler vector field).
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
Definition 3.37 and Koszul correspondence: even superderivation adapted to J-adic filtration characterizes splittings.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

[1]

Batchelor.The structure of supermanifolds

M. Batchelor.The structure of supermanifolds. Trans. Am. Math. Soc.,vol. 253, pp. 329-338. (1978)

work page 1978
[2]

F. A. BerezinIntroduction to Superanalysis. Mathematical Physics and Applied Mathematics. Springer Dordrecht. Vol. 9, 198. 424 pp. (1987)

work page 1987
[3]

Bruzzo, D

U. Bruzzo, D. Hern´ andez Ruip´ erez and A. Polishchuk.Notes on fundamental algebraic supergeometry. Hilbert and Picard superschemes.Adv. Math.,vol. 415: 108890. (2023)

work page 2023
[4]

and Re, R.Non Projected Calabi-Yau Supermanifolds overP 2.Math

Cacciatori, S.; Noja, S. and Re, R.Non Projected Calabi-Yau Supermanifolds overP 2.Math. Res. Lett.6. No. 24, pp: 1027-1058. (2019)

work page 2019
[5]

Carchedi and D

D. Carchedi and D. Roytenberg.On theories of superalgebras of differentiable functions. arXiv preprint arXiv:1211.6134, (2012)

work page arXiv 2012
[6]

Carmeli, L

C. Carmeli, L. Caston and R. Fioresi.Mathematical Foundations of Supersymmetry. Series of Lectures in Mathe- matics, EMS. pp 300. (2011)

work page 2011
[7]

Donagi and N

R. Donagi and N. Ott,Supermoduli space with Ramond punctures is not projected, J. Geom. Phys.,V ol. 220: 105721. (2026)

work page 2026
[8]

E. J. Dubuc.Sur les modeles de la g´ eom´ etrie diff´ erentielle synth´ etique. Cah. Top. G´ eom. Diff. Cat.V ol. 20. No. 3, pp: 231–279. (1979)

work page 1979
[9]

E. J. Dubuc.C ∞-schemes. Am. J. Math.103. 4, pp: 683–690. (1981)

work page 1981
[10]

Joyce.Algebraic Geometry overC ∞−rings.V ol

D. Joyce.Algebraic Geometry overC ∞−rings.V ol. 260. No. 1256. Mem. Am. Math. Soc. (2019)

work page 2019
[11]

Koszul.Connections and splittings of supermanifolds.Differ

J.L. Koszul.Connections and splittings of supermanifolds.Differ. Geom. Appl.V ol. 4No.2. pp: 151-161. (1994)

work page 1994
[12]

Lerman.Differential forms onC ∞-ringed spaces.J

E. Lerman.Differential forms onC ∞-ringed spaces.J. Geom. Phys.,V ol. 196: 105062. (2024)

work page 2024
[13]

Ch. H. Liu and S. T. Yau.Further studies of the notion of differentiable maps from Azumaya/matrix super- manifolds I. The smooth case: Ramond-Neveu-Schwarz and Green-Schwarz meeting Grothendieck.arXiv preprint arXiv:1709.08927, (2017)

work page arXiv 2017
[14]

Y. I. Manin.Gauge field theory and complex geometry.Springer Science & Business Media, (2013)

work page 2013
[15]

Moerdijk and G

I. Moerdijk and G. E. Reyes.Rings of smooth functions and their localizations, I. J. Algebra,99, pp. 324-336. (1986)

work page 1986
[16]

Moerdijk and G

I. Moerdijk and G. E. Reyes.Models for smooth infinitesimal analysis. Springer Science & Business Media. (2013)

work page 2013
[17]

J. A. Navarro Gonz´ alez and J. B. Sancho de Salas.C∞-Differentiable Spaces.No. 1824. Springer Science & Business Media. (2003). 18 CRISTIAN DANILO OLARTE, PEDRO RIZZO, AND ALEXANDER TORRES-GOMEZ

work page 2003
[18]

Nishimura.Synthetic differential supergeometry.Int

H. Nishimura.Synthetic differential supergeometry.Int. J. Theo. Phy.V ol. 37, no 11, pp. 2803-2822. (1998)

work page 1998
[19]

Noja.Topics in algebraic supergeometry over projective spaces

S. Noja.Topics in algebraic supergeometry over projective spaces. PhD Thesis, Universita degli Studi di Milano. (2018)

work page 2018
[20]

C. D. Olarte and P. Rizzo.Basic constructions overC ∞-schemes.J. Geom. Phys.V ol. 190: 104852. (2023)

work page 2023
[21]

C. D. Olarte, P. Rizzo and A. Torres-Gomez.C ∞-Superrings andC ∞-superschemes. arXiv Preprint. arXiv:2508.09900 (2025)

work page arXiv 2025
[22]

Voisin.Hodge Theory and Complex Algebraic Geometry, I

C. Voisin.Hodge Theory and Complex Algebraic Geometry, I. Cambridge University Press, Cambridge. (2002)

work page 2002
[23]

D. B. WestraSuperrings and supergroups.PhD Thesis, University of Wien, (2009)

work page 2009
[24]

D. N. Yetter.Models for synthetic supergeometry.Cah. Top. G´ eom. Diff. Cat.V ol. 29, no 2, pp: 87-108. (1988). Instituto de Matem´aticas, FCEyN, Universidad de Antioquia, 50010 Medell ´ın, Colombia Email address:cristian.olarte@udea.edu.co Email address:pedro.hernandez@udea.edu.co Email address:galexander.torres@udea.edu.co

work page 1988