On transcendency of special values of arithmetic automorphic functions (Q2550743): Difference between revisions

Let \(B\) be a division indefinite quaternion algebra over the rational number field \(\mathbb Q\), \(\mathfrak o\) its maximal order, \(\Gamma\) the unit group of all the elements of \(\mathfrak o\) with the reduced norm one. Let \(\mathfrak H\) be the complex upper half plane \(\{z\in\mathbb C\mid \text{Im}\, z >0\}\) and \(\chi\) an irreducible representation of \(B\) into \(M(\overline{\mathbb Q})\cap M_2(\mathbb R)\). Then, by \(\chi\), we can regard \(\Gamma\) as a discontinuous group operating on \(\mathfrak H\). G. Shimura constructed, as a generalization of the elliptic modular function \(J(z)\), a holomorphic map \(\varphi\) from \(\mathfrak H\) to a projective space \(\mathbb P^l\) satisfying the following conditions: (i) \(\varphi\) induces a biregular isomorphism from \(\Gamma\setminus \mathfrak H\) to a projective algebraic curve defined over \(\mathbb Q\); (ii) If \(z\in\mathfrak H\) is fixed by some element of \(B-\mathbb Q\), \(\varphi(z)\) generates an abelian extension over a certain imaginary quadratic field. On the other hand, Th. Schneider proved that, if \(z\in\mathfrak H\) is an algebraic number which is not contained in any imaginary quadratic field, \(J(z)\) is a transcendental number. The author generalize this theorem of Schneider as the following theorem. Theorem. Let \(z\) be an algebraic number. Then, if \(z\) is not fixed by any element of \(B-\mathbb Q\), \(\varphi\) is transcendental. The author proves this theorem using a family of abelian varieties, a result of S. Lang and the fact that the commutater of \(\chi(B)\) in \(M_2(\mathbb C)\) is the set of scalar matrices.