{"id":"ce802fb6-576a-42d6-8722-c87a799d8370","arxiv_id":"2608.12846","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Theta-null values are characterized as the unique solutions of a manifestly modular-invariant system of differential equations of infinite order built from the supersymmetry algebra osp(1|2n).","lead":"This paper recasts a 1970s approach to theta-function modularity: the infinite-order differential operators at its core turn out to be exponentials of odd supersymmetry generators. The result places Riemann theta functions under the symmetry of the supergroup OSp(1|2n), and in low genus connects them to 3d N=1 superconformal physics.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"General-n uniqueness rests on absent Section 4.5: the supplied text never proves the higher-genus characteristic-variety estimate needed for local constancy.","rationale":"The reader's weakest assumption concerns the imported invertibility criterion (Proposition 1.2.15) and the half-line estimate underlying local constancy. I agree that this is the structural soft spot, but my primary concern is sharper: the supplied text does not contain the general-n version of that estimate at all. The paper claims a theorem for all n, yet Section 4.5, which would contain the general Koszul analysis, is absent, and the text truncates inside the BGG/Kostant-homology computation. For n = 2 the argument is present and internally plausible after accounting for sign conventions; for n > 2 the central claim is therefore not verified by the manuscript as supplied. This is not a claim of falsity: the higher-genus computation may well work, and the genus-2 mechanism suggests how. But because the deciding step is missing, I would not certify the paper even conditionally on the basis of this submission. I therefore recommend UNVERDICTED rather than CONDITIONAL: the authors should supply the general-n characteristic-variety proof and the completed Section 4.5 before the advertised theorem can be adjudicated. I also note the branch-of-square-root issue in Section 2.4B as a concrete place where the authors should check their signs when writing the general-n argument; it does not by itself falsify genus 1 or genus 2, but it shows that the half-line calculation is delicate.","tokens_in":72005,"tokens_out":22685,"duration_ms":232355,"concrete_test":"Reconstruct the missing Section 4.5 for n = 3: compute the non-invertibility loci Z_{A_i}, Z_{B_i} of e^{sqrt(-4πi)D_{p_i}} - 1 and e^{sqrt(-4πi)D_{q_i}} - 1 using Proposition 1.2.15 on the block symbols of D_{p_i}, D_{q_i} in Λ(C^3), and verify directly that Z ∩ (∩_i Z_{A_i}) ∩ (∩_j Z_{B_j}) is contained in the zero section of T*H_3, where Z = {det λ = 0}. Then check that the stalk of the Koszul complex at T = iI has H^0 of dimension 1 and higher cohomology zero. If either step fails, the stated general-n uniqueness theorem does not follow.","verdict_should_be":"UNVERDICTED","load_bearing_attack":"The central claim (Section 0.D(5)) asserts that, for every n, the system Dθ = 0, A_iθ = θ, B_iθ = θ characterizes θ(T) up to a constant and is R-holonomic. For genus 2, the proof reduces to Proposition 3.6.8 (Ch(N•) is contained in the zero section, via the intersection Z ∩ Z_A ∩ Z_B = 0) and Proposition 3.6.4 (diagonal Cauchy data). For n > 2, however, the promised Section 4.5, 'The Koszul complex for the general Riemann theta', is absent from the supplied manuscript; the text breaks off inside Section 4.2 I while computing Kostant homology for the BGG resolution (Theorem 4.2.7(b)). No higher-genus analogue of Lemma 3.6.11 is given: the paper never establishes that ∩_i Z_{A_i} ∩_j Z_{B_j} meets the characteristic variety Z of D only in the zero section of T*H_n. Without that intersection, the Koszul complex fails to be locally constant, and the 'unique up to scalars' statement for n > 2 does not follow from anything in the supplied text. A secondary red flag is branch sensitivity visible already in genus 1: with the principal branch of sqrt(-4πi) used in Proposition 2.3.10, the half-line in Section 2.4B should be iR_{>0}, not iR_{≤0}; the final intersection happens to survive, but the sign must be reconciled before the higher-genus half-line calculation can be trusted.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a supersymmetric reformulation of Sato's differential-operator-of-infinite-order (DOI) approach to the modularity of theta functions. It introduces a super-thickening SH_n of the Siegel upper half-plane, the ortho-metaplectic supergroup OMp(1|2n), and a super-Weil representation of osp(1|2n). The central claim, stated in §0.D(5), Eq. (0.2), is that the Riemann Thetanullwert θ(T), viewed as a weight-1/2 super-form independent of the odd variables, is characterized up to a scalar by the system Dθ=0, A_iθ=θ, B_iθ=θ, where D is the super-Laplacian and A_i=e^{√(-4πi)D_{p_i}}, B_i=e^{√(-4πi)D_{q_i}} are exponentials of odd supersymmetry generators; the system is asserted to be modular invariant and R-holonomic. Detailed proofs are given for genus 1 (Chapter 2) and genus 2 (Chapter 3), including component computations, Koszul complexes, and characteristic-variety estimates. For higher genus the text announces a proof via a BGG-type resolution of the super-Weil representation and refers to a projected Section 4.5, which is not present in the supplied manuscript.","tokens_in":72236,"tokens_out":19116,"duration_ms":169715,"significance":"The conceptual framework is attractive and, for genus 2, connects the theta system to the 3d N=1 free massless scalar supermultiplet, combining the Laplace and Dirac equations. The genus-1 and genus-2 computations are concrete and largely credible: the super-Gaussian eigen-equations (Prop. 2.3.10), the matrix forms of the odd generators (Prop. 2.2.6), the two-term BGG resolution (Prop. 3.7.5), and the diagonal Cauchy-data argument (Props. 3.6.12 and 3.6.4) are checkable. If the general-n uniqueness theorem were completed, the paper would provide a uniform local explanation of theta modularity and a new bridge between supersymmetry and DOI theory. However, the supplied text does not prove the n>2 case, and the sign conventions in the characteristic-variety estimates are internally inconsistent. The achievement that is actually verified in the manuscript is the genus-1 and genus-2 characterization; the advertised higher-genus theorem remains unproved in this version.","major_comments":[{"comment":"The uniqueness statement (0.2) for arbitrary n is not proved in the supplied manuscript. The table of contents lists Section 4.5, 'The Koszul complex for the general Riemann theta,' but the text breaks off inside Section 4.2 I in the middle of the Kostant-homology computation for Theorem 4.2.7(b), and Sections 4.3–4.5 are absent. Consequently, no higher-genus analogue of Lemma 3.6.11 is given: the paper never establishes that the intersection of the non-invertibility loci ∩_i Z_{A_i} ∩_j Z_{B_j} meets the characteristic variety Z of D only in the zero section of T^*H_n. Without that intersection the Koszul complex is not known to be locally constant, and the 'unique up to scalars' claim for n>2 does not follow from anything in the text. This is a load-bearing gap for the central claim of the paper.","section":"§4.4 / §4.5 / §0.D(5)"},{"comment":"There is an internal inconsistency in the square-root conventions used for the characteristic-variety estimates. Proposition 2.3.10 and Theorem 2.3.7 fix the branch of √(-4πi), yet §2.4B applies Proposition 1.2.15 to C=√(-4πi)D_p^{(1/2)} and concludes Z_A⊂H×iR_{≤0}. With the principal branch of √(-4πi), the eigenvalues of the leading block-symbol are ±√(-4πi)√(-λ); for λ=ir with r>0 these lie on iR, while for λ=-ir with r>0 they are real. Thus the half-line should be iR_{>0}, not iR_{≤0}. In §3.6C the text instead applies Proposition 1.2.15 to C=√(4πi)D_i even though A_i was defined in §3.6B with √(-4πi); this switch flips the half-line. The two sections must be reconciled under a single branch convention, and the half-line estimates in §3.6C and any higher-genus extension must be recomputed accordingly. The final zero-section conclusions in genus 1 and 2 may survive the correction, but the present text is internally inconsistent.","section":"§2.4B and §3.6C"},{"comment":"The isotropic condition for the open super-cell is stated with a sign that is inconsistent with the genus-2 case: Eq. (3.3.6) gives σ(T,ξ)=t_{12}-t_{21}+ξ_1ξ_2=0, while Eq. (4.1.6) gives σ_{ij}=t_{ij}-t_{ji}-ξ_iξ_j=0, which for i=1,j=2 is t_{12}-t_{21}-ξ_1ξ_2=0. Since Sections 3.3 and 4.1 use the same symplectic form and the same coordinate conventions, this sign difference cannot be correct for both. This is particularly relevant because Section 4.5, which would depend on the correct isotropic condition, is missing.","section":"§4.1C, Eq. (4.1.6)"}],"minor_comments":[{"comment":"The abstract contains the typo 'irredicuble' for 'irreducible'.","section":"Abstract and title page"},{"comment":"The word 'sirjective' in condition (K2) should be 'surjective'.","section":"§2.4C, Proof of Proposition 2.4.3"},{"comment":"The embedding is written as Sδ:SH×Sh→SH_2; the second factor should be SH, not Sh.","section":"§3.5C, Eq. (3.5.8)"},{"comment":"The supplied text ends mid-sentence with 'Here each S p(L) in the first appearance on ...' — the Kostant-homology computation and the proof of Proposition 4.2.14 are incomplete.","section":"§4.2I"}],"recommendation":"major_revision","confidential_remarks":"The manuscript as supplied appears to be an incomplete version: Section 4.5 is listed in the table of contents but is entirely missing, and the text breaks off in the middle of Section 4.2. If this is a submission error, a complete version should be provided for review. The sign inconsistency between §2.4B and §3.6C, and between Eq. (3.3.6) and Eq. (4.1.6), suggests that even the existing portions need careful proofreading. These issues are fixable within the scope of the paper, so I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nYou should know two things. First, this is the first paper I know that actually explains Sato's order-1/2 operators: they are exponentials of odd osp(1|2n) generators, and the genus-1 core is correct — I rechecked the super-Gaussian eigen-equations and the matrix forms of D_p and D_q. The author is not overselling the relation to Sato-Kashiwara-Kawai [63]; the characterization theorems are explicitly framed as supersymmetric reformulations. Second, the flagship general-n result is not yet in the manuscript. Section 4.5, which is supposed to contain the higher-genus Koszul complex and the uniqueness theorem, is absent; the text breaks off in Section 4.2, and no higher-genus analogue of Lemma 3.6.11 is given. So the central claim in Section 0.D(5) is a promise, not a theorem, for n>2.\n\nWhat is genuinely new: the reading of Sato's operators as exponentials of odd generators, the superthickening of the Siegel plane, the super-Weil representation and its BGG resolution, and the treatment of genus 2 as the 3d N=1 supermultiplet. The paper is careful with its sources and credits [63] and [58] honestly.\n\nSoft spots, in proportion. Chapter 2 has unflagged sign inconsistencies: the commutator of the displayed matrix forms evaluates to -1/2·Id, against Cor 2.2.7's +1/2, and Prop 2.1.11's bracket sign is flipped. These are likely convention errors, but until fixed the \"even Heisenberg\" claim is hard to certify. Minor to moderate. The branch sensitivity is real: with the principal branch used in Prop 2.3.10, the half-line in Section 2.4B should be iR_{>0}, not iR_{≤0}; the genus-1 intersection survives, but the convention must be reconciled before the higher-genus calculation can be trusted. Moderate. The circularity burden is moderate, not fatal. The system is built so theta satisfies it; uniqueness is the real content, and that uniqueness is exactly what the missing section owes us. The genus-1 and genus-2 arguments are good evidence, but the general-n case is unverified.\n\nWho is this for? Specialists in Sato's infinite analysis, representation theorists working on osp(1|2n), and anyone interested in the structural meaning of theta modularity. It deserves a serious referee. I would send it out with a conditional recommendation: complete Section 4.5, fix the sign conventions, and state one global branch choice.","headline":"A serious, conceptually valuable paper that finally explains Sato's order-1/2 operators as supersymmetry generators, but the advertised general-n uniqueness theorem rests on an absent section and unflagged sign errors.","tokens_in":72995,"tokens_out":3022,"would_cite":true,"duration_ms":26778,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14K25","11F27","17B70","58A50"],"pacs":[],"model":"deepseek-v4-flash","headline":"The Riemann theta function is the unique solution of a supersymmetric differential system.","keywords":["supersymmetry","theta functions","Thetanullwert","differential operators of infinite order","OSp(1|2n)","super-Siegel plane","R-holonomic systems","BGG resolution"],"falsifier":"In genus 1, compute the total symbol matrix of the operator $e^{{√(−4πi)D_p}}$ − 1 at a codirection λ with λ not in iR_{≤0} and check whether σ(λ) = exp(√(−4πi) [[0,1],[−λ,0]]) − 1 has nonzero kernel; any such kernel would contradict Proposition 2.4.2. More directly, find a local holomorphic solution Φ of the system (0.2) on SH_n that is not a constant multiple of θ(T); the one-dimensionality of $H^{0}$ of the Koszul complex is exactly the claim to be tested.","tokens_in":71595,"feed_emoji":"","tokens_out":7822,"duration_ms":74259,"temperature":0.7,"pith_summary":"The paper claims that the Riemann Thetanullwert θ(T) is not merely a special function but the unique solution of a local system of differential equations on a super-thickened Siegel upper half-plane. The equations are the super-Laplacian Dθ = 0 together with exponential equations $e^{{√(−4πi)D_{p_i}}$}θ = θ and $e^{{√(−4πi)D_{q_i}}$}θ = θ, built from odd supersymmetry generators of OSp(1|2n). If true, this recasts modularity of θ as a corollary of local invariance and unique solvability rather than as an external transformation law. The paper further argues that the system is R-holonomic, so its solution sheaf is constructible, and identifies θ as the super-Gaussian transform of a sum of delta functions in the super-Weil representation.","feed_headline":"A supersymmetric system forces the Riemann theta function","feed_subtitle":"Odd-generator exponentials on the super-Siegel plane leave only multiples of the Thetanullwert, making modularity a local corollary.","key_machinery":"The central mechanism is the action of osp(1|2n) on the super-Siegel plane SH_n, in which the odd generators D_{p_i}, D_{q_i} have effective order 1/2, so their naive exponentials are differential operators of infinite order acting locally on holomorphic super-functions. On the kernel of the super-Laplacian D these odd generators obey Heisenberg-style relations [D_{p_i}, D_{q_i}] = (1/2)δ_{ij}, which makes the exponential operators A_i and B_i mutually commuting and turns them into the differentials of a Koszul complex. The load-bearing identity is that the super-Gaussians θ_x(T, ξ) = $e^{{πi x^tTx + √(−πi) ξ·x}}$ are eigenfunctions and shift vectors for these exponential operators, so summing θ_n over n ∈ Z^n yields the Thetanullwert. This machinery converts modularity of θ from an external invariance property into the statement that the solution sheaf of a manifestly invariant local system is one-dimensional.","core_discovery":"The paper's central claim is that the genus-n Riemann Thetanullwert, viewed as a weight-1/2 super-form on the super-Siegel plane SH_n depending only on the even variables, is characterized up to a constant factor by three families of equations: annihilation by the OSp(1|2n)-invariant super-Laplacian D, and invariance under the exponential operators A_i = $e^{{√(−4πi)D_{p_i}}$} and B_i = $e^{{√(−4πi)D_{q_i}}$} for i = 1,...,n. On the space of harmonic weight-1/2 super-forms the odd generators satisfy the even Heisenberg relations [D_{p_i}, D_{q_j}] = (1/2)δ_{ij}, so A_i and B_i commute there and generate a Koszul complex. The proof controls the characteristic variety of this complex by showing that the non-invertibility locus of each exponential operator lies on a half-line of codirections, then computes the stalk at a point via the super-Gaussian transform; the same mechanism specializes to the Jacobi $\\theta$ function in genus 1 and to the free massless N = 1 scalar supermultiplet in the 3-dimensional superconformal picture for genus 2.","pith_inferences":["A natural testable extension is to write down the analogous super-differential system for theta functions with characteristics; the paper notes that such systems should be R-holonomic and invariant under congruence subgroups, but does not prove uniqueness for them.","The on-shell even Heisenberg relations suggest that the super-Weil representation is a small, minimal-orbit-type representation in the super setting; if so, one could attach a geometric coadjoint orbit to the space of harmonic superforms and look for other theta-like functions from other small super-representations.","One could numerically probe the characteristic-variety estimate by computing the total symbol of A_i at codirections just outside the claimed half-line locus; a failure of invertibility there would show up as a nonzero kernel of the symbol matrix and would contradict the stated containment of the characteristic variety."],"forward_implications":["If the uniqueness theorem holds, the modular transformation behavior of the Riemann Thetanullwert follows from the local invariance of the system and the fact that the odd generators are exchanged up to sign by the adjoint action of the modular element S.","The R-holonomicity statement implies that the solution complex of the system is constructible with finite-dimensional stalks, so the infinite-order equations behave like a well-posed local system rather than a formal series.","The construction identifies the Thetanullwert as the image of the distribution u(x) = Σ_{m∈Z^n} δ(x−m) under the super-Gaussian transform, giving a direct bridge between the local differential equations and the classical algebraic-difference equations of the Weil representation.","The same supersymmetric mechanism, specialized to genus 2, shows that the free massless scalar supermultiplet (Laplace equation for the boson, Dirac equation for the fermion, vanishing auxiliary field) is the natural physical realization of the Siegel Thetanullwert system.","The genus-n Koszul complex is shown to be exact away from its degree-zero cohomology, which is spanned by the Thetanullwert; this is the precise sense in which the system has a unique solution up to scalars."],"supporting_citations":[{"why":"Supplies the sheaf D∞ of differential operators of infinite order and the effective-order criterion that makes exponentials of odd generators local sheaf morphisms.","marker":"[95]"},{"why":"Proves the genus-one uniqueness theorem that this paper reformulates in supersymmetric language as Theorem 2.4.1.","marker":"[63]"},{"why":"Provides the invertibility criterion for e^C − 1 in the microlocal sheaf E^R, used to estimate the characteristic varieties of A_i and B_i.","marker":"[108]"},{"why":"Gives the same invertibility lemma in the form used here and also supplies the genus-2 3×3 infinite-order system that the paper's 4×4 super-system supersymmetrizes.","marker":"[58]"},{"why":"Prior genus-2 system of matrix differential operators of infinite order; the paper's super-Laplacian system truncates to it after imposing constraints.","marker":"[58, 11]"},{"why":"Defines R-holonomic complexes and proves that their solution complexes are constructible, which is what makes the system well-posed.","marker":"[96]"},{"why":"Supplies the singular-block equivalence used to build the BGG resolution of the super-Weil representation in higher genus.","marker":"[27, 26]"},{"why":"Gives the equivalence between osp(1|2n) and sp(2n) categories that transfers the even BGG resolution to the super resolution.","marker":"[43]"}],"fun_headline_variants":["Supersymmetry pins down the theta function","Odd exponentials single out Thetanullwerte","OSp(1|2n) to modularity: a super route","Super-Laplacian fixes theta up to scale","Exponential odd operators characterize theta"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The uniqueness theorem relies on an imported microlocal invertibility criterion: an operator e^C − 1 is invertible except along directions where an eigenvalue of the leading block symbol lies on the imaginary axis, and the verification that the odd-generator exponentials have no larger non-invertibility locus is done by hand; if that locus were wider than the claimed half-line, the intersection of characteristic loci would not lie in the zero section and the unique-solution conclusion would collapse.","fun_headline_variants_meta":{"raw":{"variants":["Supersymmetry pins down the theta function","Odd exponentials single out Thetanullwerte","OSp(1|2n) to modularity: a super route","Super-Laplacian fixes theta up to scale","Exponential odd operators characterize theta"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000284,"raw_usage":{"total_tokens":1753,"prompt_tokens":1100,"completion_tokens":653,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":716,"completion_tokens_details":{"reasoning_tokens":578}},"tokens_in":716,"tokens_out":653,"duration_ms":6181,"temperature":1.0,"reasoning_tokens":578,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T22:09:45.749177+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"In genus 1, compute the total symbol matrix of the operator $e^{{√(−4πi)D_p}}$ − 1 at a codirection λ with λ not in iR_{≤0} and check whether σ(λ) = exp(√(−4πi) [[0,1],[−λ,0]]) − 1 has nonzero kernel; any such kernel would contradict Proposition 2.4.2. More directly, find a local holomorphic solution Φ of the system (0.2) on SH_n that is not a constant multiple of θ(T); the one-dimensionality of $H^{0}$ of the Koszul complex is exactly the claim to be tested.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the sheaf D∞ of differential operators of infinite order and the effective-order criterion that makes exponentials of odd generators local sheaf morphisms."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Proves the genus-one uniqueness theorem that this paper reformulates in supersymmetric language as Theorem 2.4.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the invertibility criterion for e^C − 1 in the microlocal sheaf E^R, used to estimate the characteristic varieties of A_i and B_i."},{"cited_title":"Proceedings of Geometrical and Algebraic Aspects in Several Complex Variables","cited_arxiv_id":null,"evidence_quote":"Gives the same invertibility lemma in the form used here and also supplies the genus-2 3×3 infinite-order system that the paper's 4×4 super-system supersymmetrizes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines R-holonomic complexes and proves that their solution complexes are constructible, which is what makes the system well-posed."},{"cited_title":"Strongly typical representations of the basic classical Lie superalgebras","cited_arxiv_id":"math/0009186","evidence_quote":"Gives the equivalence between osp(1|2n) and sp(2n) categories that transfers the even BGG resolution to the super resolution."}],"review_version":1}