Abstract:We show that every Fricke invariant meromorphic modular form for $\Gamma_0(N)$ whose divisor on $X_0(N)$ is defined over $\mathbb{Q}$ and supported on Heegner divisors and the cusps is a generalized Borcherds product associated to a harmonic Maass form of weight $1/2$. Further, we derive a criterion for the finiteness of the multiplier systems of generalized Borcherds products in terms of the vanishing of the central derivatives of $L$-function of certain weight $2$ newforms. We also prove similar results for twisted Borcherds products.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper aims to solve the inverse theorem problem related to Borcherds products. Specifically, the author explores the following problems:
1. **Inverse theorem of Borcherds products**: Whether every meromorphic modular form on the modular group \( \Gamma_0(N) \) with specific properties (such as the divisor being a linear combination of Heegner divisors) can be represented as a Borcherds product of some weakly holomorphic modular form.
2. **Finiteness conditions for generalized Borcherds products**: For a given harmonic Maass form \( f \), when is the multiplier system of its generalized Borcherds product of finite order. This involves the vanishing of the central derivative of the L - function.
### Main contributions of the paper
1. **Weak inverse theorem**:
- It is proved that every meromorphic modular form \( F \) on \( Y_0(N) \) with a linear combination of Heegner divisors as the divisor, defined over \( \mathbb{Q} \) at the cusps and Fricke - invariant, is a generalized Borcherds product of a harmonic Maass form \( f \) of weight \( \frac{1}{2} \).
- The generalized Borcherds product here can have a multiplier system of infinite order.
2. **Finiteness criterion for multiplier systems**:
- Sufficient and necessary conditions for the multiplier system of the generalized Borcherds product to be of finite order are given. In particular, this condition can be described by whether the central derivative \( L'(G, 1) \) of the L - function of certain new forms \( G \) of weight 2 is zero.
3. **Inverse theorem for twisted Borcherds products**:
- For the twisted generalized Borcherds product \( \Psi_{\Delta, r}(f, z) \), similar inverse theorems and finiteness conditions for the multiplier system are also given.
### Display of mathematical formulas
To ensure the correctness and readability of the formulas, the following are some key formulas involved in the paper:
- **Transformation rule of modular forms**:
\[
F(Mz)=\sigma(M)(cz + d)^{\kappa}F(z)
\]
where \( M=\begin{pmatrix}a&b\\c&d\end{pmatrix}\in\Gamma_0(N)\), and \( \sigma:\Gamma_0(N)\to S^1 \) is a unitary multiplier system.
- **Generalized Borcherds product**:
\[
\Psi(f, z)=e(\rho_f z)\prod_{n = 1}^{\infty}(1 - e(nz))^{a_f^+(n^2, n)}
\]
where \( \rho_f \) is the Weyl vector related to \( f \) at the cusp \( \infty \).
- **Central derivative of the L - function**:
\[
L'(G, 1)=0
\]
where \( G \) is a new form of weight 2, and the half - integral weight new form \( g \) under its corresponding Shimura correspondence satisfies \( g=\xi_{1/2}f \).
Through these results, the author not only solves the inverse theorem problem of Borcherds products but also provides a new method to study the properties of modular forms and their multiplier systems.