Conjecture on stabilized fundamental groups of branch curve complements

At least 21 years old · documented by

Let XX be a simply connected algebraic surface, let D⊂CP2D\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(CP2−D).K=\{1\},\qquad \bar{G}=\pi_1(\mathbb{CP}^2-D).

Moreover, the homomorphism

ϕ:Ab⁡(G0)→(Z2/Λ)N−1\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.

References

Primary source

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

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.