Conjecture on stabilized fundamental groups of branch curve complements

From papers

Let XX be a simply connected algebraic surface, let DCP2D\subset\mathbb{CP}^2 be the branch curve of the relevant projection, and let G0G^0, KK, Gˉ\bar{G}, ϕ\phi, Λ\Lambda, and NN have the meanings determined by the symplectic stabilization construction. For sufficiently large kk, the following should hold. Stabilized fundamental-group conjecture. The symplectic stabilization operation is trivial, namely

K={1},Gˉ=π1(CP2D).K=\{1\},\qquad \bar{G}=\pi_1(\mathbb{CP}^2-D).

Moreover, the homomorphism

ϕ:Ab(G0)(Z2/Λ)N1\phi:\operatorname{Ab}(G^0)\to (\mathbb{Z}^2/\Lambda)^{N-1}

is an isomorphism, and the commutator subgroup satisfies

[G0,G0] is a quotient of Z2×Z2.[G^0,G^0]\text{ is a quotient of }\mathbb{Z}_2\times\mathbb{Z}_2.

The conjecture summarizes the simple structure observed in the known examples of sufficiently high-degree projections, including projections of simply connected algebraic surfaces. Its status is not resolved by the supplied text.

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

Denis Auroux, “Symplectic 4-manifolds, singular plane curves, and isotopy problems”, arXiv:math/0411233 (2004).

Solutions 0

No solutions have been posted yet.