scientific article; zbMATH DE number 15725

[For the entire collection see Zbl 0707.00010.] Let \(X/\mathbb{C}\) be an elliptic curve, with complex multiplication by a quadratic imaginary field \(E\). Then \(X/\mathbb{C}\) automatically and uniquely descends to the algebraic closure \(\overline\mathbb{Q}\) of \(\mathbb{Q}\) in \(\mathbb{C}\) and has good reduction at every prime \({\mathfrak p}\) of \(\overline\mathbb{Q}\). Let \(K_{\mathfrak p}\) denote the algebraic closure of \(\mathbb{Q}_ p\) in the completion of \(\overline\mathbb{Q}\) at \({\mathfrak p}\), and let \(W_{\mathfrak p}\) denote the set of automorphisms of \(\overline\mathbb{Q}\) which preserve \({\mathfrak p}\) and which act as some integral power of the Frobenius automorphism on the residue field \(k_{\mathfrak p}\) at \({\mathfrak p}\). These automorphisms extend to automorphisms of \(K_{\mathfrak p}\) by continuity. There is a canonical semilinear crystalline action of this Weil group on \(H^ 1_{DR}(X/\overline\mathbb{Q})\otimes K_{\mathfrak p}\), compatible with the action of \(E\). The principle goal of this paper is to give an ``explicit formula for a matrix representation of this action, with respect to a basis for \(H^ 1_{DR}(X/\overline\mathbb{Q})\). As we shall see, our formula 3.15 below, bears a striking resemblance to the classical Chowla-Selberg formula [cf. \textit{B. H. Gross}, Invent. Math. 45, 193-211 (1978; Zbl 0418.14023)] for the classical period matrix of \(X/\overline\mathbb{Q}\), with the classical gamma function replaced by Morita's \(p\)-adic gamma function. Our proof is inspired by and patterned after Gross' proof of the classical formula [loc. cit.] in which the formula for elliptic curves is deduced from a similar formula for the periods of Fermat curves. We use the formalism of absolute Hodge cycles to reduce to the computation of the Frobenius matrix of Fermat curves. When \(p\) does not divide the degree, this computation goes back a long way, but no convenient reference seemed to exist in the literature until \textit{R. Coleman}'s article [in Galois representation and arithmetic algebraic geometry, Proc. Symp. Kyoto 1985 and Tokyo 1986, Adv. Stud. Pure Math. 12, 21-52 (1987; Zbl 0644.12008)]. More recently, Coleman has been able to carry out his computations for all odd primes. We refer to his paper for the explicit formulas and the detailed story of the relationship between his results and ours [see the preceding review].

Recommendations

Cited in

(27)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3972370)