pith. machine review for the scientific record. sign in

arxiv: 2605.12921 · v1 · submitted 2026-05-13 · 🧮 math.GT

Recognition: unknown

An irreducible real projective plane in the 4-sphere

Gheehyun Nahm, Maggie Miller, Mark Hughes, Seungwon Kim

Pith reviewed 2026-05-14 02:25 UTC · model grok-4.3

classification 🧮 math.GT
keywords planeprojectiveirreducibleproblemmathringsetminusadmitanswer
0
0 comments X

The pith

An irreducible embedded projective plane is constructed in S^4, countering the Kinoshita conjecture via a peripheral map with kernel of order 2.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

Topology examines shapes that can be stretched or twisted without tearing or gluing. A real projective plane is a closed non-orientable surface with only one side, like a Mobius strip completed into a loop. The 4-sphere is the boundary of a 5-dimensional ball, a 4-dimensional space where surfaces can be placed without self-intersections. The paper builds an explicit example of such a surface embedded in this 4-sphere that cannot be split into simpler pieces through connected sum. They prove this by examining the complement of a tubular neighborhood around the surface and showing that a certain map on fundamental groups, called the peripheral map, has a kernel of exactly order 2. They also study the connected sum of two copies, which forms a Klein bottle with an extremal normal Euler number, and demonstrate that this Klein bottle has no unknotted projective plane summand. This construction answers open questions from the K3 problem list.

Core claim

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.

Load-bearing premise

The construction assumes that a specific handlebody or embedding in 4D can be arranged so the peripheral map from the boundary of the tubular neighborhood to the complement has kernel precisely of order 2, which is used to establish irreducibility.

read the original abstract

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 $\pi_1 (\partial (S^4\setminus\mathring{N}(R)))\to \pi_1 (S^4 \setminus \mathring{N}(R))$ has kernel of order $2$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The paper constructs an embedded real projective plane R in S^4 that is irreducible. This provides a counterexample to the Kinoshita conjecture and answers Problem 4.37 of the K3 problem list. It further shows that 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 establishes irreducibility of R by verifying that the peripheral map π₁(∂(S⁴ ∖ int N(R))) → π₁(S⁴ ∖ int N(R)) has kernel of order exactly 2.

Significance. If the explicit construction and the associated fundamental group calculation hold, the result would be a significant advance in 4-dimensional topology. It supplies the first known irreducible embedded RP² in S⁴, directly resolving a long-standing conjecture and an open problem from the K3 list. The construction is explicit and the irreducibility criterion is stated in concrete group-theoretic terms, which, once fully documented with handle data, would support further study of surface embeddings in S⁴.

major comments (1)
  1. [Abstract (and the construction section)] The central irreducibility claim rests on the assertion that the peripheral map π₁(∂(S⁴ ∖ int N(R))) → π₁(S⁴ ∖ int N(R)) has kernel of order exactly 2. This assertion is load-bearing for both the counterexample to the Kinoshita conjecture and the answers to Problem 4.37(i)–(ii). The manuscript provides no explicit handle decomposition, attaching maps, or resulting group presentation for the complement that would permit independent verification of the kernel order; any error in the identification of generators or relations would invalidate the order-2 conclusion.
minor comments (1)
  1. [Abstract] Notation for the tubular neighborhood N(R) and its interior is introduced without a preliminary diagram or reference to standard conventions for normal bundles of surfaces in 4-manifolds; a short clarifying paragraph or figure would improve readability.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard axioms from algebraic topology and 4-manifold theory rather than new free parameters or invented entities; no numbers are fitted to data.

axioms (2)
  • standard math Fundamental group computations for complements of embedded surfaces in 4-manifolds are well-defined and computable via handle decompositions
    Invoked to define the peripheral map and its kernel of order 2.
  • domain assumption Connected sum of embedded surfaces preserves the normal Euler number additively
    Used when discussing the Klein bottle R#R and its extremal normal Euler number.

pith-pipeline@v0.9.0 · 5438 in / 1282 out tokens · 60037 ms · 2026-05-14T02:25:27.561405+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.