Searcharxiv⌕ Search

arXiv subjects

Ciprian Manolescu

Publications and source records attributed to Ciprian Manolescu.

At least 37 records · Page 2Linked to original sources
arXiv2019

A gluing theorem for the relative Bauer-Furuta invariants

In a previous paper we have constructed an invariant of four-dimensional manifolds with boundary in the form of an element in the stable homotopy group of the Seiberg-Witten Floer spectrum of the boundary. Here we prove that when one glues two four-manifolds along their boundaries, the Bauer-Furuta invariant of the resulting manifold is obtained by applying a natural pairing to the invariants of the pieces. As an application, we show that the connected sum of three copies of the K3 surface contains no exotic nuclei. In the process we also compute the Floer spectrum for several Seifert fibrations.

math.GT↗
arXiv2019

Seiberg-Witten-Floer stable homotopy type of three-manifolds with b_1=0

Using Furuta's idea of finite dimensional approximation in Seiberg-Witten theory, we refine Seiberg-Witten Floer homology to obtain an invariant of homology 3-spheres which lives in the S^1-equivariant graded suspension category. In particular, this gives a construction of Seiberg-Witten Floer homology that avoids the delicate transversality problems in the standard approach. We also define a relative invariant of four-manifolds with boundary which generalizes the Bauer-Furuta stable homotopy invariant of closed four-manifolds.

math.DG↗
arXiv2019

A sheaf-theoretic SL(2,C) Floer homology for knots

Using the theory of perverse sheaves of vanishing cycles, we define a homological invariant of knots in three-manifolds, similar to the three-manifold invariant constructed by Abouzaid and the second author. We use spaces of SL(2,C) flat connections with fixed holonomy around the meridian of the knot. Thus, our invariant is a sheaf-theoretic SL(2,C) analogue of the singular knot instanton homology of Kronheimer and Mrowka. We prove that for two-bridge and torus knots, the SL(2,C) invariant is determined by the l-degree of the $\widehat{A}$-polynomial. However, this is not true in general, as can be shown by considering connected sums of knots.

math.GT↗
arXiv2019

A sheaf-theoretic model for SL(2,C) Floer homology

Given a Heegaard splitting of a three-manifold Y, we consider the SL(2,C) character variety of the Heegaard surface, and two complex Lagrangians associated to the handlebodies. We focus on the smooth open subset corresponding to irreducible representations. On that subset, the intersection of the Lagrangians is an oriented d-critical locus in the sense of Joyce. Bussi associates to such an intersection a perverse sheaf of vanishing cycles. We prove that in our setting, the perverse sheaf is an invariant of Y, i.e., it is independent of the Heegaard splitting. The hypercohomology of this sheaf can be viewed as a model for (the dual of) SL(2,C) instanton Floer homology. We also present a framed version of this construction, which takes into account reducible representations. We give explicit computations for lens spaces and Brieskorn spheres, and discuss the connection to the Kapustin-Witten equations and Khovanov homology.

math.GT↗
arXiv2018

The Knight Move Conjecture is false

The Knight Move Conjecture claims that the Khovanov homology of any knot decomposes as direct sums of some "knight move" pairs and a single "pawn move" pair. This is true for instance whenever the Lee spectral sequence from Khovanov homology to Q^2 converges on the second page, as it does for all alternating knots and knots with unknotting number at most 2. We present a counterexample to the Knight Move Conjecture. For this knot, the Lee spectral sequence admits a nontrivial differential of bidegree (1,8).

math.GT↗
arXiv2018

Homology cobordism and triangulations

The study of triangulations on manifolds is closely related to understanding the three-dimensional homology cobordism group. We review here what is known about this group, with an emphasis on the local equivalence methods coming from Pin(2)- equivariant Seiberg-Witten Floer spectra and involutive Heegaard Floer homology.

math.GT↗
arXiv2017

Floer homology and covering spaces

We prove a Smith-type inequality for regular covering spaces in monopole Floer homology. Using the monopole Floer / Heegaard Floer correspondence, we deduce that if a 3-manifold Y admits a p^n-sheeted regular cover that is a Z/pZ-L-space (for p prime), then Y is a Z/pZ-L-space. Further, we obtain constraints on surgeries on a knot being regular covers over other surgeries on the same knot, and over surgeries on other knots.

math.GT↗
arXiv2017

Involutive Heegaard Floer homology and plumbed three-manifolds

We compute the involutive Heegaard Floer homology of the family of three-manifolds obtained by plumbings along almost-rational graphs. (This includes all Seifert fibered homology spheres.) We also study the involutive Heegaard Floer homology of connected sums of such three-manifolds, and explicitly determine the involutive correction terms in the case that all of the summands have the same orientation. Using these calculations, we give a new proof of the existence of an infinite-rank subgroup in the three-dimensional homology cobordism group.

math.GT↗
arXiv2017

A connected sum formula for involutive Heegaard Floer homology

We prove a connected sum formula for involutive Heegaard Floer homology, and use it to study the involutive correction terms of connected sums. In particular, we give an example of a three-manifold with $\underline{d}(Y) \neq d(Y) \neq \overline{d}(Y)$. We also construct a homomorphism from the three-dimensional homology cobordism group to an algebraically defined Abelian group, consisting of certain complexes (equipped with a homotopy involution) modulo a notion of local equivalence.

math.GT↗
arXiv2017

Cornered Heegaard Floer homology

Bordered Floer homology assigns invariants to 3-manifolds with boundary, such that the Heegaard Floer homology of a closed 3-manifold, split into two pieces, can be recovered as a tensor product of the bordered invariants of the pieces. We construct cornered Floer homology invariants of 3-manifolds with codimension-2 corners, and prove that the bordered Floer homology of a 3-manifold with boundary, split into two pieces with corners, can be recovered as a tensor product of the cornered invariants of the pieces.

math.GT↗
arXiv2016

The Conley index, gauge theory, and triangulations

This is an expository paper about Seiberg-Witten Floer stable homotopy types. We outline their construction, which is based on the Conley index and finite dimensional approximation. We then describe several applications, including the disproof of the high-dimensional triangulation conjecture.

math.GT↗
arXiv2016

Involutive Heegaard Floer homology

Using the conjugation symmetry on Heegaard Floer complexes, we define a three-manifold invariant called involutive Heegaard Floer homology, which is meant to correspond to $\mathbb{Z}_4$-equivariant Seiberg-Witten Floer homology. Further, we obtain two new invariants of homology cobordism, $\underline{d}$ and $\bar{d}$, and two invariants of smooth knot concordance, $\underline{V}_0$ and $\overline{V}_0$. We also develop a formula for the involutive Heegaard Floer homology of large integral surgeries on knots. We give explicit calculations in the case of L-space knots and thin knots. In particular, we show that $\underline{V}_0$ detects the non-sliceness of the figure-eight knot. Other applications include constraints on which large surgeries on alternating knots can be homology cobordant to other large surgeries on alternating knots.

math.GT↗
arXiv2016

An introduction to knot Floer homology

This is a survey article about knot Floer homology. We present three constructions of this invariant: the original one using holomorphic disks, a combinatorial description using grid diagrams, and a combinatorial description in terms of the cube of resolutions. We discuss the geometric information carried by knot Floer homology, and the connection to three- and four-dimensional topology via surgery formulas. We also describe some conjectural relations to Khovanov-Rozansky homology.

math.GT↗
arXiv2015

Floer theory and its topological applications

We survey the different versions of Floer homology that can be associated to three-manifolds. We also discuss their applications, particularly to questions about surgery, homology cobordism, and four-manifolds with boundary. We then describe Floer stable homotopy types, the related Pin(2)-equivariant Seiberg-Witten Floer homology, and its application to the triangulation conjecture.

math.GT↗
arXiv2015

Pin(2)-equivariant Seiberg-Witten Floer homology and the Triangulation Conjecture

We define Pin(2)-equivariant Seiberg-Witten Floer homology for rational homology 3-spheres equipped with a spin structure. The analogue of Froyshov's correction term in this setting is an integer-valued invariant of homology cobordism whose mod 2 reduction is the Rokhlin invariant. As an application, we show that there are no homology 3-spheres Y of Rokhlin invariant one such that Y # Y bounds an acyclic smooth 4-manifold. By previous work of Galewski-Stern and Matumoto, this implies the existence of non-triangulable high-dimensional manifolds.

math.GT↗
arXiv2014

A generalized asynchronous computability theorem

We consider the models of distributed computation defined as subsets of the runs of the iterated immediate snapshot model. Given a task $T$ and a model $M$, we provide topological conditions for $T$ to be solvable in $M$. When applied to the wait-free model, our conditions result in the celebrated Asynchronous Computability Theorem (ACT) of Herlihy and Shavit. To demonstrate the utility of our characterization, we consider a task that has been shown earlier to admit only a very complex $t$-resilient solution. In contrast, our generalized computability theorem confirms its $t$-resilient solvability in a straightforward manner.

cs.DC↗
arXiv2014

An untwisted cube of resolutions for knot Floer homology

Ozsvath and Szabo gave a combinatorial description of knot Floer homology based on a cube of resolutions, which uses maps with twisted coefficients. We study the t=1 specialization of their construction. The associated spectral sequence converges to knot Floer homology, and we conjecture that its E_1 page is isomorphic to the HOMFLY-PT chain complex of Khovanov and Rozansky. At the level of each E_1 summand, this conjecture can be stated in terms of an isomorphism between certain Tor groups. As evidence for the conjecture, we prove that such an isomorphism exists in degree zero.

math.GT↗