On the holomorphic differential forms of the Siegel modular variety. II (Q749577)

Let \(\Omega^{\nu}({\mathbb{H}}_ g)^{\Gamma_ g}\) be the space of \(\Gamma_ g\) invariant differential forms on \({\mathbb{H}}_ g\) of degree \(\nu\), where \(\Gamma_ g\) is the full integral symplectic group \(S_ p(2g,{\mathbb{Z}})\) and \({\mathbb{H}}_ g\) the Siegel half-space. In a previous paper [Arch. Math. 53, 363-372 (1989; Zbl 0689.10037)] the author has proved that \[ \Omega^{[4\mu]}({\mathbb{H}}_ g)^{\Gamma_ g}\neq 0,\text{ for } g=4k+3,\quad 1\leq \mu \leq k\text{ and } [\mu]:=\mu g- (1/2)\mu (\mu -1). \] In this paper an improvement of the previous result is proved, namely that \[ \Omega^{[4\mu]}({\mathbb{H}}_ g)^{\Gamma_ g}\neq 0\text{ for } g=2k+1,\quad 4\leq 2\mu <k. \]