arXiv Science⌕ Search

arXiv subjects

Yifan Yang

Publications and source records attributed to Yifan Yang.

372 records · Page 21Linked to original sources

Modular forms of half-integral weights on SL(2,Z)

In this paper, we prove that, for an integer $r$ with $(r,6)=1$ and $0<r<24$ and a nonnegative even integer $s$, the set {η(24τ)^rf(24τ):f(τ)\in M_s(1)} is isomorphic to S_{r+2s-1}^{\text{new}}(6,-(\frac8r),-(\frac{12}r))\otimes(\frac{12}\cdot) as Hecke modules under the Shimura correspondence. Here $M_s(1)$ denotes the space of modular forms of weight $s$ on $Γ_0(1)=\mathrm{SL}(2,\Z)$, $S_{2k}^{\text{new}}(6,ε_2,ε_3)$ is the space of newforms of weight $2k$ on $Γ_0(6)$ that are eigenfunctions with eigenvalues $ε_2$ and $ε_3$ for Atkin-Lehner involutions $W_2$ and $W_3$, respectively, and the notation $\otimes(\frac{12}\cdot)$ means the twist by the quadratic character $\frac{12}\cdot)$. There is also an analogous result for the cases $(r,6)=3$.

math.NT↗

Congruences of the partition function

Let $p(n)$ denote the partition function. In this article, we will show that congruences of the form $$ p(m^j\ell^kn+B)\equiv 0\mod m \text{for all} n\ge 0 $$ exist for all primes $m$ and $\ell$ satisfying $m\ge 13$ and $\ell\neq 2,3,m$. Here the integer $k$ depends on the Hecke eigenvalues of a certain invariant subspace of $S_{m/2-1}(Γ_0(576),χ_{12})$ and can be explicitly computed. More generally, we will show that for each integer $i>0$ there exists an integer $k$ such that for every non-negative integers $j\ge i$ with a properly chosen $B$ the congruence $$ p(m^j\ell^kn+B)\equiv 0\mod m^i $$ holds for all integers $n$ not divisible by $\ell$.

math.NT↗

Twisted Hecke L-values and period polynomials

Let $f_1,...,f_d$ be an orthogonal basis for the space of cusp forms of even weight $2k$ on $Γ_0(N)$. Let $L(f_i,s)$ and $L(f_i,χ,s)$ denote the $L$-function of $f_i$ and its twist by a Dirichlet character $χ$, respectively. In this note, we obtain a ``trace formula'' for the values $L(f_i,χ,m)\overline{L(f_i,n)}$ at integers $m$ and $n$ with $0<m,n<2k$ and proper parity. In the case N=1 or N=2, the formula gives us a convenient way to evaluate precisly the value of the ratio $L(f,χ,m)/L(f,n)$ for a Hecke eigenform $f$.

math.NT↗

Modular unit and cuspidal divisor class groups of X_1(N)

In this article, we consider the group $F_1^\infty(N)$ of modular units on $X_1(N)$ that have divisors supported on the cusps lying over $\infty$ of $X_0(N)$, called the $\infty$-cusps. For each positive integer $N$, we will give an explicit basis for the group $F_1^\infty(N)$. This enables us to compute the group structure of the rational torsion subgroup $C_1^\infty(N)$ of the Jacobian $J_1(N)$ of $X_1(N)$ generated by the differences of the $\infty$-cusps. In addition, based on our numerical computation, we make a conjecture on the structure of the $p$-primary part of $C_1^\infty(p^n)$ for a regular prime $p$.

math.NT↗

Apery limits and special values of L-functions

We describe a general method to determine the Apery limits of a differential equation that have a modular-function origin. As a by-product of our analysis, we discover a family of identities involving the special values of L-functions associated with modular forms. The proof of these identities is independent of differential equations and Apery limits.

math.NT↗

Period polynomials and explicit formulas for Hecke operators on Γ_0(2)

Let S_{w+2}(Γ_0(N)) be the vector space of cusp forms of weight w+2 on the congruence subgroup Γ_0(N). We first determine explicit formulas for period polynomials of elements in S_{w+2}(Γ_0(N)) by means of Bernoulli polynomials. When N=2, from these explicit formulas we obtain new bases for S_{w+2}(Γ_0(2)), and extend the Eichler-Shimura-Manin isomorphism theorem to Γ_0(2). This implies that there are natural correspondences between the spaces of cusp forms on Γ_0(2) and the spaces of period polynomials. Based on these results, we will find explicit form of Hecke operators on S_{w+2}(Γ_0(2)). As an application of our main theorems, we will also give an affirmative answer to a speculation of Imamoglu and Kohnen on a basis of S_{w+2}(Γ_0(2)).

math.NT↗

Defining equations of $X_0(2^{2n})$

In this note we obtain defining equations of modular curves $X_0(2^{2n})$. The key ingredient is a recursive formula for certain generators of the function fields on $X_0(2^{2n})$.

math.NT↗

Monodromy of Picard-Fuchs differential equations for Calabi-Yau threefolds

In this paper we are concerned with the monodromy of Picard-Fuch differential equations associated with one-parameter families of Calabi-Yau threefolds. Our results show that in the hypergeometric cases the matrix representations of monodromy relative to the Frobenius bases can be expressed in terms of the geometric invariants of the underlying Calabi-Yau threefolds. This phenomenon is also verified numerically for other families of Calabi-Yau threefolds in the paper. Furthermore, we discover that under a suitable change of bases the monodromy groups are contained in certain congruence subgroups of Sp(4,Z) of finite index whose levels are related to the geometric invariants of the Calabi-Yau threefolds

math.AG↗

Differential equations satisfied by modular forms and K3 surfaces

We study differential equations satisfied by modular forms associated to $Γ_1\timesΓ_2$, where $Γ_i (i=1,2)$ are genus zero subgroups of $SL_2(\mathbf R)$ commensurable with $SL_2(\mathbf Z)$, e.g., $Γ_0(N)$ or $Γ_0(N)^*$. In some examples, these differential equations are realized as the Picard--Fuch differential equations of families of K3 surfaces with large Picard numbers, e.g., $19, 18, 17, 16$. Our method rediscovers some of the Lian--Yau examples of ``modular relations'' involving power series solutions to the second and the third order differential equations of Fuchsian type in [14, 15].

math.NT↗