Consequently , there is an exact sequence
It was proved in ( Bruinier & Funke 2004 ) ( for arbitrary weights , multiplier systems , and congruence subgroups ) that this map is surjective .
There is an exact sequence
It was proved in ( Bruinier & Funke 2004 ) ( for arbitrary weights , multiplier systems , and congruence subgroups ) that this map is surjective .