Explicit integral Galois module structure of weakly ramified extensions of local fields

Let L/K be a finite Galois extension of complete local fields with finite residue fields and let G=Gal(L/K). Let G_1 and G_2 be the first and second ramification groups. Thus L/K is tamely ramified when G_1 is trivial and we say that L/K is weakly ramified when G_2 is trivial. Let O_L be the valuation ring of L and let P_L be its maximal ideal. We show that if L/K is weakly ramified and n is congruent to 1 mod |G_1| then P_L^n is free over the group ring O_K[G], and we construct an explicit generating element. Under the additional assumption that L/K is wildly ramified, we then show that every free generator of P_L over O_K[G] is also a free generator of O_L over its associated order in the group algebra K[G]. Along the way, we prove a `splitting lemma' for local fields, which may be of independent interest.Comment: 13 pages, numerous changes since v3 including those recommended by referee's report. To appear in Proceedings of the AM

On the trace map between absolutely abelian number fields of equal conductor

Let L/K be an extension of absolutely abelian number fields of equal conductor, n. The image of the ring of integers of L under the trace map from L to K is an ideal in the ring of integers in K. We compute the absolute norm of this ideal exactly for any such L/K, thereby sharpening an earlier result of Kurt Girstmair. Furthermore, we define an "adjusted trace map" that allows the proof of Leopoldt's Theorem to be reduced to the cyclotomic case.Comment: 11 pages, 1 figure, uses xypic and amscd. Completely revised version. To appear in Acta Arithmetic

On the equivariant Tamagawa number conjecture for Tate motives and unconditional annihilation results

Let L/K be a finite Galois extension of number fields with Galois group G. Let p be a rational prime and let r be a non-positive integer. By examining the structure of the p-adic group ring Z_p[G], we prove many new cases of the p-part of the equivariant Tamagawa number conjecture (ETNC) for the pair (h^0(Spec(L)(r),Z[G])). The same methods can also be applied to other conjectures concerning the vanishing of certain elements in relative algebraic K-groups. We then prove a conjecture of Burns concerning the annihilation of class groups as Galois modules for a wide class of interesting extensions, including cases in which the full ETNC in not known. Similarly, we construct annihilators of higher dimensional algebraic K-groups of the ring of integers in L.Comment: 33 pages, error in section 3.4 corrected. To appear in Transactions of the AM

Computing generators of free modules over orders in group algebras

Let E be a number field and G be a finite group. Let A be any O_E-order of full rank in the group algebra E[G] and X be a (left) A-lattice. We give a necessary and sufficient condition for X to be free of given rank d over A. In the case that the Wedderburn decomposition of E[G] is explicitly computable and each component is in fact a matrix ring over a field, this leads to an algorithm that either gives an A-basis for X or determines that no such basis exists. Let L/K be a finite Galois extension of number fields with Galois group G such that E is a subfield of K and put d=[K:E]. The algorithm can be applied to certain Galois modules that arise naturally in this situation. For example, one can take X to be O_L, the ring of algebraic integers of L, and A to be the associated order A of O_L in E[G]. The application of the algorithm to this special situation is implemented in Magma under certain extra hypotheses when K=E=Q.Comment: 17 pages, latex, minor revision

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

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.Comment: 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.

Noncommutative Fitting invariants and improved annihilation results

To each finitely presented module M over a commutative ring R one can associate an R-ideal Fit_R(M) which is called the (zeroth) Fitting ideal of M over R and which is always contained in the R-annihilator of M. In an earlier article, the second author generalised this notion by replacing R with a (not necessarily commutative) o-order Lambda in a finite dimensional separable algebra, where o is an integrally closed complete commutative noetherian local domain. To obtain annihilators, one has to multiply the Fitting invariant of a (left) Lambda-module M by a certain ideal H(Lambda) of the centre of Lambda. In contrast to the commutative case, this ideal can be properly contained in the centre of Lambda. In the present article, we determine explicit lower bounds for H(Lambda) in many cases. Furthermore, we define a class of `nice' orders Lambda over which Fitting invariants have several useful properties such as good behaviour with respect to direct sums of modules, computability in a certain sense, and H(Lambda) being the best possible.Comment: 24 pages; appendix deleted, many corrections and improvements following referee's report. To appear in J. Lond. Math. So

Explicit integral Galois module structure of weakly ramified extensions of local fields

First published in Proceedings of the American Mathematical Society in Vol 143 (2015), published by the American Mathematical SocietyLet L/K be a finite Galois extension of complete local fields with finite residue fields and let G=Gal(L/K). Let G_1 and G_2 be the first and second ramification groups. Thus L/K is tamely ramified when G_1 is trivial and we say that L/K is weakly ramified when G_2 is trivial. Let O_L be the valuation ring of L and let P_L be its maximal ideal. We show that if L/K is weakly ramified and n is congruent to 1 mod |G_1| then P_L^n is free over the group ring O_K[G], and we construct an explicit generating element. Under the additional assumption that L/K is wildly ramified, we then show that every free generator of P_L over O_K[G] is also a free generator of O_L over its associated order in the group algebra K[G]. Along the way, we prove a `splitting lemma' for local fields, which may be of independent interest

Galois module structure of oriented Arakelov class groups

We show that Chinburg's Omega(3) conjecture implies tight restrictions on the Galois module structure of oriented Arakelov class groups of number fields. We apply our findings to formulating a probabilistic model for Arakelov class groups in families, offering a correction of the Cohen--Lenstra--Martinet heuristics on ideal class groups.Comment: 14 pages; comments welcom