On the theta-multiplier system (Q1196063): Difference between revisions

Für \(z\in\mathbb{C}\), \(\text{Im }z>0\), \(q:=e^{2\pi iz}\), \(g,h\in\{0,1\}\) und \((g,h)\neq(0,0)\) sind die Theta-Nullwerte \(\vartheta_{g,h}\) wie folgt definiert: \[ \vartheta_{g,h}(z):=q^{(g-1)^ 2/8}(1-(-1)^ h q^{(g/2)}) \prod_{m=1}^ \infty (1-(-1)^ h q^{m+(g/2)}) (1-(- 1)^ h q^{m-(g/2)}). \] Sind \(M={{\alpha\;\beta} \choose {\gamma\;\delta}}\in SL_ 2(\mathbb{Z})\) und \(g^*,h^*\in\{0,1\}\) definiert durch die Kongruenz \((g^*,h^*)\equiv(g,h)M^{-1} \pmod 2\), so gilt: \[ \log \vartheta_{g^*,h^*}(Mz)-\log \vartheta_{g,h}(z) -(1/2)\log(\gamma z+\delta)=(\pi i/4)\sigma(M\mid g,h) \] mit \(\sigma(M\mid g,h)\) einer von \(z\) unabhängigen ganzen rationalen Zahl. (Der Zweig von \(\log\vartheta_{g,h}(z)\) ist so festgelegt, daß \(\log \vartheta_{g,h}(i)\) positiv reell ist und als Zweig von \(\log(\gamma z+\delta)\) ist der Hauptzweig zu nehmen. Der Autor gibt für reduzierte hyperbolische Matrizen \(M\in SL_ 2(\mathbb{Z})\) einen Kettenbruchalgorithmus an, mit dem \(\sigma(M\mid g,h)\) effektiv berechnet werden kann. Die Arbeit stützt sich hauptsächlich auf Arbeiten von F. Hirzebruch und D. Zagier, sie ist interessant und rechnerisch ziemlich kompliziert.