On the space of theta functions whose levels are square-free.

Hecke conjectured that an explicit set of theta series obtained from a quaternion algebra defined over ℚ ramified at a prime N is a basis of a space of holomorphicmodular forms of weight 2 for the Hecke congruence group Γ0(N). However, Eichler noticed that Hecke's conjecture is not true in general. Hence it is natural to ask the dimension of the subspace of M2(Γ0(N)) spanned by the theta series, and this question is called Hecke's basis problem, which we have shown an answer in [K. Sugiyama, On the space of theta functions for a prime level, Comment. Math. Univ. St. Pauli, 67(1):66–81, 2019]. In this paper, we generalize the results for a square-free positive integer N. [ABSTRACT FROM AUTHOR]