Equality of the two pseudo-isotopy obstruction subgroups

Let XX be a 4-manifold with k1X=0k_1 X=0. The subgroups Θ(J(X))\Theta(\mathcal{J}(X)) and Θ(J(X)kerΣ)\Theta(\mathcal{J}(X)\cap\ker\Sigma) are defined in the target of the pseudo-isotopy invariant Θ\Theta. Equality conjecture.

Θ(J(X))=Θ(J(X)kerΣ).\Theta(\mathcal{J}(X))=\Theta(\mathcal{J}(X)\cap\ker\Sigma).

If true, the quotient used to define Θ\Theta when Σ(f)0\Sigma(f)\ne 0 would agree with the quotient obtained by restricting to J(X)kerΣ\mathcal{J}(X)\cap\ker\Sigma; the source provides no resolution of this claim.

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.