Searcharxiv⌕ Search

arXiv subjects

Cornelius Greither

Publications and source records attributed to Cornelius Greither.

13 recordsLinked to original sources
arXiv2025

Determining class groups as Galois modules up to equivalence for some nonabelian extensions

In previous papers, the Galois module structure of minus class groups was studied for abelian CM extensions. In this paper, we discuss some nonabelian cases, focusing on metacyclic extensions. For a certain class of these, we obtain a complete description of the Galois modules that occur as minus class groups, modulo a certain equivalence relation on modules, which was introduced earlier by the same authors.

math.NT↗
arXiv2024

On the Galois module structure of minus class groups

The main object of this paper is the minus class groups associated to CM-fields as Galois modules. In a previous article of the authors, we introduced a notion of equivalence for modules and determined the equivalence classes of the minus class groups. In this paper, we show a concrete application of this result. We also study how large a proportion of equivalence classes can be realized as classes of minus class groups.

math.NT↗
arXiv2020

Minimal Hopf-Galois Structures on Separable Field Extensions

In Hopf-Galois theory, every $H$-Hopf-Galois structure on a field extension $K/k$ gives rise to an injective map $\mathcal{F}$ from the set of $k$-sub-Hopf algebras of $H$ into the intermediate fields of $K/k$. Recent papers on the failure of the surjectivity of $\mathcal{F}$ reveal that there exist many Hopf-Galois structures for which there are many more subfields than sub-Hopf algebras. This paper surveys and illustrates group-theoretical methods to determine $H$-Hopf-Galois structures on finite separable extensions in the extreme situation when $H$ has only two sub-Hopf algebras.

math.RA↗
arXiv2020

Fitting ideals of $p$-ramified Iwasawa modules over totally real fields

We completely calculate the Fitting ideal of the classical $p$-ramified Iwasawa module for any abelian extension $K/k$ of totally real fields, using the shifted Fitting ideals recently developed by the second author. This generalizes former results by the first and third authors where we had to assume that only $p$-adic places may ramify in $K/k$. One of the important ingredients is the computation of some complexes in appropriate derived categories.

math.NT↗
arXiv2018

Tame Galois module structure revisited

A number field $K$ is Hilbert-Speiser if all of its tame abelian extensions $L/K$ admit NIB (normal integral basis). It is known that $\mathbb{Q}$ is the only such field, but when we restrict $\text{Gal}(L/K)$ to be a given group $G$, the classification of $G$-Hilbert-Speiser fields is far from complete. In this paper, we present new results on so-called $G$-Leopoldt fields. In their definition, NIB is replaced by ``weak NIB'' (defined below). Most of our results are negative, in the sense that they strongly limit the class of $G$-Leopoldt fields for some particular groups $G$, sometimes even leading to an exhaustive list of such fields or at least to a finiteness result. In particular we are able to correct a small oversight in a recent article by Ichimura concerning Hilbert-Speiser fields.

math.NT↗
arXiv2017

Abstract $\ell$-adic $1$-motives and Tate's class

In a previous paper we constructed a new class of Iwasawa modules as $\ell$--adic realizations of what we called abstract $\ell$--adic $1$--motives in the number field setting. We proved in loc. cit. that the new Iwasawa modules satisfy an equivariant main conjecture. In this paper we link the new modules to the $\ell$--adified Tate canonical class, defined by Tate in 1960 and give an explicit construction of (the minus part of) $\ell$--adic Tate sequences for any Galois CM extension $K/k$ of an arbitrary totally real number field $k$. These explicit constructions are significant and useful in their own right but also due to their applications (via our previous results on the Equivariant Main Conjecture in Iwasawa theory) to a proof of the minus part of the far reaching Equivariant Tamagawa Number Conjecture for the Artin motive associated to the Galois extension $K/k$.

math.NT↗
arXiv2017

Bounds on the number of ideals in finite commutative nilpotent $\mathbb{F}_p$-algebras

Let $A$ be a finite commutative nilpotent $\mathbb{F}_p$-algebra structure on $G$, an elementary abelian group of order $p^n$. If $K/k$ is a Galois extension of fields with Galois group $G$ and $A^p = 0$, then corresponding to $A$ is an $H$-Hopf Galois structure on $K/k$ of type $G$. For that Hopf Galois structure we may study the image of the Galois correspondence from $k$-subHopf algebras of $H$ to subfields of $K$ containing $k$ by utilizing the fact that the intermediate subfields correspond to the $\mathbb{F}_p$-subspaces of $A$, while the subHopf algebras of $H$ correspond to the ideals of $A$. We obtain upper and lower bounds on the proportion of subspaces of $A$ that are ideals of $A$, and test the bounds on some examples.

math.RA↗
arXiv2011

An Equivariant Main Conjecture in Iwasawa Theory and Applications

We construct a new class of Iwasawa modules, which are the number field analogues of the p-adic realizations of the Picard 1-motives constructed by Deligne in the 1970s and studied extensively from a Galois module structure point of view in our recent work. We prove that the new Iwasawa modules are of projective dimension 1 over the appropriate profinite group rings. In the abelian case, we prove an Equivariant Main Conjecture, identifying the first Fitting ideal of the Iwasawa module in question over the appropriate profinite group ring with the principal ideal generated by a certain equivariant p-adic L-function. This is an integral, equivariant refinement of the classical Main Conjecture over totally real number fields proved by Wiles in 1990. Finally, we use these results and Iwasawa co-descent to prove refinements of the (imprimitive) Brumer-Stark Conjecture and the Coates-Sinnott Conjecture, away from their 2-primary components, in the most general number field setting. All of the above is achieved under the assumption that the relevant prime p is odd and that the appropriate classical Iwasawa mu-invariants vanish (as conjectured by Iwasawa.)

math.NT↗
arXiv2010

The Galois module structure of l-adic realizations of Picard 1-motives and applications

We show that the l-adic realizations of certain Picard 1-motives associated to a G-Galois cover of smooth, projective curves defined over an algebraically closed field are G-cohomologically trivial, for all primes l. In the process, we generalize a well-known theorem of Nakajima on the Galois module structure of certain spaces of Kahler differentials associated to the top curve of the cover, assuming that the field of definition is of characteristic p. If the cover and the Picard 1-motive are defined over a finite field and if G is abelian, we compute the first Fitting ideal of each l-adic realization over a certain profinite l-adic group algebra in terms of an equivariant Artin L-function. This is a refinement of earlier work of Deligne and Tate on Picard 1-motives associated to global function fields. As a consequence, we prove refined versions of the Brumer-Stark and the (étale) Coates-Sinnott Conjectures for global function fields. In upcoming work, we use these results to prove several other conjectures on special values of global L-functions in characteristic p. Also, we prove analogous results in characteristic 0, where the l-adic realizations of Picard 1-motives will be replaced by a new class of Iwasawa modules.

math.NT↗
arXiv2010

On the restricted Hilbert-Speiser and Leopoldt properties

Let G be a finite abelian group. A number field K is called a Hilbert-Speiser field of type G if, for every tame G-Galois extension L/K, the ring of integers O_L is free as an O_K[G]-module. If O_L is free over the associated order A_{L/K} for every G-Galois extension L/K, then K is called a Leopoldt field of type G. It is well-known (and easy to see) that if K is Leopoldt of type G, then K is Hilbert-Speiser of type G. We show that the converse does not hold in general, but that a modified version does hold for many number fields K (in particular, for K/Q Galois) when G=C_p has prime order. We give examples with G=C_p to show that even the modified converse is false in general, and that the modified converse can hold when the original does not.

math.NT↗
arXiv2009

Non-existence and splitting theorems for normal integral bases

We establish new conditions that prevent the existence of (weak) normal integral bases in tame Galois extensions of number fields. This leads to the following result: under appropriate technical hypotheses, the existence of a normal integral basis in the upper layer of an abelian tower Q \subset K \subset L forces the tower to be split in a very strong sense.

math.NT↗
arXiv2009

On totally real Hilbert-Speiser Fields of type C_p

Let G be a finite abelian group. A number field K is called a Hilbert-Speiser field of type G if for every tame G-Galois extension L/K has a normal integral basis, i.e., the ring of integers O_L is free as an O_K[G]-module. Let C_p denote the cyclic group of prime order p. We show that if p >= 7 (or p=5 and extra conditions are met) and K is totally real with K/Q ramified at p, then K is not Hilbert-Speiser of type C_p.

math.NT↗