arXiv research

Study PL topology theorems for cubical complexes, solving Habegger and Funar's conjecture.

In this paper, by use of techniques associated to cobordism theory and Morse theory,we give a simple proof of Poincare conjecture, i.e. Every compact smooth simply connected 3-manifold is homeomorphic to 3-sphere.

In [Duke Math. J. 101 (1999) 359-426], Mikhail Khovanov constructed a homology theory for oriented links, whose graded Euler characteristic is the Jones polynomial. He also explained how every link cobordism between two links induces a homomorphism between their homology groups, and he conjectured the invariance (up to…

Assuming a conjecture about factorization homology with adjoints, we prove the cobordism hypothesis, after Baez-Dolan, Costello, Hopkins-Lurie, and Lurie.

New findings show infinitely many knots cannot be smoothly round handle slices.

Investigates flat bundles over low-dimensional manifolds and their cobordism classes.

Computes invariant for smooth h-cobordisms families, proving duality and vanishing theorems.

Ribbon cobordisms form a partial order on 3-manifolds.

The main result of this paper states that a symplectic s-cobordism of elliptic 3-manifolds is diffeomorphic to a product (assuming a canonical contact structure on the boundary). Based on this theorem, we conjecture that a smooth s-cobordism of elliptic 3-manifolds is smoothly a product if its universal cover is smooth…

We conjecture a formula for the virtual elliptic genera of moduli spaces of rank 2 sheaves on minimal surfaces $S$ of general type. We express our conjecture in terms of the Igusa cusp form $χ_{10}$ and Borcherds type lifts of three quasi-Jacobi forms which are all related to the Weierstrass elliptic function. We also …

We show, up to h-cobordism, that the existence and uniqueness of connected sum decompositions of oriented 4-dimensional manifolds is an invariant of homotopy equivalence, assuming that the fundamental group of each summand is "good" in the sense of Freedman and Quinn. On a separate note, we observe that the Borel Conje…

Witten's conjecture suggests that the polynomial invariants of Donaldson are expressible in terms of the Seiberg-Witten invariants if the underlying four-manifold is of simple type. A higher rank version of the Donaldson invariants was introduced by Kronheimer. Before even having been defined, the physicists Mariño and…

Study shows $S^1$ algebraic structure in 2-dimensional CW-complex cobordisms.

The paper introduces new inequalities for knots in 4D cobordisms.

We consider colored operads and their actions on categories. As a special example we construct a cobordism category with a colored operad action arising from oriented planar arc diagrams. This is used to construct an invariant of oriented tangle diagrams with values in the homotopy category attached to the cobordism ca…

In [R2] and [RO] the Arnold conjecture for closed symplectic manifolds with trivial second homotopy group was proved. This proof used surgery and cobordism theory. Here we give a purely cohomological proof of this result.

A famous conjecture in gauge theory mathematics, attributed to Witten, suggests that the polynomial invariants of Donaldson are expressible in terms of the Seiberg-Witten invariants if the underlying four-manifold is of simple type. Mathematicians have sought a proof of the conjecture by means of a `cobordism program' …

Researchers determine quantum filtration structure of torus links.

Study Seiberg-Witten moduli spaces on 3D cobordisms with Morse functions.

We prove a conjecture due to M. Kazarian, connecting two classifying spaces in singularity theory. These spaces are: - Kazarian's space (generalizing Vassiliev's algebraic complex and) showing which cohomology classes are represented by singularity strata. - Author's space $X_τ$ giving homotopy representation of cobord…

Symplectic Khovanov homology is an invariant of oriented links defined by Seidel and Smith and conjectured to be isomorphic to Khovanov homology. I define morphisms (up to a global sign ambiguity) between symplectic Khovanov homology groups, corresponding to isotopy classes of smooth link cobordisms in 4D between a fix…

We construct four-dimensional symplectic cobordisms between contact three-manifolds generalizing an example of Eliashberg. One key feature is that any handlebody decomposition of one of these cobordisms must involve three-handles. The other key feature is that these cobordisms contain chains of symplectically embedded …

We show that the pre-order defined on the category of contact manifolds by arbitrary symplectic cobordisms is considerably less rigid than its counterparts for exact or Stein cobordisms: in particular, we exhibit large new classes of contact 3-manifolds which are symplectically cobordant to something overtwisted, or to…

Alternative algebraic characterization of 3D cobordisms category.

Constructs TQFTs for cobordisms with cohomology class decorations.

We compute the $\mathrm{Pin}(2)$-equivariant Seiberg-Witten Floer homology of Seifert rational homology three-spheres in terms of their Heegaard Floer homology. As a result of this computation, we prove Manolescu's conjecture that $β=-\barμ$ for Seifert integral homology three-spheres. We show that the Manolescu invari…

We show that the SO(3) monopole cobordism formula from Feehan and Leness (2002) implies that all smooth, closed, oriented four-manifolds with $b^1=0$ and $b^+\geq 3$ and odd with Seiberg-Witten simple type satisfy the superconformal simple type condition defined by Marino, Moore, and Peradze (1999) This implies the low…

Let $X$ be a smooth, closed, connected, orientable four-manifold with $b^1(X)=0$ and $b^+(X)\geq 3$ and odd. We show that if $X$ has Seiberg-Witten simple type, then the SO(3)-monopole cobordism formula of Feehan and Leness (2002) implies Witten's Conjecture relating the Donaldson and Seiberg-Witten invariants.

Embedding calculus invariants solve knot connectivity and grope cobordism problems.

Casson-type invariants emerging from Donaldson theory over certain negative definite 4-manifolds were recently suggested by Andrei Teleman. These are defined by a count of a zero-dimensional moduli space of flat instantons. Motivated by the cobordism program of proving Witten's conjecture, we use a moduli space of PU(2…

We create a framework for odd Khovanov homology in the spirit of Bar-Natan's construction for the ordinary Khovanov homology. Namely, we express the cube of resolutions of a link diagram as a diagram in a certain 2-category of chronological cobordisms and show that it is 2-commutative: the composition of 2-morphisms al…

We present the Round Handle Problem, proposed by Freedman and Krushkal. It asks whether a collection of links, which contains the Generalised Borromean Rings, are slice in a 4-manifold R constructed from adding round handles to the four ball. A negative answer would contradict the union of the surgery conjecture and th…

We reconsider the su(3) link homology theory defined by Khovanov in math.QA/0304375 and generalized by Mackaay and Vaz in math.GT/0603307. With some slight modifications, we describe the theory as a map from the planar algebra of tangles to a planar algebra of (complexes of) `cobordisms with seams' (actually, a `canopo…

We investigate rational homology cobordisms of 3-manifolds with non-zero first Betti number. This is motivated by the natural generalization of the slice-ribbon conjecture to multicomponent links. In particular we consider the problem of which rational homology $S^1\times S^2$'s bound rational homology $S^1\times D^3$'…

New algebraic presentations for 3D cobordisms and 4D 2-handlebodies.

For a given null-cobordant Riemannian $n$-manifold, how does the minimal geometric complexity of a null-cobordism depend on the geometric complexity of the manifold? In [Gro99], Gromov conjectured that this dependence should be linear. We show that it is at most a polynomial whose degree depends on $n$. This constructi…

Regular sliceness implies once-stably decomposable sliceness in symplectizations.

We prove that Witten's Conjecture [arXiv:hep-th/9411102] on the relationship between the Donaldson and Seiberg-Witten series for a four-manifold of Seiberg-Witten simple type with $b_1=0$ and odd $b_2^+\geq 3$ follows from our $\mathrm{SO}(3)$-monopole cobordism formula [arXiv:math/0203047] when the four-manifold has $…

We give a survey of geometric approaches to the topological 4-dimensional surgery and 5-dimensional s-cobordism conjectures, with a focus on the study of surfaces in 4-manifolds. The geometric lemma underlying these conjectures is a statement about smooth immersions of disks and of certain 2-complexes, capped gropes, i…

The smooth rational homology cobordism group of rational homology three spheres, T, contains subgroups T_p generated by 3-manifolds with first homology p-torsion, where p is a prime. Rochlin's theorem and gauge theoretic methods show that the inclusion of the direct sum of the T_p into T has infinitely generated kernel…

We give a partial characterization of bordered Floer homology in terms of sutured Floer homology. The bordered algebra and modules are direct sums of certain sutured Floer complexes. The algebra multiplication and algebra action correspond to a new gluing map on SFH. It is defined algebraically, and is a special case o…

We outline the proof that non-triangulable manifolds exist in any dimension greater than four. The arguments involve homology cobordism invariants coming from the Pin(2) symmetry of the Seiberg-Witten equations. We also explore a related construction, of an involutive version of Heegaard Floer homology.

Study Turaev-Viro invariants of 3-manifolds with toroidal boundary.

The paper classifies homotopy ribbon discs with specific groups.

The technique of generating families produces obstructions to the existence of embedded Lagrangian cobordisms between Legendrian submanifolds in the symplectizations of 1-jet bundles. In fact, generating families may be used to construct a TQFT-like theory that, in addition to giving the aforementioned obstructions, yi…

Study topological 4-manifolds with specific fundamental groups.

We provide an example, which shows that studying homological and homotopical properties of cobordisms between arbitrary, that is not necessarily negative, graph manifolds is not enough to prove the $μ$-constant conjecture of Le Dung Trang in complex dimension 2.

The paper explores how the unit inclusion affects topological quantum field theories in non-semisimple categories.