arXiv research

The paper improves bounds on how many squares can fit in a rectangle and still have stable homology.

Researchers find a Steenrod square for link Floer homology.

Computes homology of an obstruction chain complex in grid homology.

Computes Steenrod squares on Khovanov homology for knots up to 11 crossings.

Proposes a method to compute the second Steenrod square for odd Khovanov homology.

New operations match Steenrod squares on Khovanov homology.

Floer homology applied to inscribing rectangles into curves.

Lipshitz and Sarkar recently introduced a space-level refinement of Khovanov homology. This refinement induces a Steenrod square operation $\Sq^2$ on Khovanov homology which they describe explicitly. This paper presents some computations of $\Sq^2$. In particular, we give examples of links with identical integral Khova…

New bounds on homological eigenvalues relate to Weil-Petersson length.

Defines a new Steenrod square for virtual links, linking to Khovanov-Lipshitz-Sarkar stable homotopy type.

The study of tiling homology on flat surfaces, proving impossibility of certain tilings.

Hecke's theorem on different generalized to 3-manifolds.

We study the action of the Veech group of square-tiled surfaces of genus two on homology. This action defines the homology Veech group which is a subgroup of $\textrm{SL}_2(\mathcal{O}_D)$ where $\mathcal{O}_D$ is a quadratic order of square discriminant. Extending a result of Weitze-Schmithüsen we show that also the h…

Square inscribed in a curve made of two graph functions.

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…

Homological mirror symmetry proved for symmetric squares of punctured spheres.

Study homotopy types of 4-manifolds, finding decompositions and conditions for desuspension.

In a previous paper, we defined a space-level version X(L) of Khovanov homology. This induces an action of the Steenrod algebra on Khovanov homology. In this paper, we describe the first interesting operation, Sq^2:Kh^{i,j}(L) -> Kh^{i+2,j}(L). We compute this operation for all links up to 11 crossings; this, in turn, …

New proof for discrete Morse theory using combinatorial construction.

Given a grid presentation of a knot (or link) K in the three-sphere, we describe a Heegaard diagram for the knot complement in which the Heegaard surface is a torus and all elementary domains are squares. Using this diagram, we obtain a purely combinatorial description of the knot Floer homology of K.

We describe stable cup-i products on the cochain complex with $F^2$ coefficients of any augmented semi-simplicial object in the Burnside category. An example of such an object is the Khovanov functor of Lawson, Lipshitz and Sarkar. Thus we obtain explicit formulas for cohomology operations on the Khovanov homology of a…

New knots found with non-trivial Steenrod operations on Khovanov homology.

In my masters thesis I prove a square root bound on the distance of homological codes that come from two dimensional surfaces, as a result of the systolic inequality. I also give a detailed version of M.H. Freedman's proof that due to systolic freedom, this bound does not hold in higher dimensions.

In a previous paper we constructed a spectrum-level refinement of Khovanov homology. This refinement induces stable cohomology operations on Khovanov homology. In this paper we show that these cohomology operations commute with cobordism maps on Khovanov homology. As a consequence we obtain a refinement of Rasmussen's …

Let X be a simply-connected closed oriented 4-manifold and A an embedded surface of genus g and negative self-intersection -N. We show that for fixed genus g there is an upper bound on N if the homology class of A is divisible or characteristic. In particular, for genus zero, there is a lower bound on the self-intersec…

The paper evaluates homology for links in a solid torus with special boundary conditions.

Researchers link knot Floer homology, Burau representation, and quantum gl(1|1).

We refine Matveev's result asserting that any two closed oriented 3-manifolds can be related by a sequence of borromean surgeries if and only if they have isomorphic first homology groups and linking pairings. Indeed, a borromean surgery induces a canonical isomorphism between the first homology groups of the involved …

New methods distinguish exotic 4-manifolds using Heegaard Floer homology.

Our goal in this paper is to compute the integral free loop space homology of $(n-1)$-connected $2n$-manifolds $M$, $n\geq 2$. We do this when $n\neq 2,4,8$, or when $n\neq 2$ and $\tilde H^*(M)$ has trivial cup product squares, though the techniques used here should extend to a much wider range of manifolds. We also g…

We study the topology of exact and Stein fillings of the canonical contact structure on the unit cotangent bundle of a closed surface $Σ_g$, where $g$ is at least 2. In particular, we prove a uniqueness theorem asserting that any Stein filling must be s-cobordant rel boundary to the disk cotangent bundle of $Σ_g$. For …

Study invariants of null-homologous knots in thickened surfaces.

New homotopy types defined for links in thickened surfaces with higher genus.

If F is a family of mod 2 flat k-cycles in the unit n-ball, we lower bound the maximal volume of any cycle in F in terms of the homology class of F in the space of all cycles. We give examples to show that these lower bounds are fairly sharp.

Classifies Teichmüller curves in genus three from genus two.

We bound the value of the Casson invariant of any integral homology 3-sphere $M$ by a constant times the distance-squared to the identity, measured in any word metric on the Torelli group $\T$, of the element of $\T$ associated to any Heegaard splitting of $M$. We construct examples which show this bound is asymptotica…

We show that the Snake on a square $SC(S^1)$ is homotopy equivalent to the space $AC(S^1)$ which was investigated in the previous work by Eda, Karimov and Repov\vs. We also introduce related constructions $CSC(-)$ and $CAC(-)$ and investigate homotopical differences between these four constructions. Finally, we explici…

The cosmetic crossing conjecture (also known as the "nugatory crossing conjecture") asserts that the only crossing changes that preserve the oriented isotopy class of a knot in the 3-sphere are nugatory. We use the Dehn surgery characterization of the unknot to prove this conjecture for knots in integer homology sphere…

New bounds on nonorientable four-ball genus for torus knots.

The paper extends the Cheeger-Müller theorem to spaces with conical singularities.

New framework captures non-autonomous IFS limit set topology.

Let X be a minimal surface of general type with positive geometric genus ($b_+ > 1$) and let $K^2$ be the square of its canonical class. Building on work of Khodorovskiy and Rana, we prove that if X develops a Wahl singularity of length $\ell$ in a Q-Gorenstein degeneration, then $\ell \leq 4K^2 + 7$. This improves on …

Cyclotomic polynomials help classify mapping classes on surfaces.

Study of random multicurves and square-tiled surfaces on large genus surfaces.

In this paper, we consider the eigenvalue problem for Hodge-Laplacian on a Riemannian manifold $M$ isometrically immersed into another Riemannian manifold $\bar M$ for arbitrary codimension. We first assume the pull back Weitzenböck operator (defined in Section 2) of $\bar M$ bounded from below, and obtain an extrinsic…

We consider critical points of the global squared $L^2$-norms of the second fundamental form and the mean curvature vector of isometric immersions into a fixed background Riemannian manifold under deformations of the immersion. We use the critical points of the former functional to define canonical representatives of a…

Let $G$ be the group of complex points of a real semi-simple Lie group whose fundamental rank is equal to 1, e.g. $G= \SL_2 (\C) \times \SL_2 (\C)$ or $\SL_3 (\C)$. Then the fundamental rank of $G$ is $2,$ and according to the conjecture made in \cite{BV}, lattices in $G$ should have 'little' --- in the very weak sense…

The Bergman space and conformally flat 2-disk operads are linked to vertex operator algebras.