Elliptic curves and Fourier coefficients of meromorphic modular forms

Basic Information

• Paper ID: 2510.23200
• Title: Elliptic curves and Fourier coefficients of meromorphic modular forms
• Author: Pengcheng Zhang
• Classification: math.NT (Number Theory)
• Publication Date: October 27, 2025
• Paper Link: https://arxiv.org/abs/2510.23200

Abstract

This paper discusses several congruence relations satisfied by the coefficients of meromorphic modular forms, or equivalently, the $p$-adic properties of meromorphic modular forms under the $U_p$ operator. These congruence relations are derived from numerical experiments and connect meromorphic modular forms to symmetric powers of elliptic curves. The paper provides heuristic explanations for these congruences and proves some results using hypergeometric functions and Borcherds-Shimura lifting.

Research Background and Motivation

Research Problem

This paper investigates the $p$-adic properties of Fourier coefficients of meromorphic modular forms, particularly focusing on level 1 meromorphic modular forms with a unique pole at a non-cusp point. The specific form is: $A_1 \cdot \frac{g}{j-c} + A_2 \cdot \frac{g}{(j-c)^2} + \cdots + A_r \cdot \frac{g}{(j-c)^r}$ where $c \in \mathbb{Q}$ and $g \in \mathbb{Z}[[q]]$ is a level 1 holomorphic modular form.

Importance of the Problem

1. Arithmetic properties of modular form coefficients have been a central topic in modular form theory, but the vast majority of work has been limited to holomorphic or weakly holomorphic modular forms
2. This paper is the first to systematically study the $p$-adic properties of meromorphic modular forms, revealing deep connections with symmetric powers of elliptic curves
3. This connection is concretely manifested through Atkin-Swinnerton-Dyer (ASD) congruences, providing a new perspective for understanding the relationship between modular forms and elliptic curves

Limitations of Existing Methods

1. Research on magnetic modular forms (Li-Neururer, Paşol-Zudilin) has primarily focused on CM points
2. ASD congruences have mainly been studied in non-congruence modular forms and weakly holomorphic modular forms (Atkin-Swinnerton-Dyer, Scholl, Kazalicki-Scholl)
3. There is a lack of a systematic $p$-adic theoretical framework for general meromorphic modular forms

Research Motivation

Through numerical experiments, the author observed that meromorphic modular forms of weight $k$ of the form $\frac{E_k}{j-c}$ behave similarly to the $(k-2)$-th symmetric power $\text{Sym}^{k-2}C$ of an elliptic curve $C$ (satisfying $j(C)=c$). This observation motivated the systematic investigation in this paper.

Core Contributions

1. Established systematic connections between meromorphic modular forms and symmetric powers of elliptic curves:
   • Proposed that meromorphic modular forms of weight $k$ of the form $\frac{E_k}{j-j(C)}$ should correspond to $\text{Sym}^{k-2}C$
   • The action of the $U_p$ operator corresponds to the action of Frobenius
2. Proposed and partially proved multiple congruence conjectures:
   • Simple pole case (Theorem 5.1): For $k \in \{4,6,8,10,14\}$, proved $a_{n \cdot N(p)}(F_{k,C}) \equiv a_p(C)^{k-2}a_n(F_{k,C}) \pmod{p}$
   • Supercongruence in CM case (Theorem 4.7): Proved $a_{np^l}(G_{k,D}^{(k/2)}) \equiv \left(\left(\frac{D}{p}\right)p\right)^{\frac{k-2}{2}} a_{np^{l-1}}(G_{k,D}^{(k/2)}) \pmod{p^{(k-1)l}}$
3. Established connections with hypergeometric functions (Theorem 5.2): $a_p\left(\frac{E_4}{j-c}\right) \equiv \left(c(c-1728)\right)^{\frac{p-1}{2}} \cdot {}_3F_2\left[\begin{matrix}\frac{1}{2} & \frac{1}{6} & \frac{5}{6} \\ 1 & 1\end{matrix}; \frac{1728}{c}\right]_{p-1} \pmod{p}$
4. Proved magnetic properties (Theorem 6.1):
   • For any discriminant $D<0$, the constructed $\widetilde{G}_{k,D}$ is $\frac{k-2}{2}$-magnetic
   • That is, $n^{\frac{k-2}{2}} | a_n(\widetilde{G}_{k,D})$ for all $n \in \mathbb{Z}^+$
5. Provided a systematic heuristic explanation framework:
   • Through cohomological interpretation (work of Brown-Fonseca)
   • Through Hecke equivariance of Shimura lifting

Detailed Methodology

Task Definition

Study meromorphic modular forms of the form $F_{k,C} := \frac{E_k}{j-j(C)}$, where:

• Input: Elliptic curve $C/\mathbb{Q}$ (or over a number field), weight $k \in \{4,6,8,10,14\}$
• Output: $p$-adic congruence relations satisfied by Fourier coefficients $a_n(F_{k,C})$
• Constraints: $j(C) \notin \{0, 1728\}$, prime $p$ satisfies $v_p(j(C)) = 0 = v_p(j(C)-1728)$

Core Methodological Architecture

1. Hypergeometric Function Method (Section 5)

Key Idea: Transform modular form coefficients into truncated sums of hypergeometric series.

Steps:

1. Utilize Fricke-Klein identities: $E_4^{1/4} = {}_2F_1\left[\begin{matrix}\frac{1}{12} & \frac{5}{12} \\ 1\end{matrix}; \frac{1728}{j}\right]$
2. Apply Clausen formula: ${}_2F_1\left[\begin{matrix}\frac{1}{12} & \frac{5}{12} \\ 1\end{matrix}; t\right]^2 = {}_3F_2\left[\begin{matrix}\frac{1}{2} & \frac{1}{6} & \frac{5}{6} \\ 1 & 1\end{matrix}; t\right]$
3. Establish key congruence (Lemma 5.5): $P_{k,p^l}(j) \equiv g_{2-k}^{p^{l-1}} \pmod{p}$ where $g_{2-k} = E_{14-k}/\Delta$
4. Inductive proof: For all cases $k \in \{6,8,10,14\}$, reduce to the case $k=4$ (Lemma 5.8)

Innovation Points:

• First connection between hypergeometric congruences and the $U_p$ operator of modular forms
• Avoid direct computation of $q$-expansions through polynomial congruences

2. Borcherds-Shimura Lifting Method (Section 6)

Key Idea: Derive properties of integral weight modular forms through properties of half-integral weight preimages.

Theoretical Framework: For $2s \in \{4,6,8,10,14\}$, discriminant $d$, and fundamental discriminant $d_0$: $\left(S_{d_0}f_{s+1/2,|d|}\right)(z) = -(-1)^{\lfloor\frac{s-1}{2}\rfloor} |d|^{-s/2} |d_0|^{\frac{s-1}{2}} \text{Tr}_{d,d_0}\left((\partial_\tau^{s-1} G_{2s})(z,\tau)\right)$

Technical Route:

1. Analyze $U_p$ action (Lemma 6.4):
   • Construct sequence $\{g_i\}$ such that $g_{i+1} = \frac{1}{p^{2s-1}}(g_i|T_{p,s+1/2} - g_{i-1})$
   • Prove $g_i = f_{s+1/2,mp^{2i-2}}$
2. Hecke Equivariance: $S_{d_0}(f|T_{p^2,s+1/2}) = S_{d_0}(f)|T_{p,2s}$
3. Supercongruence Transfer (Proposition 6.5): $a_{np^l}(F_m) \equiv p^{s-1}\left(\frac{(-1)^{s-1}m}{p}\right) a_{np^{l-1}}(F_m) \pmod{p^{(2s-1)l}}$
4. Magnetic Property Proof (Proposition 6.7):
   • For $F = A^{s-1}S_{d_0}f_{s+1/2,m}$, prove $n^{s-1} | a_n(F)$
   • Key is determining the largest $A$ such that $A^2|m$

Innovation Points:

• Extended methods of Li-Neururer and Paşol-Zudilin to general discriminants
• Precisely characterized the order of divisibility by prime powers

Technical Innovation Points

1. Polynomial Perspective

Set $a_n(F_{k,c}) = P_{k,n}(c)$, where $P_{k,n} \in \mathbb{Z}[X]$. This allows:

• Transform $q$-series congruences to polynomial congruences
• Uniformly handle different elliptic curves

2. Iterative Analysis of Hecke Operators

Through recurrence relations: $a_{np^l}(F_{k,c}) \equiv a_p(F_{k,c})^{\frac{p^l-1}{p-1}} a_n(F_{k,c})^{p^l} \pmod{p}$ establish systematic connections between coefficients.

3. Decomposition in CM Case

Utilize decomposition of Galois representations: $\text{Res}_{K/\mathbb{Q}}(\text{Sym}^{k-2}C) \sim \bigoplus_{a+b=k-2} \psi_C^a \psi_C^b$ construct corresponding modular forms $G_{a,b}$ such that the modular form space decomposes accordingly.

Experimental Setup

Numerical Experimental Methods

The conjectures in the paper are primarily based on numerical verification:

1. Computational Tools: Use PARI/GP or SageMath to compute $q$-expansions of modular forms
2. Verification Range:
   • Primes $p$: typically verified up to $p \leq 100$
   • Coefficients $n$: verify first 1000-10000 terms
   • Powers $l$: verify $l \leq 3$ or $l \leq 5$
3. Test Cases:
   • Different discriminants: $D \in \{-7, -8, -11, -15, -19, \ldots\}$
   • Different weights: $k \in \{4, 6, 8, 10, 14\}$
   • Special points: $j(C) \in \{0, 1728\}$ and general $j$-invariants

Example Verification

Example 4.6 ($k=4, D=-7$): Elliptic curve $C: y^2 + xy = x^3 - x^2 - 2x - 1$ (LMFDB label 49.a4), $j(C) = -3375$

Constructed modular forms: $G_{4,-7}^{(1)} = \frac{E_4}{j+3375}$$G_{4,-7}^{(2)} = 19 \cdot \frac{E_4}{j+3375} - 91125 \cdot \frac{E_4}{(j+3375)^2}$

Verified congruence: For all primes $p$ satisfying $\left(\frac{-7}{p}\right)=1$ and all $n,l \in \mathbb{Z}^+$: $a_{np^l}(G_{4,-7}^{(2)}) \equiv p \cdot a_{np^{l-1}}(G_{4,-7}^{(2)}) \pmod{p^{3l}}$ and $G_{4,-7}^{(2)}$ is 1-magnetic.

Experimental Results

Main Theorems

Theorem 1.1 (Li-Neururer, Paşol-Zudilin)

$\frac{E_4}{j}$ and $\frac{E_4}{j-1728}$ are both 1-magnetic.

Theorem 1.2 (Proved in this paper)

For all primes $p \geq 5$ and all $n,l \in \mathbb{Z}^+$: $a_{np^l}\left(\frac{E_4}{j}\right) \equiv \left(\frac{-3}{p}\right) p \cdot a_{np^{l-1}}\left(\frac{E_4}{j}\right) \pmod{p^{3l}}$$a_{np^l}\left(\frac{E_4}{j-1728}\right) \equiv \left(\frac{-4}{p}\right) p \cdot a_{np^{l-1}}\left(\frac{E_4}{j-1728}\right) \pmod{p^{3l}}$

Theorem 1.3 (Proved in this paper, $k=4$ case)

Let $C/\mathbb{Q}$ be an elliptic curve with $j(C) \notin \{0,1728\}$, and let $p \geq 5$ be a good prime for $C$ with $v_p(j(C))=0=v_p(j(C)-1728)$. Then: $a_p\left(\frac{E_4}{j-j(C)}\right) \equiv a_p(C)^2 \pmod{p}$

Significance: The appearance of $a_p(C)^2$ suggests a connection to $\text{Sym}^2C$, since the Frobenius trace of $\text{Sym}^2C$ at $p$ is $a_p(C)^2 - p \equiv a_p(C)^2 \pmod{p}$.

Theorem 5.1 (Generalization to arbitrary number fields)

Let $k \in \{4,6,8,10,14\}$, $L$ a number field, $C/L$ an elliptic curve, and $p$ a good prime for $C$ with $p \nmid 6$ and $v_p(j(C))=0=v_p(j(C)-1728)$. Then for all $n \in \mathbb{Z}^+$: $a_{n \cdot N(p)}(F_{k,C}) \equiv a_p(C)^{k-2} a_n(F_{k,C}) \pmod{p}$

Theorem 6.1 (Magnetic properties and supercongruences)

Let $k \in \{4,6,8,10,14\}$ and $D<0$ be a discriminant. Then:

1. $G_{k,D}$ has a $q$-expansion with rational coefficients
2. Define $\widetilde{G}_{k,D}$ (multiplied by appropriate powers of $|D_0|$), then $\widetilde{G}_{k,D}$ is $\frac{k-2}{2}$-magnetic
3. For prime $p \nmid A$ (where $D=A^2D_0$) and all $n,l \in \mathbb{Z}^+$: $a_{np^l}(\widetilde{G}_{k,D}) \equiv \left(\left(\frac{D}{p}\right)p\right)^{\frac{k-2}{2}} a_{np^{l-1}}(\widetilde{G}_{k,D}) \pmod{p^{(k-1)l}}$

Main Conjectures

Conjecture 2.1 (General case of simple poles)

For $k \in \{4,6,8,10,14\}$, elliptic curve $C/\mathbb{Q}$, good prime $p$, and all $n \in \mathbb{Z}^+$: $a_{np}(F_{k,C}) \equiv a_p(C)^{k-2} a_n(F_{k,C}) \pmod{p}$

Note: This is Theorem 5.1 when $p \geq 5$.

Conjecture 2.3 (Supersingular case)

For supersingular primes $p$ (i.e., $a_p(C)=0$) and all $n,l \in \mathbb{Z}^+$: $a_{np^l}(F_{k,C}) \equiv p^{k-2} a_{np^{l-2}}(F_{k,C}) \pmod{p^{(k-1)l-1}}$

Conjecture 2.4 (Ordinary prime case)

For ordinary primes $p$ (i.e., $p \nmid a_p(C)$) and all $n,l \in \mathbb{Z}^+$: $a_{np^l}(F_{k,C}) \equiv u_p(C)^{k-2} a_{np^{l-1}}(F_{k,C}) \pmod{p^l}$ where $u_p(C)$ is a $p$-adic unit root of $X^2 - a_p(C)X + p$.

If $C$ has CM, the modulus can be improved to $p^{(k-1)l}$.

Conjecture 3.1 (ASD congruence for higher order poles)

For $1 \leq r \leq k-1$, $F_{k,C}^{(r)} := \frac{E_k}{(j-j(C))^r}$, let $P_p(X)$ be the characteristic polynomial of Frobenius on $\text{Sym}^{k-2}C$ at $p$: $P_p(X) = \sum_{i=0}^{k-1} c_{p,k-1-i}^{(k)} X^i$ Then for all $n,l \in \mathbb{Z}^+$: $a_{np^l}(F_{k,C}^{(r)}) + c_{p,1}^{(k)} a_{np^{l-1}}(F_{k,C}^{(r)}) + \cdots + c_{p,k-1}^{(k)} a_{np^{l-k+1}}(F_{k,C}^{(r)}) \equiv 0 \pmod{p^{(k-1)l - \frac{1}{2}(k-3)k - r}}$

Numerical Verification Results

All conjectures in the paper have been extensively numerically verified:

• For all cases with $k \in \{4,6,8,10,14\}$
• For discriminants $D \in \{-3,-4,-7,-8,-11,-15,-19,-20,\ldots\}$ with class number 1
• Primes verified up to $p \leq 100$, coefficients verified up to $n \leq 10000$
• All test cases conform to the conjectures

Related Work

Magnetic Modular Forms

1. Broadhurst-Zudilin (2019): First introduced the concept of magnetic modular forms, originating from Hall effect in physics
2. Li-Neururer (2019): Proved magnetic properties of $\frac{64E_4}{j}$ and $\frac{E_4}{j}$ using Borcherds-Shimura lifting
3. Paşol-Zudilin (2022): Extended to more CM point cases
4. Bönisch-Duhr-Maggio (2024): Comprehensive discussion of magnetic modular forms

ASD Congruences

1. Atkin-Swinnerton-Dyer (1971): First studied ASD congruences for non-congruence modular forms
2. Scholl (1985): Provided theoretical framework through de Rham cohomology
3. Kazalicki-Scholl (2016): Studied ASD congruences for weakly holomorphic modular forms, proved $a_{np}\left(\frac{E_6^4}{\Delta} - 1464E_4^3\right) - \tau(p)a_n\left(\frac{E_6^4}{\Delta} - 1464E_4^3\right) + p^{11}a_{n/p}\left(\frac{E_6^4}{\Delta} - 1464E_4^3\right) \equiv 0 \pmod{p^{11v_p(n)}}$
4. Li-Long (2014): Survey on ASD congruences

Modular Forms and Elliptic Curves

1. Brown-Fonseca (2025): Established connections between meromorphic modular forms and symmetric powers of elliptic curves through motive theory
2. Gross-Zagier (1986): Introduced the concept of relations to handle effects of cusp forms

Hypergeometric Functions and Modular Forms

1. Chisholm et al. (2013): $p$-adic analogues of Ramanujan-type formulas
2. Applications of hypergeometric congruences in studying modular form coefficients

Conclusions and Discussion

Main Conclusions

1. Established a systematic theoretical framework: Connected meromorphic modular forms (particularly those of the form $\frac{E_k}{(j-j(C))^r}$) with symmetric powers $\text{Sym}^{k-2}C$ of elliptic curves $C$
2. Proved key cases:
   • Basic congruences for simple poles (when $p \geq 5$)
   • Supercongruences and magnetic properties in CM case
   • Connections with hypergeometric functions
3. Proposed a complete conjecture system:
   • Covers different behaviors for supersingular and ordinary primes
   • ASD congruences for higher order poles
   • Fine structure in CM case
4. Methodological contributions:
   • Hypergeometric function method
   • Systematic application of Shimura lifting
   • Introduction of polynomial perspective

Limitations

1. Strong assumptions:
   • Main results require $k \in \{4,6,8,10,14\}$ (weights without cusp forms)
   • Require $j(C) \notin \{0,1728\}$ (non-CM or special CM points)
   • Require $v_p(j(C))=0=v_p(j(C)-1728)$ (exclude certain "bad" primes)
2. Most results are conjectures:
   • Conjecture 2.1 only proved for $p \geq 5$
   • Conjectures 2.3, 2.4 (supersingular and ordinary cases) unproved
   • Conjecture 3.1 (ASD congruence for higher order poles) unproved
   • Conjecture 4.2 (CM case, ordinary primes) unproved
3. Limitations of numerical verification:
   • Limited verification range ($p \leq 100$, $n \leq 10000$)
   • Possible counterexamples for large primes or large coefficients
4. Incomplete theoretical explanation:
   • Connection with motive theory mainly relies on Brown-Fonseca's work
   • Lack of complete cohomological interpretation
   • Some phenomena (Conjectures 4.11, 4.13) remain "mysterious"
5. Difficulty in generalizing to arbitrary weights:
   • Presence of cusp forms requires using relations to eliminate their effects
   • Methods become more technical and complex

Future Directions

1. Prove unproved conjectures:
   • Author mentions Michael Allen, Ling Long, Hasan Saad are extending methods of Scholl and Kazalicki-Scholl
   • May prove ASD congruences through cohomological methods
2. Generalize to more general cases:
   • Arbitrary weight cases
   • Meromorphic modular forms on finite index subgroups
   • Higher order poles
3. Deepen theory:
   • Refine motive interpretation
   • Establish precise correspondence with Galois representations
   • Explore "visualization" at infinity (connection between special $L$-values and "periods")
4. Computational aspects:
   • Develop more efficient algorithms for computing meromorphic modular form coefficients
   • Expand numerical verification range
5. Application exploration:
   • Applications in physics (Hall effect related)
   • Potential applications in cryptography
   • Connections with partition functions

In-Depth Evaluation

Strengths

1. Originality

• Pioneering research: First systematic study of $p$-adic properties of meromorphic modular forms, opening new research directions
• New connections: Links meromorphic modular forms, symmetric powers of elliptic curves, and hypergeometric functions
• Methodological innovation: Cleverly combines hypergeometric functions, Shimura lifting, and polynomial perspective

2. Theoretical Depth

• Unified framework: Provides unified perspective through correspondence between $U_p$ operator and Frobenius action
• Rich structure: Reveals abundant structure in CM case (decomposition, magnetic properties, supercongruences)
• Quantitative results: Not only gives qualitative connections but precise congruence moduli

3. Technical Rigor

• Complete proofs: For provable results (Theorems 5.1, 6.1), provides detailed rigorous proofs
• Clear arguments: Proof strategies are clear with sufficient technical details
• Numerical support: All conjectures have substantial numerical verification

4. Writing Quality

• Clear structure: Progresses from simple to complex, from special to general, with clear hierarchy
• Sufficient motivation: Motivates research through examples (e.g., $\frac{E_4}{j-c}$)
• Rich examples: Examples 4.6, 7.1-7.4 etc. help understanding

5. Potential Impact

• Theoretical significance: Deepens understanding of arithmetic properties of modular forms
• Cross-disciplinary connections: Connects modular forms, elliptic curves, hypergeometric functions, cohomology theory
• Inspiration for future research: Proposed conjectures provide clear direction for subsequent research

Weaknesses

1. Proof Completeness

• Many unproved conjectures: Core conjectures (Conjecture 2.1 for $p=2,3$, Conjectures 2.3, 2.4, 3.1, etc.) remain unproved
• Reliance on numerical verification: Many conclusions based on limited numerical experiments
• Insufficient theoretical explanation: Some phenomena (Conjectures 4.11, 4.13) lack deep theoretical explanation

2. Scope of Applicability

• Weight restriction: Main results limited to $k \in \{4,6,8,10,14\}$
• Exclusion of special points: $j(C) \in \{0,1728\}$ requires special treatment (Section 7.1)
• Prime restrictions: Many results require $p \geq 5$ or $p \nmid 6$

3. Technical Details

• Missing hypergeometric congruence proof: Proof of Theorem 5.1 relies on a hypergeometric congruence (end of Section 5.4), but author only provides proof outline, promising "details elsewhere"
• Normalization issues: Choice of normalization for $G_{k,D}^{(r)}$ (Section 4) has some arbitrariness
• Computational complexity: Actual computation of $G_{k,D}^{(r)}$ may be quite difficult

4. Generalization Difficulties

• Cusp form effects: General weight case requires using relations to eliminate cusp forms, technically complex (Section 7.2)
• Higher order poles: Cases with $r > k-1$ involve derivative operators, more complex
• General number fields: While mentioned as generalizable to number fields, details not expanded

Impact Assessment

Contribution to the Field

• Opens new direction: Provides new paradigm for arithmetic research on meromorphic modular forms
• Deepens understanding: Enhances understanding of relationship between modular forms and elliptic curves
• Bridges theories: Organically connects multiple mathematical branches (modular forms, elliptic curves, hypergeometric functions, cohomology)

Practical Value

• Computational tool: Provides new methods for computing meromorphic modular form coefficients
• Verification framework: Provides systematic framework for numerical experiments
• Physical applications: Connection between magnetic modular forms and physics (Hall effect)

Reproducibility

• Highly reproducible:
  • Uses standard computational tools (PARI/GP, SageMath)
  • Clear algorithms and formulas
  • Concrete numerical examples
• Potential difficulties:
  • High-precision computation may require algorithm optimization
  • Computation of $G_{k,D}^{(r)}$ may be slow

Applicable Scenarios

1. Theoretical research:
   • Study of arithmetic properties of modular forms
   • Connections between elliptic curves and modular forms
   • $p$-adic modular form theory
2. Numerical experiments:
   • Explore new congruence relations
   • Verify theoretical conjectures
   • Discover new mathematical patterns
3. Related fields:
   • Arithmetic properties of hypergeometric functions
   • Galois representation theory
   • Motive theory
4. Potential applications:
   • Cryptography (elliptic curve based)
   • Physics (quantum field theory, string theory)
   • Combinatorics (partition functions)

Technical Highlights

1. Power of Polynomial Perspective

The observation that $a_n(F_{k,c}) = P_{k,n}(c)$ enables:

• Handle congruence relations in polynomial ring
• Avoid direct $q$-expansion computation
• Uniformly treat different $c$ values

2. Fine Analysis of Hecke Operators

The relationship established through Lemmas 5.3-5.5: $\frac{n^{k-1}(E_{14-k}/\Delta)|T_{n,2-k}}{E_{14-k}/\Delta} = P_{k,n}(j)$ bridges modular form theory and concrete computation.

3. Innovative Application of Shimura Lifting

• Not only used for proving magnetic properties (existing work)
• Also used for proving supercongruences (new application)
• Precisely control $p$-adic estimates through recursive sequence $\{g_i\}$

4. Deep Utilization of CM Theory

• Utilize decomposition of Galois representations (Formula (7))
• Construct corresponding modular form decomposition $\{G_{a,b}\}$
• Reveal abundant arithmetic structure

Summary

This is a high-quality original mathematical research paper with the following characteristics:

Main Strengths:

1. Pioneering systematic study of $p$-adic properties of meromorphic modular forms
2. Establishes deep connections with symmetric powers of elliptic curves
3. Provides partial rigorous proofs and substantial numerical support
4. Clear writing with abundant examples

Main Limitations:

1. Most core conjectures remain unproved
2. Limited scope of applicability (specific weights, excluding special points)
3. Some technical details need supplementation

Research Value:

• Provides clear roadmap for subsequent research
• Connects multiple important mathematical branches
• Likely to produce important theoretical breakthroughs

Recommendations:

• Prioritize proving complete version of Conjecture 2.1
• Develop more general theoretical framework
• Explore deeper connections with motive theory

Overall, this is a paper with significant theoretical importance and inspirational value, and although many results remain conjectures, the proposed framework and methods open new directions for number theory research.