Related papers: Genus theory and the factorization of class equati…

Vandiver's conjecture states that any prime p does not divide the class number $h(R)$ of the maximal real subfield R of the p-th cyclotomic field. The aim of this paper is to prove Vandiver's conjecture, which has several consequences…

Following the natural instinct that when a group operates on a number field then every term in the class number formula should factorize `compatibly' according to the representation theory (both complex and modular) of the group, we are led…

Let $\gamma$ be an algebraic number of degree $2$ and not a root of unity. In this note we show that there exists a prime ideal $\mathfrak{p}$ of $\mathbb{Q}(\gamma)$ satisfying $\nu_\mathfrak{p}(\gamma^n-1)\ge 1$, such that the rational…

The P\'olya group ${\rm Po}(K)$ of a number field $K$ is the subgroup of the ideal class group ${\rm Cl}(K)$ of $K$ generated by the classes of all the products of the prime ideals of $K$ with the same norm. Motivated by the classical "one…

The classical polynomial interpolation problem in several variables can be generalized to the case of points with greater multiplicities. What is known, as yet, is essentially concentrated in the Alexander-Hirschowitz Theorem which says…

We prove a topological version of the section conjecture for the profinite completion of the fundamental group of finite CW-complexes equipped with the action of a group of prime order $p$ whose $p$-torsion cohomology can be killed by…

For each odd prime $p$, we prove the existence of infinitely many real quadratic fields which are $p$-rational. Explicit imaginary and real bi-quadratic $p$-rational fields are also given for each prime $p$. Using a recent method developed…

Let $p$ be an odd prime and $L/K$ a $p$-adic Lie extension whose Galois group is of the form $\mathbb{Z}_p^{d-1}\rtimes \mathbb{Z}_p$. Under certain assumptions on the ramification of $p$ and the structure of an Iwasawa module associated to…

Quadratic conjecture is a strengthening of oliver's $p$-group conjecture. Let $G$ be a $p$-group of maximal class of order $p^n$. We prove that if $n\le 8$ or $n\ge \max\{2p-6,p+2\}$ then $G$ satisfies Quadratic Conjecture. Hence quadratic…

Suppose $K$ is a finite field extension of $\mathbb{Q} _p$ containing a primitive $p$-th root of unity. Let $\Gamma _{<p}$ be the Galois group of a maximal $p$-extension of $K$ with the Galois group of period $p$ and nilpotent class $<p$.…

Let $q=p^s$ be a prime power, $F$ a field containing a root of unity of order $q$, and $G_F$ its absolute Galois group. We determine a new canonical quotient $\mathrm{Gal}(F_{(3)}/F)$ of $G_F$ which encodes the full mod-$q$ cohomology ring…

Let $X\subset {\mathbb P}_{K}^{m}$ be a smooth irreducible projective algebraic variety of dimension $d$, defined over an algebraically closed field $K$ of characteristic $p>0$. We say that $X$ is a generalized Fermat variety of type…

Let $G$ be a finite group. Let $K/k$ be a Galois extension of number fields with Galois group isomorphic to $G$, and let $C \subseteq \mathrm{Gal}(K/k) \simeq G$ be a conjugacy invariant subset. It is well known that there exists an…

Let $K$ be a totally real number field. For all prime number $p\geq 5$, let us denote by $F_p$ the Fermat curve of equation $x^p+y^p+z^p=0$. Under the assumption that $2$ is totally ramified in $K$, we establish some results about the set…

We present a sharpened version of the Cohen-Gabber theorem for equicharacteristic, complete local domains (A,m,k) with algebraically closed residue field and dimension d > 0. Namely, we show that for any prime number p, Spec(A) admits a…

Let $D$ be a square-free integer other than 1. Let $K$ be the quadratic field ${\mathbb Q}(\sqrt D)$. Let $\delta \in \{1,2\}$ with $\delta=2$ if $D\equiv 1 \pmod 4$. To each prime ideal $\mathcal P$ in $K$ that splits in $K/\mathbb Q$ we…

The Steinitz class of a number field extension K/k is an ideal class in the ring of integers O_k of k, which, together with the degree [K:k] of the extension determines the O_k-module structure of O_K. We call R_t(k,G) the classes which are…

Let $p$ be an odd prime and $F$ be a number field whose $p$-class group is cyclic. Let $F_{\{\mathfrak{q}\}}$ be the maximal pro-$p$ extension of $F$ which is unramified outside a single non-$p$-adic prime ideal $\mathfrak{q}$ of $F$. In…

We deduce a formula enumerating the isomorphism classes of extensions of a $\kp$-adic field $K$ with given ramification $e$ and inertia $f$. The formula follows from a simple group-theoretic lemma, plus the Krasner formula and an elementary…

Let $k$ be a number field and let ${\mathcal{A}}$ be a ${\rm GL}_2$-type variety defined over $k$ of dimension $d$. We show that for every prime number $p$ satisfying certain conditions (see Theorem 2), if the local-global divisibility…