Invariance of the image of the K3 characteristic map under the involution

Let XX be a 4-manifold. The involution on Wh1(π1X;Z2×π2X)\operatorname{Wh}_1(\pi_1 X;\mathbb{Z}_2\times\pi_2 X) is induced by the involution on (Z2×π2X)[π1X](\mathbb{Z}_2\times\pi_2 X)[\pi_1 X], and let χ(K3Z[π1X])\chi(K_3\mathbb{Z}[\pi_1 X]) denote the subgroup appearing in the target of Θ\Theta. Involution-invariance conjecture.

χ(K3Z[π1X])=χ(K3Z[π1X]).\overline{\chi(K_3 \mathbb{Z}[\pi_1 X])}=\chi(K_3 \mathbb{Z}[\pi_1 X]).

This would make the involution descend to the quotient by χ(K3Z[π1X])\chi(K_3\mathbb{Z}[\pi_1 X]), allowing an involution on the target of Θ\Theta when k1X0k_1 X\ne 0; the source gives no resolution.

Sources & referencesView supporting material

Primary source

Oliver Singh, “Pseudo-isotopies and diffeomorphisms of 4-manifolds”, arXiv:2111.15658 (2022).

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.