The theta-kernel weight divisibility conjecture
Let ppp be a prime, let nnn, jjj, and kkk be positive integers with j<nj<nj<n, and let F∈Mk(Γ1(n)(N))Z(p)F\in M_k(\Gamma^{(n)}_{1}(N))_{\mathbb{Z}_{(p)}}F∈Mk(Γ1(n)(N))Z(p) with k∈Z≥1k\in\mathbb{Z}_{\ge 1}k∈Z≥1. Assume that…