arXiv research

Proves Arnol'd's chord conjecture for conormal bundles.

Proves a conjecture about Lagrangian intersections using new theory.

Floer invented his theory in the mid eighties in order to prove the Arnol'd conjectures on the number of fixed point of Hamiltonian diffeomorphisms and Lagrangian intersections. Over the last thirty years, many versions of Floer homology have been constructed. In symplectic and contact dynamics and geometry they have b…

We prove a version of the Arnol'd conjecture for Lagrangian submanifolds of conformal symplectic manifolds: a Lagrangian $L$ which has non-zero Morse-Novikov homology for the restriction of the Lee form $β$ cannot be disjoined from itself by a $C^0$-small Hamiltonian isotopy. Furthermore for generic such isotopies the …

Area-preserving diffeomorphisms of a 2-disc can be regarded as time-1 maps of (non-autonomous) Hamiltonian flows on solid tori, periodic flow-lines of which define braid (conjugacy) classes, up to full twists. We examine the dynamics relative to such braid classes and define a braid Floer homology. This refinement of t…

We prove Arnol'd's three cusps conjecture about the front of Legendrian curves in the projectivized cotangent bundle of the $2$-sphere. We use the microlocal theory of sheaves of Kashiwara and Schapira and study the derived category of sheaves on the $2$-sphere with a given smooth Lagrangian microsupport.

We construct the TQFT on symplectic cohomology and wrapped Floer cohomology, possibly twisted by a local system of coefficients, and prove that the TQFT respects Viterbo restriction maps and the canonical maps from ordinary cohomology. We also construct the module structure of wrapped Floer cohomology over symplectic c…

We study the curvature of metric spaces and branched covers of Riemannian manifolds, with applications in topology and algebraic geometry. Here curvature bounds are expressed in terms of the CAT(k) inequality. We prove a general CAT(k) extension theorem, giving sufficient conditions on and near the boundary of a locall…

We prove the $K(π,1)$ conjecture for affine Artin groups: the complexified complement of an affine reflection arrangement is a classifying space. This is a long-standing problem, due to Arnol'd, Pham, and Thom. Our proof is based on recent advancements in the theory of dual Coxeter and Artin groups, as well as on sever…

Study on disk configurations in strips shows stability patterns.

We prove that the homotopy class of a Morin mapping f: P^p --> Q^q with p-q odd contains a cusp mapping. This affirmatively solves a strengthened version of the Chess conjecture [DS Chess, A note on the classes [S_1^k(f)], Proc. Symp. Pure Math., 40 (1983) 221-224] and [VI Arnol'd, VA Vasil'ev, VV Goryunov, OV Lyashenk…

Let $(M,ω)$ be a geometrically bounded symplectic manifold, $N\subseteq M$ a closed, regular (i.e. "fibering") coisotropic submanifold, and $φ:M\to M$ a Hamiltonian diffeomorphism. The main result of this article is that the number of leafwise fixed points of $φ$ is bounded below by the sum of the $Z_2$-Betti numbers o…

New evidence refutes old conjectures about knot homology ranks, suggesting new congruences.

Paper proves a conjecture about a Heegaard Floer invariant for certain rational homology spheres.

We first study superpolynomial associated to triply-graded reduced colored HOMFLY-PT homology. We propose conjectures of congruent relations and cyclotomic expansion for it. We prove conjecture of $N=1$ for torus knot case, through which we obtain the corresponding invariant $α(T(m,n))=-(m-1)(n-1)/2$. This is closely r…

Proves lattice homology equals Heegaard Floer homology for certain 3-manifolds.

A well-known conjecture states that for any $l$-component link $L$ in $S^3$, the rank of the knot Floer homology of $L$ (over any field) is less than or equal to $2^{l-1}$ times the rank of the reduced Khovanov homology of $L$. In this paper, we describe a framework that might be used to prove this conjecture. We const…

The stable Khovanov-Rozansky homology of torus knots has been conjecturally described as the Koszul homology of an explicit non-regular sequence of polynomials. We verify this conjecture against newly available computational data for sl(3)-homology. Special attention is paid to torsion. In addition, explicit conjectura…

Study supports conjecture about pretzel links' homology.

The (untwisted) oriented cube of resolutions for knot Floer homology assigns a complex $C_{F}(S)$ to a singular resolution $S$ of a knot $K$. Manolescu conjectured that when $S$ is in braid position, the homology $H_{*}(C_{F}(S))$ is isomorphic to the HOMFLY-PT homology of $S$. Together with a naturality condition on t…

Proves Khovanov homology conjecture for 3-stranded braids.

New findings restrict Heegaard Floer homology for certain rational homology spheres.

We conjecturally extract the triply graded Khovanov-Rozansky homology of the (m, n) torus knot from the unique finite dimensional simple representation of the rational DAHA of type A, rank n - 1, and central character m/n. The conjectural differentials of Gukov, Dunfield and the third author receive an explicit algebra…

Proves a conjecture about knotted spheres using plane Floer homology.

A well-known conjecture of Rasmussen states that for any knot $K$ in $S^{3}$, the rank of the reduced Khovanov homology of $K$ is greater than or equal to the rank of the reduced knot Floer homology of $K$. This rank inequality is supposed to arise as the result of a spectral sequence from Khovanov homology to knot Flo…

Around 1988, Floer introduced two important theories: instanton Floer homology as invariants of 3-manifolds and Lagrangian Floer homology as invariants of pairs of Lagrangians in symplectic manifolds. Soon after that, Atiyah conjectured that the two theories should be related to each other and Lagrangian Floer homology…

The abstract formulates and proves a categorification of Robertson's conjecture.

Khovanov-Floer theories are a class of homological link invariants which admit spectral sequences from Khovanov homology. They include Khovanov homology, Szab{ó}'s geometric link homology, singular instanton homology, and various Floer theories applied to branched double covers. In this short note we show that certain …

Study shows inequality in Floer homologies for 3-manifold covers.

This paper proves a conjecture about knot homologies.

Study proves Kotschick's conjecture for certain compact Kähler manifolds.

Floer homology detects taut foliations in rational homology spheres.

We give the characterization of Arnol'd-Mather type for stable singular Legendre immersions. The most important building block of the theory is providing a module structure on the space of infinitesimal integral deformations by means of the notion of natural liftings of differential systems and of contact Hamiltonian v…

The article provides formulas for homological blocks of Seifert fibered homology 3-spheres.

Khovanov homology gaps in quasi-alternating links are shown to be one.

We define reduced colored sl(N) link homologies and use deformation spectral sequences to characterize their dependence on color and rank. We then define reduced colored HOMFLY-PT homologies and prove that they arise as large N limits of sl(N) homologies. Together, these results allow proofs of many aspects of the phys…

Compact Kähler manifold minus a divisor is projective space.

In his study of the group of homology cylinders, J. Levine made the conjecture that a certain homomorphism eta': T -> D' is an isomorphism. Here T is an abelian group on labeled oriented trees, and D' is the kernel of a bracketing map on a quasi-Lie algebra. Both T and D' have strong connections to a variety of topolog…

Proves a conjecture for a specific group using spectral sequences and homology.

We construct an algebra of non-trivial homological operations on Khovanov homology with coefficients in $\mathbb Z_2$ generated by two Bockstein operations. We use the unified Khovanov homology theory developed by the first author to lift this algebra to integral Khovanov homology. We conjecture that these two algebras…

We prove a homological version of a conjecture about the homotopy type of diffeomorphism spaces of reducible 3-manifolds.

Proves a conjecture for annular links using homology classes.

The cosmetic surgery conjecture is a longstanding conjecture in 3-manifold theory. We present a theorem about exceptional cosmetic surgery for homology spheres. Along the way we prove that if the surgery is not a small seifert $\mathbb{Z}/2\mathbb{Z}$-homology sphere or a toroidal irreducible non-Seifert surgery then t…

A solution of a problem by V.I.Arnol'd about higher analog of the asymptotic Hopf invariant of divergence-free vector fields is presented. A higher invariant of magnetic fields, which is not expressed from the asymptotic linking numbers of magnetic lines is constructed and examples of an asymptotic invariants is constr…

The paper conjectures Khovanov homology can distinguish torus and twist knots.

We define and study a family of link invariants $\mathit{HFK}_{n}(L)$. Although these homology theories are defined using holomorphic disc counts, they share many properties with $sl_{n}$ homology. Using these theories, we give a framework that generalizes the conjectured spectral sequence from Khovanov homology to $δ$…

Khovanov homology detects essential surfaces in knot complements.

We give a definition of the Maslov fibre bundle for a lagrangian submanifold of the cotangent bundle of a smooth manofold. This definition generelizes the definition given, in homotopic terms, by Arnol'd for lagrangian submanifolds of the cotangent bundle of the euclidean space and coincides with the one of Hörmander i…