Un' identità aritmetica che si presenta nella geometria algebrica. (Q2592402)

Auf einer algebraischen Kurve \(C\) des Geschlechts \(p\) mit allgemeinen Moduln gibt es bekanntlich \(2^{p-1}\,(2^p - 1)\) halbkanonische Punktgruppen von je \(p -1\) Punkten, d. h. solche, die, doppelt gezählt, Gruppen der kanonischen \(\bigl|\,g_{2p-1}^{p-1}\,\bigr|\) ergeben. Bei speziellen Moduln können ganze Vollscharen \(\bigl|\,g_{p-1}^r\,\bigr|\) auftreten derart, daß \(\bigl|\,2g_{p-1}^r\bigr| = \bigl|g_{2p-2}^{p-1}\,\bigr|\) ist, und, je nachdem \(r\) gerade oder ungerade ist, zählt eine solche Vollschar für eine oder keine halbkanonische Gruppe des allgemeinen Falles. Nun kennt man bei einer hyperelliptischen \(C\) (d. h., die eine \(g_2^1\) trägt) alle jene \(\bigl|g_{p-1}^r\bigr|\); ihre Gruppen bestehen aus \(p-2r-1\) unter den \(2p + 2\) Doppelpunkten der \(g_2^1\) und weiteren \(r\) beliebigen Gruppen aus der \(g_2^1\). Man kennt daher ihre Anzahlen und findet die Identität \[ 2^{p-1}\,(2^p-1)= \sum _{\nu =0}^{ [\frac {1}{4}(p-1)]}\, \binom {2p+2}{p-4\nu -1}. \] Diese Identität beweist Verf. weiterhin durch Kombination der Binomialent\-wicklungen von \((1+i^\varrho )^{ 4h+4}\) und \((1+i^\varrho )^{ 4h+2}\), \(\varrho =0,1,2,3\); \(h\geqq 0\) ganz.