Explicit Construction of Self-Dual Integral Normal Bases for the Square-Root of the Inverse Different

Let $K$ be a finite extension of \Q_p, let $L/K$ be a finite abelian Galois extension of odd degree and let \bo_L be the valuation ring of $L$. We define $A_{L/K}$ to be the unique fractional \bo_L-ideal with square equal to the inverse different of $L/K$. For $p$ an odd prime and L/\Q_p contained in certain cyclotomic extensions, Erez has described integral normal bases for A_{L/\Q_p} that are self-dual with respect to the trace form. Assuming K/\Q_p to be unramified we generate odd abelian weakly ramified extensions of $K$ using Lubin-Tate formal groups. We then use Dwork's exponential power series to explicitly construct self-dual integral normal bases for the square-root of the inverse different in these extensions

Self-Dual Integral Normal Bases and Galois Module Structure

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

Construction of self-dual normal bases and their complexity

Recent work of Pickett has given a construction of self-dual normal bases for extensions of finite fields, whenever they exist. In this article we present these results in an explicit and constructive manner and apply them, through computer search, to identify the lowest complexity of self-dual normal bases for extensions of low degree. Comparisons to similar searches amongst normal bases show that the lowest complexity is often achieved from a self-dual normal basis

Construction of Self-Dual Integral Normal Bases in Abelian Extensions of Finite and Local Fields

Let $F/E$ be a finite Galois extension of fields with abelian Galois group $\Gamma$. A self-dual normal basis for $F/E$ is a normal basis with the additional property that $Tr_{F/E}(g(x),h(x))=\delta_{g,h}$ for $g,h\in\Gamma$. Bayer-Fluckiger and Lenstra have shown that when $char(E)\neq 2$, then $F$ admits a self-dual normal basis if and only if $[F:E]$ is odd. If $F/E$ is an extension of finite fields and $char(E)=2$, then $F$ admits a self-dual normal basis if and only if the exponent of $\Gamma$ is not divisible by $4$. In this paper we construct self-dual normal basis generators for finite extensions of finite fields whenever they exist. Now let $K$ be a finite extension of \Q_p, let $L/K$ be a finite abelian Galois extension of odd degree and let \bo_L be the valuation ring of $L$. We define $A_{L/K}$ to be the unique fractional \bo_L-ideal with square equal to the inverse different of $L/K$. It is known that a self-dual integral normal basis exists for $A_{L/K}$ if and only if $L/K$ is weakly ramified. Assuming $p\neq 2$, we construct such bases whenever they exist