Lev A. Borisov
Abstract: For every point on the Jacobian of the modular curve $X_0(l)$ we define and study certain twisted holomorphic Eisenstein series. These are particular cases of a more general notion of twisted modular forms which correspond to sections on the modular curve $X_1(l)$ of the degree zero twists of line bundles of usual modular forms. We conjecture that a point on the Jacobian is rational if and only if the ratios of these twisted Eisenstein series of the same weights have rational coefficients.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the relationship between rational points on the Jacobian modular curve \(X_0(l)\) and some twisted holomorphic Eisenstein series. Specifically, the author defines and studies specific twisted holomorphic Eisenstein series associated with each point on the Jacobian variety of the modular curve \(X_0(l)\), and proposes a conjecture: a point on the Jacobian variety is a rational point if and only if the ratio of these twisted Eisenstein series of the same weight has rational coefficients.
### Core problems of the paper
1. **Define and study twisted holomorphic Eisenstein series**:
- For any point on the Jacobian variety of the modular curve \(X_0(l)\), the author defines a new class of holomorphic functions, called \(h\)-twisted Eisenstein series \(E_{i,k;h}(\tau)\), where \(k\geq3\) is an integer, \(i\in\mathbb{Z}/l\mathbb{Z}\), and \(h = h(\tau)\) is a modular form.
- These series are defined by introducing a unitary character related to the point on the Jacobian variety, ensuring the convergence of the series.
2. **Propose the rationality conjecture**:
- The conjecture states that a point on the Jacobian variety is a rational point if and only if the ratio of these twisted Eisenstein series of the same weight has rational coefficients.
- This conjecture provides a method for determining rational points on the Jacobian variety by analyzing the coefficients of the series.
### Formula representation
- The definition of the twisted Eisenstein series is:
\[
E_{i,k;h}(\tau)=\sum_{c\in l\mathbb{Z}}\sum_{d\in\mathbb{Z},\gcd(d,l) = 1}(c\tau + d)^{-k}e^{-2\pi idi/l}e^{2\pi i\Re H(-d/c)}
\]
where \(H(\tau)=\int_{\tau}^{i\infty}h(s)ds\) is the primitive function of \(h(\tau)\).
- The definition of the unitary character is:
\[
\begin{pmatrix}a&b\\c&d\end{pmatrix}\mapsto\exp(2\pi i\Re\int_{-d/c}^{i\infty}h(s)ds)
\]
### Summary
The main objective of this paper is to explore the problem of rational points on the Jacobian variety of the modular curve \(X_0(l)\) by introducing and studying twisted holomorphic Eisenstein series, and proposes an important conjecture, linking the existence of rational points to the coefficient properties of these series. This research is not only of great significance in the theory of modular forms, but may also provide new tools for understanding the geometric structure of modular curves.