Pith. sign in

REVIEW 2 cited by

Light bulb smoothing for topological surfaces in 4-manifolds

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 2303.12857 v2 pith:YWLZCI7W submitted 2023-03-22 math.GT

classification math.GT
keywords topologicalsmoothingisotopymanifoldssmoothbulbdiskslight
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We present new smoothing techniques for topologically embedded surfaces in smooth 4-manifolds, which give topological isotopy to a smooth surface. As applications, we prove "topological = smooth" results in dimension 4 for certain disks and spheres modulo isotopy. A key step in our approach is to link Quinn's smoothing theory with ideas in Gabai's 4-dimensional light bulb theorem and succeeding developments of Schneiderman-Teichner and Kosanovi\'c-Teichner. As another application of our smoothing technique, we obtain a topological version of the Dax invariant which gives topological isotopy obstructions for topological disks in 4-manifolds.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Smoothing topological pseudo-isotopies of 4-manifolds

    math.GT 2025-07 accept novelty 8.0 of 10

    The paper proves a Kirby-Siebenmann obstruction criterion for smoothing topological pseudo-isotopies of 4-manifolds, gives new positive cases for certain fundamental groups, and constructs the first diffeomorphisms th...

  2. Pseudo-isotopy versus isotopy for homeomorphisms of 4-manifolds

    math.GT 2025-06 conditional novelty 7.0 of 10

    A topological version of the Hatcher-Wagoner pseudo-isotopy obstructions is defined in dimension four and used to construct homeomorphisms of Y times S1 that are pseudo-isotopic but not isotopic to the identity.

Pith tools