REVIEW 2 major objections 3 minor 11 references
The paper proves that for every n≥1 the Fourier coefficients of three modular forms attached to a level-two K3 family satisfy n|c4(n), n^2|c6a(n), and n^2|c6b(n), i.e. denominator-one magneticity.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
The level-two K3 packet forms C4, C6a, C6b are integrally magnetic: n divides c4(n), and n^2 divides c6a(n) and c6b(n) for every n≥1.
T0 review reviewed 2026-08-01 challenge →
load-bearing objection A clean proof of the level-two magneticity conjecture with denominator one; the remaining soft spots are minor algebraic reductions, not hidden assumptions. the 2 major comments →
Integral magneticity of the level-two K3 packet: CM theta lifts and a 2-isogeny trace contraction
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
Core claim
The central claim is Theorem 1.1: for every n≥1, c4(n)/n, c6a(n)/n^2, and c6b(n)/n^2 are integers. Equivalently, the divided series D^{-1}C4, D^{-2}C6a, D^{-2}C6b all lie in q Z[[q]] with D=q d/dq. In weight four, a hypergeometric change of Hauptmodul turns the coefficient condition into a pairwise binomial divisibility that is proved by Legendre's formula. In weight six, the two forms are identified with canonical CM forms of discriminants -8 and -4; odd-prime divisibility follows from a higher-level theta-lift coefficient formula applied to explicit vector-valued forms of weight -3/2, while the prime 2 is handled by a U2-module contraction that gives a stronger slope than needed. The theor
What carries the argument
The main mechanisms are (1) the hypergeometric primitive: with x=t/(1+64t), the integral of C4 has derivative dP/dx = 2F1(1/4,3/4;1;64x)^2, which turns the integrality of c4(n) into the divisibility (r+s+1)|u_r u_s for binomial-type numbers u_m=(4m choose 2m)(2m choose m); and (2) for weight six the identification of C6a and C6b with F_{-8,0} and F_{-4,2}, two canonical CM forms of discriminants -8 and -4 obtained by specializing a higher-level theta lift. Odd-prime integrality then follows from a coefficient formula expressing n^{-2} times a coefficient as a finite sum over divisors s of n of s^3 a_j(s^2,s), where a_j(s^2,s) are coefficients of explicitly given vector-valued forms of weight
Load-bearing premise
For odd primes in weight six, the entire divisibility rests on the correctness of the specialized theta-lift coefficient formula, including its normalization factor of 2; if that formula's normalization were wrong, the constants in the CM identifications and the n^2 divisibility for odd n would shift.
What would settle it
Compute the Fourier coefficient c6b(7) from the q-series and test whether c6b(7)/49 is an integer; a single fractional quotient in any of the three families would refute the theorem's denominator-one claim.
If this is right
- The three level-two K3 forms are magnetic with global denominator one, a strictly stronger statement than the bounded-denominator conjecture.
- For odd n, the weight-six divisibility follows from the theta-lift formula alone; the 2-adic argument is only needed for powers of 2, and it gives slopes 5r rather than the required 2r.
- The U2 contraction applies to every f in Z2[[u]], so it is a general machine for controlling 2-adic denominators in this level-two family, not a check of two isolated series.
- The explicit vector-valued forms provide a concrete 2-integral input that isolates the entire odd-prime obstruction in weight six.
Where Pith is reading between the lines
- The separation of odd-prime and dyadic mechanisms suggests that denominator-one magneticity should hold for other packets where the same type of CM theta lift and the same U2 contraction apply; a testable next case is any level-two packet whose weight-six forms are rational functions of u=64t.
- The stronger dyadic slope 5r hints that a deeper congruence or a 2-adic modular form underlies the contraction, possibly a lift of the whole packet into a space where the trace is a multiplication by 32; one could test by computing the image of the contraction on several f and looking for a uniform 2-adic unit.
- The weight-four pairwise binomial divisibility may generalize to other hypergeometric K3 families: any family whose primitive reduces to a square of a 2F1 with parameters differing by 1/2 might satisfy the same (r+s+1)|u_r u_s pattern.
- The one non-elementary external input is the specialized theta-lift coefficient formula; re-deriving it directly for these two CM forms would make the proof self-contained and could explain the factor 2 that appears in front of the coefficients.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves denominator-one integrality ("magneticity") for the three level-two K3 modular forms C4, C6a, C6b introduced by Bönisch–Duhr–Maggio: for every n≥1, n | c4(n), n² | c6a(n), n² | c6b(n). The weight-four case is reduced by a hypergeometric change of Hauptmodul to a pairwise binomial divisibility lemma. For weight six, the two forms are identified with canonical level-two CM theta lifts: F_{-8,0}=-64C6a and F_{-4,2}=32C6b. Odd-prime divisibility then follows from an explicit pair of weight -3/2 vector-valued weakly holomorphic forms and the Löbrich–Schwagenscheidt coefficient formula. The prime 2 is handled by a U2-contraction theorem on the module Tt Z2[[u]], yielding slopes at least 5r per U2-iteration, which is stronger than the required slope 2r. The final integrality is obtained by intersecting Z[1/2] with Z2.
Significance. If correct, this settles and strengthens the BDMM magneticity conjecture for the full level-two packet, replacing bounded-denominator statements with exact denominator-one divisibility. The proof has several genuinely reusable features: an explicit negative-weight vector-valued input that isolates the odd-prime obstruction, a 2-isogeny trace contraction valid for every f ∈ Z2[[u]], and a clean separation of odd and dyadic mechanisms. The manuscript is also transparent: it states initial data, identifies its single non-elementary external coefficient identity, and provides an exact-arithmetic ancillary script with a SHA digest. These are real strengths. The main reservations are two localized but load-bearing gaps: the unproved algebraic identity (7.7) on which the entire dyadic argument rests, and the delicate normalization of the external theta-lift formula in Proposition 6.1, which carries the full odd-prime divisibility. Both are fixable, but they need to be addressed before the proof can be certified.
major comments (2)
- [§7, Eq. (7.7)] The dyadic contraction rests on the identity (J_i/J)^3 = (1-y_{1-i})(1+8y_i)/(1+u)^2, which is asserted after the words "A direct reduction". This identity is load-bearing: it is the only input to (7.8), and (7.8) is what produces the factor (y_i+u) in (7.9) and hence the U2 contraction (7.2). The ancillary script checks the identity through q^120, but a finite check cannot establish the infinite-family claim for all f ∈ Z2[[u]]. Please supply a complete derivation: either eliminate y_i from the quadratic relation and (7.6), or exhibit the calculation as a polynomial identity in u,y with a resultant or coefficient comparison.
- [§6, Prop. 6.1] All odd-prime divisibility for the weight-six forms depends on the coefficient formula 2c_F(n) = n² ∑_{s|n} s³ a_j(s²,s). The factor 2 on the left, caused by r ≡ -r in Z/4Z, is delicate, and the n=1 case is also used in Theorem 5.3 to determine the constants a and b in the rational forms (5.5)–(5.6). A normalization error in this specialization would propagate both into the CM identifications and into the n²|c6•(n) claim for odd n. As the manuscript itself notes in §9, this is the only non-elementary external coefficient identity used. Please provide a full specialization of [8, Prop. 6.1] with every parameter (N=2, k=3, D=ρ=1) and a derivation of the prefactor 2, or an independent check of the formula for several n directly from the definition (5.1).
minor comments (3)
- [§5, before Eq. (5.10)] The passage from Du = uJ to the leading coefficient -i/(16π³)(2a+b)(τ-α8)^{-3} uses D = q d/dq = (1/2πi) d/dτ, so the displayed factor is correct but not obvious. A one-sentence reminder would help the reader.
- [§4, after Eq. (4.11)] The proof that the last term in the N2 numerator is divisible by 3 in R uses E6E2 - E4² = 2DE6 and the fact that DE6 has coefficients divisible by 6. This is terse; spelling out the congruence or divisibility would remove a small hurdle.
- [§7, Eq. (7.4)] The derivation of the degree-two modular equation is compressed, especially the product identity t(x)t(-x) = -t(x²) and the Euler-identity reduction. A few more details would make this section self-contained.
Circularity Check
No significant circularity: the derivation rests on external theorems, explicit q-expansion computations, and no fitted parameters disguised as predictions.
full rationale
The paper’s central claims are proved from explicit modular identities, exact coefficient computations, and the external theta-lift coefficient formula of Löbrich–Schwagenscheidt [8, Prop. 6.1]. The constants in the CM identifications (Theorem 5.3) are determined by leading-term comparisons and the first-coefficient case of the same external formula, then the full divisibility follows from the full formula; this is a standard use of an external theorem, not a fit renamed as a prediction. The vector-valued forms P0 and P2 are constructed explicitly and their coefficients are computed exactly, including a0(1,1) = -640 and a2(1,1) = 64 in Lemma 4.2; they are not chosen to match the target divisibilities. The dyadic contraction (Theorem 7.1) is proved by an explicit degree-two modular equation and algebra in Z2[[u]], independently of the target forms. Section 9 candidly identifies the only non-elementary external input as [8, Prop. 6.1], with all specializations made explicit; this is an external benchmark, not a self-citation or a circular reduction. The finite numerical checks are explicitly labeled as proof-independent audits, not proof inputs. There are no self-citations, no uniqueness assertions imported from the present authors’ prior work, and no ansatz smuggled in by citation. Accordingly, the circularity score is 0.
Axiom & Free-Parameter Ledger
axioms (7)
- standard math Kummer's quadratic transformation and the hypergeometric identity (2.6)
- standard math Sturm bound theorem for modular forms on Γ0(2)
- domain assumption Eichler–Zagier structure theorem for weak Jacobi forms of weight 4 and index 2
- domain assumption Löbrich–Schwagenscheidt higher-level theta-lift coefficient formula [8, Prop 6.1]
- standard math Class number one for discriminants −8 and −4
- standard math Eta transformation law and Fricke involution for Γ0(2)
- standard math Ramanujan derivative identities for E2, E4, E6
Cite this review
Pith. "Pith review of Integral magneticity of the level-two K3 packet: CM theta lifts and a 2-isogeny trace contraction." pith.science (2026). https://pith.science/paper/NV4TCQ2E
@misc{pith2026260719427,
author = {Pith},
title = {Pith review of: Integral magneticity of the level-two K3 packet: CM theta lifts and a 2-isogeny trace contraction},
year = {2026},
howpublished = {\url{https://pith.science/paper/NV4TCQ2E}},
note = {Machine review of arXiv:2607.19427}
}
abstract
B\"onisch, Duhr, and Maggio introduced three meromorphic modular forms \(C_4,C_{6a},C_{6b}\) on \(\Gamma_0(2)\), arising from a hypergeometric K3 family, and conjectured that they are magnetic of depths \(1,2,2\). Writing \[ C_4=\sum_{n\ge1}c_4(n)q^n,\qquad C_{6a}=\sum_{n\ge1}c_{6a}(n)q^n,\qquad C_{6b}=\sum_{n\ge1}c_{6b}(n)q^n, \] we prove the stronger denominator-one statements \[ \frac{c_4(n)}n,\qquad \frac{c_{6a}(n)}{n^2},\qquad \frac{c_{6b}(n)}{n^2}\in\mathbb Z \qquad(n\ge1). \] The weight-four case is reduced to a termwise binomial divisibility by a hypergeometric change of Hauptmodul. For weight six we identify the two forms with canonical level-two CM forms of discriminants \(-8\) and \(-4\): \[ f_{3,-8,0,1,1}=-64C_{6a},\qquad f_{3,-4,2,1,1}=32C_{6b}. \] An explicit pair of vector-valued weakly holomorphic forms of weight \(-3/2\) then gives the full odd-prime divisibility through the higher-level theta-lift coefficient formula of L\"obrich--Schwagenscheidt. The prime \(2\) is treated independently. If \(t=(\eta(2\tau)/\eta(\tau))^{24}\), \(H=\eta(\tau)^4/\eta(2\tau)^2\), \(J=2E_2(2\tau)-E_2(\tau)\), \(u=64t\), and \(\mathcal T=H^4J\), we prove the infinite-family contraction \[ U_2\bigl(\mathcal Tt\,\mathbb Z_2[[u]]\bigr) \subseteq 2^5\mathcal Tt\,\mathbb Z_2[[u]]. \] Consequently \(v_2(c_{6\bullet}(2^rm))\ge5r\), which is stronger than the slope \(2r\) required for double magneticity. Thus the complete level-two K3 packet is magnetic with global denominator one.
Reference graph
Works this paper leans on
- [1]
-
[2]
K. Bönisch, C. Duhr, and S. Maggio,Some conjectures around magnetic modular forms, arXiv:2404.04085, 2024
Pith/arXiv arXiv 2024
-
[3]
J. M. Borwein and P. B. Borwein,Pi and the AGM, Wiley, New York, 1987
1987
-
[4]
Broadhurst and W
D. Broadhurst and W. Zudilin,A magnetic double integral, J. Aust. Math. Soc.107 (2019), no. 1, 9–25
2019
-
[5]
J. H. Bruinier,Borcherds products onO(2,l )and Chern classes of Heegner divisors, Lecture Notes in Math.1780, Springer, Berlin, 2002
2002
-
[6]
Eichler and D
M. Eichler and D. Zagier,The theory of Jacobi forms, Progress in Mathematics, vol. 55, Birkhäuser, Boston, 1985
1985
-
[7]
Li and M
Y. Li and M. Neururer,A magnetic modular form, Int. J. Number Theory15(2019), no. 4, 907–924
2019
-
[8]
Löbrich and M
S. Löbrich and M. Schwagenscheidt,Arithmetic properties of Fourier coefficients of meromorphic modular forms, Algebra Number Theory15(2021), no. 9, 2381–2401
2021
-
[9]
Ono,The web of modularity: arithmetic of the coefficients of modular forms and q-series, CBMS Regional Conference Series in Mathematics, vol
K. Ono,The web of modularity: arithmetic of the coefficients of modular forms and q-series, CBMS Regional Conference Series in Mathematics, vol. 102, American Mathematical Society, Providence, RI, 2004
2004
-
[10]
Paşol and W
V. Paşol and W. Zudilin,Magnetic (quasi-)modular forms, Nagoya Math. J.248 (2022), 849–864
2022
-
[11]
Sturm,On the congruence of modular forms, in: Number Theory (New York, 1984–1985), Lecture Notes in Math.1240, Springer, Berlin, 1987, 275–280
J. Sturm,On the congruence of modular forms, in: Number Theory (New York, 1984–1985), Lecture Notes in Math.1240, Springer, Berlin, 1987, 275–280. INTEGRAL MAGNETICITY OF THE LEVEL-TWO K3 PACKET 15 Haifa, Israel Email address:alex@shvets.io URL:https://shvets.io
1984
This paper was first reviewed by deepseek-v4-flash on August 1, 2026.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.