
For G a Lie group acting on a symplectic manifold $(M,\omega)$ preserving a
pair of Lagrangians $L_0$, $L_1$, under certain hypotheses not including
equivariant transversality we construct a Gequivariant Floer cohomology of
$L_0$ and $L_1$.

For each link L in S^3 and every quantum grading j, we construct a stable
homotopy type X^j_o(L) whose cohomology recovers OzsvathRasmussenSzabo's odd
Khovanov homology, H_i(X^j_o(L)) = Kh^{i,j}_o(L), following a construction of
LawsonLipshitzSarkar of the even Khovanov stable homotopy type. Furthermore,
the odd Khovanov homotopy type carries a Z/2 action whose fixed point set is a
desuspension of the even Khovanov homotopy type. We also construct a Z/2 action
on an even Khovanov homotopy type, with fixed point set a desuspension of
X^j_o(L).

We review the construction and context of a stable homotopy refinement of
Khovanov homology.

We define stable homotopy refinements of Khovanov's arc algebras and tangle
invariants.

SeidelSmith and Hendricks used equivariant Floer cohomology to define some
spectral sequences from symplectic Khovanov homology and Heegaard Floer
homology. These spectral sequences give rise to Smithtype inequalities.
Similarlooking spectral sequences have been defined by Lee, BarNatan,
Ozsv\'athSzab\'o, LipshitzTreumann, Szab\'o, SarkarSeedSzab\'o, and others.
In this paper we give another construction of equivariant Floer cohomology with
respect to a finite group action and use it to prove some invariance properties
of these spectral sequences; prove that some of these spectral sequences agree;
improve Hendricks's Smithtype inequalities; give some theoretical and
practical computability results for these spectral sequences; define some new
spectral sequences conjecturally related to SarkarSeedSzab\'o's; and
introduce a new concordance homomorphism and concordance invariants. We also
digress to prove invariance of Manolescu's reduced symplectic Khovanov
homology.

We study the relationship between BarNatan's perturbation in Khovanov
homology and Szabo's geometric spectral sequence, and construct a link
invariant that generalizes both into a common theory. We study a few properties
of the new invariant, and introduce a family of sinvariants from the new
theory in the same spirit as Rasmussen's sinvariant.

A wellknown 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^{l1}$ 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 construct a modified version of Khovanov homology for links with
multiple basepoints and show that it mimics the behavior of knot Floer
homology. We also introduce a new spectral sequence converging to knot Floer
homology whose $E_1$ page is conjecturally isomorphic to our new version of
Khovanov homology; this would prove that the conjecture stated above holds over
the field $\mathbb{Z}_2$.

In this note we present a combinatorial link invariant that underlies some
recent stable homotopy refinements of Khovanov homology of links. The invariant
takes the form of a functor between two combinatorial 2categories, modulo a
notion of stable equivalence. We also develop some general properties of such
functors.

In this paper, we give a new construction of a Khovanov homotopy type. We
show that this construction gives a space stably homotopy equivalent to the
Khovanov homotopy types constructed in [LS14a] and [HKK] and, as a corollary,
that those two constructions give equivalent spaces. We show that the
construction behaves well with respect to disjoint unions, connected sums and
mirrors, verifying several conjectures from [LS14a]. Finally, combining these
results with computations from [LS14c] and the refined sinvariant from [LS14b]
we obtain new results about the slice genera of certain knots.

In a previous paper, we defined a spacelevel 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, determines the stable homotopy type of X(L) for all such links.

Given a link diagram L we construct spectra X^j(L) so that the Khovanov
homology Kh^{i,j}(L) is isomorphic to the (reduced) singular cohomology
H^i(X^j(L)). The construction of X^j(L) is combinatorial and explicit. We prove
that the homotopy type of X^j(L) depends only on the isotopy class of the
corresponding link.

In a previous paper we constructed a spectrumlevel 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 slice genus bound s for each stable cohomology operation. We show
that in the case of the Steenrod square Sq^2 our refinement is strictly
stronger than s.

O. Plamenevskaya associated to each transverse knot K an element of the
Khovanov homology of K. In this paper, we give two refinements of
Plamenevskaya's invariant, one valued in BarNatan's deformation of the
Khovanov complex and another as a cohomotopy element of the Khovanov spectrum.
We show that the first of these refinements is invariant under negative flypes
and SZ moves; this implies that Plamenevskaya's class is also invariant under
these moves. We go on to show that for smallcrossing transverse knots K, both
refinements are determined by the classical invariants of K.

We use grid diagrams to investigate the OzsvathSzabo concordance invariant
tau, and to prove that tau(K_1)tau(K_2)<=g, whenever there is a genus g knot
cobordism joining K_1 to K_2. This leads to an entirely grid diagrambased
proof of KronheimerMrowka's theorem, formerly known as the Milnor conjecture.

We show that the spectrum constructed by Everitt and Turner as a possible
Khovanov homotopy type is a product of EilenbergMacLane spaces and is thus
determined by Khovanov homology. By using the DoldThom functor it can
therefore be obtained from the Khovanov homotopy type constructed by Lipshitz
and Sarkar.

Given an lcomponent pointed oriented link (L,p) in an oriented
threemanifold Y, one can construct its link Floer chain complex CFL(Y,L,p)
over the polynomial ring F_2[U_1,...,U_l]. Moving the basepoint p_i in the link
component L_i once around induces an automorphism of CFL(Y,L,p). In this paper,
we study an automorphism (a possibly different one) of CFL(Y,L,p) defined
explicitly in terms of holomorphic disks; for links in S^3, we show that these
two automorphisms are the same.

For knots in S^3, the bigraded hat version of knot Floer homology is defined
over Z; however, for a link L in S^3 with #L=l>1, there are 2^{l1} bigraded
hat versions of link Floer homology defined over Z, the multigraded hat
version of link Floer homology is only defined over F_2 from holomorphic
considerations, and there is a multigraded version of link Floer homology
defined over Z using grid diagrams. In this short note, we try to address this
issue, by extending the F_2valued multigraded link Floer homology theory to
2^{l1} Zvalued theories. A grid diagram representing a link gives rise to a
chain complex over F_2, whose homology is related to the multigraded hat
version of link Floer homology of that link over F_2. A sign refinement of the
chain complex exists, and for knots, we establish that the sign refinement does
indeed correspond to the sign assignment for the hat version of the knot Floer
homology. For links, we create 2^{l1} sign assignments on the grid diagrams,
and show that they are related to the 2^{l1} multigraded hat versions of link
Floer homology over Z, and one of them corresponds to the existing sign
refinement of the grid chain complex.

In this short article, we find an explicit formula for Maslov index of
Whitney ngons joining intersections points of n halfdimensional tori in the
symmetric product of a surface. The method also yields a formula for the
intersection number of such an ngon with the fat diagonal in the symmetric
product.

We explore a somewhat unexpected connection between knot Floer homology and
shellable posets, via grid diagrams. Given a grid presentation of a knot K
inside S^3, we define a poset which has an associated chain complex whose
homology is the knot Floer homology of K. We then prove that the closed
intervals of this poset are shellable. This allows us to combinatorially
associate a PL flow category to a grid diagram.

This is the author's PhD thesis, as submitted to the Princeton University.
The results of this paper have already appeared in arXiv:math/0607777v4,
arXiv:math/0607691 and arXiv:0901.2156.

We study the sutured Floer homology invariants of the sutured manifold
obtained by cutting a knot complement along a Seifert surface, R. We show that
these invariants are finer than the "top term" of the knot Floer homology,
which they contain. In particular, we use sutured Floer homology to distinguish
two nonisotopic minimal genus Seifert surfaces for the knot 8_3. A key
ingredient for this technique is finding appropriate Heegaard diagrams for the
sutured manifold associated to the complement of a Seifert surface.

In this paper, we give an algorithm to compute the hat version of the
Heegaard Floer homology of a closed oriented threemanifold. This method also
allows us to compute the filtrations coming from a nullhomologous link in a
threemanifold.

Given a grid presentation of a knot (or link) K in the threesphere, 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.

The earlier article tried to construct an algorithm to compute the Heegaard
Floer homology \hat{HF}(Y) for a 3manifold Y. However there is an error in a
proof which the author, as of now, is unable to fix.

Let F_2 be the free group generated by x and y. In this article, we prove
that the commutator of x^m and y^n is a product of two squares if and only if
mn is even. We also show using topological methods that there are infinitely
many obstructions for an element in F_2 to be a product of two squares.