Hostname: page-component-74656f9884-2dmjx Total loading time: 0 Render date: 2026-11-07T05:56:18.335Z Has data issue: false hasContentIssue false

Self-dual integral normal bases and Galois module structure

Published online by Cambridge University Press:  10 May 2013

Erik Jarl Pickett
Affiliation:
53 Parkfield Crescent, Kimpton, Herts, SG4 8EQ, UK email erik_pickett@hotmail.com
Stéphane Vinatier
Affiliation:
XLIM-DMI, 123 avenue Albert Thomas, 87060 Limoges, France email stephane.vinatier@unilim.fr
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

Let $N/ F$ be an odd-degree Galois extension of number fields with Galois group $G$ and rings of integers ${\mathfrak{O}}_{N} $ and ${\mathfrak{O}}_{F} = \mathfrak{O}$. Let $ \mathcal{A} $ be the unique fractional ${\mathfrak{O}}_{N} $-ideal with square equal to the inverse different of $N/ F$. B. Erez showed that $ \mathcal{A} $ is a locally free $\mathfrak{O}[G] $-module if and only if $N/ F$ is a so-called weakly ramified extension. Although a number of results have been proved regarding the freeness of $ \mathcal{A} $ as a $ \mathbb{Z} [G] $-module, the question remains open. In this paper we prove that $ \mathcal{A} $ is free as a $ \mathbb{Z} [G] $-module provided that $N/ F$ is weakly ramified and under the hypothesis that for every prime $\wp $ of $\mathfrak{O}$ which ramifies wildly in $N/ F$, the decomposition group is abelian, the ramification group is cyclic and $\wp $ is unramified in $F/ \mathbb{Q} $. We make crucial use of a construction due to the first author which uses Dwork’s exponential power series to describe self-dual integral normal bases in Lubin–Tate extensions of local fields. This yields a new and striking relationship between the local norm-resolvent and the Galois Gauss sum involved. Our results generalise work of the second author concerning the case of base field $ \mathbb{Q} $.

Information

Type
Research Article
Copyright
© The Author(s) 2013