REVIEW 3 major objections 6 minor 31 references
Congruences in Hermitian Jacobi and Hermitian modular forms
T0 review · 3 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read For Hermitian Jacobi forms over Q(i), the mod p image under the U(p) operator is encoded exactly in the filtration of a single heat iterate.
desk verdict A competent extension of the mod p Jacobi-form program to Hermitian forms, with a clean new isomorphism; the key heat-operator theorem is misstated and the freeness transfer needs verification, but the flaws are fixable. 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 load-bearing objects are the heat operator $L_m=-(1/\pi^2)(2\pi i m\,\partial_\tau-\partial_{z_1}\partial_{z_2})$, its iterates forming the heat cycle $L_m(\varphi),\ldots,L_m^{p-1}(\varphi)$, and the filtration $\Omega(\varphi)$, the least weight in which $\varphi$ appears modulo $p$. The key fact is Theorem 3.3: applying the heat operator raises $\Omega$ by $p+1$, with equality unless $p$ divides $(\Omega(\varphi)-1)m$. This is proved by writing Hermitian Jacobi forms in terms of the free module basis supplied by Corollary 3.6, which itself comes from the isomorphism of Theorem 2.3 and the freeness of matrix-index Jacobi forms. The U(p) operator connects to the heat cycle because $\varphi|U(p)\equiv 0\pmod p$ exactly when $L_m^{p-1}(\varphi)\equiv\varphi\pmod p$; the filtration constraints then force the exact values in Theorem 4.3.
What would settle it
Take $p=5$, $m=5$, $k=4$, and any Hermitian Jacobi form $\varphi$ that is nonzero mod $5$; compute $\varphi|U(5)$ mod $5$ and $\Omega(L_5^3(\varphi))$ (since $p+2-k=3$). The theorem predicts $\Omega=10$ if $\varphi|U(5)$ survives and $\Omega=6$ if it vanishes; a single computation matching neither value would refute the dichotomy, and independently, checking whether an integral free basis exists for index $5$ directly tests the transferred freeness assumption.
Extended reading notes
Core claim
The paper's central claim is that U(p)-annihilation in Hermitian Jacobi forms is visible in the heat cycle. Concretely, Theorem 4.3 states that under the hypotheses above, the filtration of the $(p+2-k)$-th heat iterate has one of two exact values according as $\varphi|U(p)$ survives mod $p$. The proof route is a new isomorphism (Theorem 2.3) between the space of Jacobi forms on $\Gamma_1(O)$ and the space of matrix-index Jacobi forms with index matrix $B=\mathrm{diag}(m,m)$; this transfers structural facts about freeness and coefficient reduction mod $p$ from matrix-index Jacobi forms. A filtration-jump theorem for the heat operator (Theorem 3.3) then controls how $\Omega$ changes through the $p-1$ iterates of the heat cycle, and a counting argument with high and low points forces the two displayed values. For Ramanujan-type congruences, the paper proves an equivalence with a congruence between two heat iterates, and derives a non-existence theorem: when $L_m(\varphi)$ is nonzero mod $p$, $p>k$, and $p\neq 2k-3$, no such congruence exists. Symmetric Hermitian modular forms of degree 2 inherit the same statements through their Fourier-Jacobi expansion.
Load-bearing premise
All the filtration theorems rest on Corollary 3.6: the module of Hermitian Jacobi forms of index $m$ over the ring of elliptic modular forms is free of rank $4m^2$ with a basis of integral forms, so reduction modulo $p$ is unique; this is imported from matrix-index Jacobi forms via the new isomorphism, and the required hypotheses are not verified for indices $m$ divisible by $p$.
Editorial extensions
If this is right
- For every Hermitian Jacobi form in the stated range, computing $\Omega(L_m^{p+2-k}(\varphi))$ decides whether $\varphi|U(p)$ vanishes mod $p$, so U(p) congruences become checkable from finitely many Fourier coefficients.
- The heat cycle of a nonzero form has either one or two low points, and no filtration in the cycle is congruent to 2 mod $p$; these structural constraints will constrain any future mod $p$ theory of Hermitian Jacobi forms.
- A Hermitian Jacobi form with $L_m(\varphi)\not\equiv 0\pmod p$, $p>k$, and $p\neq 2k-3$ has no Ramanujan-type congruence at any nonzero $b$ mod $p$; the only possible exceptional weight is $k=(p+3)/2$.
- For symmetric Hermitian modular forms of degree 2 satisfying a mild nonvanishing Fourier-coefficient condition, the same U(p) dichotomy and the same Ramanujan-type criterion hold, so the Hermitian Jacobi results transfer to Hermitian modular forms.
Reading between the lines
- The index-raising construction used in the examples suggests that a U(p) congruence for index 1 can be transferred to higher indices by twisting with $\rho\in O$; this could be systematized into a general index-raising congruence theorem.
- If the transferred freeness assumption holds for all indices, the same filtration formula should hold verbatim when $p$ divides $m$; a direct check for $p=5,m=5$ would either close the gap or reveal a genuinely different mod $p$ structure.
- The non-existence theorem leaves $p=2k-3$ as the only possible Ramanujan-type regime; the paper's tables suggest a classification of all such congruences at that borderline weight is within reach.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper develops a mod p theory for Hermitian Jacobi forms over Q(i) of arbitrary index m, and applies it to U(p) congruences and Ramanujan-type congruences for Hermitian Jacobi forms and degree-2 Hermitian modular forms. The main technical tool is an isomorphism (Theorem 2.3) between the space J^1_{k,m}(Γ_1(O)) of Jacobi forms on the Hermitian Jacobi group and the space J_{k,B}(Γ_2) of matrix-index Jacobi forms with B = diag(m,m). This isomorphism transfers the Raum–Richter freeness theorem for matrix-index Jacobi forms to J^1_{*,m}(Γ_1(O), Z_(p)) (Corollary 3.6). Using this freeness, the authors prove a Swinnerton-Dyer type theorem (Theorem 3.1), a heat-operator filtration theorem (Theorem 3.3), and then a precise formula (Theorem 4.3) for the filtration of the (p+2−k)-th heat iterate: if φ is a nonzero mod p Hermitian Jacobi form of weight k < p, index m with p ∤ m, then Ω(L^{p+2−k}_m(φ)) equals 2p+4−k or p+5−k according as φ | U(p) is nonzero or zero mod p. They also prove a non-existence theorem for Ramanujan-type congruences (Theorem 4.7). The second half of the paper transfers these results to symmetric Hermitian modular forms of degree 2: a filtration result for the heat operator (Proposition 7.7), a U(p) characterization (Theorem 8.2), and a Ramanujan-type non-existence theorem (Theorem 8.4), with SAGE-supported examples.
Significance. If the main theorems are correct, the paper provides a substantial generalization of earlier work of Richter and Senadheera for index 1 to arbitrary index, and the explicit filtration formula in Theorem 4.3 is a sharp, falsifiable prediction: it identifies U(p)-annihilation from a single filtration value. The isomorphism in Theorem 2.3 is elegant and likely to be useful beyond this paper. The examples are verified by explicit SAGE computations rather than numerical fits. The main caveats are that the entire Hermitian Jacobi theory rests on an unverified transfer of the Raum–Richter freeness theorem (Corollary 3.6), and that the Hermitian modular form results depend on an unproved filtration criterion (Corollary 7.3). These are gaps in verification and presentation, not obvious contradictions, and they are fixable.
major comments (3)
- [§3, Lemma 3.4/3.5 and Corollary 3.6] The freeness of J^1_{*,m}(Γ_1(O), Z_(p)) as a module over M_*(SL_2(Z), Z_(p)) of rank 4m², with an integral basis and unique mod p coefficient reduction, is quoted as a particular case of [22, Thm 2.8, Prop 2.11, Thm 2.14]. The paper does not state the hypotheses of those results and does not verify them for B = diag(m,m). In particular, the index form m(x²+y²) becomes degenerate modulo p when p | m, and Corollary 3.6 is stated for all m while Proposition 3.7 and Theorem 3.3 use it without a p ∤ m restriction. Since Theorem 3.3 is the foundation of Theorem 4.3, this is a load-bearing unverified step. Please state the exact hypotheses of [22] and check them for B = diag(m,m), or restrict the statements to p ∤ m and adjust the main theorems accordingly; alternatively, give a direct proof of freeness in the Hermitian setting.
- [§7, Corollary 7.3] The criterion ℧(F) < k if and only if \bar B divides \bar P_F is asserted with the proof omitted as 'similar to [17, Theorem 7.5(i)]'. This corollary is used essentially in Lemma 7.4 and Proposition 7.7, so it is load-bearing for the Hermitian modular form results. A full proof, or a precise statement of the hypotheses under which the elliptic modular form argument transfers to this polynomial-ring setting, should be provided.
- [§8, Theorem 8.2] After establishing the existence of m with p ∤ m and Ω(φ_m) = ℧(F), the proof is concluded by 'using Proposition 7.7 and following a similar argument as in the proof of Theorem 4.3'. This omits the key point that for a Hermitian modular form F, ℧(D^j(F)) is the supremum of Ω(L^j_m(φ_m)) over all Fourier–Jacobi components m, and one must show that the chosen component φ_m continues to control ℧(D^j(F)) for every j in the heat cycle, including at the drop where other components could in principle contribute. Please supply the induction in detail.
minor comments (6)
- [§8, proof of Theorem 8.2] The reference to 'Theorem 7.7' should be 'Proposition 7.7'.
- [§8, statement of Theorem 8.2] There is an extra parenthesis in '℧(D^{p+2−k}(F )))'.
- [§4 and §5] The notation L^{p+1/2}_m appears without parentheses; it should be L^{(p+1)/2}_m. This occurs in several places, including the statement and proof of Proposition 4.5 and Theorem 5.1.
- [§5.2, Proposition 5.2] The Sturm bound η(k,m) is asserted to hold in characteristic p with the comment that Das's proof goes through; since this is used to verify the examples, please provide a proof or a precise reference that covers the characteristic p case. Also, the letter p is used both for the prime and for the primes dividing 4m in the product, which is confusing.
- [§4, Lemma 4.1] The wording 'the low point is L^j_m(φ)' is slightly confusing because low points are defined as L^{i+1}_m(φ) after a high point L^i_m(φ); it should clarify that L^j_m(φ) is the representative of the low point in the periodic heat cycle.
- [§5.1] In the examples, the prime is not fixed when writing φ^+_{4,1} ∈ HJ^+_{4,1}(Γ_J(O), Z_(p)); each example should specify the prime being considered.
Circularity Check
No circularity found: the derivation chain is a linear transfer of external freeness and filtration theorems, with no fitted parameter or self-citation used as a load-bearing premise.
full rationale
The paper's central chain runs from the explicit isomorphism in Theorem 2.3, through the transfer of the Raum–Richter freeness results (Lemmas 3.4 and 3.5, cited from an external paper) to Corollary 3.6, then to the heat-operator filtration results (Proposition 3.7, Theorem 3.3) and finally to the U(p) and Ramanujan-type congruence theorems (Theorems 4.3, 4.7, 8.2, 8.4). Each step is either a direct computation or an application of an externally cited theorem, and no parameter is fitted to a subset of data and then renamed as a prediction. The equivalence φ|U(p) ≡ 0 mod p iff L^{p−1}_m(φ) ≡ φ mod p is a direct coefficient-level identity, not an input disguised as an output. The paper also cites its own prior work nowhere in a load-bearing way; the cited sources are by other authors (Raum–Richter, Richter–Senadheera, Kikuta–Nagaoka, Swinnerton-Dyer, Das). The fact that some auxiliary results are quoted without proof—such as Proposition 5.2 and Corollary 7.3—is an omitted-proof/correctness concern, not a circularity concern. One possible risk is whether the hypotheses of the Raum–Richter freeness theorems are satisfied for B = diag(m, m) in all ranges of m, but that is a question of validity of the external theorem's application, not of circularity. The examples in Section 5 and Section 9 are exact SAGE-based computations and do not reverse-engineer the theorems. Therefore the paper is self-contained against external benchmarks in the sense relevant to circularity, and its score is 0.
Assumptions & free parameters
assumptions (9)
- domain assumption Standard theory of Hermitian Jacobi forms over Q(i) and of classical and matrix-index Jacobi forms, including transformation laws, Fourier expansions, and cusp conditions.
- standard math Eisenstein series congruences E_{p-1} = 1 (mod p) and E_{p+1} = E_2 (mod p) for primes p >= 5.
- domain assumption Raum-Richter structure theory: J_{*,B}(Gamma_2, Z_(p)) is free of rank 4m^2 over M_*(SL_2(Z), Z_(p)) with an integral basis, and coefficient reduction mod p is unique ([22, Thm 2.8, Prop 2.11, Thm 2.14]).
- domain assumption Raum-Richter Proposition 2.6: for Jacobi forms of fixed index, a mod p sum splits into weight classes modulo p-1.
- standard math Swinnerton-Dyer's filtration theory for elliptic modular forms mod p ([30, Theorem 2, Lemma 5]), including maximal filtration of f E_2.
- domain assumption Kikuta-Nagaoka structure theory for symmetric Hermitian modular forms mod p: the ring is Z_(p)[H4,H6,chi8,F10,F12], the polynomial B-1 is irreducible, and the theta operator D maps mod p to cusp forms of weight k+p+1 ([14, 15]).
- domain assumption Theorem 6.3: the symmetric Hermitian modular forms H4, H6, chi8, F10, F12 are algebraically independent generators over C.
- ad hoc to paper Sturm bound for Hermitian Jacobi forms mod p (Proposition 5.2), asserted with 'the proof of Das [4, Prop 6.2] will go through in characteristic p'; no proof is given.
- ad hoc to paper Corollary 7.3 (filtration drops iff B divides the representing polynomial), with proof omitted as 'similar to [17, Theorem 7.5(i)]'.
Cite this review
Pith. "Pith review of Congruences in Hermitian Jacobi and Hermitian modular forms." pith.science (2026). https://pith.science/paper/HLPFCBAK
@misc{pith2026190805980,
author = {Pith},
title = {Pith review of: Congruences in Hermitian Jacobi and Hermitian modular forms},
year = {2026},
howpublished = {\url{https://pith.science/paper/HLPFCBAK}},
note = {Machine review of arXiv:1908.05980}
}
abstract
In this paper we first prove an isomorphism between certain spaces of Jacobi forms. Using this isomorphism, we study the mod $p$ theory of Hermitian Jacobi forms over $\mathbb{Q}(i)$. We then apply the mod $p$ theory of Hermitian Jacobi forms to characterize $U(p)$ congruences and to study Ramanujan-type congruences for Hermitian Jacobi forms and Hermitian modular forms of degree $2$ over $\mathbb{Q}(i)$.
Reference graph
Works this paper leans on
-
[22]
M. Raum and O. K. Richter, The structure of Siegel modular forms modulo p and U (p) congruences, Math. Res. Lett. 22 (2015), 899–928
work page 2015
-
[1]
S. Ahlgren and K. Ono, Arithmetic of singular moduli and class polynomials , Compos. Math. 141 (2005), 293–312
work page 2005
-
[2]
D. Choi, Y. Choie and O. K. Richter, Congruences for Siegel modular forms , Ann. Inst. Fourier (Grenoble) 61 (2011), 1455–1466
work page 2011
- [3]
-
[4]
Das, Some aspects of Hermitian Jacobi forms , Arch
S. Das, Some aspects of Hermitian Jacobi forms , Arch. Math. (Basel) 95 (2010), 423–437
work page 2010
-
[5]
Dewar, On the non-existence of simple congruences for quotients of Eisenstein series , Acta Arith
M. Dewar, On the non-existence of simple congruences for quotients of Eisenstein series , Acta Arith. 145 (2010), 33–41
work page 2010
-
[6]
Dewar, Non-existence of Ramanujan congruences in modular forms of level four , Canad
M. Dewar, Non-existence of Ramanujan congruences in modular forms of level four , Canad. J. Math. 63 (2011), 1284–1306
work page 2011
-
[7]
M. Dewar and O. K. Richter, Ramanujan congruences for Siegel modular forms , Int. J. Number Theory 6 (2010), 1677–1687
work page 2010
Show all 31 references
-
[8]
Eichler and D
M. Eichler and D. Zagier, The theory of Jacobi forms , Progress in Mathematics 55. Birkh¨ auser Boston, Inc., Boston, MA, 1985
1985
-
[9]
Elkies, K
N. Elkies, K. Ono and T. Yang, Reduction of CM elliptic curves and modular function congru ences, Int. Math. Res. Not. (2005), 2695–2707. CERTAIN CONGRUENCES 31
2005
-
[10]
Guerzhoy, On U (p)-congruences, Proc
P. Guerzhoy, On U (p)-congruences, Proc. Amer. Math. Soc. 135 (2007), 2743–2746
2007
-
[11]
Haverkamp, Hermitesche Jacobiformen , Schriftenreihe Math
K. Haverkamp, Hermitesche Jacobiformen , Schriftenreihe Math. Inst. Univ. M¨ unster 3 (1995)
1995
-
[12]
Jochnowitz, A study of the local components of the Hecke algebra mod l, Trans
N. Jochnowitz, A study of the local components of the Hecke algebra mod l, Trans. Amer. Math. Soc. 270 (1982), 253–267
1982
-
[13]
Kikuta, Congruences for Hermitian modular forms of degree 2, J
T. Kikuta, Congruences for Hermitian modular forms of degree 2, J. Number Theory 131 (2011), 1461–1469
2011
-
[14]
Kikuta and S
T. Kikuta and S. Nagaoka, On Hermitian modular forms mod p, J. Math. Soc. Japan 63 (2011), 211–238
2011
-
[15]
Kikuta and S
T. Kikuta and S. Nagaoka, On the theta operator for Hermitian modular forms of degree 2, Abh. Math. Semin. Univ. Hambg. 87 (2017), 145–163
2017
-
[16]
Krieg, The Maass spaces on the Hermitian half-space of degree 2, Math
A. Krieg, The Maass spaces on the Hermitian half-space of degree 2, Math. Ann., 289 (1991), 663–681
1991
-
[17]
Lang, Introduction to modular forms, Springer-Verl ag, Berlin-New York, 1976
S. Lang, Introduction to modular forms, Springer-Verl ag, Berlin-New York, 1976
1976
-
[18]
Martin and J
J. Martin and J. Senadheera, Differential operators for Hermitian Jacobi forms and Hermitian modular forms, Ramanujan J. 42 (2017), 443–451
2017
-
[19]
Nagaoka, Note on mod p Siegel modular forms , Math
S. Nagaoka, Note on mod p Siegel modular forms , Math. Z. 235 (2000), 405–420
2000
-
[20]
Ono, The web of modularity: Arithmetic of the coefficients of modul ar forms and q-series , CBMS Regional Conference Series in Mathematics 102
K. Ono, The web of modularity: Arithmetic of the coefficients of modul ar forms and q-series , CBMS Regional Conference Series in Mathematics 102. Published for the Conference Board of the Mathematical Sci ences, Washington, DC; by the American Mathematical Society, Prov idence,...
2004
-
[21]
Raghavan and J
S. Raghavan and J. Sengupta, A Dirihlet series for Hermitian modular forms of degree 2, Acta Arith. 58 (1991), 181–201
1991
-
[23]
O. K. Richter, On congruences of Jacobi forms , Proc. Amer. Math. Soc. 136 (2008), 2729–2734
2008
-
[24]
O. K. Richter, The action of the heat operator on Jacobi forms , Proc. Amer. Math. Soc. 137 (2009), 869–875
2009
-
[25]
O. K. Richter and J. Senadheera, Hermitian Jacobi forms and U (p) congruences, Proc. Amer. Math. Soc. 143 (2015), 4199–4210
2015
-
[26]
Senadheera, Hermitian Jacobi forms and congruences , Thesis (Ph.D.)–University of North Texas, 2014, 66 pp
J. Senadheera, Hermitian Jacobi forms and congruences , Thesis (Ph.D.)–University of North Texas, 2014, 66 pp. ISBN: 978-1339-12165-9
2014
-
[27]
J. -P. Serre, Formes modulaires et fonctions zˆ eta p-adiques, Modular functions of one variable, III (Proc. Internat. Summer School, Univ. Antwerp, 1972), pp. 191–268 . Lecture Notes in Math., Vol. 350, Springer, Berlin, 1973
1972
-
[28]
Sinick, Ramanujan congruences for a class of eta quotients , Int
J. Sinick, Ramanujan congruences for a class of eta quotients , Int. J. Number Theory 6 (2010), 835–847
2010
-
[29]
Sofer, p-adic aspects of Jacobi forms , J
A. Sofer, p-adic aspects of Jacobi forms , J. Number Theory 63 (1997), 191–202
1997
-
[30]
H. P. F. Swinnerton-Dyer, On l-adic representations and congruences for coefficients of mo dular forms, Modular functions of one variable, III (Proc. Internat. Summer Scho ol, Univ. Antwerp, 1972), pp. 1–55. Lecture Notes in Math., Vol. 350, Springer, Berlin, 1973
1972
-
[31]
Ziegler, Jacobi forms of higher degree , Abh
C. Ziegler, Jacobi forms of higher degree , Abh. Math. Sem. Univ. Hamburg 59 (1989), 191–224. (Jaban Meher) School of Mathematical Sciences, National Institute of Sci ence Education and Re- search, Bhubanesw ar, HBNI, P.O. Jatni, Khurda 752050, Odis ha, India. E-mail address :...
1989
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.