Modular invariance, modular identities and supersingular j-invariants

Antun Milas
DOI: https://doi.org/10.48550/arXiv.math/0512606
2006-09-07
Abstract:To every $k$-dimensional modular invariant vector space we associate a modular form on $SL(2,\mathbb{Z})$ of weight $2k$. We explore number theoretic properties of this form and find a sufficient condition for its vanishing which yields modular identities (e.g., Ramanujan-Watson's modular identities). Furthermore, we focus on a family of modular invariant spaces coming from suitable two-dimensional spaces via the symmetric power construction. In particular, we consider a two-dimensional space spanned by graded dimensions of certain level one modules for the affine Kac-Moody Lie algebra of type $D_4^{(1)}$. In this case, the reduction modulo prime $p=2k+3 \geq 5$ of the modular form associated to the $k$-th symmetric power classifies supersingular elliptic curves in characteristic $p$. This construction also gives a new interpretation of certain modular forms studied by Kaneko and Zagier.
Quantum Algebra,Number Theory
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the properties and construction of modular invariants, modular identities, and supersingular j - invariants. Specifically: 1. **Relationship between the space of modular invariants and modular forms**: The paper explores how to construct a modular form on \(SL(2,\mathbb{Z})\) from a k - dimensional vector space of modular invariants, and the weight of this modular form is \(2k\). The author studies the number - theoretic properties of these modular forms and finds a sufficient condition for their vanishing, which can lead to some modular identities (such as the Ramanujan - Watson modular identity). 2. **Symmetric power construction and its applications**: The paper pays special attention to a class of spaces of modular invariants obtained through symmetric power construction. In particular, consider the two - dimensional space generated by the graded dimensions of the level - one module of an affine Kac - Moody Lie algebra \(D_4^{(1)}\). For this type of space, the reduction of the associated modular form in characteristic \(p = 2k+ 3\geq5\) can classify supersingular elliptic curves. This construction also gives a new interpretation of certain modular forms studied by Kaneko and Zagier. 3. **Proof of modular identities**: Using the above theoretical framework, the paper provides an elegant method to construct supersingular polynomials and explicitly determines the relevant modular forms. In addition, the paper also proves some important modular identities, such as the Ramanujan - Watson modular identity regarding the Rogers - Ramanujan continued fraction. In summary, this paper aims to establish a systematic research framework for dealing with modular forms represented by Wronskian determinants and to explore supersingular j - invariants and their related modular identities through these modular forms. The formulas involved are as follows: - Definition and properties of modular forms, such as Eisenstein series: \[ G_{2k}(\tau)=-\frac{B_{2k}}{(2k)!}+\frac{2}{(2k - 1)!}\sum_{n = 1}^{\infty}n^{2k - 1}\frac{q^n}{1 - q^n},\quad k\geq1 \] where \(q = e^{2\pi i\tau}\), and \(B_{2k}\) is the Bernoulli number. - Dedekind η function and discriminant Δ: \[ \eta(\tau)=q^{1/24}\prod_{n = 1}^{\infty}(1 - q^n),\quad\Delta(\tau)=E_4(\tau)^3 - E_6(\tau)^2 \] - Definition of the j - function: \[ j(\tau)=\frac{1728E_4(\tau)^3}{\Delta(\tau)} \] These formulas help describe the basic properties of modular forms and their applications in the paper.