Related papers: On singular moduli for level 2 and 3
We prove a formula of Petersson's type for Fourier coefficients of Siegel cusp forms of degree 2 with respect to congruence subgroups, and as a corollary, show upper bound estimates of individual Fourier coefficient. The method in this…
We prove the equivalence of a class of generalised Schur partition functions $\mathcal Z_G(q;\alpha)$ of 4d $\mathcal N=2$ superconformal gauge theories to contour integral representations of vector-valued modular forms of the type that…
In this paper, we consider the self-similar measure $\nu_\lambda=\mathrm{law}\left(\sum_{j \geq 0} \xi_j \lambda^j\right)$ on $\mathbb{R}$, where $|\lambda|<1$ and the $\xi_j \sim \nu$ are independent, identically distributed with respect…
Let $M_k^\sharp(N)$ be the space of weight $k$, level $N$ weakly holomorphic modular forms with poles only at the cusp at $\infty$. We explicitly construct a canonical basis for $M_k^\sharp(N)$ for $N\in\{8,9,16,25\}$, and show that many of…
We present a new modular proof method of termination for second-order computation, and report its implementation SOL. The proof method is useful for proving termination of higher-order foundational calculi. To establish the method, we use a…
In this article, we prove several multi-term refinements of Young type inequalities for both real numbers and operators improving several known results. Among other results, we prove \begin{eqnarray*}…
Let N be a positive integer and let f be a newform of weight 2 on \Gamma_0(N). In earlier joint work with K. Ribet and W. Stein, we introduced the notions of the modular number and the congruence number of the quotient abelian variety A_f…
Lebesgue space bounds $L^{p_1}({\mathbb R}^1) \times L^{p_2}(^1) \to L^q({\mathbb R}^1)$ are established for certain maximal bilinear operators. The proof combines a trilinear smoothing inequality with Calder\'on-Zygmund theory. A reference…
Our recent extension of Arnold's classification includes all singularities of corank up to two equivalent to a germ with a non-degenerate Newton boundary, thus broadening the classification's scope significantly by a class which is…
We formalize some basic properties of Fourier series in the logic of ACL2(r), which is a variant of ACL2 that supports reasoning about the real and complex numbers by way of non-standard analysis. More specifically, we extend a framework…
We prove a new result about the mutual behavior of irrationality measure functions $\psi_{\alpha_j}(t)$ for $n$ different real numbers $\alpha_j,\, j =1,...n$.
Let $E_1, E_2 / \mathbb{C}$ be non-isomorphic elliptic curves with complex multiplication. We prove that the pair $(E_1, E_2)$ is characterised, up to isomorphism, by the difference $j(E_1) - j(E_2)$ of the respective $j$-invariants. In…
In this paper we prove a functional transcendence statement for the j-function which is an analogue of the Ax-Schanuel theorem for the exponential function. It asserts, roughly, that atypical algebraic relations among functions and their…
Let G be GL_N or SL_N as reductive linear algebraic group over a field k of positive characteristic p. We prove several results that were previously established only when N < 6 or p > 2^N. Let G act rationally on a finitely generated…
We prove bounds for the absolute sum of all level-$k$ Fourier coefficients for $(-1)^{p(x)}$, where polynomial $p:\mathbf{F}_2^n \to \mathbf{F}_2$ is of degree $1$ or degree $2$.
We compute the divisor of the modular equation on the modular curve $\Gamma_0(N) \backslash \mathbb H^*$ and then find recurrence relations satisfied by the modular traces of the Hauptmodul for any congruence subgroup $\Gamma_0(N)$ of genus…
In this paper we explicitly classify all modular invariant partition functions for su(n) at level 2 and 3. Previously, these were known only for level 1. The level 2 exceptionals exist at n=10, 16, and 28; the level 3 exceptionals exist at…
Assuming a modular version of Schanuel's conjecture and the modular Zilber-Pink conjecture, we show that the existence of generic solutions of certain families of equations involving the modular $j$ function can be reduced to the problem of…
There exist two different languages, the ^sl(2) and N=2 ones, to describe similar structures; a dictionary is given translating the key representation-theoretic terms related to the two algebras. The main tool to describe the structure of…
In a very recent work, G. E. Andrews defined the combinatorial objects which he called {\it singular overpartitions} with the goal of presenting a general theorem for overpartitions which is analogous to theorems of Rogers--Ramanujan type…