On the representation of the Picard modular function by \(\theta\) constants. I-II (Q1123920): Difference between revisions

Here the author investigates properties of Picard modular functions. Put \(\Lambda =\{\xi =(\xi_ 0,\xi_ 1,\xi_ 2)\); \(\xi_ i\neq 0\), \(\xi_ i\neq \xi_ j\), \(i\neq j\), \(i,j=0,1,2\}\). Consider curves \(C(\xi):w^ 3=z(z-\xi_ 0)(z-\xi_ 1)(z-\xi_ 2)\) in (z,w)-space for \(\xi\in \Lambda\). The Picard modular function is defined as the inverse image of the period mapping \(\Phi\) for the families of C(\(\xi)\)'s. The inverse mapping of \(\Phi\) is holomorphic on \(D=\{(u,v)\in {\mathbb{C}}^ 2:\quad 2 Re v+| u|^ 2<0\}=\{\eta \in {\mathbb{P}}^ 2({\mathbb{C}}):\quad^ t\eta H{\bar \eta}<0\}\) which is the subvariety of the Siegel space \({\mathcal S}_ 3\) of degree 3. Here \(H=(h_{ij})\), \(i,j=1,2,3\), \(h_{12}=h_{21}=h_{33}=1\), the other \(h_{ij}\) are 0. Put \(\xi_ k=\phi_ k(u,v)\), \(k=0,1,2.\) In Proposition I.3, the author constructs the represenation of \(\phi_ k(u,v)\) by theta constants of Riemann theta on \({\mathcal S}_ 3\). It is a generalization of Jacobi's representation of elliptic modular functions by his theta. Then the author gives the Fourier expansion of the Picard modular functions in Proposition I.4. Put \[ \Gamma =\{g\in PGL(3,{\mathbb{Z}}[\omega]):\quad^ tgH\bar g=H\},\quad \Gamma '=\{g\in PSL(3,{\mathbb{Z}}[\omega]),\quad g\equiv I mod \sqrt{-3}\}\quad with\quad \omega =e^{-2\pi i/3}. \] In Proposition II.3, the author shows that \(\phi_ k(u,v)\) are the modular forms on D with respect to \(\Gamma '\) and in Propositions II.4, II.5, he determines the structure and generator systems of the graded rings \(A(\Gamma ')\), A(\(\Gamma)\) of modular forms on D with respect to \(\Gamma '\) and \(\Gamma\), respectively.