{"id":"26b8afde-7527-4b1c-8863-8ee336234108","arxiv_id":"2505.04465","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For abelian varieties of dimension at most three, higher Chow cycles yield meromorphic Siegel modular forms of weight Sym^4 det^-1, and the K-theory elevator matches the Siegel operator under rank-one degeneration.","lead":"This paper proves that higher Chow cycles on low-dimensional abelian varieties produce meromorphic Siegel modular forms of a specific vector-valued weight. The paper also shows that the K-theory elevator for cycles corresponds to the Siegel operator for modular forms under rank-one degeneration.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.2's pole bound rests on admissibility of higher normal functions, which §3.2 itself reports is only folklore for n>0; if logarithmic growth fails, the meromorphic extension of f_Z^(i) is unsupported.","rationale":"The reader's weakest assumption is exactly the one I find most load-bearing. The paper's own §3.2 admits the n>0 admissibility is folklore, and Theorem 4.2's proof invokes it as a black box. If it fails, the main construction collapses. I do not see a more internal error in the Koszul computation (Lemma 4.1) or in the symmetric-polynomial pushdown; those steps are explicit and checkable. The other explicit limitations—assumptions (1)–(5) in §6 and the restriction to irreducible degeneration—are stated as assumptions for Theorem 6.2, not hidden flaws, and the author says they will be treated elsewhere; they affect the strength of the degeneration functoriality but not the main construction. Since the paper is honest about the admissibility gap and the verdict CONDITIONAL already reflects it, I do not recommend a change. A positive confirmation of the folklore claim, or at least for the explicit Collino cycles, would remove the main obstacle.","tokens_in":25871,"tokens_out":14842,"duration_ms":148542,"concrete_test":"Extract the argument from [5] p.658 and check it applies to arbitrary higher Chow cycles of type (2,3−g) on abelian schemes; then, as a computational cross-check, take the Collino genus-2 cycle (type (2,1)) from [8], degenerate it to the boundary of A_2, and compute the leading asymptotics of the Abel-Jacobi map using the KLM integral formula ([22] §5.4). If the leading term is O(log|t|) the admissibility hypothesis is confirmed for a nontrivial example; if a t^{-1} or non-log term appears, Theorem 4.2's pole bound is violated for a cycle family to which the theorem is meant to apply.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 3.2 explicitly flags the gap: for n=0 admissibility of ν_Z is proved in [31] Prop. 5.28 and [15] Prop. III.B.4, but 'the case n>0 seems to be more like a folklore: see [5] p.658 for a brief argument.' The proof of Theorem 4.2 depends on this at the key step: 'Now the admissibility of ν_Z tells us that δν_Z extends holomorphically over S^+ as a section of H^1 K_{S^+}(log D_S).' Only from that extension does the pole bound of order i follow via (4.6). For the cycle families in the theorem, n = 3−g is 2 (g=1), 1 (g=2), or 0 (g=3). So the advertised bounded-singularity statement rests on an unproved folklore claim for n>0. If the Abel-Jacobi invariant has worse than logarithmic growth (e.g., a t^{-1} term or an essential singularity) along the boundary, δν_Z would not lie in the log complex, and f_Z^(i) would not be a meromorphic Siegel modular form with the stated pole order. The paper neither reproduces the argument in [5] nor checks its hypotheses for the cycles considered.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs, for g≤3 and an étale cover S→U of a Zariski open set U in a Siegel modular variety A_Γ, a meromorphic Siegel modular form f_Z^(i) of weight Sym^{4i}⊗det^{-i} from the primitive infinitesimal invariant of a family of higher Chow cycles of type (2,3−g). Theorem 4.2 asserts that this form is holomorphic on U and has at most a pole of order i along the complement of U; Theorem 6.2 asserts compatibility with the Siegel operator under rank-one degeneration via the K-theory elevator. Sections 2 and 3 set up automorphic vector bundles, higher Chow cycles, and normal functions; Section 4 gives the construction and proof of Theorem 4.2; Sections 5–8 develop the meromorphic Siegel operator, the degeneration setup, and the comparison proving Theorem 6.2.","tokens_in":26136,"tokens_out":11700,"duration_ms":113139,"significance":"If correct, the paper establishes a concrete bridge from higher Chow cycles to vector-valued Siegel modular forms in low genus, producing meromorphic forms with controlled poles from cycle-theoretic data and proving a functoriality statement under degeneration. The construction is direct and explicit, with checkable representation-theoretic computations (Lemma 4.1), a self-contained treatment of the meromorphic Siegel operator (§5.3), and no fitting of constants or circular dependence on the target modular forms. The main theorems, however, rest on two inputs that are not fully proved in the manuscript: the admissibility of normal functions for n>0, explicitly labeled folklore in §3.2, and a list of structural assumptions on the partial toroidal compactification in §6.1. These gaps are load-bearing, so the central results are not yet established in full generality.","major_comments":[{"comment":"The pole bound in Theorem 4.2 depends on the assertion that admissibility of ν_Z implies δν_Z extends holomorphically over S^+ as a section of H^1K_{S^+}(log D_S). For the cycle types used here, n=3−g is 2 for g=1 and 1 for g=2. The paper itself states in §3.2 that admissibility for n>0 is only folklore, citing [5] p.658 with a brief argument, and no proof or verification of the hypotheses of that argument is supplied. Since this is the only step yielding the meromorphic extension and pole order i, and also the cusp holomorphicity in the g=1 case, Theorem 4.2 is incomplete for g=1,2 as written. A complete proof of admissibility for higher Chow cycles of type (2,n) with n>0, or a fully stated reference with all hypotheses checked, is required.","section":"§3.2 and proof of Theorem 4.2 (passage after (4.6))"},{"comment":"Theorem 6.2 is conditional on structural assumptions (1)–(5) on the partial toroidal compactification: projective smoothness properties, irreducibility of singular fibers, the description of the product locus eA_I, and dominance with finite fibers of ϕ_0:eA_I→A_I. The text states that these are assumed and are satisfied for the examples in [19], but they are not proved for the modular groups and cusps in the general setting of Theorem 4.2. Moreover, the proof of Theorem 6.2 assumes that no divisor component of A_Γ−U contains the cusp A_I in its closure (needed for regularity at I in the sense of Definition 5.4). These hypotheses are not verified for the cycle families considered. Thus the functoriality statement is a theorem under explicit additional hypotheses, not the unconditional claim suggested by the abstract and Theorem 1.2.","section":"§6.1, assumptions (1)–(5), and §6.3"}],"minor_comments":[{"comment":"The proof of Lemma 4.11 shows that the set of possible values of ν_Z^+|_V at each very general point is countable, but a holomorphic section of a nonconstant family of complex tori is not determined by its value at a single point. As written, the conclusion that there are only countably many sections does not follow; this affects Proposition 4.10, although it is not needed for the main theorems.","section":"§4.4, Lemma 4.11"},{"comment":"The phrase 'We assume −1<Γ throughout' appears to be a typo for '−1∉Γ' or '−1 is not contained in Γ', since the intended hypothesis is that the arithmetic group does not contain −1.","section":"§2.1"},{"comment":"The line bundle L appearing in the description of the singular fiber A=P(O_B⊕L) conflicts with the Hodge line bundle L used throughout the paper; a different notation, such as N or M, would avoid confusion.","section":"§6.1"},{"comment":"In the reduction to a neighborhood of a general point p of eA_I, the argument implicitly assumes that the étale cover is trivial over the chosen neighborhood; this should be stated explicitly, e.g., by shrinking to a simply connected analytic neighborhood.","section":"§8.3"}],"recommendation":"major_revision","confidential_remarks":"The main obstacle is not circularity or fitting but missing support for the admissibility input. Given the author's evident command of the surrounding machinery and the existence of the cited argument in [5], it is plausible that a complete proof can be supplied; however, until it is written down and the structural assumptions in §6.1 are either proved or clearly delineated as hypotheses, the paper's headline theorems remain conditional."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Ma has a real result here, though it is somewhat thinner than the abstract implies. What is genuinely new: the identification H^1 K_g ≅ Sym^4 E ⊗ L^{-1} for g ≤ 3 (Lemma 4.1) and the construction of meromorphic Siegel modular forms by taking elementary symmetric polynomials of the infinitesimal invariant over an étale cover. The degeneration theorem — Siegel operator matches the K-theory elevator — is also new, and the comparison in Section 7 is explicit and checkable. The paper is honest about its own limitations, which counts for something. The soft spots are real and in proportion. First, the pole-order bound in Theorem 4.2 depends on admissibility of the normal function for n = 3−g > 0, i.e. the g = 1 and g = 2 cases. Section 3.2 flatly says this is folklore, citing a brief argument in [5]. The proof then uses it as a black box: admissibility tells us δν_Z extends holomorphically over the log complex. Without a proof or a precise reference, the bounded-singularity statement is conditional. For g = 3, n = 0, admissibility is proved, so that case is solid. I do not think this is fatal — admissibility of geometric higher normal functions is widely believed and quite possibly follows from Saito's theory — but a referee should push for a written argument. Second, Theorem 6.2 is explicitly conditional on structural assumptions (1)–(5) about the partial toroidal compactification and on the limit formula of [11], and it only treats irreducible degeneration. That is a legitimate way to state a theorem, and the paper says so, but it is not full functoriality in the generality the abstract suggests. The 'up to constant' in Theorem 6.2 is also not ideal: the constant is not identified. The citation pattern is clean. The self-citations [23] and [24] are auxiliary tools, not the target result, so there is no circularity. The remarks on Nori's vanishing, rigidity, and countability of the modular forms are appropriate framing. Who is this for: people working at the interface of algebraic cycles and modular forms. It connects two literatures with an explicit and mostly elementary bridge. I agree with the reader's conditional verdict. The paper deserves a serious referee, with a clear request to fill or precisely delegate the admissibility gap and to state the scope of Theorem 6.2 more carefully in the abstract.","headline":"A new and mostly checkable bridge from higher Chow cycles to meromorphic Siegel modular forms in genus at most 3, with two honest but real conditions: admissibility for n>0 is folklore, and the degeneration theorem is stated under explicit structural assumptions.","tokens_in":740,"tokens_out":879,"would_cite":true,"duration_ms":42358,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11F46","14C25","14C30","14K10"],"pacs":[],"model":"deepseek-v4-flash","headline":"Higher Chow cycles of type (2,3−g) on abelian varieties of dimension at most 3 yield meromorphic Siegel modular forms, and the K-theory elevator matches the Siegel operator at the boundary.","keywords":["higher Chow cycles","Siegel modular forms","infinitesimal invariant","normal functions","K-theory elevator","Siegel operator","abelian varieties","Koszul cohomology"],"falsifier":"Compute a concrete family of higher Chow cycles, for example the explicit genus-2 families constructed from the K-theory elevator in [8], and check whether their normal function is admissible at a maximal cusp; non-logarithmic growth or non-unipotent monodromy would make $f_Z^{(i)}$ non-meromorphic and contradict Theorem 4.2. Alternatively, for a family where both sides are computable, verify the identity $\\Phi_I f_Z^{(i)} = c \\cdot f_{Z_I}^{(i)}$ with a nonzero constant $c$; if the two sides differ or the constant vanishes while both forms are nonzero, Theorem 6.2 is false.","tokens_in":25615,"feed_emoji":"🔗","tokens_out":16738,"duration_ms":131449,"temperature":0.7,"pith_summary":"This paper builds a bridge between algebraic cycles and automorphic forms: for abelian varieties of dimension $g \\le 3$, families of higher Chow cycles—higher-dimensional analogues of cycles living in a cube rather than in the variety itself—produce meromorphic vector-valued Siegel modular forms. The primitive infinitesimal invariant of such a cycle family is shown to occupy the automorphic bundle $\\mathrm{Sym}^4 E \\otimes L^{-1}$; after pulling back along an étale cover and taking elementary symmetric polynomials over its fibers, one obtains a modular form $f_Z^{(i)}$ of weight $\\mathrm{Sym}^{4i} \\otimes \\det^{-i}$ that is holomorphic over the open part and has at most a pole of order $i$ along the boundary. The paper's main functoriality result is that this construction commutes with degeneration: the K-theory elevator, which shifts a cycle to the next cube dimension on a lower-dimensional abelian variety, corresponds exactly to the Siegel operator on the modular form, up to constant. If the construction is correct, nontrivial cycles of this type cannot be extended across boundary divisors when $g \\ge 2$, because no holomorphic forms of that weight exist; only countably many modular forms arise this way, making the cycle-produced forms a rigid and select class.","feed_headline":"Higher Chow cycles become Siegel modular forms","feed_subtitle":"For abelian varieties of dimension at most 3, with boundary degeneration matching the Siegel operator.","key_machinery":"The load-bearing mechanism is the primitive Koszul complex $K_g = K^{2,g-2}_{\\mathrm{prim}}$ of the universal family of abelian varieties, together with Lemma 4.1, which identifies its middle cohomology with $\\mathrm{Sym}^4 E \\otimes L^{-1}$. The normal function of the cycle family—its family of Abel–Jacobi images—is differentiated with the Gauss–Manin connection to give the infinitesimal invariant $\\delta\\nu_Z$, which therefore takes values in this automorphic bundle. Elementary symmetric polynomials along the étale-cover fibers, followed by projection to $\\mathrm{Sym}^{4i}$, convert it into a modular form; the pole bound comes from the logarithmic extension of the Koszul complex and the admissibility of the normal function. For Theorem 6.2, the partial toroidal compactification puts the Siegel operator and the K-theory elevator—the degeneration operation that raises the cube dimension by one—on a common boundary, and the limit formula for normal functions identifies the two.","core_discovery":"In the paper's own terms, the primitive part of the infinitesimal invariant of a family of higher Chow cycles of type $(2,3-g)$ on the universal abelian variety over a Siegel modular variety of genus $g \\le 3$ is a section of $\\mathrm{Sym}^4 E \\otimes L^{-1}$. Symmetrizing this section along the fibers of an étale cover and projecting to $\\mathrm{Sym}^{4i}$ produces a meromorphic Siegel modular form $f_Z^{(i)}$ of weight $\\mathrm{Sym}^{4i} \\otimes \\det^{-i}$, holomorphic over the open part and with at most a pole of order $i$ along the complement; when $g=1$ the form is holomorphic at the cusps. The second central claim is the boundary compatibility: for a maximal cusp $A_I$, the Siegel operator $\\Phi_I$ applied to $f_Z^{(i)}$ equals, up to constant, the form $f_{Z_I}^{(i)}$ attached to the K-theory elevator $Z_I$ of $Z$ on the $(g-1)$-dimensional abelian variety. Thus the correspondence between cycles and modular forms is compatible with rank-one degeneration.","pith_inferences":["Editorial inference: the same mechanism should apply to higher Fourier–Jacobi coefficients of $f_Z$, producing Jacobi forms whose cycle-theoretic counterpart would be a derivative of the degenerating cycle family; the paper explicitly raises this as an open direction.","Editorial inference: iterating the K-theory elevator along a chain of cusps should commute with iterated Siegel operators, so a full tower of cycles would correspond to a full Fourier–Jacobi expansion; this is not proved in the paper.","Editorial inference: the proportionality constant in Theorem 6.2 is left unspecified; computing it for a concrete genus-2 family from [8] would yield a numerical invariant that may encode self-intersection data of the degenerate fiber.","Editorial inference: the pole-order bound suggests that residues of $f_Z$ along boundary divisors could define vector-valued forms on lower-dimensional modular loci with a cycle-theoretic meaning, offering a testable way to detect boundary cycles."],"forward_implications":["For $g \\ge 2$, a nonzero primitive infinitesimal invariant forces $f_Z$ to have a pole, so the underlying cycle family cannot extend across any divisor of $A_\\Gamma$; this is a direct obstruction from the modular-form side.","The top symmetric power $f_Z^{(d)}$ does not vanish whenever $\\delta\\nu_Z^+$ is nonzero on an étale cover of degree $d$, so the construction detects nontrivial cycles without cancellation.","Boundary values of $f_Z$ under the Siegel operator are governed by the K-theory elevator: the form attached to the lifted cycle on the $(g-1)$-dimensional base equals $\\Phi_I f_Z$, giving a cycle-theoretic interpretation of the 0-th Fourier–Jacobi coefficient.","Only countably many Siegel modular forms are obtainable from cycle families in this way, so the map from cycles to forms is far from surjective and carries strong rigidity information.","When $g=1$, the construction yields classical holomorphic elliptic modular forms of weight 3 from $(2,2)$-cycles on elliptic curves."],"supporting_citations":[{"why":"Supplies the partial toroidal compactification used to compare the Siegel operator with the K-theory elevator at the boundary.","marker":"[1]"},{"why":"Defines higher Chow cycles and their regulators, the objects at the center of the construction.","marker":"[3]"},{"why":"Supplies the cited folklore argument for admissibility and logarithmic growth of normal functions of higher cycles, on which the pole bound in Theorem 4.2 rests.","marker":"[5]"},{"why":"Provides the first explicit higher Chow cycles obtained by the K-theory elevator in genus 2 and 1, the motivating examples.","marker":"[8]"},{"why":"Introduces the K-theory elevator and its limit formula for normal functions, which proves Theorem 6.2.","marker":"[11]"},{"why":"Supplies the background on vector-valued Siegel modular forms and the classical Siegel operator.","marker":"[13]"},{"why":"Develops normal functions, admissibility, and infinitesimal invariants; its logarithmic-growth criterion underpins Theorem 4.2.","marker":"[14]"},{"why":"Gives the Abel–Jacobi map and integral formula for higher Chow groups used in the degeneration argument.","marker":"[22]"},{"why":"Reformulates the Siegel operator on automorphic vector bundles at the level of partial toroidal compactification, used in Section 5.","marker":"[24]"},{"why":"Provides the calculation showing the relevant Koszul cohomology is nonvanishing only in the treated cases, justifying the scope.","marker":"[28]"}],"fun_headline_variants":["Higher Chow cycles yield Siegel modular forms","Infinitesimal invariant to meromorphic Siegel form","K-theory elevator matches Siegel operator","Weight Sym^4 det^-1 Siegel forms from cycles","Abelian varieties: cycles to modular forms"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction assumes the Abel–Jacobi invariant of the higher cycle family grows at most logarithmically near the boundary; the paper relies on a folklore admissibility result for higher cycles, citing a brief argument, and if that fails the meromorphic extension of the modular form would not follow.","fun_headline_variants_meta":{"raw":{"variants":["Higher Chow cycles yield Siegel modular forms","Infinitesimal invariant to meromorphic Siegel form","K-theory elevator matches Siegel operator","Weight Sym^4 det^-1 Siegel forms from cycles","Abelian varieties: cycles to modular forms"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000533,"raw_usage":{"total_tokens":2515,"prompt_tokens":846,"completion_tokens":1669,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":462,"completion_tokens_details":{"reasoning_tokens":1600}},"tokens_in":462,"tokens_out":1669,"duration_ms":13423,"temperature":1.0,"reasoning_tokens":1600,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T23:27:55.482694+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute a concrete family of higher Chow cycles, for example the explicit genus-2 families constructed from the K-theory elevator in [8], and check whether their normal function is admissible at a maximal cusp; non-logarithmic growth or non-unipotent monodromy would make $f_Z^{(i)}$ non-meromorphic and contradict Theorem 4.2. Alternatively, for a family where both sides are computable, verify the identity $\\Phi_I f_Z^{(i)} = c \\cdot f_{Z_I}^{(i)}$ with a nonzero constant $c$; if the two sides differ or the constant vanishes while both forms are nonzero, Theorem 6.2 is false.","supporting_citations":[{"cited_title":"Cambridge","cited_arxiv_id":null,"evidence_quote":"Supplies the partial toroidal compactification used to compare the Siegel operator with the K-theory elevator at the boundary."},{"cited_title":"in Math.61(1986), no.3, 267– 304","cited_arxiv_id":null,"evidence_quote":"Defines higher Chow cycles and their regulators, the objects at the center of the construction."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the cited folklore argument for admissibility and logarithmic growth of normal functions of higher cycles, on which the pole bound in Theorem 4.2 rests."},{"cited_title":"Algebraic Geom.6(1997), no.3, 393–415","cited_arxiv_id":null,"evidence_quote":"Provides the first explicit higher Chow cycles obtained by the K-theory elevator in genus 2 and 1, the motivating examples."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the K-theory elevator and its limit formula for normal functions, which proves Theorem 6.2."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Develops normal functions, admissibility, and infinitesimal invariants; its logarithmic-growth criterion underpins Theorem 4.2."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the Abel–Jacobi map and integral formula for higher Chow groups used in the degeneration argument."},{"cited_title":"Siegel operators for holomorphic differential forms","cited_arxiv_id":"2409.04315","evidence_quote":"Reformulates the Siegel operator on automorphic vector bundles at the level of partial toroidal compactification, used in Section 5."},{"cited_title":"Math.111 (1993), 349–373","cited_arxiv_id":null,"evidence_quote":"Provides the calculation showing the relevant Koszul cohomology is nonvanishing only in the treated cases, justifying the scope."}],"review_version":1}