We study rings of integral modular forms for congruence subgroups as modules over the ring of integral modular forms for the full modular group. In many cases these modules are free or decompose at least into well-understood pieces. We apply this to characterize which rings of modular forms are Cohen--Macaulay and to prove finite generation results. These theorems are based on decomposition results about vector bundles on the compactified moduli stack of elliptic curves.
We compute the tautological ring for a Hilbert modular variety at an unramified prime. The method generalises that of van der Geer from the Siegel case.
We prove that the graded ring of modular forms of weight divisible by 3 is naturally isomorphic to a certain log canonical ring of the corresponding elliptic modular surface.
We study graded rings of meromorphic Hermitian modular forms of degree two whose poles are supported on an arrangement of Heegner divisors. For the group $\mathrm{SU}_{2,2}(\mathcal{O}_K)$ where $K$ is the imaginary-quadratic number field of discriminant $-d$, $d \in \{4, 7, 8, 11, 15, 19, 20, 24\}$ we obtain a polynomial algebra without relations. In particular the Looijenga compactifications of the arrangement complements are weighted projective spaces.
In this paper we study algebras of modular forms on unitary groups of signature $(n,1)$. We give a necessary and sufficient condition for an algebra of unitary modular forms to be free in terms of the modular Jacobian. As a corollary we obtain a criterion that guarantees in many cases that, if $L$ is an even lattice with complex multiplication and the ring of modular forms for its orthogonal group is a polynomial algebra, then the ring of modular forms for its unitary group is also a polynomial algebra. We prove that a number of rings of unitary modular forms are freely generated by applying t…
We study triples of graded rings defined over the deformation spaces for certain one-parameter families of Calabi-Yau threefolds. These rings are analogues of the rings of modular forms, quasi-modular forms and almost-holomorphic modular forms. We also discuss some of their applications in solving the holomorphic anomaly equations.
Consider modular forms arising from a finite-area quotient of the upper-half plane by a Fuchsian group. By the classical results of Kodaira-Spencer, this ring of modular forms may be viewed as the log spin canonical ring of a stacky curve. In this paper, we tightly bound the degrees of minimal generators and relations of log spin canonical rings. As a consequence, we obtain a tight bound on the degrees of minimal generators and relations for rings of modular forms of arbitrary integral weight.
We begin a study of the intersection theory of the moduli spaces of degree two stable maps from two-pointed rational curves to arbitrary-dimensional projective space. First we compute the Betti numbers of these spaces using Serre polynomial and equivariant Serre polynomial methods developed by E. Getzler and R. Pandharipande. Then, via the excision sequence, we compute an additive basis for their Chow rings in terms of Chow rings of nonlinear Grassmannians, which have been described by Pandharipande. The ring structure of one of these Chow rings is addressed in a sequel to this paper.
We study the differential polynomial rings which are defined using the special geometry of the moduli spaces of Calabi-Yau threefolds. The higher genus topological string amplitudes are expressed as polynomials in the generators of these rings, giving them a global description in the moduli space. At particular loci, the amplitudes yield the generating functions of Gromov-Witten invariants. We show that these rings are isomorphic to the rings of quasi modular forms for threefolds with duality groups for which these are known. For the other cases, they provide generalizations thereof. We furthe…
We prove that the ring of Siegel modular forms of weight divisible by g+n+1 is isomorphic to the ring of (log) pluricanonical forms on the n-fold Kuga family of abelian varieties and its certain compactifications, for every arithmetic group for a symplectic form of rank 2g>2. We also give applications to the Kodaira dimension of the Kuga variety. In most cases, the Kuga variety has canonical singularities.
We show that the ring of modular forms with characters for $\mathrm{O}(2,4;\mathbb{Z})$ is generated by forms of weights 4, 4, 6, 8, 10, 10, 12, and 30 with three relations of weights 8, 20, and 60. The proof is based on the study of a moduli space of K3 surfaces.
We study algebras of meromorphic modular forms whose poles lie on Heegner divisors for orthogonal and unitary groups associated to root lattices. We give a uniform construction of $147$ hyperplane arrangements on type IV symmetric domains for which the algebras of modular forms with constrained poles are free and therefore the Looijenga compactifications of the arrangement complements are weighted projective spaces. We also construct $8$ free algebras of modular forms on complex balls with poles on hyperplane arrangements. The most striking example is the discriminant kernel of the $2U\oplus D…
We show that the ring of modular forms with characters for the even unimodular lattice of signature (2,10) is generated by forms of weights 4, 10, 12, 16, 18, 22, 24, 28, 30, 36, 42, and 252 with one relation of weight 504. The proof is based on the comparison of the orbifold quotient of the symmetric domain with the root stack of the coarse moduli space.
We develop an elementary theory of partially additive rings as a foundation of ${\mathbb F}_1$-geometry. Our approach is so concrete that an analog of classical algebraic geometry is established very straightforwardly. As applications, (1) we construct a kind of group scheme ${\mathbb GL}_n$ whose value at a commutative ring $R$ is the group of $n\times n$ invertible matrices over $R$ and at ${\mathbb F}_1$ is the $n$-th symmetric group, and (2) we construct a projective space $\mathbb P^n$ as a kind of scheme and count the number of points of ${\mathbb P}^n({\mathbb F}_q)$ for $q=1$ or $q=p^n…
We show that the ring of modular forms with characters for the even unimodular lattice of signature (2,18) is obtained from the invariant ring of $\mathrm{Sym}(\mathrm{Sym}^8(V) \oplus \mathrm{Sym}^{12}(V))$ with respect to the action of $\mathrm{SL}(V)$ by adding a Borcherds product of weight 132 with one relation of weight 264, where $V$ is a 2-dimensional $\mathbb{C}$-vector space. The proof is based on the study of the moduli space of elliptic K3 surfaces with a section.
Some years ago, Borcherds described in [Bo1] two methods for constructing modular forms on modular varieties related to the orthogonal group $Ø(2,n)$. They are the so called Borcherds' additive and multiplicative lifting. The multiplicative lifting has been used by Borcherds himself and other authors to construct modular forms with known vanishing locus and interesting properties. The additive lifting has been used to construct explicit maps from some modular varieties $Ø(2,n)$. In this paper we try a more systematic treatment in certain level 2 cases giving connections with Kondo's works
We construct a functor, from the category of schemes to the category of graded rings, that is an initial object for having a theory of Chern classes with an additive first Chern class. For any scheme $X$, the graded ring that our functor associates to $X$ is related to the associated graded ring of the $γ$-filtration on the Grothendieck ring of finite rank locally free sheaves on $X$ via a Grothendieck-Riemann-Roch type theorem.
We study vector-valued Siegel modular forms of genus 2 and level 2. We describe the structure of certain modules of vector-valued modular forms over rings of scalar-valued modular forms.
In this paper we consider Jacobi forms of half-integral index for any positive definite lattice L (classical Jacobi forms from the book of Eichler and Zagier correspond to the lattice A_1=<2>). We give a lot of examples of Jacobi forms of singular and critical weights for root systems using Jacobi theta-series. We describe the Jacobi lifting for Jacobi forms of half-integral indices. In some case it gives additive lifting construction of new reflective modular forms.
We initiate a study of the rings of invariants of modular representations of elementary abelian p-groups. With a few notable exceptions, the modular representation theory of an elementary abelian p-group is wild. However, for a given dimension, it is possible to parameterise the representations. We describe parameterisations for modular representations of dimension two and of dimension three. We compute the ring of invariants for all two dimensional representations; these rings are generated by two algebraically independent elements. We compute the ring of invariants of the symmetric square of…
In this paper I introduce modular symbols for Maass wave cusp forms. They appear in the guise of finitely additive functions on the Boolean algebra generated by intervals with non--positive rational ends, with values in analytic functions (pseudo--measures in the sense of [MaMar2]). After explaining the basic issues and analogies in the extended Introduction, I construct modular symbols in the sec. 1 and the related Lévy--Mellin transforms in the sec. 2. The whole paper is an extended footnote to the Lewis--Zagier fundamental study [LZ2].
Among topological modular forms with level structure, $TMF_0(7)$ at the prime $3$ is the first example that had not been understood yet. We provide a splitting of $TMF_0(7)$ at the prime 3 as $TMF$-module into two shifted copies of $TMF$ and two shifted copies of $TMF_1(2)$. This gives evidence to a much more general splitting conjecture. Along the way, we develop several new results on the algebraic side. For example, we show the normality of rings of modular forms of level $n$ and introduce cubical versions of moduli stacks of elliptic curves with level structure.
The level moduli space $A_g^{4,8}$ is mapped to the projective space by means of gradients of odd Theta functions, such a map turning out no to be injective in the genus 2 case. In this work a congruence subgroup $Γ$ is located between $Γ_2(4,8)$ and $Γ_2(2,4)$ in such a way the map factors on the related level moduli space $A_Γ$, the new map being injective on $A_Γ$. Satake's compactification $\text{Proj}A(Γ)$ and the desingularization $\text{Proj}S(Γ)$ are also due to be investigated, since the map does not extend to the boundary of the compactification; to aim at this, an algebraic descript…
The usual language of algebraic geometry is not appropriate for Arithmetical geometry: addition is singular at the real prime. We developed two languages that overcome this problem: one replace rings by the collection of "vectors" or by bi-operads and another based on "matrices" or props. These are the two languages of [Har17], but we omit the involutions which brings considerable simplifications. Once one understands the delicate commutativity condition one can proceed following Grothendieck footsteps exactly. The square matrices, when viewed up to conjugation, give us new commutative rings w…
The ring of projective invariants of eight ordered points on the line is a quotient of the polynomial ring on V, where V is a fourteen-dimensional representation of S_8, by an ideal I_8, so the modular fivefold (P^1)^8 // GL(2) is Proj(Sym* (V)/I_8). We show that there is a unique cubic hypersurface S in PV whose equation s is skew-invariant, and that the singular locus of S is the modular fivefold. In particular, over Z[1/3], the modular fivefold is cut out by the 14 partial derivatives of s. Better: these equations generate I_8. In characteristic 3, the cubic s is needed to generate the idea…
The Derksen--Hadas--Makar-Limanov theorem (2001) says that the invariants for nontrivial actions of the additive group on a polynomial ring have no intruder. In this paper, we generalize this theorem to the case of stable invariants.
An overview is given of the construction of a differential polynomial ring of functions on the moduli space of Calabi-Yau threefolds. These rings coincide with the rings of quasi modular forms for geometries with duality groups for which these are known. They provide a generalization thereof otherwise. Higher genus topological string amplitudes can be expressed in terms of the generators of this ring giving them a global description in the moduli space. An action of a duality exchanging large volume and conifold loci in moduli space is discussed. The connection to quasi modular forms is illust…
To every scheme, not necessarily smooth neither proper, we can associate its different mixed realizations (de Rham, Betti, etale, Hodge, etc) as well as its ring of periods. In this note, following an insight of Kontsevich, we prove that, after suitable modifications, these classical constructions can be extended from schemes to the broad setting of dg categories. This leads to new additive invariants, which we compute in the case of differential operators, as well as to a theory of periods of dg categories. Among other applications, we prove that the ring of periods of a scheme is invariant u…
