CONSTRUCTION OF AUTOMORPHIC FORMS FOR AMPLE FACTORS OF QUASI-ABELIAN VARIETIES (Q4457867)

Let \(\Gamma\) be a discrete subgroup of \(\mathbb C^n\). The quotient group \(X =\mathbb C^n/\Gamma\) is called a toroidal group if there is no non-constant holomorphic function on it. When rank\(\,\Gamma = 2n\), \(X\) is a complex torus, and is then naturally a toroidal group. The author is interested in the non-compact case, i.e. rank\(\,\Gamma< 2n\). Let \(L\) be a holomorphic line bundle over a toroidal group \(X\). There exists an automorphic factor \(\psi :\Gamma\times\mathbb C^n\to\mathbb C^n\) corresponding to \(L\). An entire function \(f\) on \(\mathbb C^n\) is called an automorphic form for \(\psi\) if \(f(x +\gamma) =\psi(\gamma,x)f(x)\) for all \(\gamma\in\Gamma\) and \(x\in\mathbb C^n\). The author explicitly constructs automorphic forms for a given automorphic factor which has an ample Riemann form. In the case of abelian varieties, an automorphic factor is a theta factor. By a suitable linear change of variables and a choice of period matrices, any automorphic form (theta function) becomes a \(\mathbb Z^n\)-periodic holomorphic function. Then it is represented as a classical theta series. In the non-compact case, automorphic forms are not \(\mathbb Z^n\)-periodic. For these reasons, the author constructs automorphic forms using Poincaré series instead of Fourier series. The case when the period matrix relative to the normal form of an ample theta factor \(\rho\) is of special type, is considered. In this case, all automorphic forms are explicitly represented as Fourier series with respect to variables of less than \(n\).