Pith. sign in

REVIEW

On the Invalidity of Lemma 2.5 in our previous work on the Powell Conjecture

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2406.13309 v3 pith:XCAI6WBO submitted 2024-06-19 math.GT

classification math.GT
keywords conjecturepowelllemmaproofspherepreviousproveversion
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

In our previous version entitled ``The reducing sphere complexes for the 3-sphere are connected: a proof of the Powell Conjecture", we claimed to prove the Powell Conjecture, which states that the Goeritz group of the genus-$g$ Heegaard splitting of the 3-sphere is finitely generated for any non-negative integer $g$. However, we have found a critical error in the proof of Lemma 2.5 in that version. In this note, we prove that the statement of Lemma 2.5 does not hold in general. This invalidates a key step in our argument and leaves the proof of the Powell Conjecture incomplete. Consequently, the Powell Conjecture remains an open problem in the case of $g \geq 4$.

Discussion (0). Continue with ORCID to comment.

Pith tools