{"id":"arxiv/2605.12921","url":"https://arxiv.org/abs/2605.12921","tags":["math.GT"],"score":0,"title":"An irreducible real projective plane in the 4-sphere","domain":"math.GT","source":"arxiv","authors":["Mark Hughes","Seungwon Kim","Maggie Miller","Gheehyun Nahm"],"reviews":0,"subject":"math.GT","summary":"We construct an irreducible embedded projective plane in $S^4$. This gives a counterexample to the Kinoshita conjecture and answers Problem 4.37 of the K3 problem list. Moreover, we answer both Questions (i) and (ii) of Problem 4.37: (i) the connected sum $R\\# R$ is a Klein bottle in $S^4$ with extremal normal Euler number that does not admit an unknotted projective plane summand, and (ii) we show that our projective plane $R$ is irreducible by showing that the peripheral map $π_1 (\\partial (S^4\\setminus\\mathring{N}(R)))\\to π_1 (S^4 \\setminus \\mathring{N}(R))$ has kernel of order $2$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-13","reactions":{}}