Self-Dual Integral Normal Bases and Galois Module Structure

TL;DR

This paper investigates the Galois module structure of certain fractional ideals in odd degree Galois extensions of number fields, establishing conditions under which these ideals are free over the integers and revealing new relationships using local field techniques.

Contribution

It proves the freeness of the fractional ideal  in weakly ramified extensions under specific local conditions, extending previous results to more general base fields.

Findings

 is free as a -module under certain ramification conditions.

Introduces a novel relationship between local norm-resolvent and Galois Gauss sums.

Generalizes previous work from  to arbitrary base fields.

Abstract

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=\bo$ respectively. Let $\mathcal{A}$ be the unique fractional ${\mathfrak O}_N$-ideal with square equal to the inverse different of $N/F$. Erez has shown that $\mathcal{A}$ is a locally free ${\mathfrak O}[G]$-module if and only if $N/F$ is a so called weakly ramified extension. There have been a number of results regarding the freeness of $\mathcal{A}$ as a $\Z[G]$-module, however this question remains open. In this paper we prove that $\mathcal{A}$ is free as a $\Z[G]$-module assuming 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/\Q$. We make crucial use of a construction due to the first named 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 Galois Gauss sum involved. Our results generalise work of the second named author concerning the case of base field $\Q$.