Spiegelungssatz: a combinatorial proof for the 4-rank

Laurent Habsieger, Emmanuel Royer

The Spiegelungssatz is an inequality between the (4)-ranks of the narrow ideal class groups of the quadratic fields (\mathbb{Q}(\sqrt{D})) and (\mathbb{Q}(\sqrt{-D})). We provide a…