Dice Question Streamline Icon: https://streamlinehq.com

Distinct equivariant intersection forms for immersed Z-surfaces

Determine whether there exist pairs of immersed Z-surfaces in a simply-connected 4-manifold that have the same genus and the same numbers of positive and negative transverse double points but whose exteriors have non-isometric equivariant intersection forms. In particular, determine whether every immersed Z-surface in S^4, or in D^4 with boundary an Alexander polynomial one knot, necessarily has exterior equivariant intersection form isometric to Ξ»_{c_+,c_-} βŠ• 𝓗_2^{βŠ• g}, where Ξ»_{c_+,c_-}=((tβˆ’1)(t^{-1}βˆ’1))^{βŠ• c_+} βŠ• (βˆ’(tβˆ’1)(t^{-1}βˆ’1))^{βŠ• c_-} and 𝓗_2 is the standard 2Γ—2 hyperbolic form over Z[t^{Β±1}].

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper classifies immersed Z-surfaces in simply-connected 4-manifolds using the equivariant intersection form of the exterior together with secondary data. For embedded Z-surfaces, the equivariant intersection form is known to determine the surface up to equivalence in many cases, and there are strong constraints on what forms can arise.

In the immersed setting, the authors obtain comprehensive classification and uniqueness results in several special cases (e.g., genus zero with a single double point, and surfaces in D4 or S4), but they note that it is unclear if more exotic equivariant intersection forms can occur when the number of double points increases.

Resolving this question would clarify whether the standard form Ξ»{c+,c_-} βŠ• 𝓗_2{βŠ• g} is universal in S4 and for Alexander polynomial one boundaries in D4, and more generally, whether the equivariant form imposes constraints on possible immersed Z-surfaces beyond the cases treated in the paper.

References

We conclude with two open questions. Are there examples of two genus g immersed Z-surfaces with c_+ positive double points and c_- negative double points whose exteriors have distinct equivariant intersection forms? When the surfaces have nonempty boundary, we assume that their boundary knots coincide. In particular, if such a surface is immersed in S4 (or in D4 with boundary an Alexander polynomial one knot), must the equivariant intersection form of its exterior be equivalent to Ξ»{c+,c_-} βŠ• 𝓗_2{βŠ• g}?

Immersed surfaces with knot group $\mathbb{Z}$ (2410.04635 - Conway et al., 6 Oct 2024) in Section Open questions