For a smooth and proper curve $X_K$ over the fraction field $K$ of a discrete valuation ring $R$, we explain (under very mild hypotheses) how to equip the de Rham cohomology $H_{\mathrm{dR}}^1(X_K/K)$ with a canonical integral structure: i.e., an $R$-lattice which is functorial in finite (generically étale) $K$-morphisms of $X_K$ and which is preserved by the cup-product auto-duality on $H_{\mathrm{dR}}^1(X_K/K)$. Our construction of this lattice uses a certain class of normal proper models of $X_K$ and relative dualizing sheaves. We show that our lattice naturally...

If $K/k$ is a finite Galois extension of number fields with Galois group $G$, then the kernel of the capitulation map $C{l}_k\to C{l}_K$ of ideal class groups is isomorphic to the kernel $X\left(H\right)$ of the transfer map $H/H^{\text{'}}\to A,$ where $H=\text{Gal}(\tilde{K}/k),A=\text{Gal}(\tilde{K}/K)$ and $\tilde{K}$ is the Hilbert class field of $K$. H. Suzuki proved that when $G$ is abelian, $\left|G\right|$ divides $\left|X\right(H\left)\right|$. We call a finite abelian group $X$ a transfer kernel for $G$ if $X\cong X\left(H\right)$ for some group extension $A\hookrightarrow H\twoheadrightarrow G$. After characterizing transfer kernels in terms of integral representations of $G$, we show that $X$ is a transfer kernel for...

Let $K=k\left(\sqrt{-p\epsilon \sqrt{l}}\right)$ with $k=\mathbb{Q}\left(\sqrt{l}\right)$ where $l$ is a prime number such that $l=2$ or $l\equiv 5mod8$, $\epsilon$ the fundamental unit of $k$, $p$ a prime number such that $p\equiv 1mod4$ and ${\left(\frac{p}{l}\right)}_4=-1$, $K_2^{\left(1\right)}$ the Hilbert $2$-class field of $K$, $K_2^{\left(2\right)}$ the Hilbert $2$-class field of $K_2^{\left(1\right)}$ and $G=Gal(K_2^{\left(2\right)}/K)$ the Galois group of $K_2^{\left(2\right)}/K$. According to E. Brown and C. J. Parry [7] and [8], $C_{2,K}$, the Sylow $2$-subgroup of the ideal class group of $K$, is isomorphic to $\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}$, consequently $K_2^{\left(1\right)}/K$ contains three extensions $F_i/K$$...$

Soient $\mathbf{K}=\mathbf{Q}\left(\sqrt{-pq(2+\sqrt{2})}\right)$ où $p$ et $q$ deux nombres premiers différents tels que $p\equiv q\equiv \pm 5mod8$, ${\mathbf{K}}_2^{\left(1\right)}$ le $2$-corps de classes de Hilbert de $\mathbf{K}$, ${\mathbf{K}}_2^{\left(2\right)}$ le $2$-corps de classes de Hilbert de ${\mathbf{K}}_2^{\left(1\right)}$ et $G$ le groupe de Galois de ${\mathbf{K}}_2^{\left(2\right)}/K$. D’après [4], la $2$-partie $C_{2,\mathbf{K}}$ du groupe de classes de $\mathbf{K}$ est de type $(2,2)$, par suite ${\mathbf{K}}_2^{\left(1\right)}$ contient trois extensions ${\mathbf{F}}_i/\mathbf{K}$ ; $i=1,2,3$. Dans ce papier, on s’interesse au problème de capitulation des $2$-classes d’idéaux de $\mathbf{K}$ dans ${\mathbf{F}}_i$$...$

Let $p$ be a prime number and $F$ be a number field. Since Iwasawa’s works, the behaviour of the $p$-part of the ideal class group in the ${\mathbb{Z}}_p$-extensions of $F$ has been well understood. Moreover, M. Grandet and J.-F. Jaulent gave a precise result about its abelian $p$-group structure.On the other hand, the ideal class group of a number field may be identified with the torsion part of the $K_0$ of its ring of integers. The even $K$-groups of rings of integers appear as higher versions of the class group. Many authors...

An open problem of arithmetic Ramsey theory asks if given an r-colouring c:ℕ → 1,...,r of the natural numbers, there exist x,y ∈ ℕ such that c(xy) = c(x+y) apart from the trivial solution x = y = 2. More generally, one could replace x+y with a binary linear form and xy with a binary quadratic form. In this paper we examine the analogous problem in a finite field ${}_q$. Specifically, given a linear form L and a quadratic form Q in two variables, we provide estimates on the necessary size of $A{\subset }_q$ to guarantee...