Related papers: Three stage towers of 5-class fields

Given a $p$-adic field $K$ and a prime number $\ell$, we count the total number of the isomorphism classes of $p^\ell$-extensions of $K$ having no intermediate fields. Moreover for each group that can appear as Galois group of the normal…

Let k be a number field, p$\ge$2 a prime and S a set of tame or wild finite places of k. We call K/k a totally S-ramified cyclic p-tower if Gal(K/k)=Z/p^NZ and if S non-empty is totally ramified. Using analogues of Chevalley's formula…

Let $G$ be a finite group and let $\pi(G)=\{p_1, p_2, \ldots, p_k\}$ be the set of prime divisors of $|G|$ for which $p_1<p_2<\cdots<p_k$. The Gruenberg-Kegel graph of $G$, denoted ${\rm GK}(G)$, is defined as follows: its vertex set is…

We develop the theory of ``branch algebras'', which are infinite-dimensional associative algebras that are isomorphic, up to taking subrings of finite codimension, to a matrix ring over themselves. The main examples come from groups acting…

Rational conformal field theories produce a tower of finite-dimensional representations of surface mapping class groups, acting on the conformal blocks of the theory. We review this formalism. We show that many recent mathematical…

Given a fixed prime number \(p\), the multiplet of abelian type invariants of the \(p\)-class groups of all unramified cyclic degree \(p\) extensions of a number field \(K\) is called its IPAD (index-\(p\) abelianization data). These…

Let k be a finite field, a global field or a local non-archimedean field. Let H_1 and H_2 be two split, connected, semisimple algebraic groups defined over k. We prove that if H_1 and H_2 share the same set of maximal k-tori up to…

We initiate the study of p-adic algebraic groups G from the stability-theoretic and definable topological-dynamical points of view, that is, we consider invariants of the action of G on its space of types over Q_p in the language of fields.…

The Turing degree spectrum of a countable structure $\mathcal{A}$ is the set of all Turing degrees of isomorphic copies of $\mathcal{A}$. The Turing degree of the isomorphism type of $\mathcal{A}$, if it exists, is the least Turing degree…

Let k be an algebraically closed field and let HaG(d) be the open locus inside H(d) (the Hilbert scheme of 0-dimensional length d subschemes of the projective (d-2)-space over k) corresponding to arithmetically Gorenstein subschemes. We…

To what extent does the maximal subfield spectrum of a division algebra determine the isomorphism class of that algebra? It has been shown that over some fields a quaternion division algebra's isomorphism class is largely if not entirely…

Let A be a supersingular abelian variety over a finite field k. We give an approximate description of the structure of the group A(k) of rational points of A over k in terms of the characteristic polynomial f of the Frobenius endomorphism…

We classify the possible torsion structures of rational elliptic curves over quintic number fields. In addition, let E be an elliptic curve defined over Q and let G = E(Q)_tors be the associated torsion subgroup. We study, for a given G,…

Let $K$ be a number field of degree $n$ over ${\mathbb Q}$. Then the 4-rank of the strict class group of $K$ is at least ${\text{rank}_2 \, } ({ E_{K}^{+} } / E_K^2) - \lfloor n /2 \rfloor$ where $E_K$ and ${ E_{K}^{+} }$ denote the units…

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 $ L/K $ be a finite separable extension of fields whose Galois closure $ E/K $ has group $ G $. Greither and Pareigis have used Galois descent to show that a Hopf algebra giving a Hopf-Galois structure on $ L/K $ has the form $ E[N]^{G}…

In this paper, we describe a new infinite family of $\frac{q^{2}-1}{2}$-tight sets in the hyperbolic quadrics $\mathcal{Q}^{+}(5,q)$, for $q \equiv 5 \mbox{ or } 9 \bmod{12}$. Under the Klein correspondence, these correspond to…

We investigate the problem of defining group or loop structures on spheres, where by ''sphere'' we mean the level set q(x) = c of a general K-valued quadratic form q, for an invertible scalar c. When K is a field and q non-degenerate, then…

We find new examples of complex surfaces with countably many non-isomorphic algebraic structures. Here is one such example: take an elliptic curve $E$ in $\mathbb P^2$ and blow up nine general points on $E$. Then the complement $M$ of the…

We present a group-theoretic criterion under which one may verify the Artin conjecture for some (non-monomial) Galois representations, up to finite height in the complex plane. In particular, the criterion applies to S5 and A5…