arXiv research

Algorithm converts curves on ribbon surfaces to contact surgery diagrams.

By the work of Harer, the reduced homology of the complex of curves is a fundamental cohomological object associated to all torsion free finite index subgroups of the mapping class group. We call this homology group the Steinberg module of the mapping class group. It was previously known that the curve complex has the …

Heegaard Floer homology connects to polynomial representations of Hecke algebras.

We determine when certain state cycles represent nontrivial Khovanov homology classes by analyzing features of the state graph. Using this method, we are able to produce hyperbolic knots with arbitrarily many diagonals containing nontrivial state cycle homology classes. This gives lower bounds on the Khovanov width of …

A mathematical isomorphism connects Floer homology to DAHA representations.

We show that the integer homology sphere obtained by splicing two nontrivial knot complements in integer homology sphere L-spaces has Heegaard Floer homology rank strictly greater than one. In particular, splicing the complements of nontrivial knots in the 3-sphere never produces an L-space. The proof uses bordered Flo…

In this paper, we give some examples of area minimizing surfaces to clarify some well-known features of these surfaces in more general settings. The first example is about Meeks-Yau's result on embeddedness of solution to the Plateau problem. We construct an example of a simple closed curve in R^3 which lies in the bou…

This paper is concerned with the rational symplectic field theory in the Floer case. For this observe that in the general geometric setup for symplectic field theory the contact manifolds can be replaced by mapping tori of symplectic manifolds with symplectomorphisms. While the cylindrical contact homology is given by …

We show that a certain involution on the well known homology sphere (the boundary of the Mazur manifold) induces a nontrivial homomorphism on its Heegard-Floer homology groups (recently defined by Ozsvath and Szabo). We discuss a possible application of this to constructing exotic smooth structures on 4-manifolds.

The paper shows conditions under which certain 4-manifolds have no smooth spines.

Various curve complexes with vertices representing multicurves on a surface $S$ have been defined, for example [3], [4] and [8]. The homology curve complex $\mathcal{HC}(S,α)$ defined in [7] is one such complex, with vertices corresponding to multicurves in a nontrivial integral homology class $α$. Given two multicurve…

We prove that certain involutions defined by Vogell and Burghelea-Fiedorowicz on the rational algebraic $K$-theory of spaces coincide. This gives a way to compute the positive and negative eigenspaces of the involution on rational homotopy groups of pseudoisotopy spaces from the involution on rational $S^{1}$-equivaria…

We consider symplectic Floer homology in the lowest nontrivial dimension, that is to say, for area-preserving diffeomorphisms of surfaces. Particular attention is paid to the quantum cap product; we show that it distinguishes the trivial element of the mapping class group from any nontrivial one.

In this paper, we compute the symplectic Floer homology of the figure eight knot. This provides first nontrivial knot with trivial symplectic Floer homology.

We propose an intuitive interpretation for nontrivial $L^2$-Betti numbers of compact Riemann surfaces in terms of certain loops in embedded pairs of pants. This description uses twisted homology associated to the Hurewicz map of the surface, and it satisfies a sewing property with respect to a large class of pair-of-pa…

Study exotic tori and their SL_d(Z) actions, proving many do not admit nontrivial actions.

New computations show sl(N) homology is related to SU(N) representations of knots.

In the 1970s, Birman-Craggs-Johnson used Rochlin's invariant for homology 3-spheres to construct a remarkable surjective homomorphism sigma:I_{g,1}->B_3, where I_{g,1} is the Torelli group and B_3 is a certain F_2-vector space of Boolean (square-free) polynomials. By pulling back cohomology classes and evaluating them …

This paper gives infinitely many examples of non L-space irreducible integer homology 3-spheres whose fundamental groups do not have nontrivial $\widetilde{PSL_2(\mathbb{R})}$ representations.

We construct closed symplectic manifolds for which spherical classes generate arbitrarily large subspaces in 2-homology, such that the first Chern class and cohomology class of the symplectic form both vanish on all spherical classes. We construct both Kaehler and non-Kaehler examples, and show independence of the cond…

We prove the $3$-manifold $\RP^3 \# \RP^3$ is of $\Z_{2}$-coefficient homology $(1, 2)$-systolic freedom. Given a Riemannian metric on $\RP^{3}\# \RP^{3}$, we define $\Z_{2}$-coefficient homology $1$-systole as the infimum of lengths of all nonseparating geodesic loops representing nontrivial classes in $H_{1}(\RP^3\#\…

We use Gromov's K--area to define a generalized homology theory on compact smooth manifolds. In fact, this theory collects obstructions to the enlargeability of the manifold and its nontrivial submanifolds. Moreover, using the K--area homology we can rephrase some classic results about positive scalar curvature.

We recently defined invariants of contact 3-manifolds using a version of instanton Floer homology for sutured manifolds. In this paper, we prove that if several contact structures on a 3-manifold are induced by Stein structures on a single 4-manifold with distinct Chern classes modulo torsion then their contact invaria…

Given a torus bundle $Y$ over the circle and a cohomology class $[ω]\in H^2(Y;\mathbb{Z})$ which evaluates nontrivially on the fiber, we compute the Heegaard Floer homology of $Y$ with twisted coefficients in the universal Novikov ring.

We exhibit an infinite family of knots with isomorphic knot Heegaard Floer homology. Each knot in this infinite family admits a nontrivial genus two mutant which shares the same total dimension in both knot Floer homology and Khovanov homology. Each knot is distinguished from its genus two mutant by both knot Floer hom…

The study shows that inscribed rectangles in smooth curves cover at least one third of all possible aspect ratios.

A theory of signatures for odd-dimensional links in rational homology spheres is studied via their generalized Seifert surfaces. The jump functions of signatures are shown invariant under appropriately generalized concordance and a special care is given to accommodate 1-dimensional links with mutual linking. Furthermor…

If a knot K in a closed, orientable 3-manifold M has a bridge surface T with distance at least 3 in the curve complex of T - K, then the genus of any essential surface in its exterior with non-empty, non-meridional boundary gives rise to an upper bound for the bridge number of K with respect to T. In particular, a nont…

We characterize Willmore tori in the 4-sphere with nontrivial normal bundle as Twistor projections of elliptic curves in complex projective space or as inverted minimal tori (with planar ends) in Euclidean 4-space.

Acyclicity proven for curve complex on surfaces.

Knots without 2-torsion have minimal Khovanov homology rank.

We construct nontrivial roots of Dehn twists about nonseparating curves.

In this paper we introduce various associative products on the homology of the space of knots and singular knots in $S^n$. We prove that these products are related through a desingularization map. We also compute some of these products and prove the nontriviality of the desingularization morphism.

In this paper, we study the action of $\text{Homeo}_0(M)$, the identity component of the group of homeomorphisms of an $n$-dimensional manifold $M$ with an $\mathbb{F}_p$-free action, on another manifold $N$ of dimension $n+k<2n$. We prove that if $M$ is not an $\mathbb{F}_p$-homology sphere, then $N\cong M\times K$ fo…

According to seminal work of Kontsevich, the unstable homology of the mapping class group of a surface can be computed via the homology of a certain lie algebra. In a recent paper, S. Morita analyzed the abelianization of this lie algebra, thereby constructing a series of candidates for unstable classes in the homology…

In this paper, we show that a nontrivial compact graph manifold is nonpositively curved if and only if its fundamental group virtually embeds into a right-angled Artin group. As a consequence, nonpositively curved graph manifolds have linear fundamental groups.

Paper classifies Heegaard Floer minimal knots in sutured manifolds.

New Jordan Floer homology shows every curve inscribes every isosceles trapezoid.

Classifies two families of simply connected 7-manifolds with minimal homological complexity.

In this paper we show that there exist simply connected symplectic 4-manifolds which contain infinitely many knotted lagrangian tori, i.e. lagrangian embeddings of tori that are homotopic but not isotopic. Moreover, the homology class they represent can be assumed to be nontrivial and primitive. This answers a question…

New spectral sequence connects link homology to Hochschild homology.

Let E(1)_K denote the closed 4-manifold that is homotopy equivalent (hence homeomorphic) to the rational elliptic surface E(1) and is obtained by performing Fintushel-Stern knot surgery on E(1) using a knot K in S^3. We construct an infinite family of homologous non-isotopic symplectic tori representing a primitive hom…

Persistent homology can recognize knotting in curves.

Floer homology applied to inscribing rectangles into curves.

We resolve parts (A) and (B) of Problem 1.100 from Kirby's list by showing that many nontrivial links arise as cross-sections of unknotted holomorphic disks in the four-ball. The techniques can be used to produce unknotted ribbon surfaces with prescribed cross-sections, including unknotted Lagrangian disks with nontriv…

We prove that if G is an abelian group of odd order then there is an isomorphism from the second quandle homology of the Takasaki quandle of G to the exterior square of G. In particular, for G=Z_k^n, k odd, we obtain Z_k^{n(n-1)/2}. Nontrivial second homology allows us to use 2-cocycles to construct new quandles from T…

The paper studies splitting maps in link Floer homology using skein exact sequences.

Study Morse complexity of manifolds and homology classes, proving bounds and implications.