arxiv: 2604.27545 · v1 · submitted 2026-04-30 · 🧮 math.GT

Recognition: unknown

Exotic Surfaces in 4-manifolds and Surface Corks

Cindy Zhang

Pith reviewed 2026-05-07 08:56 UTC · model grok-4.3

classification 🧮 math.GT

keywords surface corksexotic 4-manifoldsrim surgeryembedded surfacescork theorem4-manifold topologydiffeomorphismhomeomorphism

0 comments

The pith

A contractible 4-ball acts as a surface cork that changes the smooth structure of certain exotic embedded surfaces while preserving their homeomorphism type.

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

The paper defines a surface cork as a compact contractible codimension-zero submanifold inside a 4-manifold that meets an embedded surface in a controlled fashion. Removing the submanifold and regluing it by a diffeomorphism of its boundary produces a new pair consisting of the 4-manifold and the surface. This new pair is homeomorphic but not diffeomorphic to the original. The author builds the first such surface cork using families of exotic pairs obtained from Fintushel-Stern rim surgery and shows that the cork itself is diffeomorphic to the standard 4-ball. Readers care because the construction extends the classical cork theorem from closed 4-manifolds to the setting of embedded surfaces, giving an explicit handle on how smooth structures on surfaces can differ.

Core claim

The central claim is that certain exotic families of pairs (X, F), where F is a smoothly embedded surface in the 4-manifold X and the families arise from Fintushel-Stern rim surgery, admit a surface cork. This is a compact contractible codimension-zero submanifold that intersects F controllably; the diffeomorphism of its boundary used for regluing changes the diffeomorphism type of the pair (X, F) while leaving the homeomorphism type unchanged. In the constructed example the surface cork is diffeomorphic to the 4-ball.

What carries the argument

Surface cork: a compact contractible codimension-zero submanifold intersecting the embedded surface F controllably, together with a boundary diffeomorphism whose regluing changes the smooth type of the pair (X, F) but not its topological type.

If this is right

Rim-surgery pairs can be distinguished by a concrete operation on a 4-ball submanifold.
The smooth type of certain surface embeddings is not determined by their homeomorphism type when such corks are present.
New exotic surfaces can be generated from known ones by twisting along the boundary of a 4-ball.
Standard 4-balls can serve as detectors of exoticity for embedded surfaces in 4-manifolds.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Similar surface corks may exist for other constructions of exotic 4-manifolds beyond rim surgery.
The result suggests a possible cork theorem specialized to surfaces, in which boundary diffeomorphisms of balls classify exotic embeddings.
One could test whether the same technique applies to knotted surfaces or produces corks in related settings such as knot concordance.

Load-bearing premise

The rim-surgery families must produce pairs whose diffeomorphism type is genuinely altered by the chosen boundary diffeomorphism of the submanifold, while the homeomorphism type stays the same and the intersection with F remains controllable.

What would settle it

An explicit diffeomorphism between the original pair and the regluued pair after the surface-cork boundary operation, respecting the embedded surface, would show that the cork does not produce a distinct smooth structure.

Figures

Figures reproduced from arXiv: 2604.27545 by Cindy Zhang.

**Figure 1.** Figure 1: The double twist knots κ(r,−s) and the unknot K0 = κ(0,−1). Proof. E(n) is a simply-connected symplectic 4-manifold. A regular fiber F ≅ T 2 is symplectically embedded in E(n). Furthermore, we have that F ⋅ F = 0 ≥ 0, and that π1(E(n) − ν(F)) ≅ {1} (see, e.g. p.72 in [GS99]). Therefore, F is a symplectically and primitively embedded surface with positive genus and nonnegative self-intersection. So the pair… view at source ↗

**Figure 2.** Figure 2: The knot complement E(K0) together with the punctured torus Σ. First, note that the result E(n)k of knot surgery via the knot Kk along T for any k can be viewed as obtained from the k = 0 case by (− 1 k )–surgery on the circle ∂Σ in N. This follows from the standard description of Dehn surgery (cf. [Rol03, Ch. 9, Sec. H]). More precisely, identify a tubular neighborhood of Σ in E(K0) with I × Σ, where I = … view at source ↗

**Figure 3.** Figure 3: The punctured torus Σ in the knot complement E(K0) and a collar A of ∂Σ in Σ view at source ↗

**Figure 4.** Figure 4: The knot surgery manifold E(n)0 = (E(n) − α × I × D 2 ) ∪Id. ((α × I × D 2 − ν(T)) ∪φ (E(K0) × S 1 ). intersection with F is away from N, i.e. C ∩F ⊆ C −N. Extending g ×idS1 as the identity over the rest of ∂C gives a desirable diffeomorphism f ∶ ∂C → ∂C —cutting out C from E(n)0 and regluing it using the map f k will produce the manifold E(n)k, the result of applying a Kk knot surgery along the rim torus … view at source ↗

**Figure 5.** Figure 5: C ∗ ±1 bound disks in α × (B 3 − ν(γ)) = ν(α) − ν(T) ⊆ E(n) − ν(T). Recall that the tubular neighborhood ν(T) was taken so that ν(T) = α × ν(γ) ⊆ ν(F) ∣α⊆ ν(F), and thus E(n) − ν(F) ⊆ E(n) − ν(T). To see that C ∗ ±1 bound disks in E(n)0, consider the gluing diffeomorphism φ ∶ ∂(E(n) − ν(T)) → ∂(E(K) × S 1 ) of the rim surgery in Section 2 given by: φ∗([α ′ ]) = S 1 , φ∗([γ ′ ]) = µK, φ∗([∂D 2 ]) = λk. Then… view at source ↗

**Figure 6.** Figure 6: The intersection C ∩ F between the surface cork and the surface is a disjoint union of two annuli {⃗0} × A+1 ⊔ {0⃗} × A−1. □ 4. Identifying C as a 4-ball 4.1. A useful point of view. The following general discussion will later be used to give another point of view of our surface cork C constructed in the last section. Consider any framed embedded circle S in a 3-manifold Q. Consider the 4–manifold I ×Q, an… view at source ↗

**Figure 7.** Figure 7: , we observe a copy of Σ × {pt} ⊆ T 2 × S 1 in the surgery diagram with B3 as its boundary. In particular, in view of the third and rightmost diagram of view at source ↗

**Figure 8.** Figure 8: Understanding the manifolds Q and P. Remark 4.3. (1) The surface cork (B 4 , f) we constructed generates many other similar families of pair (X, Fk) of closed surfaces inside closed 4-manifolds. We can vary the starting pair (X, F0) satisfying Theorem 2.1, so that the resulting pairs (X, Fk) are distinguishable. Since the existence of the 0-framed 2-handles h±1 is a result of the rim surgery operation alon… view at source ↗

**Figure 9.** Figure 9: ∂ +A+1 and ∂ −A−1 appear as merdians of the surgery curves C+1 × {θ+1} and C−1 × {θ−1} in {+1} × P, and ∂ −A+1 and ∂ +A−1 appear as merdians of the surgery curves C+1 × {θ+1} and C−1 × {θ−1} in {−1} × P view at source ↗

**Figure 10.** Figure 10: ∂ +A+1, ∂ −A−1 in {+1} × P and ∂ −A+1, ∂ +A−1 in {−1} × P after cancellation view at source ↗

**Figure 11.** Figure 11: Correctly oriented ∂ +A+1, ∂ −A−1 in {+1} × P and ∂ −A+1, ∂ +A−1 in {−1} × P after cancellation. with S 1 , where ∂Σ is identified with a canonical longitude of B3 in view at source ↗

**Figure 12.** Figure 12: The link of intersection L in the 0-surgery unknot diagram for S 2 ×S 1 under suitable identification view at source ↗

**Figure 13.** Figure 13: The link of intersection L in a surgery diagram for ∂C ≅ S 3 under suitable identification view at source ↗

**Figure 14.** Figure 14: The link of intersection L in standard S 3 view at source ↗

**Figure 15.** Figure 15 view at source ↗

**Figure 16.** Figure 16: Obtaining view at source ↗

**Figure 17.** Figure 17: Obtaining view at source ↗

read the original abstract

A fundamental result in 4-manifold topology asserts that every exotic smooth structure on a simply connected closed 4-manifold is determined by a cork -- a codimension-zero compact, contractible submanifold together with a diffeomorphism on its boundary. In this paper, we introduce the notion of a surface cork, an analogous object for smoothly embedded surface $F$ in 4-manifold $X$. This is a compact, contractible codimension-zero submanifold intersecting the surface $F$ in a controllable manner, whose removal and regluing via a diffeomorphism of its boundary changes the diffeomorphism type of $(X, F)$ as a pair while leaving its homeomorphism type unchanged. We construct the first example of a surface cork for certain exotic families constructed from Fintushel and Stern's rim surgery. In particular, this surface cork turns out to be diffeomorphic to a 4-ball.

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.

Desk Editor's Note private letter to a colleague

The paper defines surface corks and gives a first construction from rim-surgery families, but the fact that the cork is diffeomorphic to the 4-ball makes the central claim rest on an unverified relative non-extendability for the intersection with F.

read the letter

The main thing to know is that this paper introduces surface corks as contractible pieces that intersect an embedded surface F in a controlled way and claims the first explicit example, built from Fintushel-Stern rim-surgery families, with the piece itself diffeomorphic to the 4-ball. The definition extends the usual cork idea to pairs (X, F) while keeping the homeomorphism type fixed and changing only the smooth type after regluing. That is genuinely new in the cork literature and the construction sits on top of existing exotic surface pairs rather than inventing new ones from scratch. The paper does a clean job of stating the requirements for a surface cork and linking the example to prior rim-surgery work. The soft spot is exactly where the stress-test points: because the cork is standard, every boundary diffeomorphism extends to a diffeomorphism of the ball. For the regluing to produce a distinct smooth pair, the extension must fail to preserve the intersection with F. The abstract asserts the construction works but supplies no explicit check that the particular boundary map coming from the rim-surgery family has no surface-preserving extension. Without that step, it is not clear the object actually functions as a surface cork rather than just a standard ball that can be glued back in the usual way. The rest of the argument appears to follow standard 4-manifold techniques, with no obvious circularity or invented invariants. This is for readers already working on exotic 4-manifolds and embedded surfaces who want to see how cork technology might organize submanifold structures. It is worth sending to a serious referee because the definition is useful and the construction is concrete enough to check, even if the relative extension property needs more detail.

Referee Report

1 major / 2 minor

Summary. The paper introduces the notion of a surface cork: a compact contractible codimension-zero submanifold W ⊂ (X, F) intersecting the embedded surface F in a controlled manner, such that regluing W via a boundary diffeomorphism τ produces a pair (X', F') that is diffeomorphic to (X, F) if and only if the homeomorphism type is preserved but the smooth type changes. It constructs the first explicit example of such a surface cork for exotic families arising from Fintushel-Stern rim surgery on certain 4-manifolds, and asserts that this W is diffeomorphic to the 4-ball.

Significance. If the construction and the key non-extendability claim are verified, the result supplies a new mechanism for producing and detecting exotic surfaces in 4-manifolds, directly analogous to the role of corks in the study of exotic smooth structures on closed 4-manifolds. The observation that the surface cork can be standard (diffeomorphic to B^4) while still distinguishing smooth types via regluing would be a useful technical contribution to the literature on rim surgery and exotic embeddings.

major comments (1)

The central claim that regluing via the boundary diffeomorphism τ changes the diffeomorphism type of the pair (X, F) while W is diffeomorphic to B^4 requires explicit verification that no extension of τ to W preserves the intersection W ∩ F. Because any diffeomorphism W ≈ B^4 allows every boundary map to extend smoothly, the paper must demonstrate that the specific τ arising from the rim-surgery family admits no surface-preserving extension; this relative non-extendability step is load-bearing for the definition of surface cork and is not addressed by the mere fact that W is standard.

minor comments (2)

The abstract and introduction should include a brief comparison with the classical cork theorem (e.g., reference to the work of Akbulut or Gompf) to clarify how the surface-cork definition modifies the usual contractible-cork condition.
Notation for the intersection W ∩ F and the controlled manner in which it is embedded should be made uniform throughout; currently the description in the abstract is informal and could be clarified with a diagram or local model.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for pinpointing the crucial requirement of relative non-extendability in the definition of a surface cork. We address the major comment below and will revise the paper to make the relevant argument fully explicit.

read point-by-point responses

Referee: The central claim that regluing via the boundary diffeomorphism τ changes the diffeomorphism type of the pair (X, F) while W is diffeomorphic to B^4 requires explicit verification that no extension of τ to W preserves the intersection W ∩ F. Because any diffeomorphism W ≈ B^4 allows every boundary map to extend smoothly, the paper must demonstrate that the specific τ arising from the rim-surgery family admits no surface-preserving extension; this relative non-extendability step is load-bearing for the definition of surface cork and is not addressed by the mere fact that W is standard.

Authors: We agree that demonstrating the absence of a surface-preserving extension of τ is essential and load-bearing. In the construction, W arises as a tubular neighborhood of a rim in the Fintushel-Stern rim-surgery setup and is shown to be diffeomorphic to B^4 by explicit handle cancellation. The map τ on ∂W is the specific diffeomorphism induced by the rim twist corresponding to the surgery on the knot. Suppose for contradiction that τ extended to a diffeomorphism φ of W that preserved the intersection W ∩ F setwise (mapping the surface piece to itself). Then the identity map on X ∖ int(W) would combine with φ to produce a diffeomorphism of pairs (X, F) → (X', F'), contradicting the fact that the rim-surgery family yields exotic surfaces, as detected by the Seiberg-Witten invariants in the original Fintushel-Stern construction. Hence no such extension exists. While this reasoning is present in the logic of the rim-surgery family, we acknowledge that it is not spelled out in a dedicated paragraph and will add an explicit subsection (or remark) in the revised version to isolate and verify the relative non-extendability step. revision: yes

Circularity Check

0 steps flagged

No significant circularity; direct construction from prior external families

full rationale

The paper defines a surface cork by direct analogy to the standard cork definition (compact contractible submanifold whose boundary regluing alters the diffeomorphism type of the pair (X,F) while preserving homeomorphism type). It then claims to exhibit the first such example inside rim-surgery families of Fintushel-Stern. No equations, fitted parameters, self-referential definitions, or load-bearing self-citations appear. The construction is presented as an explicit topological modification of existing external families rather than a reduction of the target property to the definition itself. The skeptic concern about extendability of boundary maps when the cork is diffeomorphic to B^4 is a question of whether the explicit construction satisfies the definition, not a circularity in the derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The claim rests on the standard toolkit of 4-manifold topology (corks, rim surgery, contractible submanifolds) plus the new definition of surface cork. No free parameters or fitted quantities are visible. The surface cork itself is a newly defined object rather than an independently evidenced physical entity.

axioms (2)

standard math Every exotic smooth structure on a simply connected closed 4-manifold is determined by a cork (fundamental result in 4-manifold topology).
The paper opens by citing this as the starting point for the surface-cork analogy.
domain assumption Rim surgery produces exotic families of embedded surfaces whose homeomorphism type is fixed but diffeomorphism type varies.
The construction is performed on families already known from Fintushel-Stern rim surgery.

invented entities (1)

surface cork no independent evidence
purpose: A contractible codimension-zero submanifold that intersects an embedded surface controllably and whose boundary diffeomorphism changes the smooth type of the pair (X, F).
Newly defined in the paper by direct analogy with ordinary corks; no independent existence proof or external detection method is supplied in the abstract.

pith-pipeline@v0.9.0 · 5445 in / 1675 out tokens · 29488 ms · 2026-05-07T08:56:34.428006+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

11 extracted references · 11 canonical work pages

[1]

An exotic 4-manifold

G¨ okova Geometry/Topology Conference (GGT), G¨ okova, 2015, pp. 264–266.isbn: 978-1-57146-307-4. 18 REFERENCES [Akb91] Selman Akbulut. “An exotic 4-manifold”. In:J. Differential Geom.33.2 (1991), pp. 357–361. issn: 0022-040X,1945-743X.url:http://projecteuclid.org/euclid.jdg/1214446321. [Auc+15] Dave Auckly, Hee Jung Kim, Paul Melvin, and Daniel Ruberman....

work page doi:10.1112/jlms/jdu075.url:https://doi.org/10.1112/jlms/jdu075 2015
[2]

An adjunction inequality obstruction to isotopy of embedded surfaces in 4-manifolds

arXiv:2307.16266 [math.GT].url:https://arxiv.org/abs/2307.16266. [Bar24] David Baraglia. “An adjunction inequality obstruction to isotopy of embedded surfaces in 4-manifolds”. In:Math. Res. Lett.31.2 (2024), pp. 329–352.issn: 1073-2780,1945-001X.doi: 10.4310/mrl.241024232537.url:https://doi.org/10.4310/mrl.241024232537. [Cur+96] C. L. Curtis, M. H. Freedm...

work page doi:10.4310/mrl.241024232537.url:https://doi.org/10.4310/mrl.241024232537 2024
[3]

Exotic knottings of surfaces in the 4-sphere

G¨ okova Geometry/Topology Conference (GGT), G¨ okova, 2009, pp. 151–169.isbn: 978-1-57146-136-0. [FKV87] S. M. Finashin, M. Kreck, and O. Ya. Viro. “Exotic knottings of surfaces in the 4-sphere”. In:Bull. Amer. Math. Soc. (N.S.)17.2 (1987), pp. 287–290.issn: 0273-0979,1088-9485.doi: 10.1090/S0273-0979-1987-15562-5.url:https://doi.org/10.1090/S0273-0979-1...

work page doi:10.1090/s0273-0979-1987-15562-5.url:https://doi.org/10.1090/s0273-0979-1987- 2009
[4]

A proof of the Smale conjecture, Diff(S 3)≃O(4)

Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 1999, pp. xvi+558. isbn: 0-8218-0994-6.doi:10.1090/gsm/020.url:https://doi.org/10.1090/gsm/020. [Hat02] Allen Hatcher.Algebraic topology. Cambridge University Press, Cambridge, 2002, pp. xii+544. isbn: 0-521-79160-X; 0-521-79540-0. [Hat83] Allen E. Hatcher. “A proof of the Sma...

work page doi:10.1090/gsm/020.url:https://doi.org/10.1090/gsm/020 1999
[5]

Smooth surfaces with non-simply-connected complements

arXiv:2409 . 07287 [math.GT].url: https://arxiv.org/abs/2409.07287. [KR08a] H. J. Kim and Daniel Ruberman. “Smooth surfaces with non-simply-connected complements”. In:Algebraic & Geometric Topology8.4 (2008), pp. 2263–2287.doi:10.2140/agt.2008.8. 2263.url:https://doi.org/10.2140/agt.2008.8.2263. [KR08b] Hee Jung Kim and Daniel Ruberman. “Topological trivi...

work page doi:10.2140/agt.2008.8 2008
[6]

arXiv:2407.04696 [math.GT].url:https://arxiv.org/abs/2407. 04696. [LLP23] Adam Simon Levine, Tye Lidman, and Lisa Piccirillo.New constructions and invariants of closed exotic 4-manifolds

work page arXiv
[7]

Knotted surfaces in 4-manifolds

arXiv:2307.08130 [math.GT].url:https://arxiv.org/ abs/2307.08130. [Mar13] Thomas E. Mark. “Knotted surfaces in 4-manifolds”. In:Forum Math.25.3 (2013), pp. 597– 637.issn: 0933-7741,1435-5337.doi:10.1515/form.2011.130.url:https://doi.org/10. 1515/form.2011.130. [Mas19] Hiroto Masuda.Infinite nonabelian corks

work page doi:10.1515/form.2011.130.url:https://doi.org/10 2013
[8]

[Mat+24] Gordana Mati´ c, Ferit ¨Ozt¨ urk, Javier Reyes, Andr´ as I

arXiv:1904.09541 [math.GT].url:https: //arxiv.org/abs/1904.09541. [Mat+24] Gordana Mati´ c, Ferit ¨Ozt¨ urk, Javier Reyes, Andr´ as I. Stipsicz, and Giancarlo Urz´ ua.An exotic5RP 2 in the 4-sphere

work page arXiv 1904
[9]

A decomposition of smooth simply-connectedh-cobordant 4-manifolds

arXiv:2312.03617 [math.GT].url:https://arxiv. org/abs/2312.03617. [Mat96] R. Matveyev. “A decomposition of smooth simply-connectedh-cobordant 4-manifolds”. In: J. Differential Geom.44.3 (1996), pp. 571–582.issn: 0022-040X,1945-743X.url:http:// projecteuclid.org/euclid.jdg/1214459222. [Miy23] Jin Miyazawa.A gauge theoretic invariant of embedded surfaces in...

work page arXiv 1996
[10]

Higher order corks

arXiv:2312.02041 [math.GT].url:https://arxiv.org/abs/2312.02041. [MS21] Paul Melvin and Hannah Schwartz. “Higher order corks”. In:Invent. Math.224.1 (2021), pp. 291–313.issn: 0020-9910,1432-1297.doi:10.1007/s00222-020-01009-x.url:https: //doi.org/10.1007/s00222-020-01009-x. [Rol03] Dale Rolfsen.Knots and Links. Providence, RI: AMS Chelsea Publishing,

work page doi:10.1007/s00222-020-01009-x.url:https: 2021
[11]

Equivalent non-isotopic spheres in 4-manifolds

[Sch19] Hannah R. Schwartz. “Equivalent non-isotopic spheres in 4-manifolds”. In:J. Topol.12.4 (2019), pp. 1396–1412.issn: 1753-8416,1753-8424.doi:10.1112/topo.12121.url:https: //doi.org/10.1112/topo.12121. [Sun15] Nathan S. Sunukjian. “A note on knot surgery”. In:J. Knot Theory Ramifications24.9 (2015), pp. 1520003, 5.issn: 0218-2165,1793-6527.doi:10.114...

work page doi:10.1112/topo.12121.url:https: 2019