{"id":"19eb8d19-853f-454a-9562-049425a5d832","arxiv_id":"2607.09471","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.5,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Formal Abel relations exist in the formal group law of the Jacobian of a reduced plane curve of degree d in characteristic p, with explicit low-degree terms matching algebraic curves when p > d+2 and counterexamples when tangents are concurrent.","lead":"This working paper develops formal power-series Abel relations for plane curves over algebraically closed fields of characteristic p, linking them to formal group laws of (generalized) Jacobians. It prepares a characteristic-p converse of Abel's theorem relevant to web geometry and translation manifolds.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The manuscript is a working paper whose strongest claims (Theorems 3 and 4) are carefully delimited and supported by standard facts about Jacobians plus explicit power-series coefficient comparisons that remain valid under the normalization of Lemma 1. The reader's concern about that normalization is therefore not load-bearing for the statements actually proved. The incomplete status of the full converse and the reliance on a single computer-algebra verification for d=4 already justify the CONDITIONAL verdict; no further adjustment is required. The concrete test above simply reconfirms the only non-hand calculation that appears in the low-degree matching argument.","tokens_in":23940,"tokens_out":457,"duration_ms":4947,"concrete_test":"Independently recompute the ideal membership claimed after (14) for the six generators of (13)+(14) inside the ring of the A_i,n and a_i,n (char 0 or p>6) using any computer-algebra system other than Maple; if the ideal equality fails, the identification X_max_6 = C_6 collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest_assumption (that the strict isomorphism of Lemma 1/Theorem 5 may fail to preserve the low-degree Abel equations) does not land as a load-bearing concern. Lemma 1 constructs a strict isomorphism f ≡ id mod deg 2 that truncates cleanly to G ≡ X+Y mod deg p; because the Abel equations of Theorem 4 are extracted only through total degree d+2 < p, the isomorphism acts as the identity on those coefficients. The subsequent extraction of the Cartier-Manin matrix (Proposition 1) and the explicit d=4 Gröbner-basis verification therefore remain valid under the normalization. The existence statement of Theorem 3 rests on standard Jacobian theory (Milne) that holds over any algebraically closed field, and the counter-examples of §8 are presented as such rather than as hidden failures of the main claims. No internal inconsistency or unsupported step appears in the central low-degree matching argument.","agreement_with_reader":"disagree"},"referee_report":{"model":"grok-4.5","summary":"The paper studies formal Abel relations for reduced plane curves of degree d over algebraically closed fields of characteristic p. Theorem 3 asserts that the formal branches Ci of such a curve admit maps ti into the formal group law G of the (generalized) Jacobian so that the G-sum of the ti(xi(u,v)) vanishes identically, with the pull-backs of invariant differentials recovering a basis of dualizing differentials. Theorem 4 shows that when p>d+2 the degree-(d+2) truncation of a maximal Abel relation already forces the branches to arise from an algebraic curve of degree d; the argument is carried out in detail for d=4 via explicit coefficient equations and a Gröbner-basis comparison, and sketched for general d. Subsequent sections describe the first appearance of formal-group corrections at degree p (via the Cartier–Manin matrix), give concrete examples for ordinary, superspecial and intermediate genus-3 curves over F7, exhibit non-uniqueness of the maps ti coming from p-power operations, and construct counter-examples to a naïve converse when the tangent lines are concurrent.","tokens_in":24177,"tokens_out":910,"duration_ms":10021,"significance":"If the low-degree matching of Theorem 4 extends cleanly to a full characteristic-p converse of Abel’s theorem, the work would complete a programme begun in the author’s 1980 thesis and supply the missing algebraic ingredient for a characteristic-p version of the Lie–Wirtinger theorem and related results in web geometry. The paper already contributes a careful formal-group analysis of Abel relations, an explicit link between the degree-p terms and the Cartier–Manin matrix, and a collection of worked examples that illustrate the range of possible formal Jacobian structures. These ingredients are of independent interest for the arithmetic geometry of curves and their Jacobians.","major_comments":[{"comment":"Theorem 4 is stated for general d≥4, yet the only complete verification is the d=4 Gröbner-basis computation that equates the ideal of Abel coefficients of total degree ≤5 with the ideal of algebraic Reiss-type relations (13)–(14). The phrase “mutatis mutandis” does not supply the corresponding elimination for higher d; either a uniform argument (e.g., via generating functions or the Lagrange reversion formula) or an explicit statement that the general case is deferred is needed before the identification X_max_{d+2}=C_{d+2} can be regarded as proved.","section":null},{"comment":"The counter-examples of §8 (deformations y=ai,0+x^q with concurrent tangents) show that a naïve converse fails, but the manuscript never formulates the precise additional hypotheses under which a converse is expected to hold. Without such a statement the reader cannot judge how much of the classical converse survives in characteristic p, nor how the subsequent paper is intended to close the gap.","section":null}],"minor_comments":[{"comment":"The abstract and introduction repeatedly call the manuscript a “working paper”; for journal submission this language should be removed and the relation to the announced sequel clarified.","section":null},{"comment":"Lemma 2.1 of the author’s earlier paper [10] is cited for the coefficient patterns of xi(u,v), yet a missing term of weight 4 is noted; a self-contained statement of the corrected formulae would improve readability.","section":null},{"comment":"In the ordinary-curve example of §6 the Newton polygon is described as having only slopes 0 and 1, but the intermediate points (2,1) and (5,2) are said to “lie above” the relevant segments; a short clarification of the convex-hull construction would avoid confusion.","section":null},{"comment":"Several typographical inconsistencies appear (e.g., “Grifffiths”, “charact´eristique”, “Fa` a di Bruno”); a careful copy-edit is required.","section":null}],"recommendation":"major_revision","confidential_remarks":"The manuscript is explicitly preparatory for a sequel that will treat the full converse. While the formal-group material and the low-degree matching are solid, the incomplete general-d argument and the absence of a precise converse statement make the paper feel unfinished for a standard research journal. If the journal accepts “working papers” or notes, a lighter revision might suffice; otherwise the authors should either complete the general-d case or reframe the contribution more modestly."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"John Little’s working paper gives a clean formal-power-series translation of Abel relations for reduced plane curves of degree d over an algebraically closed field of characteristic p. The existence statement (Theorem 3) follows from standard Jacobian theory (Milne) that works in any characteristic: the formal branches Ci admit maps ti into the formal group law G of the (generalized) Jacobian so that the G-sum of the ti(xi(u,v)) vanishes identically. When p > d+2 the degree-(d+2) truncation already forces the branches to come from an algebraic curve of degree d (Theorem 4); the d=4 case is checked by direct Gröbner elimination and the general case is sketched by the same Vandermonde argument. The degree-p terms are identified with the Cartier–Manin matrix via the normal form of Theorem 5, and §8 supplies explicit concurrent-tangent counter-examples to a naïve converse. All of this is new relative to Griffiths and to Little’s own 1980/84 work.\n\nThe math is careful and the citations are appropriate (Hazewinkel, Stöhr–Voloch, Achter–Howe). The stress-test concern about the strict isomorphism of Lemma 1 does not land: the Abel equations of Theorem 4 live only through total degree d+2 < p, so the isomorphism acts as the identity on those coefficients. Soft spots are real but proportionate: the paper is explicitly a working paper whose ultimate converse and geometric applications are postponed; the general-d argument is only sketched; and the d=4 verification relies on computer algebra. None of these undermine the results that are actually proved.\n\nThis is for people who care about formal groups of Jacobians, Cartier operators, or the arithmetic side of web geometry. It deserves a serious referee. I would engage with it and would cite the low-degree matching and the counter-examples.","headline":"Solid formal-power-series infrastructure for Abel relations in char p, with clean low-degree matching and honest counterexamples; the full converse is deferred.","tokens_in":24735,"tokens_out":473,"would_cite":true,"duration_ms":5628,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14H40","14L05","14H05","14H20"],"pacs":[],"model":"grok-4.5","headline":"Formal Abel relations in characteristic p recover algebraic plane curves from low-degree power series on their branches.","keywords":["Abel theorem","formal group laws","Jacobians","characteristic p","Cartier operator","plane curves","web geometry","dualizing differentials"],"falsifier":"Exhibit four formal power series y=fi(x) in characteristic p>6 whose degree-6 Abel equations (with the normalized group law) are satisfied, yet the product (y-f1)\to(y-f4) is not a polynomial of total degree 4.","tokens_in":24830,"feed_emoji":"∫","tokens_out":988,"duration_ms":15872,"temperature":0.7,"pith_summary":"This working paper shows how Abel's classical addition laws on the intersections of a plane curve with nearby lines survive in characteristic p when rewritten in formal power series. The maps from the formal branches of the curve into the formal group law of its (generalized) Jacobian still sum to zero, and the pulled-back invariant differentials recover the usual Abelian (or dualizing) forms. For primes larger than the degree plus two, the equations coming from terms of total degree at most d+2 already force those formal branches to be the local expansions of a single algebraic curve of degree d. The same apparatus produces explicit examples of ordinary, superspecial and intermediate Jacobians, exhibits extra non-uniqueness of the maps coming from p-power periodicity, and isolates counter-examples to the unrestricted converse when the tangent lines are concurrent. The ultimate aim is a characteristic-p form of Griffiths' converse of Abel's theorem, usable for translation manifolds and web geometry.","feed_headline":"Formal Abel sums force algebraicity in char p","feed_subtitle":"Low-degree power-series identities already recover the plane curve when the prime is larger than the degree.","key_machinery":"The maximal formal Abel relation: the product, under the formal group law G of the Jacobian, of the maps ti evaluated on the power-series points of intersection with the pencil of lines x=uy+v is identically zero. Coefficient comparison of that identity, after normalizing G so that G(X,Y)≡X+Y mod degree p, produces the polynomial equations that characterize algebraic curves.","core_discovery":"For a reduced plane curve of degree d over an algebraically closed field of characteristic p, the formal branches admit maps into the formal group law of the (generalized) Jacobian whose group-law sum vanishes identically, and when p>d+2 the degree-(d+2) truncation of any maximal such relation already forces the branches to arise from an algebraic curve of degree d.","pith_inferences":["The same coefficient-matching technique should extend without change to the generalized Jacobian of a nodal or cuspidal curve, giving a purely formal characterization of dualizing differentials.","The counter-examples with concurrent tangents suggest that a correct converse statement must impose a non-concurrency (or transverse) hypothesis already visible in the degree-2 terms of the Abel relation.","Because the low-degree equations are defined over Z, reduction modulo p of a characteristic-0 Abel relation automatically yields a characteristic-p relation, furnishing a direct comparison between the two theories."],"forward_implications":["For p>d+2 the space of maximal formal Abel relations truncated at degree d+2 coincides with the space of algebraic plane curves of degree d.","The matrix of degree-p terms in the formal group law is precisely the Cartier–Manin matrix of the curve, linking Abel relations to the p-rank and a-number.","Formal Abel relations continue to exist for singular curves, now taking values in the formal group of the generalized Jacobian (products of additive and multiplicative factors).","Extra solutions generated by p-power maps on the coefficients yield infinitely many distinct maps ti giving the same formal Abel relation on a fixed set of branches.","A subsequent paper can complete the characteristic-p converse of Abel’s theorem needed for double-translation manifolds and web geometry."],"fun_headline_variants":["Low-degree formal Abel sums force algebraicity of plane curves in char p","Formal Jacobian sums recover degree-d curves when p exceeds d+2","Truncated Abel relations on formal branches imply algebraic plane curves","Maximal formal Abel identities detect reduced plane curves in large char p","Degree-(d+2) Abel truncations already force algebraicity for char p > d+2"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"The formal group law of the Jacobian can always be normalized so that it looks like ordinary vector addition until degree p; if that normalization distorts the low-degree Abel equations for some curves, the identification of truncated relations with algebraic curves fails.","fun_headline_variants_meta":{"raw":{"variants":["Low-degree formal Abel sums force algebraicity of plane curves in char p","Formal Jacobian sums recover degree-d curves when p exceeds d+2","Truncated Abel relations on formal branches imply algebraic plane curves","Maximal formal Abel identities detect reduced plane curves in large char p","Degree-(d+2) Abel truncations already force algebraicity for char p > d+2"]},"model":"grok-4.5","effort":"low","cost_usd":0.003952,"raw_usage":{"total_tokens":1146,"prompt_tokens":635,"num_sources_used":0,"completion_tokens":101,"cost_in_usd_ticks":39520000,"prompt_tokens_details":{"text_tokens":635,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":410,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":635,"tokens_out":101,"duration_ms":4790,"temperature":1.0,"reasoning_tokens":410,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-13T02:46:11.020970+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit four formal power series y=fi(x) in characteristic p>6 whose degree-6 Abel equations (with the normalized group law) are satisfied, yet the product (y-f1)\to(y-f4) is not a polynomial of total degree 4.","supporting_citations":[],"review_version":1}