Related papers: Genus theory and $\epsilon$-conjectures on p-class…

Let A be an abelian variety over a number field k. We show that weak approximation holds in the Weil-Ch\^atelet group of A/k but that it may fail when one restricts to the n-torsion subgroup. This failure is however relatively mild; we show…

Let $K$ be an algebraic number field with ring of integers $\Cal{O}_{K}$, $p>2$ be a rational prime and $G$ be the cyclic group of order $p $. Let $\Lambda$ denote the order $\Cal{O}_{K}[G].$ Let $Cl(\Lambda)$ denote the locally free class…

Let $p$ be an odd rational prime and consider the cyclotomic number field $K = \mathbb{Q}(\zeta_{p})$ of conductor $p$. We construct a directed graph $Y$ on $p-1$ vertices for which the torsion part of the corresponding Bowen--Franks group…

We determine the structure of the obstruction group of the Hasse norm principle for a finite separable extension $K/k$ of a global field of degree $d$, where $d$ has a square-free prime factor $p$ and a $p$-Sylow subgroup of the Galois…

Let $G = \mathrm{SCl}_n(q)$ be a quasisimple classical group with $n$ large, and let $x_1, \dots, x_k \in G$ random, where $k \geq q^C$. We show that the diameter of the resulting Cayley graph is bounded by $q^2 n^{O(1)}$ with probability…

Let $E$ be an elliptic curve defined over $\mathbb{Q}$. For a quadratic number field $K$ and an odd prime number $p$, let $L$ be a $\mathbb{Z}_p$-extension of $K$. We prove that $E(L)_{\text{tors}}=E(K)_{\text{tors}}$ when $p>5$. It enables…

The P\'{o}lya group $Po(K)$ of an algebraic number field $K$ is the subgroup of the ideal class group $Cl_{K}$ generated by the ideal classes of the products of prime ideals of the same norm. If $Po(K)$ is trivial, then the number field $K$…

This article discusses variants of Weber's class number problem in the spirit of arithmetic topology to connect the results of Sinnott--Kisilevsky and Kionke. Let $p$ be a prime number. We first prove the $p$-adic convergence of class…

In 2003, H\'{e}thelyi and K\"{u}lshammer proposed that if $G$ is a finite group and $p$ is a prime dividing the group order, then $k(G)\geq 2\sqrt{p-1}$, and they proved this conjecture for solvable $G$ and showed that it is sharp for those…

In the integral cohomology ring of the classifying space of the projective linear group $PGL_n$ (over $\mathbb{C}$), we find a collection of $p$-torsions $y_{p,k}$ of degree $2(p^{k+1}+1)$ for any odd prime divisor $p$ of $n$, and $k\geq…

In this work, we identify a certain family of higher-dimensional formal groups over the ring of $p$-adic integers such that any two formal groups in that class coincide if they share infinitely many torsion points. As a useful application,…

Let p be a prime and K be a number field with non-trivial p-class group Cl(p,K). A crucial step in identifying the Galois group G=G(p,K) of the maximal unramified pro-p extension of K is to determine its two-stage approximation M=G(p,2,K),…

We prove that for any prime $p$ the finite $p$-groups of fixed coclass have only finitely many different mod-$p$ cohomology rings between them. This was conjectured by Carlson; we prove it by first proving a stronger version for groups of…

Let $K/\Q$ be a cyclic extension of number fields with Galois group $G$. We study the ideal classes of primes $\mathfrak{p}$ of $K$ of residue degree bigger than one in the class group of $K$. In particular, we explore such extensions…

Let $K/\mathbb{Q}$ be a real cyclic extension of degree divisible by $p$. We analyze the {\it statement} of the "Real Abelian Main Conjecture", for the $p$-class group $\mathcal{H}_K$ of $K$, in this non semi-simple case. The classical {\it…

Cyclic number fields of odd prime degree are constructed as ray class fields over the rational number field. They are collected in multiplets sharing a common conductor and discriminant. The algorithms are implemented in Magma and applied…

In this paper, we use the theory of genus fields to study the Euclidean ideals of certain real biquadratic fields $K.$ Comparing with the previous works, our methods yield a new larger family of real biquadratic fields $K$ having Euclidean…

Let $p$ be a prime. Consider a tower of smooth projective geometrically irreducible curves over $\mathbb F_p$, $\mathscr C:\cdots\rightarrow C_n\rightarrow\cdots\rightarrow C_1\rightarrow C_0=\mathbb P^1$ whose Galois group is isomorphic to…

The aim of this thesis is to determine classes of NP relations for which random generation and approximate counting problems admit an efficient solution. Since efficient rank implies efficient random generation, we first investigate some…

Let p>3 be a prime number and let r be an integer with 1<r<p-1. For each r, let moreover G_r denote the unique quotient of the maximal class pro-p group of size p^{r+1}. We show that the mod-p cohomology ring of G_r has depth one and that,…