Showing 1–12 of 12 results for author: Greither, C

On the Galois module structure of minus class groups

Authors: Cornelius Greither, Takenori Kataoka

Abstract: 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 classe… ▽ More 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. △ Less

Submitted 17 April, 2024; originally announced April 2024.

Comments: 28 pages

MSC Class: 11R29 (Primary) 11R33 (Secondary)

Minimal Hopf-Galois Structures on Separable Field Extensions

Authors: Tony Ezome, Cornelius Greither

Abstract: 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 pa… ▽ More 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. △ Less

Submitted 15 November, 2020; originally announced November 2020.

Comments: 10 pages

MSC Class: 12F10

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

Authors: Cornelius Greither, Takenori Kataoka, Masato Kurihara

Abstract: 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 computatio… ▽ More 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. △ Less

Submitted 10 June, 2020; originally announced June 2020.

MSC Class: 11R23

Tame Galois module structure revisited

Authors: Fabio Ferri, Cornelius Greither

Abstract: 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, N… ▽ More 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. △ Less

Submitted 8 July, 2019; v1 submitted 31 May, 2018; originally announced May 2018.

Comments: 16 pages. Same version as the published paper

Journal ref: Ann. Mat. Pura Appl. (2019), https://doi.org/10.1007/s10231-019-00852-x

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

Authors: Cornelius Greither, Cristian D. Popescu

Abstract: 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 con… ▽ More 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$. △ Less

Submitted 6 October, 2017; originally announced October 2017.

MSC Class: 11R23; 11R33; 11R34

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

Authors: Lindsay N. Childs, Cornelius Greither

Abstract: 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… ▽ More 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. △ Less

Submitted 8 June, 2017; originally announced June 2017.

Comments: 21 pages

MSC Class: 13M05 (Primary); 12F10; 13B05 (Secondary)

An Equivariant Main Conjecture in Iwasawa Theory and Applications

Authors: Cornelius Greither, Cristian D. Popescu

Abstract: 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… ▽ More 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.) △ Less

Submitted 15 March, 2011; originally announced March 2011.

Comments: 52 pages

MSC Class: 11R23; 11R34; 11R33; 11R42; 11R70; 14G40

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

Authors: Cornelius Greither, Cristian D. Popescu

Abstract: 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, assum… ▽ More 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. △ Less

Submitted 4 May, 2010; originally announced May 2010.

Comments: 32 pages

On the restricted Hilbert-Speiser and Leopoldt properties

Authors: Nigel P. Byott, James E. Carter, Cornelius Greither, Henri Johnston

Abstract: 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 Hil… ▽ More 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. △ Less

Submitted 10 March, 2010; v1 submitted 17 May, 2009; originally announced May 2009.

Comments: 15 pages, latex, to appear in Illinois Journal of Mathematics.

MSC Class: 11R33; 11R29

On totally real Hilbert-Speiser Fields of type C_p

Authors: Cornelius Greither, Henri Johnston

Abstract: 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 Hil… ▽ More 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. △ Less

Submitted 26 February, 2009; v1 submitted 2 June, 2008; originally announced June 2008.

Comments: 8 pages, latex, minor revisions following referee's report

MSC Class: 11R33

Non-existence and splitting theorems for normal integral bases

Authors: Cornelius Greither, Henri Johnston

Abstract: 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. 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. △ Less

Submitted 26 February, 2009; v1 submitted 15 January, 2008; originally announced January 2008.

Comments: 17 pages, 4 figures, uses xypic, minor revisions following referee's report. To appear in Annales de L'Institut Fourier

MSC Class: 11R33; 11R18

Capitulation for locally free class groups of orders of group algebras over number fields

Authors: Cornelius Greither, Henri Johnston

Abstract: We prove a capitulation result for locally free class groups of orders of group algebras over number fields. As a corollary, we obtain an "arithmetically disjoint capitulation result" for the Galois module structure of rings of integers. We prove a capitulation result for locally free class groups of orders of group algebras over number fields. As a corollary, we obtain an "arithmetically disjoint capitulation result" for the Galois module structure of rings of integers. △ Less

Submitted 9 July, 2009; v1 submitted 27 November, 2006; originally announced November 2006.

Comments: 9 pages, 7 figures, uses xy-pic. v2 covers the non-abelian case. v3 includes numerous minor corrections following referee's report. v4 corrects error in Remark 1.5

MSC Class: 11R65; 11R33

Journal ref: Bull. London Math. Soc. 41 (2009) 541-548