Open manifolds, Ozsvath-Szabo invariants and Exotic R^4's

Siddhartha Gadgil

2009-07-17

Abstract: We construct an invariant of open four-manifolds using the Heegaard Floer theory of Ozsvath and Szabo. We show that there is a manifold X homeomorphic to R^4 for which the invariant is non-trivial, showing that X is an exotic R^4.

Geometric Topology

What problem does this paper attempt to address?

New constructions and invariants of closed exotic 4-manifolds

Adam Simon Levine,Tye Lidman,Lisa Piccirillo

2023-07-17

Abstract:In this article, we give new means of constructing and distinguishing closed exotic four-manifolds. Using Heegaard Floer homology, we define new closed four-manifold invariants that are distinct from the Seiberg--Witten and Bauer--Furuta invariants and can remain distinct in covers. Our constructions include exotic definite manifolds with fundamental group $\mathbb Z/2$, infinite families of exotic manifolds that are related by knot surgeries on Alexander polynomial 1 knots, and exotic manifolds that contain square-zero spheres.

Geometric Topology
Floer theoretic invariants for 3- and 4-manifolds

Yi-Jen Lee

DOI: https://doi.org/10.48550/arXiv.1709.02551

2017-09-08

Abstract:Seiberg-Witten (Floer) theory, Ozsvath-Szabo's Heegaard Floer theory, Hutchings's embedded contact homology, in different stages of development, define (or are expected to define) packages of invariants for 3- and 4-manifolds (including manifolds with boundary and manifolds with certain types of corners). We describe what are known about their relationship, what are expected, and raise some questions along the way.

Geometric Topology
Exotic aspherical 4-manifolds

Michael Davis,Kyle Hayden,Jingyin Huang,Daniel Ruberman,Nathan Sunukjian

2024-11-29

Abstract:We construct closed, aspherical, smooth 4-manifolds that are homeomorphic but not diffeomorphic. These provide counterexamples to a smooth analog of the Borel conjecture in dimension four. Our technique is to apply the `reflection group trick' of the first author to pairs of exotic 4-manifolds with boundary constructed by Hayden and Piccirillo.

Geometric Topology
From diffeomorphisms to exotic phenomena in small 4-manifolds

Hokuto Konno,Abhishek Mallick,Masaki Taniguchi

2023-04-13

Abstract:We provide an approach to study exotic phenomena in relatively small 4-manifolds that captures many different exotic behaviors under one umbrella. These phenomena include exotic smooth structures on 4-manifolds with $b_2=1$, examples of strong corks, and exotic codimension-$1$ embeddings into $\mathbb{C} P^2 \# - \mathbb{C} P^2$ that survive external stabilization. We also give a new way to detect a homeomorphism of a 4-manifold that is not topologically isotopic to any diffeomorphism and give lower bounds of relative genera of certain knots. Our primary tools are constraints on diffeomorphisms of 4-manifolds obtained from families Seiberg-Witten theory.

Geometric Topology
Positive Scalar Curvature and Exotic Structures on Simply Connected Four Manifolds

Aditya Kumar,Balarka Sen

2025-01-02

Abstract:We address Gromov's band width inequality and Rosenberg's $S^1$-stability conjecture for simply connected smooth four-manifolds. Both results are known to be false in dimension 4 due to counterexamples based on Seiberg-Witten invariants. Nevertheless, we show that both of these results hold upon considering smooth four-manifolds up to homeomorphism. The key technical innovation is a careful adaptation of ideas from high-dimensional surgery theory to dimension 4.

Differential Geometry,Geometric Topology
The Casson-Sullivan invariant for homeomorphisms of 4-manifolds

Daniel A.P. Galvin

2024-05-14

Abstract:We investigate the realisability of the Casson-Sullivan invariant for homeomorphisms of smooth $4$-manifolds, which is the obstruction to a homeomorphism being stably pseudo-isotopic to a diffeomorphism, valued in the third cohomology of the source manifold with $\mathbb{Z}/2$-coefficients. We prove that for all orientable pairs of homeomorphic, smooth $4$-manifolds this invariant can be realised fully after stabilising with a single $S^2\times S^2$. As an application, we obtain that topologically isotopic surfaces in a smooth, simply-connected $4$-manifold become smoothly isotopic after sufficient external stabilisations. We further demonstrate cases where this invariant can be realised fully without stabilisation for self-homeomorphisms, which includes for manifolds with finite cyclic fundamental group. This method allows us to produce many examples of homeomorphisms which are not stably pseudo-isotopic to any diffeomorphism but are homotopic to the identity. Finally, we reinterpret these results in terms of finding examples of smooth structures on $4$-manifolds which are diffeomorphic but not stably pseudo-isotopic.

Geometric Topology
Exotic definite four-manifolds with non-cyclic fundamental group

Robert Harris,Patrick Naylor,B. Doug Park

2024-06-11

Abstract:We construct infinitely many pairwise non-diffeomorphic smooth structures on a definite $4$-manifold with non-cyclic fundamental group $\mathbb{Z}/2\times \mathbb{Z}/2$.

Geometric Topology
Exotic definite four-manifolds with non-trivial fundamental group

Andras I. Stipsicz,Zoltan Szabo

2023-10-27

Abstract:Inspired by a recent result of Levine-Lidman-Piccirillo, we construct infinitely many exotic smooth structures on some closed four-manifolds with definite intersection form and fundamental group isomorphic to $\Z /2\Z$. Similar constructions provide exotic smooth structures on further four-manifolds with fundamental group $Z/2\Z$, including examples with even $b_2^+$.

Geometric Topology
Intersection Forms of Spin 4-Manifolds and the Pin(2)-Equivariant Mahowald Invariant

Michael J. Hopkins,Jianfeng Lin,XiaoLin Danny Shi,Zhouli Xu

DOI: https://doi.org/10.1090/cams/4

2022-01-01

Communications of the American Mathematical Society

Abstract:In studying the "11/8-Conjecture" on the Geography Problem in 4-dimensional topology, Furuta proposed a question on the existence of Pin(2)-equivariant stable maps between certain representation spheres. In this paper, we present a complete solution to this problem by analyzing the Pin(2)-equivariant Mahowald invariants. As a geometric application of our result, we prove a "10/8+4"-Theorem. We prove our theorem by analyzing maps between certain finite spectra arising from BPin(2) and various Thom spectra associated with it. To analyze these maps, we use the technique of cell diagrams, known results on the stable homotopy groups of spheres, and the j-based Atiyah-Hirzebruch spectral sequence.
Combed Trisection Diagrams and Non-Semisimple 4-Manifold Invariants

Julian Chaidez,Jordan Cotler,Shawn X. Cui

2024-01-19

Abstract:Given a triple $H$ of (possibly non-semisimple) Hopf algebras equipped with pairings satisfying a set of properties, we describe a construction of an associated smooth, scalar invariant $\tau_H(X,\pi)$ of a simply connected, compact, oriented $4$-manifold $X$ and an open book $\pi$ on its boundary. This invariant generalizes an earlier semisimple version and is calculated using a trisection diagram $T$ for $X$ and a certain type of combing of the trisection surface. We explain a general calculation of this invariant for a family of exotic 4-manifolds with boundary called Stein nuclei, introduced by Yasui. After investigating many low-dimensional Hopf algebras up to dimension 11, we have not been able to find non-semisimple Hopf triples that satisfy the criteria for our invariant. Nonetheless, appropriate Hopf triples may exist outside the scope of our explorations.

Quantum Algebra,Mathematical Physics,Geometric Topology
A gauge-field approach to 3- and 4-manifold invariants

Boguslaw Broda

DOI: https://doi.org/10.48550/arXiv.q-alg/9511010

1996-03-16

Abstract:The paper contains a talk given by the author at the Banach Center in Spring 1995. It recapitulates author's approach to construction of topological invariants of the Reshetikhin-Turaev-Witten type of 3- and 4-dimensional manifolds in the framework of SU(2) Chern-Simons gauge theory and its hidden (quantum) gauge symmetry.

Quantum Algebra,High Energy Physics - Theory
Diffeomorphisms of 4-manifolds with boundary and exotic embeddings

Nobuo Iida,Hokuto Konno,Anubhav Mukherjee,Masaki Taniguchi

DOI: https://doi.org/10.1007/s00208-024-02974-x

2024-08-19

Mathematische Annalen

Abstract:We define family versions of the invariant of 4-manifolds with contact boundary due to Kronheimer and Mrowka and use these to detect exotic diffeomorphisms of 4-manifolds with boundary. Further, we show the existence of the first example of exotic 3-spheres in a smooth closed 4-manifold with diffeomorphic complements.

mathematics
New Exotic four-manifolds with $\mathbb{Z}/2\mathbb{Z}$ fundamental group

Márton Beke,László Koltai,Sarah Zampa

2024-10-16

Abstract:We extend a construction of Stipsicz-Szabó of infinitely many irreducible exotic smooth structures of some closed four-manifolds with even $b_2^+$ and fundamental group $\mathbb{Z}/2\mathbb{Z}$. We use the double node surgery and rational blow down constructions of Fintushel-Stern on some elliptic fibrations equipped with a free involution. The construction is done in an equivariant manner and the factor manifolds are distinguished by the Seiberg-Witten invariants of their universal covers.

Geometric Topology
Four-manifolds, two-complexes and the quadratic bias invariant

Ian Hambleton,John Nicholson

2024-12-20

Abstract:Kreck and Schafer produced the first examples of stably diffeomorphic closed smooth 4-manifolds which are not homotopy equivalent. They were constructed by applying the doubling construction to 2-complexes over certain finite abelian groups of odd order. By extending their methods, we formulate a new homotopy invariant on the class of 4-manifolds arising as doubles of 2-complexes with finite fundamental group. As an application we show that, for any $k \ge 2$, there exist a family of $k$ closed smooth 4-manifolds which are all stably diffeomorphic but are pairwise not homotopy equivalent.

Geometric Topology,Algebraic Topology
Invariants of surfaces in smooth 4-manifolds from link homology

Scott Morrison,Kevin Walker,Paul Wedrich

2024-01-22

Abstract:We construct analogs of Khovanov-Jacobsson classes and the Rasmussen invariant for links in the boundary of any smooth oriented 4-manifold. The main tools are skein lasagna modules based on equivariant and deformed versions of $\mathfrak{gl}_N$ link homology, for which we prove non-vanishing and decomposition results.

Geometric Topology,Quantum Algebra
3-Manifolds and Vafa-Witten Theory

Sergei Gukov,Artan Sheshmani,Shing-Tung Yau

DOI: https://doi.org/10.4310/atmp.2023.v27.n2.a3

IF: 1.722

2023-01-01

Advances in Theoretical and Mathematical Physics

Abstract:We initiate explicit computations of Vafa-Witten invariants of 3-manifolds, analogous to Floer groups in the context of Donaldson theory. In particular, we explicitly compute the Vafa-Witten invariants of 3-manifolds in a family of concrete examples relevant to various surgery operations (the Gluck twist, knot surgeries, log-transforms). We also describe the structural properties that are expected to hold for general 3-manifolds, including the modular group action, relation to Floer homology, infinite-dimensionality for an arbitrary 3-manifold, and the absence of instantons.
Product Formulae for Ozsvath-Szabo 4-manifold Invariants

Stanislav Jabuka,Thomas E. Mark

DOI: https://doi.org/10.2140/gt.2008.12.1557

2007-06-04

Abstract:We give formulae for the Ozsvath-Szabo invariants of 4-manifolds X obtained by fiber sum of two manifolds M_1, M_2 along surfaces S_1, S_2 having trivial normal bundle and genus g>0. The formulae follow from a general theorem on the Ozsvath-Szabo invariants of the result of gluing two 4-manifolds along a common boundary, which is phrased in terms of relative invariants of the pieces. These relative invariants take values in a version of Heegaard Floer homology with coefficients in modules over certain Novikov rings; the fiber sum formula follows from the theorem that this "perturbed" version of Heegaard Floer theory recovers the usual Ozsvath-Szabo invariants, when the 4-manifold in question has b^+>1. The construction allows an extension of the definition of the Ozsvath-Szabo invariants to 4-manifolds having b^+ = 1 depending on certain choices, in close analogy with Seiberg-Witten theory. The product formulae lead quickly to calculations of the Ozsvath-Szabo invariants of various 4-manifolds; in all cases the results are in accord with the conjectured equivalence between the Ozsvath-Szabo and Seiberg-Witten invariants.

Geometric Topology
Exotically knotted closed surfaces from Donaldson's diagonalization for families

Hokuto Konno,Abhishek Mallick,Masaki Taniguchi

2024-09-11

Abstract:We introduce a method to detect exotic surfaces without explicitly using a smooth 4-manifold invariant or an invariant of a 4-manifold-surface pair in the construction. Our main tools are two versions of families (Seiberg-Witten) generalizations of Donaldson's diagonalization theorem, including a real and families version of the diagonalization. This leads to an example of a pair of exotically knotted $\mathbb{R}P^2$'s embedded in a closed 4-manifold whose complements are diffeomorphic, making it the first example of a non-orientable surface with this property. In particular, any invariant of a 4-manifold-surface pair (including invariants from real Seiberg-Witten theory such as Miyazawa's invariant) fails to detect such an exotic $\mathbb{R} P^2$. One consequence of our construction reveals that non-effective embeddings of corks can still be useful in pursuit of exotica. Precisely, starting with an embedding of a cork $C$ in certain a 4-manifold $X$ where the cork-twist does not change the diffeomorphism type of $X$, we give a construction that provides examples of exotically knotted spheres and $\mathbb{R}P^2$'s with diffeomorphic complements in $ C \# S^2 \times S^2 \subset X \# S^2 \times S^2$ or $C \# \mathbb{C}P^2 \subset X \# \mathbb{C}P^2 $. In another direction, we provide infinitely many exotically knotted embeddings of orientable surfaces, closed surface links, and 3-spheres with diffeomorphic complements in once stabilized corks, and show some of these surfaces survive arbitrarily many internal stabilizations. By combining similar methods with Gabai's 4D light-bulb theorem, we also exhibit arbitrarily large difference between algebraic and geometric intersections of certain family of 2-spheres, embedded in a 4-manifold.

Geometric Topology
Finite groups, spherical 2-categories, and 4-manifold invariants

Marco Mackaay

DOI: https://doi.org/10.48550/arXiv.math/9903003

1999-11-09

Abstract:In this paper we define a class of state-sum invariants of compact closed oriented piece-wise linear 4-manifolds using finite groups. The definition of these state-sums follows from the general abstract construction of 4-manifold invariants using spherical 2-categories, as we defined in a previous paper, although it requires a slight generalization of that construction. We show that the state-sum invariants of Birmingham and Rakowski, who studied Dijkgraaf-Witten type invariants in dimension 4, are special examples of the general construction that we present in this paper. They showed that their invariants are non-trivial by some explicit computations, so our construction includes interesting examples already. Finally, we indicate how our construction is related to homotopy 3-types. This connection suggests that there are many more interesting examples of our construction to be found in the work on homotopy 3-types, such as by Brown, for example.

Quantum Algebra,Category Theory

Open manifolds, Ozsvath-Szabo invariants and Exotic R^4's

New constructions and invariants of closed exotic 4-manifolds

Floer theoretic invariants for 3- and 4-manifolds

Exotic aspherical 4-manifolds

From diffeomorphisms to exotic phenomena in small 4-manifolds

Positive Scalar Curvature and Exotic Structures on Simply Connected Four Manifolds

The Casson-Sullivan invariant for homeomorphisms of 4-manifolds

Exotic definite four-manifolds with non-cyclic fundamental group

Exotic definite four-manifolds with non-trivial fundamental group

Intersection Forms of Spin 4-Manifolds and the Pin(2)-Equivariant Mahowald Invariant

Combed Trisection Diagrams and Non-Semisimple 4-Manifold Invariants

A gauge-field approach to 3- and 4-manifold invariants

Diffeomorphisms of 4-manifolds with boundary and exotic embeddings

New Exotic four-manifolds with $\mathbb{Z}/2\mathbb{Z}$ fundamental group

Four-manifolds, two-complexes and the quadratic bias invariant

Invariants of surfaces in smooth 4-manifolds from link homology

3-Manifolds and Vafa-Witten Theory

Product Formulae for Ozsvath-Szabo 4-manifold Invariants

Exotically knotted closed surfaces from Donaldson's diagonalization for families

Finite groups, spherical 2-categories, and 4-manifold invariants