Functorial correspondence between class field towers and resolved curves

About 4 years old · traced to

Let (0,0)(0,0) be an isolated singular point of an algebraic curve over a number field kk, with local ring O=k[[x,y]]/(f)\mathcal{O}=k[[x,y]]/(f) and multiplicity mm. Let CC be the nonsingular curve obtained by resolving the singularity through m−1m-1 blow-ups, and let KK be the underlying number field. Writing q=pm−1q=p^{m-1}, denote by Hm−1(K)\mathscr{H}^{m-1}(K) the (m−1)(m-1)-fold Hilbert class field of KK and by Fq(C)\mathbf{F}_q(C) the geometric extension of the rational function field defined by CC. Functorial correspondence conjecture.

Hm−1(K)≅Fq(C),\mathscr{H}^{m-1}(K)\cong \mathbf{F}_{q}(C),

where q=pm−1q=p^{m-1}. The conjecture proposes that the correspondence between the resolved curve and the associated class field tower is functorial. Its status is not determined by the supplied source material.

References

Primary source

Igor V. Nikolaev, “Birational geometry of quaternions”, arXiv:2212.06555 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.