Related papers: Free algebras of modular forms on ball quotients

Classical results on the classification of reflections in an arithmetic subgroup $\Gamma$ imply that if the graded algebra of modular forms $M_*(\Gamma)$ is freely generated, then $\Gamma$ must be an arithmetic subgroup of either the…

In this paper we construct 16 free algebras of modular forms on symmetric domains of type IV for some reflection groups related to the eight lattices $A_1(2)$, $A_1(3)$, $A_1(4)$, $2A_1(2)$, $A_2(2)$, $A_2(3)$, $A_3(2)$, $D_4(2)$. As a…

We study the algebras of hermitian automorphic forms for the lattice $L_n=diag(1,1,\ldots,1,-1)$ and for the field $K=\mathbb{Q}(\sqrt{-d})$ such that $p=2$ is unramified and the ring of integers $\mathcal{O}_K$ is a p.i.d. We prove that…

We prove a necessary and sufficient condition for the graded algebra of automorphic forms on a symmetric domain of type IV to be free. From the necessary condition, we derive a classification result. Let $M$ be an even lattice of signature…

We study the algebras of modular forms on type IV symmetric domains for simple lattices; that is, lattices for which every Heegner divisor occurs as the divisor of a Borcherds product. For every simple lattice $L$ of signature $(n,2)$ with…

We study the algebras of symmetric Hilbert modular forms of even weight for $\mathbb{Q}(\sqrt{d})$, considering them as modular forms for the orthogonal group of the lattice with signature (2,2). Comparing the volume of the corresponding…

For 25 orthogonal groups of signature $(2,n)$ related to the root lattices $A_1$, $2A_1$, $3A_1$, $4A_1$, $A_2$, $A_3$, $A_4$, $A_5$, $A_6$, $A_7$, $D_4$, $D_5$, $D_6$, $D_7$, $D_8$, $E_6$, $E_7$, we prove that the algebras of modular forms…

A strongly reflective modular form with respect to an orthogonal group of signature (2,n) determines a Lorentzian Kac--Moody algebra. We find a new geometric application of such modular forms: we prove that if the weight is larger than n…

In \cite{jpsf} we constructed pairs of units $u,v$ in $\Z$-orders of a quaternion algebra over $\Q (\sqrt{-d})$, $d \equiv 7 \pmod 8$ positive and square free, such that $< u^ n,v^n>$ is free for some $n\in \mathbb{N}$. Here we extend this…

In this article, we prove the algebraic counterpart of the topological results $H^1(S^1, \mathbb{Z}) \cong \mathbb{Z}$ and $H^1(S^2, \mathbb{Z}) \cong \{0\}$. We also see that a non-trivial element of the algebraic cohomotopy groups of…

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 any natural number $\ell $ and any prime $p\equiv 1 \pmod{4}$ not dividing $\ell $ there is a Hermitian modular form of arbitrary genus $n$ over $L:=\Q [\sqrt{-\ell}]$ that is congruent to 1 modulo $p$ which is a Hermitian theta series…

The paper constructs an `exotic' algebraic 2-complex over the generalized quaternion group of order 28, with the boundary maps given by explicit matrices over the group ring. This result depends on showing that a certain ideal of the group…

The set of natural integers is fundamental for at least two reasons: it is the free induction algebra over the empty set (and at such allows definitions of maps by primitive recursion) and it is the free monoid over a one-element set, the…

This is a continuation of our "Lecture on Kac--Moody Lie algebras of the arithmetic type" \cite{25}. We consider hyperbolic (i.e. signature $(n,1)$) integral symmetric bilinear form $S:M\times M \to {\Bbb Z}$ (i.e. hyperbolic lattice),…

We present a procedure that constructs, in a combinatorial manner, a chain complex of free modules over a polynomial ring in finitely many variables, modulo an ideal generated by quadratic monomials. Applying this procedure to two specific…

This work concerns finite free complexes over commutative noetherian rings, in particular over group algebras of elementary abelian groups. The main contribution is the construction of complexes such that the total rank of their underlying…

Let E be a number field and G be a finite group. Let A be any O_E-order of full rank in the group algebra E[G] and X be a (left) A-lattice. We give a necessary and sufficient condition for X to be free of given rank d over A. In the case…

Let E be a number field and G be a finite group. Let A be any O_E-order of full rank in the group algebra E[G] and X be a (left) A-lattice. In a previous article, we gave a necessary and sufficient condition for X to be free of given rank d…

The notion of formal Siegel modular forms for an arithmetic subgroup $\Gamma$ of the symplectic group of genus $n$ is a generalization of symmetric formal Fourier-Jacobi series. Assuming an upper bound on the affine covering number of the…