Related papers: On the Discrete Groups of Mathieu Moonshine
The Katz-Sarnak density conjecture states that, as the analytic conductor $R \to \infty$, the distribution of the normalized low-lying zeros (those near the central point $s = 1/2$) converges to the scaling limits of eigenvalues clustered…
We introduce the notion of vertex operator superalgebra with enhanced conformal structure, which is a refinement of the notion of vertex operator superalgebra. We exhibit several examples, including a particular one which is self-dual, and…
For $C$ a complete algebraically closed extension of $\mathbb{Q}_p$, we show that a one-dimensional $p$-divisible group $G/ \mathcal{O}_C$ can be defined over a complete discretely valued subfield $L \subset C$ with Hodge-Tate period ratios…
We prove that for a Hecke cuspform $f\in S_k(\Gamma_0(N),\chi)$ and a prime $l>\max\{k,6\}$ such that $l\nmid N$, there exists an infinite family $\{k_r\}_{r\geq 1}\subseteq\mathbb{Z}$ such that for each $k_r$, there is a cusp form…
We propose an algebraic definition of the space of l-new mod-p modular forms for Gamma0(Nl) in the case that l is prime to N, which naturally generalizes to a notion of newforms modulo p in squarefree level. We use this notion of newforms…
Let $U(p)$ denote the Atkin operator of prime index $p$. Honda and Kaneko proved infinite families of congruences of the form $f|U(p) \equiv 0 \pmod{p}$ for weakly holomorphic modular forms of low weight and level and primes $p$ in certain…
The twisted elliptic genera of a $K3$ surface associated with the conjugacy classes of the Mathieu group $M_{24}$ are known to be weak Jacobi forms of weight $0$. In 2010, Cheng constructed formal infinite products from the twisted elliptic…
In this paper we consider the integral orthogonal group with respect to the quadratic form of signature $(2,3)$ given by $\left(\begin{smallmatrix} 0 & 1 \\ 1 & 0 \end{smallmatrix}\right) \perp \left(\begin{smallmatrix} 0 & 1 \\ 1 & 0…
We explicitly construct cusp forms on the orthogonal group of signature $(1,8n+1)$ for an arbitrary natural number $n$ as liftings from Maass cusp forms of level one. In our previous works, the fundamental tool to show the automorphy of the…
We study a self-dual N=1 super vertex operator algebra and prove that the full symmetry group is Conway's largest sporadic simple group. We verify a uniqueness result which is analogous to that conjectured to characterize the Moonshine…
We prove an arithmetic Hilbert-Samuel type theorem for semi-positive singular hermitian line bundles of finite height. In particular, the theorem applies to the log-singular metrics of Burgos-Kramer-K\"uhn. Our theorem is thus suitable for…
Cusp forms are certain holomorphic functions defined on the upper half-plane, and the space of cusp forms for the principal congruence subgroup $\Gamma(p)$, $p$ a prime, is acted by $\mathrm{SL}_2(\mathbb{F}_p)$. Meanwhile, there is a…
We prove that a Dirichlet series with a functional equation and Euler product of a particular form can only arise from a holomorphic cusp form on the Hecke congruence group $\Gamma_0(13)$. The proof does not assume a functional equation for…
In the second section, we introduce dense unital magmas and show that a near-ring is dense if and only if it has a positive element smaller that unity. In the third section, we discuss magma-valued metric spaces. The density property of the…
For every integer $g \,\geq\, 2$ we show the existence of a compact Riemann surface $\Sigma$ of genus $g$ such that the rank two trivial holomorphic vector bundle ${\mathcal O}^{\oplus 2}_{\Sigma}$ admits holomorphic connections with…
We compare the notions of essential dimension and stable cohomological dimension of a finite group G, prove that the latter is bounded by the length of any normal series with cyclic quotients for G, and show that, however, this bound is not…
We determine the size of spaces of higher order Maass forms of even weight for cofinite discrete subgroups of PSL(2,R) with cusps. If exponential growth at the cusps is allowed, the spaces of Maass forms of a given order are as large as…
We consider spaces of modular forms attached to definite orthogonal groups of low even rank and nontrivial level, equipped with Hecke operators defined by Kneser neighbours. After reviewing algorithms to compute with these spaces, we…
In this paper, we introduce the prime trees associated with a finite subset $P$ of the set of all prime numbers, and provide conditions under which the tree is of finite type. Moreover, we compute the density of finite-type subsets $P$. As…
We introduce a new class of $\mathfrak{sl}_2$-triples in a complex simple Lie algebra $\mathfrak{g}$, which we call magical. Such an $\mathfrak{sl}_2$-triple canonically defines a real form and various decompositions of $\mathfrak{g}$.…