Construct non-split 2-component links in S4 to produce exotic pairs of 4-manifolds
problem Construct non-split 2-component links in S4 method Construct non-split 2-component links in S4 result Obtain exotic pairs of simply connected, definite 4-manifolds with boundary
Paper explores using 0-surgery to find exotic 4-manifolds.
problem Distinguishing smooth structures on 4-manifolds.
method Uses 0-surgery homeomorphisms to generate exotic pairs.
result Found 5 topologically slice knots potentially leading to exotic spheres.
Exotic submanifolds in 4-manifolds remain exotic after stabilizations.
problem Constructing exotic codimension-1 submanifolds in 4-manifolds.
method Constructing pairs of exotic codimension-1 submanifolds with diffeomorphic complements and showing they remain exotic after stabilizations.
result Exotic submanifolds remain exotic after any number of stabilizations.
New method uses Floer homology to create exotic disk pairs.
problem Creating exotic disk pairs in 4-manifolds.
method Singular instanton Floer homology with Chern--Simons filtration.
result Constructs exotic pairs of slice disks and knots.
The Akbulut cork cannot transform all exotic 4-manifolds.
problem The Akbulut cork's universality in transforming exotic 4-manifolds.
method Exhibited infinitely many exotic pairs of 4-manifolds not related by any cork.
result The Akbulut cork is not universal.
It is known that there is a unique concordance class in the free homotopy class of S1×pt⊂S1×S2. The constructive proof of this fact is given by the second author. It turns out that all the concordances in this construction are invertible. The knots K⊂S1×S2 with hyperbolic …
Study h-cobordisms of complexity 2 in 5D, finding obstructions and examples.
problem Understanding h-cobordisms of complexity 2 in 5D. method Compute monopole Floer homology and action of twisting involution.
result Obtained obstructions and constructed examples of high complexity.
New exotic 4-manifolds found with small trisection genus.
problem Finding exotic 4-manifolds with small trisection genus.
method Constructing genus-3 relative trisections for contractible 4-manifolds.
result Exotic 4-manifolds with boundary have trisection genus of 4.
We construct an infinite family {Cn,k}k=1∞ of corks of Mazur type satisfying 2n≤scsp(Cn,k)≤O(n3/2) for any positive integer n. Furthermore, using these corks, we construct an infinite family {(Wn,k,Wn,k′)}k=1∞ of exotic pairs of 4-manifold…
New stable exotic 4-manifolds found with specific topological properties.
problem Identifying conditions for the existence of stable exotic 4-manifolds.
method Investigated fundamental group, Stiefel-Whitney classes, and H_5(π;Z) to determine stable exotic pairs.
result Produced new stable exotica and settings where they do not arise.
Single stabilization is not always enough to make exotic surfaces isotopic.
problem Determining if a single stabilization is sufficient to make exotic surfaces isotopic.
method Study of stabilization distance with satellite operations using Floer theoretic techniques.
result Found examples of exotic disks in the four-ball with arbitrarily large stabilization distance.
Extends knot surgery to exotic four-manifolds.
problem Constructing exotic definite four-manifolds.
method Generalizes RBG construction to n-surgery. result Produces pairs of knots with same n-surgery. 4-manifolds can be exotic after connected sum with S^2 x S^2.
problem Existence of exotic contractible 4-manifolds.
method Constructed a cork that remains exotic after connected sum with S^2 x S^2.
result Existence of exotic pair of contractible 4-manifolds.
New invariants prove exotic slice disks for knots.
problem Proving exotic slice disks for knots.
method Involutive Khovanov homology and derived invariants.
result Reprove exotic slice disks for knots Jn. New exotic 4D spaces found using knot slicing techniques.
problem Finding non-diffeomorphic exotic 4D spaces.
method Using RBG links to create slice knots with non-diffeomorphic complements.
result Distinguished new exotic 4D spaces using end Floer homology.
We examine functorial and homotopy properties of the exotic characteristic homomorphism in the category of Lie algebroids which was lastly obtained by the authors in [4]. This homomorphism depends on a triple (A,B,∇) where B ⊂ A are regular Lie algebroids, both over the same regular foliated manifold (M,…
New module constructs exotic surfaces in 4-manifolds.
problem Constructing exotic surfaces in 4-manifolds.
method Using Bar-Natan Khovanov homology and skein lasagna gluing maps.
result Exotic surfaces require at least one internal stabilization.
We show how to construct absolutely exotic smooth structures on compact 4-manifolds with boundary, including contractible manifolds. In particular, we prove that any compact smooth 4-manifold W with boundary that admits a relatively exotic structure contains a pair of codimension-zero submanifolds homotopy equivalent t…
New 4D shapes found that defy smoothness rules.
problem Smoothness rules in 4D shapes don't always hold.
method Applied reflection group trick to exotic 4-manifolds.
result Found counterexamples to smooth Borel conjecture.
Software simplifies triangulations of 4-manifolds, revealing exotic structures.
problem Understanding smooth 4-manifolds from discrete and algorithmic perspectives.
method New software tools, including an algorithm for triangulations from Kirby diagrams and a heuristic for simplification.
result Presented new triangulations of exotic pairs, corks, and plugs, including the smallest known K3 surface.
It is known that the only Stein filling of the standard contact structure on S^3 is B^4. In this paper, we construct simply connected exotic compact Stein 4-manifold pairs for any Betti number b2≥1; we do this by enlarging corks and plugs.
Detects exotic surfaces without smooth invariants, providing first example of knotted RP².
problem Detecting exotic surfaces without smooth invariants.
method Two versions of families (Seiberg-Witten) generalizations of Donaldson's diagonalization theorem.
result First example of exotically knotted RP² with diffeomorphic complements.
New findings show stabilization isn't enough for certain knotted surfaces.
problem The necessity of stabilization for exotic knotted surfaces.
method Examined smooth 4-manifolds with nonempty boundaries containing exotically knotted 2-spheres.
result The 'one is enough' theorem does not apply to closed surfaces with characteristic homology classes.
New exotic 4-manifolds found with fiber bundles.
problem Finding non-diffeomorphic exotic 4-manifolds.
method Smooth fiber bundles over the circle.
result Exotic 4-manifolds with non-simply-connected fiber.
Every exotic pair in 4-dimension is obtained each other by twisting a {\it cork} or {\it plug} which are codimension 0 submanifolds embedded in the 4-manifolds. The twist was an involution on the boundary of the submanifold. We define cork (or plug) with order p∈N∪{∞} and show there exists a plug…
Study shows how any group can be fundamental of a non-orientable 4-manifold with exotic structure.
problem Realizing any finitely presented group as the fundamental group of a non-orientable 4-manifold with exotic structure.
method Performing a Gluck twist to obtain an exotic smooth structure, and using 2-covers to stabilize the structure.
result Any finitely presented group can be realized as the fundamental group of a non-orientable 4-manifold with exotic structure.
In this paper, we study stable equivalence of exotically knotted surfaces in 4-manifolds, surfaces that are topologically isotopic but not smoothly isotopic. We prove that any pair of embedded surfaces in the same homology class become smoothly isotopic after stabilizing them by handle additions in the ambient 4-manifo…
We show examples of pairs of smooth, compact, homeomorphic 4-manifolds, whose diffeomorphism types are distinguished by the topology of the singular sets of smooth stable maps defined on them. In this distinction we rely on results from Seiberg-Witten theory.
The paper constructs exotic surface links in 4-ball, proving their Brunnian nature.
problem Investigating exotic surface links in 4-ball.
method Two constructions of Brunnian exotic surface links, using satellite operations and covering links.
result Provided constructions of exotic Brunnian surface links with varied properties.
The paper proves trisection genus of Akbulut cork and constructs many corks with trisection genus 3.
problem Determining the trisection genus of contractible 4-manifolds and exotic pairs.
method Proved trisection genus of Akbulut cork and constructed corks with trisection genus 3.
result First examples of contractible 4-manifolds with determined trisection genus except for 4-ball.
It is known that every exotic smooth structure on a simply connected closed 4-manifold is determined by a codimention zero compact contractible Stein submanifold and an involution on its boundary. Such a pair is called a cork. In this paper, we construct infinitely many knotted imbeddings of corks in 4-manifolds such t…
Khovanov homology distinguishes exotic 4-manifolds.
problem Existence of exotic compact orientable 4-manifolds.
method Khovanov-Rozansky gl2 skein lasagna module and related invariants. result First analysis-free proof of exotic 4-manifolds.
We first construct a genus zero positive allowable Lefschetz fibration over the disk (a genus zero PALF for short) on the Akbulut cork and describe the monodromy as a positive factorization in the mapping class group of a surface of genus zero with five boundary components. We then construct genus zero PALFs on infinit…
Authors prove existence of exotic surfaces and invariants not detecting self-diffeomorphisms.
problem Existence and properties of exotic surfaces and diffeomorphisms.
method Vanishing theorem of family Bauer--Furuta invariant for diffeomorphisms on spin 4-manifolds.
result Family Bauer--Furuta invariants do not detect exotic self-diffeomorphisms on S4 or S2imesS2. We show that, for each integer n, there exist infinitely many pairs of n-framed knots representing homeomorphic but non-diffeomorphic (Stein) 4-manifolds, which are the simplest possible exotic 4-manifolds regarding handlebody structures. To produce these examples, we introduce a new description of cork twists and util…
New stabilization methods for exotic surfaces in 4-manifolds.
problem Understanding and stabilizing exotic surfaces in 4-manifolds.
method Relating internal and external stabilization, proving results using this relation.
result Many exotic surfaces become smoothly isotopic after external stabilization.
Surface corks modify 4-manifold structures without changing their homeomorphism type.
problem Understanding how to change 4-manifold structures using surface corks.
method Introducing surface corks as compact, contractible submanifolds intersecting smoothly embedded surfaces in 4-manifolds.
result Explicit construction of a transverse surface cork that is diffeomorphic to a 4-ball.
Classifies 4-manifolds with specific properties and fundamental group.
problem Classifying 4-manifolds with fundamental group Z and boundary. method Topological and smooth classification methods, including Hermitian forms and 2-handlebody constructions. result Every Hermitian form over Z[t±1] arises as the equivariant intersection form of exotic smooth 4-manifolds. The authors define some secondary characteristic homomorphism for the triple (A,B,\bigtriangledown), in which B\subset A is a pair of regular Lie algebroids over the same foliated manifold and \bigtriangledown:L\rightarrow A is a homomorphism of Lie algebroids (i.e. a flat L-connection in A) where L is an arbitrary (no…
An exotic plane exists in an acylindrical 3-manifold without being closed.
problem Does a geodesic plane in an acylindrical 3-manifold remain closed or dense?
method Explicit construction and analysis of a specific example.
result An example of a geodesic plane that is closed in the interior but not in the manifold itself.
Protocorks link exotic 4-manifolds, with applications to Floer homology.
problem Understanding exotic 4-manifolds and their transformations.
method Introducing protocorks and proving theorems on their properties and Floer homology.
result Protocorks link exotic 4-manifolds and contribute to understanding Seiberg-Witten invariants.
From any 4-dimensional oriented handlebody X without 3- and 4-handles and with b_2>0, we construct arbitrary many compact Stein 4-manifolds which are mutually homeomorphic but not diffeomorphic to each other, so that their topological invariants (their fundamental groups, homology groups, boundary homology groups, and …
Paper extends cobordism maps in Khovanov and instanton homologies.
problem Define and prove compatibility of cobordism maps in Khovanov and instanton homologies.
method Extend embedded cobordism map to immersed cobordisms and prove compatibility.
result Induced map on Khovanov homology is injective for certain concordances.
New invariant distinguishes non-orientable surfaces.
problem Distinguishing non-orientable surfaces bounded by the same knot.
method Mixed invariant from Lee and Bar-Natan deformations of Khovanov homology.
result Distinguishes exotic non-orientable surfaces.
Corks transform complex curves without changing topology.
problem Transforming complex curves without changing their topological properties.
method Using branched covers of holomorphic disks in the 4-ball and exotic factorizations of quasipositive braids.
result Properly embedded, smooth complex curves that are isotopic through homeomorphisms but not diffeomorphisms.
From a handlebody-theoretic perspective, the simplest compact, contractible 4-manifolds, other than the 4-ball, are Mazur manifolds. We produce the first pairs of Mazur manifolds that are homeomorphic but not diffeomorphic. Our diffeomorphism obstruction comes from our proof that the knot Floer homology concordance inv…
New 4-manifolds with exotic diffeomorphisms found.
problem Existence of exotic diffeomorphisms in 4-manifolds.
method Proves existence of infinitely many contractible 4-manifolds with exotic diffeomorphisms.
result Infinitely many contractible 4-manifolds with absolutely exotic diffeomorphisms.
Fintushel-Stern's knot surgery gave many pairs of exotic manifolds, which are homeomorphic but non-diffeomorphic. We show that if an elliptic fibration has two parallel, oppositely oriented vanishing circles (for example S2×S2 or Matsumoto's S4), then the knot surgery gives rise to standard manifolds. The …