Functorial correspondence between class field towers and resolved curves

From papers

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 m1m-1 blow-ups, and let KK be the underlying number field. Writing q=pm1q=p^{m-1}, denote by Hm1(K)\mathscr{H}^{m-1}(K) the (m1)(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.

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

where q=pm1q=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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.