On some theta constants and class fields
Shimura studied the action of \({\mathrm{GSp}}({\mathbb Z}/N{\mathbb Z})\) on the space of level \(N\) Siegel modular functions, generalising a well-known theory for one variable. One aspect of that theory is that some modular functions can be expressed in terms of Siegel functions \(g_{\left[\begin{smallmatrix} \mathbf r\\ \mathbf s \end{smallmatrix}\right]}(\tau)\), and a similar role is played here by theta constants. The theta constants are defined by NEWLINE\[NEWLINE \Phi_{\left[\begin{smallmatrix} \mathbf r\\ \mathbf s\end{smallmatrix}\right]}(Z)=\frac{\sum_{{\mathbf x}\in {\mathbb Z}^g}e(^t({\mathbf x}+{\mathbf r})Z({\mathbf x}+{\mathbf r}))/2+{}^t({\mathbf x}+{\mathbf r}){\mathbf s}} {\sum_{{\mathbf x}\in{\mathbb Z}^g}e(^t{\mathbf x}Z{\mathbf x}/2)}. NEWLINE\]NEWLINENEWLINE In this paper it is shown a straightforward sufficient condition for a product of such theta constants to be a level \(N\) Siegel modular function (for even \(N\)) and the action of \({\text{GSp}}({\mathbb Z}/N{\mathbb Z})\) is elucidated in those terms.NEWLINENEWLINEFurthermore, if \(K\) is a CM field then, according to the general theory of reciprocity, the special values of a modular forms should lie in some abelian extension of the reflex field \(K^*\). Here, for the special case where \(K\) is the field of 5th roots of unity over \({\mathbb Q}\), such details are worked out more explicitly. In particular, the Galois action on the ray class field \(K_{(2p)}\) for \(p\) an odd prime, which is generated by the special value of \(\Phi_{\left[\begin{smallmatrix} \mathbf r \\ \mathbf s\end{smallmatrix}\right]}(Z)^{2p^2}\) with \({\mathbf r}=\left[\begin{smallmatrix} 1/p\\ 0 \end{smallmatrix}\right]\), \(\mathbf {s}=\left[\begin{smallmatrix} 0\\ 0 \end{smallmatrix}\right]\), is calculated completely explicit.NEWLINENEWLINEThe final section provides two ways of concretely writing down a generator of an abelian extension \(K(x,y)\) of a number field \(K\).
- Prime divisors of special values of theta functions in the ray class field of a certain quartic field modulo $2^n$
- On special values of theta functions of genus two
- On Siegel invariants of certain CM-fields
- Construction of class fields over cyclotomic fields
- Singular values of some modular functions and their applications to class fields
- On special values of theta functions of genus two
- Form class groups for extended ring class fields
- Construction of class fields over cyclotomic fields
- Primitive and totally primitive Fricke families with applications. II
- Generators of Siegel modular function fields of higher genus and level
- Galois action on special theta values
- On theta functions with complex multiplication.
- Siegel families with application to class fields
- On generalized gauss-hecke sums and theta constants
- Prime divisors of special values of theta functions in the ray class field of a certain quartic field modulo $2^n$
- On Siegel invariants of certain CM-fields
- On arithmetic properties of values of theta-constants
This page was built for publication: On some theta constants and class fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2929761)
