{"id":"ca3f8c97-447e-42b9-884b-f20b02cefd20","arxiv_id":"2506.07420","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The sharped Witten orientation produces explicit p-adic moment sequences whose integrality gives Kummer congruences for derivatives of the Weierstrass elliptic function.","lead":"This paper derives new p-adic congruence relations among iterated derivatives of the Weierstrass elliptic function. It obtains them by computing the moments of certain sharped orientations in elliptic cohomology, a method that connects homotopy theory to number theory.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The sharped Witten neper calculation in §3.2 appears to substitute the Todd relation y = -log(1-t) where Definition 2.11 requires exp_Wit(y) = t, which would invalidate the explicit Main Theorem A formulas.","rationale":"The reader's weakest assumption was the unproven E∞ structure on the Witten orientation, which is a legitimate proof gap. However, the more load-bearing issue is internal to the explicit formula derivation: the sharp construction's defining relation exp_Wit(y) = γ appears to be replaced by the Todd relation y = -log(1-t). If true, this is not merely a missing proof step but a substitution that changes the resulting series, so Main Theorem A's displayed formulas are not established as the moments of the sharped Witten orientation. The paper's figures may still show congruences for the displayed series, but that would not rescue the topological argument; it would only show the formulas happen to satisfy Kummer congruences. A concrete first-order-in-q comparison would settle whether the substitution is harmless, and if it is harmless, the paper's conditional acceptance should stand. Given the absence of this calculation, the verdict should remain CONDITIONAL, with the condition now being the correct derivation of the sharped Witten nepers rather than only the E∞ extension.","tokens_in":16219,"tokens_out":41418,"duration_ms":441653,"concrete_test":"Solve exp_Wit(y) = t to first order in q, with t as in Example 2.14, and recompute the coefficient of x^2/2! in log(x/exp_Wit^♯(x)) = log(x/exp_Wit(x)) + log(exp_Wit(x+y)/exp_Wit(y)). Compare the q-linear terms of this coefficient with the q-linear terms of the paper's M2 formula in Main Theorem A. If they differ, the displayed formulas are not the moments of the sharped Witten orientation. This can be checked by hand or with a computer algebra system using the product expansion of exp_Wit.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"In Definition 2.11, the sharp construction for an orientation ω fixes y by exp_ω(y) = γ, so in degree zero t = βγ must equal exp_Wit(y). The proof of Main Theorem A instead sets y = -log(1-t), i.e. t = 1-e^{-y}. These are compatible only when the infinite product in exp_Wit is trivial, i.e. at q = 0. Since exp_Wit(y) = (1-e^{-y}) ∏_{j≥1} (1-e^{-y}q^j)(1-e^{y}q^j)/(1-q^j)^2, the substitution changes the location of the pole of ℘ and all q-dependent coefficients. Example 2.14's ψ_p(t) = 1-(1-t)^p indicates t is the multiplicative/Todd coordinate, not the value of the Witten exponential at y. Consequently, the expansion in §3.2 producing ℘_q(log(1-t)/(-2πi)) and the moment formulas in Main Theorem A are not the moments of the sharped Witten orientation as defined. This is a concrete gap in the central calculation, independent of the E∞ issue in Remark 2.21: even granting an E∞ structure, the displayed formulas do not follow without a correct identification of y.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims two p-adic moment-sequence theorems. Main Theorem B gives explicit moments for the sharped Todd orientation in terms of finite differences and the element t, while Main Theorem A gives explicit moments for the sharped Witten orientation, expressed through differences of the second Eisenstein series and iterated derivatives of the Weierstrass elliptic function evaluated at q and q^p. The proofs combine the sharp construction of Ando–French–Ganter, the recent E-infinity orientation theorem of Carmeli–Luecke, and the Ando–Hopkins–Rezk theorem that E-infinity orientations of K(1)-local rings produce p-adic moment sequences. The paper is written as a short application note, with the main computational work in Sections 3.1 and 3.2.","tokens_in":16507,"tokens_out":9085,"duration_ms":78756,"significance":"If the two main theorems are correct, this is an attractive new application of E-infinity orientation theory to concrete p-adic congruences, and the explicit formulas give elliptic-function witnesses to Kummer congruences that are not obviously accessible by elementary means. The paper is clearly organized, and the computational parts for the Todd sharp orientation in Section 3.1 are convincing. The paper also profits from stating precise moment formulas rather than only existence statements, and the accompanying tables provide useful empirical confirmation. However, the proof of the main Witten sharp calculation currently rests on two load-bearing inputs that are either identified incorrectly or asserted without proof: the coordinate identification in Section 3.2 and the E-infinity structure on the Witten orientation in Remark 2.21. Both must be addressed before the central claim can be regarded as established.","major_comments":[{"comment":"At the beginning of Section 3 the authors set 2πiα = y = −log(1−t), i.e. t = 1−e^{−y}. Definition 2.11, however, defines the sharped exponential from an element y satisfying exp_ω(y) = γ. For ω = ω_Wit, after the degree-zero normalization t = βγ this condition reads t = (1−e^{−y})∏_{j≥1}(1−e^{−y}q^j)(1−e^{y}q^j)/(1−q^j)^2, not t = 1−e^{−y}. The expansion in the proof of Main Theorem A of log(exp_Wit(x+y)/exp_Wit(y)) in terms of ℘_q(log(1−t)/(−2πi)) is therefore not the logarithm associated to the sharped Witten orientation as defined, unless the infinite product is 1 in ZJqK((t))^∧_p. The authors need either to use the y that actually solves exp_Wit(y) = γ and recompute the moments, or to prove that the product factor is trivial in the relevant completed ring. Because the explicit formulas in Main Theorem A are the central claim, this gap is load-bearing.","section":"§3.2, Definition 2.11"},{"comment":"Remark 2.21 asserts that ω_Wit: MU → (KU^Tate)^∧_p admits an E-infinity structure by changing the target in [AHR, Proposition 10.10] or by obstruction theory, but no proof or reference is supplied. Theorem 2.18, which is the source of the moment-sequence property, requires an E-infinity orientation. The cited Proposition 10.10 is stated for an MU⟨6⟩-orientation, and the passage from MU⟨6⟩ to MU together with the target replacement needs argument. Please supply a complete proof or a precise citation that covers the Witten orientation itself.","section":"Remark 2.21"}],"minor_comments":[{"comment":"The text says 'cf. Theorem 2.4' but the intended reference is Example 2.4, where the additive orientation is discussed.","section":"Definition 2.6"},{"comment":"Several cross-references are to the wrong numbered item: 'Theorem 2.7' should be 'Example 2.7', 'Theorem 2.11' should be 'Definition 2.11', and in the proof of Main Theorem A 'Theorem 2.2' should be 'Example 2.2' and 'Theorem 3.3' should be 'Lemma 3.3'.","section":"§3.1 and §3.2"},{"comment":"The caption of Figure 4 repeats the sentence 'Congruences here relate the colored digits across different tables rather than within columns.'","section":"Figure 4"},{"comment":"The large table of binary expansions at the top of the paper is not referenced in the text, and the figure captions refer to colors that are not described for grayscale printing; please add a pointer and a color description.","section":"Title figure and figures"}],"recommendation":"major_revision","confidential_remarks":"The paper's central idea is appealing and likely repairable, but the current version should not be accepted as is. The coordinate mismatch in Section 3.2 is the main technical risk because it may change the q-dependence of the explicit moment formulas in Main Theorem A. If the authors can supply the missing justifications, the paper would be a nice contribution to the interface of homotopy theory and p-adic number theory."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The thing to know: the central calculation for Main Theorem A conflates the Todd and Witten logarithms. Definition 2.11 fixes y by exp_Wit(y) = γ, i.e. exp_Wit(y) = β^{-1} t. The proof instead sets y = -log(1-t), which solves exp_Td(y) = t. These agree only when the infinite product in exp_Wit is trivial, i.e. at q = 0. Since exp_Wit(y) = β^{-1}(1-e^{-y}) ∏_{j≥1} (1-e^{-y}q^j)(1-e^{y}q^j)/(1-q^j)^2, the substitution changes the location of the pole of ℘ and all q-dependent coefficients. So the expansion in §3.2 leading to ℘_q(log(1-t)/(-2πi)) and the moment formulas in Main Theorem A does not follow from Definition 2.11. This is a load-bearing gap, not a cosmetic one.\n\nWhat the paper does well: the strategy is sensible—use CL25's theorem that sharping preserves E∞, then run the AHR machine backwards. The Todd case (Main Theorem B) is worked carefully; the neper calculation and the finite-difference formula are transparent, and I don't see an error there. The exposition is clear, and the paper is honest that it is largely an application of existing work. The congruence tables are a nice visualization.\n\nThe soft spots, in proportion: the y issue is the big one; it affects every term in Main Theorem A. Separately, Remark 2.21 asserts the E∞ structure on the Witten orientation follows by changing the target ring in AHR's Proposition 10.10; that is plausible but under-documented. The moment calculation for Main Theorem A is also omitted—\"the moments are then calculated\"—which is hard to verify, especially given the y problem. The reader's concern about circularity is not justified; the central claim is not circular.\n\nWho this is for: number theorists interested in p-adic measures and elliptic functions, and homotopy theorists working on complex orientations. The Todd part is a nice explicit computation, but the advertised novelty is the Witten part, and it is currently broken.\n\nRecommendation: send it to a serious referee. The mistake is concrete and fixable in principle—one would need to redo the expansion with the true Witten-logarithm y(t), and the formulas would likely change. If corrected, it could be a solid contribution. As it stands, I would not rely on Main Theorem A.","headline":"The Witten♯ moment formulas rest on a wrong identification of y; the Todd case is fine, but Main Theorem A is unsupported as written.","tokens_in":17005,"tokens_out":8456,"would_cite":false,"duration_ms":79900,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11F33","11F85","55N22","55N34","11G07"],"pacs":[],"model":"deepseek-v4-flash","headline":"Weierstrass derivatives obey p-adic Kummer congruences.","keywords":["p-adic moment sequences","Kummer congruences","Weierstrass elliptic function","Witten orientation","Tate K-theory","E-infinity orientations","elliptic cohomology","sharp construction"],"falsifier":"Pick $p=3$ and $c=1+p=4$, take $n=1$ and $n=3$ in the Main Theorem A formulas, and test the moment identity forced by $(r^3-r)/3$: $M_3^{Wit\\sharp}\\equiv M_1^{Wit\\sharp}\\pmod 3$ in $\\mathbb{Z}JqK((t))^{\\wedge}_3$. Checking this against the displayed expansions to any fixed degree is finite, and one failed coefficient would disprove the theorem.","tokens_in":16016,"feed_emoji":"🔢","tokens_out":11591,"duration_ms":119924,"temperature":0.7,"pith_summary":"This paper proves that explicit combinations of the Weierstrass elliptic function, its iterated derivatives, and the second Eisenstein series form a p-adic moment sequence, hence satisfy the Kummer congruences attached to integer-valued polynomials on p-adic units. The argument runs a known homotopy-theoretic machine in reverse: rather than deriving E-infinity orientations from congruences, the authors start from recently established E-infinity orientations of Tate fixed-point spectra and read off the congruences those orientations force. Main Theorem A records closed formulas for the sequence terms, and Main Theorem B isolates the polar part as a separate Todd-orientation computation. The construction gives new p-adic integrality relations among elliptic functions, with explicit coefficients that a number theorist can test directly.","feed_headline":"Weierstrass derivatives obey p-adic Kummer congruences","feed_subtitle":"Explicit formulas make iterated ℘-derivatives into a p-adic moment sequence, with congruences for every unit c.","key_machinery":"The decisive objects are the sharp construction and the neper-moment formalism. Starting from an orientation $\\omega\\colon MU\\to R$ with coordinate $\\xi$ and formal group law $+_F$, the sharped orientation $\\omega^\\sharp\\colon MU\\to R^{tT}$ is the one with coordinate $\\xi^\\sharp=\\xi\\gamma/(\\xi+_F\\gamma)$, where $\\gamma$ is the inverted local parameter on the Tate fixed-point spectrum $R^{tT}$. The paper computes the associated sharped exponential $\\exp_{\\omega^\\sharp}(x)$ in terms of the Witten exponential, which is encoded by the Weierstrass $\\sigma$-function, and extracts the nepers $N_n^\\omega$ from $\\log(x/\\exp_\\omega(x))$. The moments $M_n^\\omega=(1-c^n)(\\mathrm{id}-\\psi_p/p)(N_n^\\omega)$ are then p-adically integral by the moment theorem of [AHR], and unwinding the formulas gives the elliptic-function expressions of Main Theorem A. The same machinery with the Todd orientation supplies Main Theorem B.","core_discovery":"Main Theorem A asserts that for any $c\\in\\mathbb{Z}_p^\\times\\setminus\\{\\pm 1\\}$ there is a p-adic moment sequence valued in $\\mathbb{Z}JqK((t))^{\\wedge}_p$ whose terms, for $n\\ge 1$, are exactly the displayed combinations of $(1-c^n)$, the difference $G_2(q)-pG_2(q^p)$ of second Eisenstein series, and differences of iterated derivatives $\\wp_q^{(n-2)}$ evaluated at $\\log(1-t)/(-2\\pi i)$ and at $p\\log(1-t)/(-2\\pi i)$, with the $n=1$ and $n=2$ terms carrying extra logarithmic and Eisenstein contributions. A p-adic moment sequence is a sequence $M_n$ with the property that for every rational polynomial $f(r)=\\sum_n a_n r^n$ taking $\\mathbb{Z}_p^\\times$ into $\\mathbb{Z}_p$, the sum $\\sum_n a_nM_n$ is integrally valued in the coefficient ring; this packages a family of Kummer congruences, for instance $M_p\\equiv M_1\\pmod p$. The proof computes the nepers of the sharped Witten orientation, applies the operation $\\mathrm{id}-\\psi_p/p$, and invokes the general theorem that an $\\mathbb{E}_\\infty$ orientation of a $K(1)$-local ring produces a p-adic moment sequence from its moments.","pith_inferences":["A direct p-adic proof may be possible: since the formulas are explicit, one could try to verify the Kummer congruences by q-expansion manipulations alone, which would decouple the number-theoretic conclusion from the homotopy-theoretic input.","The object behind Main Theorem A is likely a p-adic measure valued in Jacobi forms; identifying it with the construction of [Sof97] would connect the sharped elliptic genus to existing p-adic interpolation of Jacobi forms.","Applying the same moment computation to the $\\sigma$-orientation of tmf would test whether the congruences persist in spectra with torsion, where $KU^{Tate}$-valued invariants cannot see everything."],"forward_implications":["For every p-adically integer-valued test polynomial $f$, the combination $\\sum_n a_nM_n^{Wit\\sharp}$ lies in $\\mathbb{Z}JqK((t))^{\\wedge}_p$; in particular $M_p^{Wit\\sharp}\\equiv M_1^{Wit\\sharp}\\pmod p$ holds.","The terms of vanishing t-degree in Main Theorem A match the measure of [Kat77, Lemma 3.5.6], and the terms of vanishing q-degree match the measure of [Lan90, Section 4.3], so the new sequence contains these classical p-adic measures as special slices.","The Todd-orientation version in Main Theorem B produces a moment sequence built from iterated finite differences, recovering the classical Bernoulli-number moment sequence as the underlying Todd case.","Because the sharp construction preserves $\\mathbb{E}_\\infty$ structures, the same proof gives p-adic moment sequences from any other $\\mathbb{E}_\\infty$ orientation, including the string orientation of tmf and Morava $E$-theories."],"supporting_citations":[{"why":"Supplies the key input that the sharp construction sends E-infinity orientations to E-infinity orientations, making the Witten-sharp orientation E-infinity.","marker":"[CL25]"},{"why":"Supplies the reverse machine: an E-infinity orientation of a K(1)-local ring yields a p-adic moment sequence from its moments, and the cited source for the Witten orientation's E-infinity structure.","marker":"[AHR]"},{"why":"Supplies the definition of p-adic moment sequences and the measure whose vanishing t-degree terms match those of Main Theorem A.","marker":"[Kat77]"},{"why":"Supplies the Witten orientation coordinate as an infinite product, which the paper expands through the Weierstrass sigma-function.","marker":"[Zag88]"},{"why":"Supplies the sharp construction and the Jacobi orientation, the operation that produces the sharped orientations used in both Main Theorems.","marker":"[AFG08]"},{"why":"Supplies the standard product and derivative formulas for sigma, the Weierstrass function, and Eisenstein series used to convert the Witten exponential into the displayed formulas.","marker":"[Sil94]"}],"fun_headline_variants":["Homotopy theory proves ℘-derivative p-adic congruences","E∞ orientations give Kummer congruences for Weierstrass","Reverse cohomology machine yields ℘-derivative congruences","p-adic congruences from iterated Weierstrass derivatives"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything hinges on the assertion that the Witten orientation can be promoted to a strictly commutative, E-infinity map of spectra; the paper cites a similar case in [AHR] but gives no proof for this exact promotion, and the congruence conclusion needs it.","fun_headline_variants_meta":{"raw":{"variants":["Homotopy theory proves ℘-derivative p-adic congruences","E∞ orientations give Kummer congruences for Weierstrass","Reverse cohomology machine yields ℘-derivative congruences","p-adic congruences from iterated Weierstrass derivatives"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000693,"raw_usage":{"total_tokens":3145,"prompt_tokens":964,"completion_tokens":2181,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":580,"completion_tokens_details":{"reasoning_tokens":2104}},"tokens_in":580,"tokens_out":2181,"duration_ms":19743,"temperature":1.0,"reasoning_tokens":2104,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T05:35:25.749887+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Pick $p=3$ and $c=1+p=4$, take $n=1$ and $n=3$ in the Main Theorem A formulas, and test the moment identity forced by $(r^3-r)/3$: $M_3^{Wit\\sharp}\\equiv M_1^{Wit\\sharp}\\pmod 3$ in $\\mathbb{Z}JqK((t))^{\\wedge}_3$. Checking this against the displayed expansions to any fixed degree is finite, and one failed coefficient would disprove the theorem.","supporting_citations":[],"review_version":1}