Fontaine described the category of formal groups over the ring of Witt vectors over a finite field of characteristic $p$ with the aid of triples consisting of the module of logarithms, the Dieudonné module, and the morphism from the former to the latter. We propose an explicit construction for the kernels in this category in term of Fontaine's triples. The construction is applied to the formal norm homomorphism in the case of an unramified extension of ${{\mathbb{Q}}_{p}}$ and of a totally ramified extension of degree less or equal than $p$ . A similar consideration applied to a global extension allows us to establish the existence of a strict isomorphism between the formal norm torus and a formal group law coming from $L$ -series.

In this paper, we find a power series expansion of the invariant differential ${\it\omega}_{E}$ of an elliptic curve $E$ defined over $\mathbb{Q}$, where $E$ is described by certain families of Weierstrass equations. In addition, we derive several congruence relations satisfied by the trace of the Frobenius endomorphism of $E$.

We study the affine formal algebra $R$ of the Lubin–Tate deformation space as a module over two different rings. One is the completed group ring of the automorphism group $\Gamma $ of the formal module of the deformation problem, the other one is the spherical Hecke algebra of a general linear group. In the most basic case of height two and ground field $\mathbb {Q}_p$, our structure results include a flatness assertion for $R$ over the spherical Hecke algebra and allow us to compute the continuous (co)homology of $\Gamma $ with coefficients in $R$.

Let $\tau$ be a point in the upper half-plane such that the elliptic curve corresponding to $\tau$ can be defined over $\mathbb{Q}$, and let f be a modular form on the full modular group with rational Fourier coefficients. By applying the Ramanujan differential operator D to f, we obtain a family of modular forms Dlf. In this paper we study the behavior of $D^l(f)(\tau)$ modulo the powers of a prime p > 3. We show that for $p \equiv 1 \bmod 3$ the quantities $D^l(f)(\tau)$, suitably normalized, satisfy Kummer-type congruences, and that for $p \equiv 2 \bmod 3$ the p-adic valuations of $D^l(f)(\tau)$ grow arbitrarily large. We prove these congruences by making a connection with a certain elliptic curve whose reduction modulo p is ordinary if $p \equiv 1 \bmod 3$ and supersingular otherwise.

A strategy is proposed for applying Chabauty's Theorem to hyperelliptic curves of genus ${>} 1$. In the genus 2 case, it shown how recent developments on the formal group of the Jacobian can be used to give a flexible and computationally viable method for applying this strategy. The details are described for a general curve of genus 2, and are then applied to find ${\bm C}({\bb Q})$ for a selection of curves. A fringe benefit is a more explicit proof of a result of Coleman.