On the realizable classes of the square root of the inverse different in the unitary class group
Abstract
Let $K$ be a number field with ring of integers $\mathcal{O}_K$ and let $G$ be a finite abelian group of odd order. Given a $G$-Galois $K$-algebra $K_h$, let $A_h$ denote its square root of the inverse different, which exists by Hilbert's formula. If $K_h/K$ is weakly ramified, then the pair $(A_h,Tr_h)$ is locally $G$-isometric to $(\mathcal{O}_KG,t_K)$ and hence defines a class in the unitary class group $\mbox{UCl}(\mathcal{O}_KG)$ of $\mathcal{O}_KG$. Here $Tr_h$ denotes the trace of $K_h/K$ and $t_K$ the symmetric bilinear form on $\mathcal{O}_KG$ for which $t_K(s,t)=\delta_{st}$ for all $s,t\in G$. We study the collection of all such classes and show that a subset of them is in fact a subgroup of $\mbox{UCl}(\mathcal{O}_KG)$.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2015
- DOI:
- 10.48550/arXiv.1509.06129
- arXiv:
- arXiv:1509.06129
- Bibcode:
- 2015arXiv150906129T
- Keywords:
-
- Mathematics - Number Theory
- E-Print:
- Version 2