Ray class groups through binary quadratic forms

499 Views Asked by At

If $d$ is the discriminant of a quadratic number field, then the primitive classes of binary quadratic forms of discriminant $d$ form a group isomorphic to the narrow ideal class group of $\mathbb{Q}(\sqrt{d})$. The classes of forms are equivalence classes under an action by $\mathrm{SL}_2(\mathbb{Z})$. My question is, is there a collection of subgroups of $\mathrm{SL_2}(\mathbb{Z})$ for which the sets of classes of forms of discriminant $d$ under action by these groups are in bijection with the narrow ray class groups of $\mathbb{Q}(\sqrt{d})$?

(I would hope that Gauss's composition operation, which is already well-defined at the level of classes under the action of $\begin{bmatrix} 1 & \mathbb{Z} \\ 0 & 1 \end{bmatrix}$, would provide a group operation that makes these bijections into isomorphisms of ray class groups.)

1

There are 1 best solutions below

0
On

You can refer to "Binary quadratic forms and ray class groups" ( https://arxiv.org/pdf/1712.04140.pdf )