Flows on Graded Manifolds

Jan Vysoky; Rudolf Smolka

arxiv: 2605.22910 · v1 · pith:K42BH2NEnew · submitted 2026-05-21 · 🧮 math.DG · math-ph· math.MP

Flows on Graded Manifolds

Rudolf Smolka , Jan Vysoky This is my paper

Pith reviewed 2026-05-25 02:18 UTC · model grok-4.3

classification 🧮 math.DG math-phmath.MP

keywords Z-graded manifoldsvector fieldsflowshomological vector fieldsdifferential geometrysupermanifoldsgraded geometrymaximal flows

0 comments

The pith

Vector fields on Z-graded manifolds each admit a unique maximal flow when odd-degree fields square to zero.

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

This paper defines flows generated by vector fields on Z-graded manifolds, where coordinate functions can carry any integer degree. It proves that every vector field has a unique maximal flow, adding the requirement that odd vector fields must square to zero. The authors also study invariant vector fields, conditions for two flows to commute, and how flows of related vector fields interact. A reader would care because flows serve as a basic tool for analyzing dynamics and symmetries across geometry.

Core claim

Flows of vector fields are defined on Z-graded manifolds. It is proved that every vector field admits a unique maximal flow, in the odd case under the assumption that the vector field is homological. Vector fields invariant under flows are examined. Conditions under which the flows of two vector fields commute are investigated, and the interaction between flows corresponding to related vector fields is studied.

What carries the argument

The maximal flow of a vector field on a Z-graded manifold, which encodes the one-parameter group of transformations generated by the field.

If this is right

Invariant vector fields under a given flow can be identified and analyzed directly from the flow definition.
Two vector fields generate commuting flows precisely when their Lie bracket vanishes in the appropriate graded sense.
Flows of related vector fields, such as multiples or brackets, satisfy corresponding algebraic relations.
The construction applies uniformly to both even and odd vector fields once the homological condition is met for odd ones.

Where Pith is reading between the lines

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

The same flow construction could be used to define time evolution for graded dynamical systems in algebraic geometry or physics.
Explicit examples on graded affine spaces or projective varieties would provide concrete test cases for the uniqueness result.
The commuting-flow criterion might simplify the study of integrable systems when lifted to the graded setting.

Load-bearing premise

Odd vector fields must square to zero for their maximal flows to be unique.

What would settle it

An explicit odd vector field on some Z-graded manifold that does not square to zero yet possesses two distinct maximal flows would disprove the uniqueness statement.

read the original abstract

Flows of vector fields are an essential tool in differential geometry, with countless applications in both theory and practice. While they have been extensively studied for ordinary manifolds and supermanifolds, a treatment of flows in $\mathbb{Z}$-graded geometry is currently missing. $\mathbb{Z}$-graded manifolds constitute a natural generalization of supermanifolds, allowing functions in coordinates of arbitrary integer degree. In this paper, flows of vector fields on $\mathbb{Z}$-graded manifolds are defined, and it is proved that every vector field admits a unique maximal flow (in the odd case, under the assumption that the vector field is homological). Vector fields invariant under flows are examined. Conditions under which the flows of two vector fields commute are investigated, and the interaction between flows corresponding to related vector fields is studied. The main body of the paper is intentionally kept short, and we hope it is accessible to readers with only minimal prior knowledge of $\mathbb{Z}$-graded geometry.

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

This paper defines flows on Z-graded manifolds and proves unique maximal flows for vector fields, with a homological condition required in the odd case.

read the letter

The core contribution is a direct extension of the usual flow theory to Z-graded manifolds. The authors define the flows, show existence of a unique maximal flow for any vector field, and add the homological condition only where needed for the odd case. They also check invariance under flows and when flows of two fields commute. That matches what the abstract promises and fills the stated gap relative to ordinary manifolds and supermanifolds. The choice to keep the main text short and accessible with minimal background is reasonable for a first treatment of the topic. The homological assumption is stated up front rather than buried, so the scope of the uniqueness claim is clear. The paper does not claim more generality than it delivers. The main limitation is that the odd-case result is conditional on the vector field squaring to zero; without that the uniqueness statement does not hold according to the abstract. Because the manuscript is deliberately brief, it leaves open how the flows behave in concrete examples or how they interact with the extra grading data beyond the basic existence proof. The arguments appear to rest on standard geometric constructions rather than new machinery, which keeps the work self-contained but also means the novelty sits mainly in the setting rather than in technique. Readers already working in Z-graded geometry or in areas of mathematical physics that use graded structures will find the definitions and statements useful as a reference. Someone outside that niche will not get much from it. The work is coherent on its own terms and addresses a missing piece without circularity or over-claim, so it is worth sending to a referee who knows graded manifolds. A serious editor should route it to peer review rather than desk-reject.

Referee Report

0 major / 3 minor

Summary. The paper defines flows of vector fields on Z-graded manifolds, proves that every vector field admits a unique maximal flow (with the homological assumption required in the odd case), examines vector fields invariant under flows, investigates conditions for commuting flows of two vector fields, and studies interactions between flows of related vector fields. The presentation is kept short and accessible with minimal background in Z-graded geometry.

Significance. If the proofs hold, the work fills a documented gap by extending the standard existence/uniqueness theory of flows from ordinary manifolds and supermanifolds to the Z-graded setting. The explicit listing of the homological assumption for the odd case avoids hidden conditions and is a strength. The concise format aids accessibility, though it limits depth of examples or applications.

minor comments (3)

[Abstract] Abstract: the phrase 'in the odd case' is used without a parenthetical reminder of what 'odd' means for a vector field on a Z-graded manifold; a brief clarification would help readers with minimal prior exposure.
[Introduction or §2] The manuscript states that the main body is intentionally kept short; consider adding one concrete low-dimensional example (e.g., a homological vector field on a graded manifold with coordinates of degrees 0 and 1) to illustrate the flow construction.
[Definition of flow] Notation for the graded tangent bundle and the flow map itself should be checked for consistency with the most common conventions in the Z-graded literature (e.g., explicit mention of the parity or degree shift).

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and recommendation of minor revision. No specific major comments were listed in the report, so we have no individual points requiring detailed rebuttal or changes at this stage.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper defines flows of vector fields on Z-graded manifolds as a direct generalization of the standard theory on ordinary manifolds and supermanifolds. It states and proves existence of a unique maximal flow for every vector field, with the homological (square-zero) condition listed explicitly and transparently as a prerequisite only for the odd case uniqueness claim. No load-bearing step reduces to a self-definition, a fitted input renamed as prediction, or a self-citation chain; the central statements rest on standard geometric axioms and explicit assumptions rather than circular reduction. The manuscript is described as intentionally short and accessible with minimal prior knowledge, consistent with an independent extension rather than a renaming or smuggling of prior results.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract only; no specific free parameters or invented entities mentioned.

axioms (1)

domain assumption Z-graded manifolds exist and have standard properties as in prior literature
The paper builds on Z-graded geometry without re-deriving basics.

pith-pipeline@v0.9.0 · 5689 in / 968 out tokens · 40745 ms · 2026-05-25T02:18:25.813202+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

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

[1]

Supermanifolds,

F. Berezin and D. A. Leites, “Supermanifolds,”Doklady Akademii nauk SSSR, vol. 224, no. 3, pp. 505–508, 1975

work page 1975
[2]

Graded manifolds, graded Lie theory, and prequantization,

B. Kostant, “Graded manifolds, graded Lie theory, and prequantization,” inDifferential geometrical methods in mathematical physics, Springer, 1977, pp. 177–306

work page 1977
[3]

A global theory of supermanifolds,

A. Rogers, “A global theory of supermanifolds,”Journal of Mathematical Physics, vol. 21, no. 6, pp. 1352–1365, 1980

work page 1980
[4]

B. S. DeWitt,Supermanifolds. Cambridge University Press, 1992

work page 1992
[5]

Carmeli, L

C. Carmeli, L. Caston, and R. Fioresi,Mathematical Foundations of Supersymmetry. Euro- pean Mathematical Society, 2011, vol. 15

work page 2011
[6]

Rogers,Supermanifolds: theory and applications

A. Rogers,Supermanifolds: theory and applications. World Scientific, 2007

work page 2007
[7]

Bartocci, U

C. Bartocci, U. Bruzzo, and D. Hern´ andez-Ruip´ erez,The Geometry of Supermanifolds. Springer Science & Business Media, 2012, vol. 71

work page 2012
[8]

V. S. Varadarajan,Supersymmetry for mathematicians: an introduction. American Mathe- matical Soc., 2004. 14

work page 2004
[9]

G. M. Tuynman,Supermanifolds and supergroups: basic theory. Springer Science & Business Media, 2004, vol. 570

work page 2004
[10]

Vector fields and differential equations on supermanifolds,

V. N. Shander, “Vector fields and differential equations on supermanifolds,”Functional Anal- ysis and Its Applications, vol. 14, no. 2, pp. 160–162, 1980

work page 1980
[11]

Differential equations, Frobenius theorem and local flows on supermanifolds,

U. Bruzzo and R. Cianci, “Differential equations, Frobenius theorem and local flows on supermanifolds,”Journal of Physics A: Mathematical and General, vol. 18, no. 3, pp. 417– 423, 1985

work page 1985
[12]

The super complex Frobenius theorem,

C Hill and S. Simanca, “The super complex Frobenius theorem,” inAnnales Polonici Math- ematici, Polska Akademia Nauk. Instytut Matematyczny PAN, vol. 55, 1991, pp. 139–155

work page 1991
[13]

Superconnections and parallel transport,

F. Dumitrescu, “Superconnections and parallel transport,”Pacific Journal of Mathematics, vol. 236, no. 2, pp. 307–332, 2008

work page 2008
[14]

Integral curves of derivations,

J. Monterde and A. Montesinos, “Integral curves of derivations,”Annals of Global Analysis and Geometry, vol. 6, no. 2, pp. 178–189,

work page
[15]

Existence and uniqueness of solutions to su- perdifferential equations,

J. Monterde and O. A. S´ anchez-Valenzuela, “Existence and uniqueness of solutions to su- perdifferential equations,”Journal of Geometry and Physics, vol. 10, no. 4, pp. 315–343, 1993

work page 1993
[16]

Integration of vector fields on smooth and holomorphic supermanifolds

S. Garnier and T. Wurzbacher, “Integration of vector fields on smooth and holomorphic supermanifolds,”Documenta Mathematica, vol. 18, pp. 519–545, 2013. arXiv:1210.1222

work page internal anchor Pith review Pith/arXiv arXiv 2013
[17]

Global Theory of Graded Manifolds,

J. Vysok´ y, “Global Theory of Graded Manifolds,”Reviews in Mathematical Physics, vol. 34, no. 10, p. 2 250 035, 2022. arXiv:2105.02534

work page arXiv 2022
[18]

The category ofZ-graded manifolds: What happens if you do not stay positive,

A. Kotov and V. Salnikov, “The category ofZ-graded manifolds: What happens if you do not stay positive,”Differential Geometry and its Applications, vol. 93, p. 102 109, 2024. arXiv: 2108.13496

work page arXiv 2024
[19]

Introduction to graded geometry

M. Fairon, “Introduction to graded geometry,”European Journal of Mathematics, vol. 3, no. 2, pp. 208–222, 2017. arXiv:1512.02810

work page internal anchor Pith review Pith/arXiv arXiv 2017
[20]

Deformation quantization of Poisson manifolds, I

M. Kontsevich, “Deformation quantization of Poisson manifolds. 1.,”Letters in Mathematical Physics, vol. 66, pp. 157–216, 2003. arXiv:q-alg/9709040

work page internal anchor Pith review Pith/arXiv arXiv 2003
[21]

Some title containing the words “homotopy

P. ˇSevera, “Some title containing the words “homotopy” and “symplectic”, e.g. this one,”

work page
[22]

Graded Geometry,Q-Manifolds, and Microformal Geometry,

T. T. Voronov, “Graded Geometry,Q-Manifolds, and Microformal Geometry,”Fortschritte der Physik, vol. 67, no. 8-9, p. 1 910 023, 2019. arXiv:1903.02884

work page arXiv 2019
[23]

Supergroupoids, double structures, and equivariant cohomology

R. A. Mehta, “Supergroupoids, double structures, and equivariant cohomology,” 2006. arXiv: math/0605356

work page internal anchor Pith review Pith/arXiv arXiv 2006
[24]

Introduction to Supergeometry,

A. S. Cattaneo and F. Sch¨ atz, “Introduction to Supergeometry,”Reviews in Mathematical Physics, vol. 23, pp. 669–690, 2011. arXiv:1011.3401

work page arXiv 2011
[25]

Lee,Introduction to Smooth Manifolds(Graduate Texts in Mathematics)

J. Lee,Introduction to Smooth Manifolds(Graduate Texts in Mathematics). Springer, 2012

work page 2012
[26]

Graded Lie Theory,

R. ˇSmolka, “Graded Lie Theory,”Master Thesis,https: // dspace. cvut. cz/ handle/ 10467/ 108477, 2023

work page 2023
[27]

purely graded

E. A. Coddington, N. Levinson, and T. Teichmann,Theory of ordinary differential equations, 1956. 15 A Proof of theorem: degree zero This is a section dedicated to the proof of Theorem 3.10 for a degree zero vector fieldX∈X M(M). This is by far the most complicated case. It is also the most interesting, since the flows of degree zero vector fields are the ...

work page 1956
[28]

initial condition map

Since bothθ andθ ′ have to be the restrictions ofθ 0, and θ|V×I k andθ ′|V×I k both satisfy (105) for the same “initial condition map”ϕ:M| V → M| Uk, they must be equal by Lemma A.3. This finishes the induction step. If we now consider the open intervalI:=I ′ N ∈Op t(R), we haveV×I⊆Dsuch that (113) holds. As (m, t)∈Dwas arbitrary, this shows thatθ=θ ′.■ A...

work page
[29]

Since this set is open, there existsU m ∈Op m(M) and open intervalsI m, Jm ∈Op 0(R), such that (Um ×I m)×J m ∈D ′

work page
[30]

Let D:= [ m∈M (Um ×I m)×J m.(188) 36 This is an open subset ofD ′

Note thatM= S m∈M Um. Let D:= [ m∈M (Um ×I m)×J m.(188) 36 This is an open subset ofD ′

work page
[31]

For each fixedm∈M, one has D(m) = [ {m′|m∈Um′ } Im′ ×J m′.(189) Since this is a union of rectangles containing (0,0), a set certainly having the required property

We must prove that it has the property (2) of Definition 5.1. For each fixedm∈M, one has D(m) = [ {m′|m∈Um′ } Im′ ×J m′.(189) Since this is a union of rectangles containing (0,0), a set certainly having the required property. HenceDis a commuting domain ofXandY. Let us continue with (ii). LetDandD ′ be a pair of commuting domains ofXandY. Clearly (D∪D ′)(...

work page
[32]

In this way, we obtain a collection{U α}α∈K of open neighborhoods ofm, and and open cover{I α ×J α}α∈K ofR, such that (U α ×I α)×J α ⊆D ′ 12

In particular, we have (s, t) in the open rectangleI ′ ×J ′. In this way, we obtain a collection{U α}α∈K of open neighborhoods ofm, and and open cover{I α ×J α}α∈K ofR, such that (U α ×I α)×J α ⊆D ′ 12. SinceRis compact, there is a finite subsetK 0 ⊆K, such that{I α ×J α}α∈K0 still coversR. Let U:= T α∈K0 Uα. Finally, there is certainly an open rectangleI...

work page

[1] [1]

Supermanifolds,

F. Berezin and D. A. Leites, “Supermanifolds,”Doklady Akademii nauk SSSR, vol. 224, no. 3, pp. 505–508, 1975

work page 1975

[2] [2]

Graded manifolds, graded Lie theory, and prequantization,

B. Kostant, “Graded manifolds, graded Lie theory, and prequantization,” inDifferential geometrical methods in mathematical physics, Springer, 1977, pp. 177–306

work page 1977

[3] [3]

A global theory of supermanifolds,

A. Rogers, “A global theory of supermanifolds,”Journal of Mathematical Physics, vol. 21, no. 6, pp. 1352–1365, 1980

work page 1980

[4] [4]

B. S. DeWitt,Supermanifolds. Cambridge University Press, 1992

work page 1992

[5] [5]

Carmeli, L

C. Carmeli, L. Caston, and R. Fioresi,Mathematical Foundations of Supersymmetry. Euro- pean Mathematical Society, 2011, vol. 15

work page 2011

[6] [6]

Rogers,Supermanifolds: theory and applications

A. Rogers,Supermanifolds: theory and applications. World Scientific, 2007

work page 2007

[7] [7]

Bartocci, U

C. Bartocci, U. Bruzzo, and D. Hern´ andez-Ruip´ erez,The Geometry of Supermanifolds. Springer Science & Business Media, 2012, vol. 71

work page 2012

[8] [8]

V. S. Varadarajan,Supersymmetry for mathematicians: an introduction. American Mathe- matical Soc., 2004. 14

work page 2004

[9] [9]

G. M. Tuynman,Supermanifolds and supergroups: basic theory. Springer Science & Business Media, 2004, vol. 570

work page 2004

[10] [10]

Vector fields and differential equations on supermanifolds,

V. N. Shander, “Vector fields and differential equations on supermanifolds,”Functional Anal- ysis and Its Applications, vol. 14, no. 2, pp. 160–162, 1980

work page 1980

[11] [11]

Differential equations, Frobenius theorem and local flows on supermanifolds,

U. Bruzzo and R. Cianci, “Differential equations, Frobenius theorem and local flows on supermanifolds,”Journal of Physics A: Mathematical and General, vol. 18, no. 3, pp. 417– 423, 1985

work page 1985

[12] [12]

The super complex Frobenius theorem,

C Hill and S. Simanca, “The super complex Frobenius theorem,” inAnnales Polonici Math- ematici, Polska Akademia Nauk. Instytut Matematyczny PAN, vol. 55, 1991, pp. 139–155

work page 1991

[13] [13]

Superconnections and parallel transport,

F. Dumitrescu, “Superconnections and parallel transport,”Pacific Journal of Mathematics, vol. 236, no. 2, pp. 307–332, 2008

work page 2008

[14] [14]

Integral curves of derivations,

J. Monterde and A. Montesinos, “Integral curves of derivations,”Annals of Global Analysis and Geometry, vol. 6, no. 2, pp. 178–189,

work page

[15] [15]

Existence and uniqueness of solutions to su- perdifferential equations,

J. Monterde and O. A. S´ anchez-Valenzuela, “Existence and uniqueness of solutions to su- perdifferential equations,”Journal of Geometry and Physics, vol. 10, no. 4, pp. 315–343, 1993

work page 1993

[16] [16]

Integration of vector fields on smooth and holomorphic supermanifolds

S. Garnier and T. Wurzbacher, “Integration of vector fields on smooth and holomorphic supermanifolds,”Documenta Mathematica, vol. 18, pp. 519–545, 2013. arXiv:1210.1222

work page internal anchor Pith review Pith/arXiv arXiv 2013

[17] [17]

Global Theory of Graded Manifolds,

J. Vysok´ y, “Global Theory of Graded Manifolds,”Reviews in Mathematical Physics, vol. 34, no. 10, p. 2 250 035, 2022. arXiv:2105.02534

work page arXiv 2022

[18] [18]

The category ofZ-graded manifolds: What happens if you do not stay positive,

A. Kotov and V. Salnikov, “The category ofZ-graded manifolds: What happens if you do not stay positive,”Differential Geometry and its Applications, vol. 93, p. 102 109, 2024. arXiv: 2108.13496

work page arXiv 2024

[19] [19]

Introduction to graded geometry

M. Fairon, “Introduction to graded geometry,”European Journal of Mathematics, vol. 3, no. 2, pp. 208–222, 2017. arXiv:1512.02810

work page internal anchor Pith review Pith/arXiv arXiv 2017

[20] [20]

Deformation quantization of Poisson manifolds, I

M. Kontsevich, “Deformation quantization of Poisson manifolds. 1.,”Letters in Mathematical Physics, vol. 66, pp. 157–216, 2003. arXiv:q-alg/9709040

work page internal anchor Pith review Pith/arXiv arXiv 2003

[21] [21]

Some title containing the words “homotopy

P. ˇSevera, “Some title containing the words “homotopy” and “symplectic”, e.g. this one,”

work page

[22] [22]

Graded Geometry,Q-Manifolds, and Microformal Geometry,

T. T. Voronov, “Graded Geometry,Q-Manifolds, and Microformal Geometry,”Fortschritte der Physik, vol. 67, no. 8-9, p. 1 910 023, 2019. arXiv:1903.02884

work page arXiv 2019

[23] [23]

Supergroupoids, double structures, and equivariant cohomology

R. A. Mehta, “Supergroupoids, double structures, and equivariant cohomology,” 2006. arXiv: math/0605356

work page internal anchor Pith review Pith/arXiv arXiv 2006

[24] [24]

Introduction to Supergeometry,

A. S. Cattaneo and F. Sch¨ atz, “Introduction to Supergeometry,”Reviews in Mathematical Physics, vol. 23, pp. 669–690, 2011. arXiv:1011.3401

work page arXiv 2011

[25] [25]

Lee,Introduction to Smooth Manifolds(Graduate Texts in Mathematics)

J. Lee,Introduction to Smooth Manifolds(Graduate Texts in Mathematics). Springer, 2012

work page 2012

[26] [26]

Graded Lie Theory,

R. ˇSmolka, “Graded Lie Theory,”Master Thesis,https: // dspace. cvut. cz/ handle/ 10467/ 108477, 2023

work page 2023

[27] [27]

purely graded

E. A. Coddington, N. Levinson, and T. Teichmann,Theory of ordinary differential equations, 1956. 15 A Proof of theorem: degree zero This is a section dedicated to the proof of Theorem 3.10 for a degree zero vector fieldX∈X M(M). This is by far the most complicated case. It is also the most interesting, since the flows of degree zero vector fields are the ...

work page 1956

[28] [28]

initial condition map

Since bothθ andθ ′ have to be the restrictions ofθ 0, and θ|V×I k andθ ′|V×I k both satisfy (105) for the same “initial condition map”ϕ:M| V → M| Uk, they must be equal by Lemma A.3. This finishes the induction step. If we now consider the open intervalI:=I ′ N ∈Op t(R), we haveV×I⊆Dsuch that (113) holds. As (m, t)∈Dwas arbitrary, this shows thatθ=θ ′.■ A...

work page

[29] [29]

Since this set is open, there existsU m ∈Op m(M) and open intervalsI m, Jm ∈Op 0(R), such that (Um ×I m)×J m ∈D ′

work page

[30] [30]

Let D:= [ m∈M (Um ×I m)×J m.(188) 36 This is an open subset ofD ′

Note thatM= S m∈M Um. Let D:= [ m∈M (Um ×I m)×J m.(188) 36 This is an open subset ofD ′

work page

[31] [31]

For each fixedm∈M, one has D(m) = [ {m′|m∈Um′ } Im′ ×J m′.(189) Since this is a union of rectangles containing (0,0), a set certainly having the required property

We must prove that it has the property (2) of Definition 5.1. For each fixedm∈M, one has D(m) = [ {m′|m∈Um′ } Im′ ×J m′.(189) Since this is a union of rectangles containing (0,0), a set certainly having the required property. HenceDis a commuting domain ofXandY. Let us continue with (ii). LetDandD ′ be a pair of commuting domains ofXandY. Clearly (D∪D ′)(...

work page

[32] [32]

In this way, we obtain a collection{U α}α∈K of open neighborhoods ofm, and and open cover{I α ×J α}α∈K ofR, such that (U α ×I α)×J α ⊆D ′ 12

In particular, we have (s, t) in the open rectangleI ′ ×J ′. In this way, we obtain a collection{U α}α∈K of open neighborhoods ofm, and and open cover{I α ×J α}α∈K ofR, such that (U α ×I α)×J α ⊆D ′ 12. SinceRis compact, there is a finite subsetK 0 ⊆K, such that{I α ×J α}α∈K0 still coversR. Let U:= T α∈K0 Uα. Finally, there is certainly an open rectangleI...

work page