I remember that modular forms of integral weight are defined on congruence subgroups like Γ₀(N) or Γ₁(N), but for half-integral weights, things are different.
The primary reason is to ensure the existence of a consistent set of square roots gr.inc/question/explain-why-half-integral-wei … n-congruence-subgrou
