Related papers: No homotopy 4-sphere invariants using ECH = SWF
Our main result has topological, combinatorial and computational flavor. It is motivated by a fundamental conjecture stating that computing Khovanov homology of a closed braid of fixed number of strands has polynomial time complexity. We…
R.~Lawrence has conjectured that for rational homology spheres, the series of Ohtsuki's invariants converges p-adicly to the SO(3) Witten-Reshetikhin-Turaev invariant. We prove this conjecture for Seifert rational homology spheres. We also…
In this paper, we study a model for $S^1$-equivariant monopole Floer homology for rational homology three-spheres via a homological device called $\mathcal{S}$-complex. Using the Chern-Simons-Dirac functional, we define an…
An essential goal in the study of finite type invariants of some objects (knots, manifolds) is the construction of a universal finite type invariant, universal in the sense that it contains all finite type invariants of the given objects.…
We revisit the implementation of the metric-independent Fock-Schwinger gauge in the abelian Chern-Simons field theory defined in ${\mathbb{R}}^3$ by means of a homotopy condition. This leads to the lagrangian $F \wedge hF$ in terms of…
We define an invariant of contact 3-manifolds with convex boundary using Kronheimer and Mrowka's sutured instanton Floer homology theory. To the best of our knowledge, this is the first invariant of contact manifolds -- with or without…
Cappell-Shaneson homotopy 4-spheres (CS spheres) are potential counterexamples of the smooth 4-dimensional Poincar\'e conjecture. Akbulut proved that infinite CS spheres are diffeomorphic to the standard 4-sphere by Kirby calculus. Kim and…
Link spectral invariants were introduced by Cristofaro-Gardiner, Humili\`ere, Mak, Seyfaddini, and Smith. They induce Hofer-Lipschitz quasimorphisms on the group of Hamiltonian diffeomorphisms of the two-dimensional sphere. We prove that…
This article proves a uniform exponential decay estimate for Seiberg-Witten equations on non-compact 4-manifolds with exact symplectic ends of bounded geometry. This is an extension of the analysis for asymptotically flat almost K\"ahler…
By studying the Seiberg-Witten equations on end-periodic manifolds, we give an obstruction on the existence of positive scalar curvature metric on compact $4$-manifolds with the same homology as $S^{1}\times S^{3}$. This obstruction is…
We study questions of the following type: Can one assign continuously and $\Sigma_m$-equivariantly to any $m$-tuple of distinct points on the sphere $S^n$ a multipath in $S^n$ spanning these points? A \emph{multipath} is a continuous map of…
Starting from ideas of Furuta, we develop a general formalism for the construction of cohomotopy invariants associated with a certain class of $S^1$-equivariant non-linear maps between Hilbert bundles. Applied to the Seiberg-Witten map,…
The aim of this article is to apply a Floer theory to study symmetric periodic Reeb orbits. We define positive equivariant wrapped Floer homology using a (anti-)symplectic involution on a Liouville domain and investigate its algebraic…
This article presents a new and more elementary proof of the main Seiberg-Witten-based obstruction to the existence of Einstein metrics on smooth compact 4-manifolds. It also introduces a new smooth manifold invariant which conveniently…
A Riemann-Cartan manifold is a Riemannian manifold endowed with an affine connection which is compatible with the metric tensor. This affine connection is not necessarily torsion free. Under the assumption that the manifold is a homogeneous…
We consider the question of extending a smooth homotopy coherent finite cyclic group action on the boundary of a smooth 4-manifold to its interior. As a result, we prove that Dehn twists along any Seifert homology sphere, except the…
We show that any number of disjointly embedded 2-spheres in 4-space can be pulled apart by a link homotopy, ie, by a motion in which the 2-spheres stay disjoint but are allowed to self-intersect.
We introduce a new diffeomorphism invariant of smooth compact oriented 4-manifolds $X$ with a framed oriented 1-link $L$ in the boundary, where $L$ may be the empty set, and call it {\it Khovanov-Lipshitz-Sarkar skein lasagna homotopy type}…
We study curvature functionals for immersed 2-spheres in non-compact, three-dimensional Riemannian manifold $(M,h)$ without boundary. First, under the assumption that $(M,h)$ is the euclidean 3-space endowed with a semi-perturbed metric…
This article presents the constructions of new infinite families of smooth 4-manifolds with the property that any two manifolds in the same family are homeomorphic and, from their construction, seem to be quite different, but cannot be…