Newspaces with Nebentypus: An Explicit Dimension Formula and Classification of Trivial Newspaces

Abstract

Consider $N \geq 1$, $k \geq 2$, and $χ$ a Dirichlet character modulo $N$ such that $χ(-1) = (-1)^k$. For any bound $B$, one can show that $\dim S_k(Γ_0(N),χ) \le B$ for only finitely many triples $(N,k,χ)$. It turns out that this property does not extend to the newspace; there exists an infinite family of triples $(N,k,χ)$ for which $\dim S_k^{\text{new}}(Γ_0(N),χ) = 0$. However, we classify this case entirely. We also show that excluding the infinite family for which $\dim S_k^{\text{new}}(Γ_0(N),χ) = 0$, $\dim S_k^{\text{new}}(Γ_0(N),χ) \leq B$ for only finitely many triples $(N,k,χ)$. In order to show these results, we derive an explicit dimension formula for the newspace $S_k^{\text{new}}(Γ_0(N),χ)$. We also use this explicit dimension formula to prove a character equidistribution property and disprove a conjecture from Greg Martin that $\dim S_2^{\text{new}}(Γ_0(N))$ takes on all possible non-negative integers.