The Super Mumford Form in the Presence of Ramond and Neveu-Schwarz Punctures

Daniel J. Diroff

arxiv: 1907.07256 · v1 · pith:K4OKK3SCnew · submitted 2019-07-16 · 🧮 math-ph · hep-th· math.AG· math.MP· math.QA

The Super Mumford Form in the Presence of Ramond and Neveu-Schwarz Punctures

Daniel J. Diroff This is my paper

Pith reviewed 2026-05-24 20:21 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.AGmath.MPmath.QA

keywords super Mumford formsuper Riemann surfacesRamond puncturesNeveu-Schwarz puncturesBerezinian line bundlemoduli spacespin structuresuperstring theory

0 comments

The pith

The super Mumford form on moduli spaces of super Riemann surfaces with Ramond and Neveu-Schwarz punctures is expressed using local bases of sections of the Berezinian line bundle.

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

This paper generalizes a 1988 result to provide an explicit expression for the super Mumford form when punctures are added to the surfaces. The form defines a measure on the moduli space that integrates to give superstring scattering amplitudes. The generalization holds for Ramond punctures when their number is large relative to the genus and for Neveu-Schwarz punctures on the odd spin structure component of the moduli space. The expression is built from local bases of the spaces of global sections of powers of the Berezinian bundle on the family of surfaces.

Core claim

We generalize the result of Voronov (1988) to give an expression for the super Mumford form μ on the moduli spaces of super Riemann surfaces with Ramond and Neveu-Schwarz punctures. In the Ramond case we take the number of punctures to be large compared to the genus. We consider for the case of Neveu-Schwarz punctures the super Mumford form over the component of the moduli space corresponding to an odd spin structure. The super Mumford form μ can be used to create a measure whose integral computes scattering amplitudes of superstring theory. We express μ in terms of local bases of H^0(X, ω^j) for ω the Berezinian line bundle of a family of super Riemann surfaces.

What carries the argument

The super Mumford form μ, defined via local bases of the cohomology groups H^0(X, ω^j) where ω denotes the Berezinian line bundle.

If this is right

The resulting measure can be integrated to compute scattering amplitudes of superstring theory.
The construction applies to moduli spaces that include either Ramond or Neveu-Schwarz punctures.
The form is available on the specified component of the moduli space for the Neveu-Schwarz case.
The expression reduces to the earlier unpunctured case when no punctures are present.

Where Pith is reading between the lines

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

The explicit bases could be used to perform concrete calculations of amplitudes at higher genus.
Similar expressions might exist for even spin structures if the section bases can be shown to satisfy analogous properties.
Integration of this measure over the moduli space with punctures corresponds to inserting vertex operators at the puncture locations in the string theory amplitude.

Load-bearing premise

The local bases of sections H^0(X, ω^j) exhibit the required transformation properties and dimension counts when the number of Ramond punctures greatly exceeds the genus and when the Neveu-Schwarz punctures sit on the odd spin structure component.

What would settle it

A mismatch between the proposed expression for μ and an independent computation of the form on a concrete family of super Riemann surfaces with the allowed number of punctures would show the generalization does not hold.

read the original abstract

We generalize the result of Voronov (1988) to give an expression for the super Mumford form $\mu$ on the moduli spaces of super Riemann surfaces with Ramond and Neveu-Schwarz punctures. In the Ramond case we take the number of punctures to be large compared to the genus. We consider for the case of Neveu-Schwarz punctures the super Mumford form over the component of the moduli space corresponding to an odd spin structure. The super Mumford form $\mu$ can be used to create a measure whose integral computes scattering amplitudes of superstring theory. We express $\mu$ in terms of local bases of $H^0(X, \omega^j)$ for $\omega$ the Berezinian line bundle of a family of super Riemann surfaces.

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 gives an explicit formula for the super Mumford form on super Riemann surfaces with Ramond and NS punctures by generalizing Voronov 1988, but only under stated restrictions and without visible derivation steps.

read the letter

The main thing here is a direct extension of Voronov's 1988 expression for the super Mumford form μ to moduli spaces that include Ramond punctures (with the number large compared to genus) and Neveu-Schwarz punctures (on the odd spin structure component). The paper states the form in terms of local bases of H^0(X, ω^j) for the Berezinian bundle, which is the kind of concrete formula people computing superstring amplitudes sometimes need. That is the actual new piece: the earlier result did not cover punctures, and this version supplies the missing expression under the listed conditions. The abstract is clear that these restrictions are required for the bases to behave as claimed, so the scope is honest rather than overstated. Credit is due for identifying the precise components where the generalization works and for tying it back to the measure used in scattering amplitudes. The soft spot is that the provided text gives the claim and the final expression but no derivation steps, error checks, or explicit verification that the new bases satisfy the required properties. Without those steps it is difficult to judge whether the extension is free of hidden choices or whether it reduces correctly to the unpunctured case. The citation pattern looks standard for the subfield and does not rely on circular self-reference. This is niche work aimed at researchers already using super Riemann surfaces for string theory calculations. A reader who needs the punctured formula will find it useful as a reference; others will not. It is solid enough on its own terms to deserve a serious referee who can check the missing steps against the 1988 result.

Referee Report

0 major / 3 minor

Summary. The manuscript generalizes Voronov (1988) by supplying an explicit expression for the super Mumford form μ on the moduli spaces of super Riemann surfaces with Ramond punctures (when their number greatly exceeds the genus) and with Neveu-Schwarz punctures (on the odd-spin-structure component). The form is written in terms of local bases of the spaces H^0(X, ω^j) where ω denotes the Berezinian line bundle of a family of super Riemann surfaces; the resulting measure is intended for the computation of superstring scattering amplitudes.

Significance. If the stated expression is correct, the work extends the range of applicability of the super Mumford form to the punctured cases that arise in concrete string-theory calculations. The explicit dependence on local bases of the indicated cohomology groups supplies a concrete, usable formula rather than an existence statement.

minor comments (3)

[Abstract] The abstract states the two restrictions (r_Ramond ≫ g and odd spin structure) but does not indicate where in the text the verification that the chosen local bases satisfy the required non-vanishing or independence properties appears; a forward reference to the relevant proposition or lemma would improve readability.
Notation for the Berezinian line bundle ω and for the local bases of H^0(X, ω^j) should be introduced once, with a single consistent symbol, rather than re-defined in each section.
[References] The bibliographic entry for Voronov (1988) should include the full journal name, volume, and page range.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive evaluation of our manuscript and the recommendation for minor revision. No major comments were provided in the report, therefore we have no specific points to address in this response.

Circularity Check

0 steps flagged

No significant circularity; generalization of external 1988 result

full rationale

The paper states it generalizes Voronov (1988) to express μ explicitly in terms of local bases of H^0(X, ω^j) on the indicated moduli components, with the two restrictions (r_Ramond ≫ g; odd spin structure for NS) presented as the regime where the bases behave as required. No self-citations appear load-bearing, no fitted parameters are renamed as predictions, and no equation reduces to its own input by definition. The derivation chain is therefore self-contained against the external benchmark and the stated hypotheses.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract-only review supplies no explicit list of free parameters or invented entities; the work relies on standard background in super Riemann surface theory and the prior Voronov construction.

axioms (2)

domain assumption Existence and properties of the Berezinian line bundle on families of super Riemann surfaces
Invoked when expressing μ in terms of local bases of H^0(X, ω^j)
domain assumption The moduli space components for odd spin structures are well-defined and the form restricts appropriately
Stated as the setting for the Neveu-Schwarz case

pith-pipeline@v0.9.0 · 5674 in / 1586 out tokens · 23158 ms · 2026-05-24T20:21:04.585914+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages · 3 internal anchors

[1]

A. A. Voronov. A formula for the Mumford measure in supers tring theory. Funkt- sional. Anal. i Prilozhen. , 22(2):67–68, 1988

work page 1988
[2]

D’Hoker and D

E. D’Hoker and D. H. Phong. Lectures on two-loop superstr ings, 2002, arXiv:hep- th/0211111

work page arXiv 2002
[3]

E. Witten. Superstring perturbation theory revisited, 2012, arXiv:1209.5461

work page arXiv 2012
[4]

Donagi and E

R. Donagi and E. Witten. Supermoduli space is not project ed. In String-Math 2012, volume 90 of Proc. Sympos. Pure Math. , pages 19–71. Amer. Math. Soc., Providence, RI, 2015

work page 2012
[5]

Yu. I. Manin. Gauge ﬁeld theory and complex geometry , volume 289 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principl es of Mathematical Sci- ences]. Springer-Verlag, Berlin, 1988. Translated from the Russi an by N. Koblitz and J. R. King

work page 1988
[6]

E. Witten. Notes on super riemann surfaces and their modu li, 2012, arXiv:1209.2459

work page internal anchor Pith review Pith/arXiv arXiv 2012
[7]

D. J. Diroﬀ. On the super Mumford form in the presence of Ram ond and Neveu– Schwarz punctures. J. Geom. Phys. , 144:273–293, 2019

work page 2019
[8]

Deligne, P

P. Deligne, P. Etingof, D. S. Freed, L. C. Jeﬀrey, D. Kazhda n, J. W. Morgan, D. R. Morrison, and E. Witten, editors. Quantum ﬁelds and strings: a course for mathematicians. Vol. 1, 2 . American Mathematical Society, Providence, RI; Institute for Advanced Study (IAS), Princeton, NJ, 1999. Ma terial from the Special 84 85 Year on Quantum Field Theory held ...

work page 1999
[9]

Ruiperez

D. Ruiperez. Supercurves, supersymmetric curves and th eir moduli spaces - lecture. https://www.icmat.es/RT/2018/RPMS/hernandez-ruipere z.mos.pdf, November 2018

work page 2018
[10]

V. S. Varadarajan. Supersymmetry for mathematicians: an introduction , volume 11 of Courant Lecture Notes in Mathematics . New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 2004

work page 2004
[11]

Haske and R

C. Haske and R. O. Wells, Jr. Serre duality on complex sup ermanifolds. Duke Math. J. , 54(2):493–500, 1987

work page 1987
[12]

Topiwala and J

P. Topiwala and J. M. Rabin. The super GAGA principle and families of super Riemann surfaces. Proc. Amer. Math. Soc. , 113(1):11–20, 1991

work page 1991
[13]

Deligne, E

P. Deligne, E. Witten, R. Donagi, E. D’Hoker, and D.H. Ph ong. Supermoduli workshop video lectures. http://scgp.stonybrook.edu/archives/10356, May 2015

work page 2015
[14]

A. Rogers. Graded manifolds, supermanifolds and inﬁni te-dimensional Grassmann algebras. Comm. Math. Phys. , 105(3):375–384, 1986

work page 1986
[15]

LeBrun and M

C. LeBrun and M. Rothstein. Moduli of super Riemann surf aces. Comm. Math. Phys., 117(1):159–176, 1988

work page 1988
[16]

A. A. Rosly, A. S. Schwarz, and A. A. Voronov. Geometry of superconformal manifolds. Comm. Math. Phys. , 119(1):129–152, 1988

work page 1988
[17]

A. A. Voronov, Yu. I. Manin, and I. B. Penkov. Elements of supergeometry. In Current problems in mathematics. Newest results, Vol. 32 , Itogi Nauki i Tekhniki, pages 3–25. Akad. Nauk SSSR, Vsesoyuz. Inst. Nauchn. i Tekhn . Inform., Moscow,

work page
[18]

Soviet Math

Translated in J. Soviet Math. 51 (1990), no. 1, 2069–2083

work page 1990
[19]

A. A. Beilinson and Yu. I. Manin. The Mumford form and the Polyakov measure in string theory. Comm. Math. Phys. , 107(3):359–376, 1986. 86

work page 1986
[20]

A. A. Rosly, A. S. Schwarz, and A. A. Voronov. Superconfo rmal geometry and string theory. Comm. Math. Phys. , 120(3):437–450, 1989

work page 1989
[21]

Bruzzo and J

U. Bruzzo and J. A. Dom ´ ınguez P´ erez. Line bundles over families of (super) Rie- mann surfaces. II. The graded case. J. Geom. Phys. , 10(3):269–286, 1993

work page 1993
[22]

E. Witten. Notes on holomorphic string and superstring theory measures of low genus, 2013, arXiv:1306.3621

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

A. A. Belavin and V. G. Knizhnik. Complex geometry and th e theory of quantum strings. Zh. `Eksper. Teoret. Fiz., 91(2):364–390, 1986

work page 1986
[24]

The Super Period Matrix With Ramond Punctures

E. Witten. The Super Period Matrix With Ramond Puncture s. J. Geom. Phys. , 92:210–239, 2015, 1501.02499. Appendix A A Few Technical Results A.1 More on the Local Structure Near a Ramond Punc- ture Here we develop a few technical statements used in the main ar guments of the paper. These were motivated by [21]. Suppose we have a family of SUSY curves with...

work page internal anchor Pith review Pith/arXiv arXiv 2015
[25]

λ ′(0)ψ (0) = 0 . Proof. After some tedious calculations one ﬁnds that the condition ̟ ∗ ζ is proportional to ̟ ∗ θ is − ( ∂z ∂x − zζ∂ζ ∂x ) xθ = ( ∂z ∂θ − zζ∂ζ ∂θ ) . In terms of the functions f,g,λ and ψ this condition is the pair of conditions λ(x) − f (x)g(x)ψ (x) = 0, and f (x)g(x)2 +λ(x)ψ (x)g(x) = xf ′(x) − xf (x)ψ (x)ψ ′(x). The ﬁrst of these two ...

work page
[26]

Ber OX (F ⊗ G ) ∼ = Ber OX (F)r− s ⊗ Ber OX (G)m− n

work page
[27]

h(F ⊗ f ∗K) ∼ =h(F) ⊗ K sχ(F ), where sχ (F) is the super euler characteristic of F. Proof. Property (1) is an easy extension from the classical formula det OX (V ⊗ W ) ∼ = det OX (V)rk W ⊗ det OX (W)rk V. Then (2) follows from (1) and the projection formula Rif∗(F ⊗ f ∗K) ∼ =Rif∗F ⊗ K . Proposition A.2.2. Letf :X → S be a family of supercurves. Given lin...

work page

[1] [1]

A. A. Voronov. A formula for the Mumford measure in supers tring theory. Funkt- sional. Anal. i Prilozhen. , 22(2):67–68, 1988

work page 1988

[2] [2]

D’Hoker and D

E. D’Hoker and D. H. Phong. Lectures on two-loop superstr ings, 2002, arXiv:hep- th/0211111

work page arXiv 2002

[3] [3]

E. Witten. Superstring perturbation theory revisited, 2012, arXiv:1209.5461

work page arXiv 2012

[4] [4]

Donagi and E

R. Donagi and E. Witten. Supermoduli space is not project ed. In String-Math 2012, volume 90 of Proc. Sympos. Pure Math. , pages 19–71. Amer. Math. Soc., Providence, RI, 2015

work page 2012

[5] [5]

Yu. I. Manin. Gauge ﬁeld theory and complex geometry , volume 289 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principl es of Mathematical Sci- ences]. Springer-Verlag, Berlin, 1988. Translated from the Russi an by N. Koblitz and J. R. King

work page 1988

[6] [6]

E. Witten. Notes on super riemann surfaces and their modu li, 2012, arXiv:1209.2459

work page internal anchor Pith review Pith/arXiv arXiv 2012

[7] [7]

D. J. Diroﬀ. On the super Mumford form in the presence of Ram ond and Neveu– Schwarz punctures. J. Geom. Phys. , 144:273–293, 2019

work page 2019

[8] [8]

Deligne, P

P. Deligne, P. Etingof, D. S. Freed, L. C. Jeﬀrey, D. Kazhda n, J. W. Morgan, D. R. Morrison, and E. Witten, editors. Quantum ﬁelds and strings: a course for mathematicians. Vol. 1, 2 . American Mathematical Society, Providence, RI; Institute for Advanced Study (IAS), Princeton, NJ, 1999. Ma terial from the Special 84 85 Year on Quantum Field Theory held ...

work page 1999

[9] [9]

Ruiperez

D. Ruiperez. Supercurves, supersymmetric curves and th eir moduli spaces - lecture. https://www.icmat.es/RT/2018/RPMS/hernandez-ruipere z.mos.pdf, November 2018

work page 2018

[10] [10]

V. S. Varadarajan. Supersymmetry for mathematicians: an introduction , volume 11 of Courant Lecture Notes in Mathematics . New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 2004

work page 2004

[11] [11]

Haske and R

C. Haske and R. O. Wells, Jr. Serre duality on complex sup ermanifolds. Duke Math. J. , 54(2):493–500, 1987

work page 1987

[12] [12]

Topiwala and J

P. Topiwala and J. M. Rabin. The super GAGA principle and families of super Riemann surfaces. Proc. Amer. Math. Soc. , 113(1):11–20, 1991

work page 1991

[13] [13]

Deligne, E

P. Deligne, E. Witten, R. Donagi, E. D’Hoker, and D.H. Ph ong. Supermoduli workshop video lectures. http://scgp.stonybrook.edu/archives/10356, May 2015

work page 2015

[14] [14]

A. Rogers. Graded manifolds, supermanifolds and inﬁni te-dimensional Grassmann algebras. Comm. Math. Phys. , 105(3):375–384, 1986

work page 1986

[15] [15]

LeBrun and M

C. LeBrun and M. Rothstein. Moduli of super Riemann surf aces. Comm. Math. Phys., 117(1):159–176, 1988

work page 1988

[16] [16]

A. A. Rosly, A. S. Schwarz, and A. A. Voronov. Geometry of superconformal manifolds. Comm. Math. Phys. , 119(1):129–152, 1988

work page 1988

[17] [17]

A. A. Voronov, Yu. I. Manin, and I. B. Penkov. Elements of supergeometry. In Current problems in mathematics. Newest results, Vol. 32 , Itogi Nauki i Tekhniki, pages 3–25. Akad. Nauk SSSR, Vsesoyuz. Inst. Nauchn. i Tekhn . Inform., Moscow,

work page

[18] [18]

Soviet Math

Translated in J. Soviet Math. 51 (1990), no. 1, 2069–2083

work page 1990

[19] [19]

A. A. Beilinson and Yu. I. Manin. The Mumford form and the Polyakov measure in string theory. Comm. Math. Phys. , 107(3):359–376, 1986. 86

work page 1986

[20] [20]

A. A. Rosly, A. S. Schwarz, and A. A. Voronov. Superconfo rmal geometry and string theory. Comm. Math. Phys. , 120(3):437–450, 1989

work page 1989

[21] [21]

Bruzzo and J

U. Bruzzo and J. A. Dom ´ ınguez P´ erez. Line bundles over families of (super) Rie- mann surfaces. II. The graded case. J. Geom. Phys. , 10(3):269–286, 1993

work page 1993

[22] [22]

E. Witten. Notes on holomorphic string and superstring theory measures of low genus, 2013, arXiv:1306.3621

work page internal anchor Pith review Pith/arXiv arXiv 2013

[23] [23]

A. A. Belavin and V. G. Knizhnik. Complex geometry and th e theory of quantum strings. Zh. `Eksper. Teoret. Fiz., 91(2):364–390, 1986

work page 1986

[24] [24]

The Super Period Matrix With Ramond Punctures

E. Witten. The Super Period Matrix With Ramond Puncture s. J. Geom. Phys. , 92:210–239, 2015, 1501.02499. Appendix A A Few Technical Results A.1 More on the Local Structure Near a Ramond Punc- ture Here we develop a few technical statements used in the main ar guments of the paper. These were motivated by [21]. Suppose we have a family of SUSY curves with...

work page internal anchor Pith review Pith/arXiv arXiv 2015

[25] [25]

λ ′(0)ψ (0) = 0 . Proof. After some tedious calculations one ﬁnds that the condition ̟ ∗ ζ is proportional to ̟ ∗ θ is − ( ∂z ∂x − zζ∂ζ ∂x ) xθ = ( ∂z ∂θ − zζ∂ζ ∂θ ) . In terms of the functions f,g,λ and ψ this condition is the pair of conditions λ(x) − f (x)g(x)ψ (x) = 0, and f (x)g(x)2 +λ(x)ψ (x)g(x) = xf ′(x) − xf (x)ψ (x)ψ ′(x). The ﬁrst of these two ...

work page

[26] [26]

Ber OX (F ⊗ G ) ∼ = Ber OX (F)r− s ⊗ Ber OX (G)m− n

work page

[27] [27]

h(F ⊗ f ∗K) ∼ =h(F) ⊗ K sχ(F ), where sχ (F) is the super euler characteristic of F. Proof. Property (1) is an easy extension from the classical formula det OX (V ⊗ W ) ∼ = det OX (V)rk W ⊗ det OX (W)rk V. Then (2) follows from (1) and the projection formula Rif∗(F ⊗ f ∗K) ∼ =Rif∗F ⊗ K . Proposition A.2.2. Letf :X → S be a family of supercurves. Given lin...

work page