REVIEW 2 major objections 3 minor 11 references
Integral magneticity of the level-two K3 packet: CM theta lifts and a 2-isogeny trace contraction
T0 review · 2 major / 3 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read 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.
desk verdict A clean proof of the level-two magneticity conjecture with denominator one; the remaining soft spots are minor algebraic reductions, not hidden assumptions. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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
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.
Extended reading notes
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
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.
Editorial extensions
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.
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.
Assumptions & free parameters
assumptions (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
-
[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
- [1]
-
[2]
K. Bönisch, C. Duhr, and S. Maggio,Some conjectures around magnetic modular forms, arXiv:2404.04085, 2024
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
Show all 11 references
-
[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
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.