Class Numbers and Algebraic Tori

Akinari Hoshi, Ming-chang Kang, Aiichi Yamasaki

Published 2013-12-24, updated 2014-01-06Version 2

Let $p$ be an odd prime number, $D_p$ be the dihedral group of order $2p$, $h_p$ and $h^+_p$ be the class numbers of $\bm{Q}(\zeta_p)$ and $\bm{Q}(\zeta_p+ \zeta_p^{-1})$ respectively. Theorem. $h_p^+=1$ if and only if, for any field $k$ admitting a $D_p$-extension, all the algebraic $D_p$-tori over $k$ are stably rational. A similar result for $h_p=1$ and $C_p$-tori is valid also.