Extending work of Saneblidze-Umble and others, we use diagonals for the associahedron and multiplihedron to define tensor products of A-infinity algebras, modules, algebra homomorphisms, and module morphisms, as well as to define a bimodule analogue of twisted complexes (type DD structures, in the language of bordered Heegaard Floer homology) and their one- and two-sided tensor products. We then give analogous definitions for 1-parameter deformations of A-infinity algebras; this involves another collection of complexes. These constructions are relevant to bordered Heegaard Floer homology.

In an earlier paper, we described bordered algebras for knot Floer homology. In this paper, we introduce a differential graded algebra, the pong algebra and compute the A-infinity structure on its homology.

Let L be a link in an integral homology three-sphere. We give a description of the Heegaard Floer homology of integral surgeries on L in terms of some data associated to L, which we call a complete system of hyperboxes for L. Roughly, a complete systems of hyperboxes consists of chain complexes for (some versions of) the link Floer homology of L and all its sublinks, together with several chain maps between these complexes. Further, we introduce a way of presenting closed four-manifolds with b_2^+ > 1 by four-colored framed links in the three-sphere. Given a link presentation of this kind for a four-manifold X, we then describe the Ozsvath-Szabo mixed invariants of X in terms of a complete system of hyperboxes for the link. Finally, we explain how a grid diagram produces a particular complete system of hyperboxes for the corresponding link.

We give combinatorial descriptions of the Heegaard Floer homology groups for arbitrary three-manifolds (with coefficients in Z/2). The descriptions are based on presenting the three-manifold as an integer surgery on a link in the three-sphere, and then using a grid diagram for the link. We also give combinatorial descriptions of the mod 2 Ozsvath-Szabo mixed invariants of closed four-manifolds, in terms of grid diagrams.

We describe a weighted $A_\infty$-algebra associated to the torus. We give a combinatorial construction of this algebra, and an abstract characterization. The abstract characterization also gives a relationship between our algebra and the wrapped Fukaya category of the torus. These algebras underpin the (unspecialized) bordered Heegaard Floer homology for three-manifolds with torus boundary, which will be constructed in forthcoming work.

We explain how to use bordered algebras to compute a version of link Floer homology. As a corollary, we also give a fast computation of the Thuston polytope for links in the three-sphere.

Bordered Heegaard Floer homology is a three-manifold invariant which associates to a surface F an algebra A(F) and to a three-manifold Y with boundary identified with F a module over A (F). In this paper, we establish naturality properties of this invariant. Changing the diffeomorphism between F and the boundary of Y tensors the bordered invariant with a suitable bimodule over A (F). These bimodules give an action of a suitably based mapping class group on the category of modules over A (F). The Hochschild homology of such a bimodule is identified with the knot Floer homology of the associated open book decomposition. In the course of establishing these results, we also calculate the homology of A (F). We also prove a duality theorem relating the two versions of the 3-manifold invariant. Finally, in the case of a genus-one surface, we calculate the mapping class group action explicitly. This completes the description of bordered Heegaard Floer homology for knot complements in terms of the knot Floer homology.

of the proof of [2, Proposition 3.7] (this is Proposition 3.10 in the arXiv version), the definition of the .G.Z/; G.

We define an invariant for bordered 3-manifolds with torus boundary, taking the form of a module over a weighted A-infinity algebra associated to a torus defined in previous work. On setting U=0, we obtain the bordered three-manifold invariants with torus boundary constructed earlier.

In an earlier paper, we introduced ``bordered knot algebras'', which are graded algebras indexed by a pair of integers (m,k). In a subsequent paper, we introduced a two-parameter family of differential graded algebra, the ``pong algebras'', and identified their homology with the bordered knot algebras, and characterized the induced A-infinity structure on the homology. The aim of the present paper is to give an explicit, combinatorial model for this A-infinity structure on the bordered knot algebras, and a further weighted deformation of this structure, in the case where k=1.

Bordered Floer homology is an invariant for 3-manifolds with boundary, defined by the authors in 2008. It extends the Heegaard Floer homology of closed 3-manifolds, defined in earlier work of Zolt\'an Szab\'o and the second author. In addition to its conceptual interest, bordered Floer homology also provides powerful computational tools. This survey outlines the theory, focusing on recent developments and applications.

The aim of this paper is to identify the pong algebra defined in our earlier work with a certain endomorphism algebra in the wrapped Fukaya category of the symmetric product of a disk.

We define a Floer-homology invariant for knots in an oriented threemanifold, closely related to the Heegaard Floer homologies for three-manifolds defined in an earlier paper. We set up basic properties of these invariants, including an Euler characteristic calculation, and a description of the behaviour under connected sums. Then, we establish a relationship with HF for surgeries along the knot. Applications include calculation of HF of three-manifolds obtained by surgeries on some special knots in S, and also calculation of HF for certain simple three-manifolds which fiber over the circle.

This paper generalizes the bordered-algebraic knot invariant introduced in an earlier paper, giving an invariant now with more algebraic structure. It also introduces signs to define these invariants with integral coefficients. We describe effective computations of the resulting invariant.

We give a Dehn surgery characterization of the trefoil and the figure eight knots. These results are gotten by combining surgery formulas in Heegaard Floer homology from an earlier paper with the characterization of these knots in terms of their knot Floer homology given in a recent paper of Ghiggini.

We construct Heegaard Floer theory for 3-manifolds with connected boundary. The theory associates to an oriented, parametrized two-manifold a differential graded algebra. For a three-manifold with parametrized boundary, the invariant comes in two different versions, one of which (type D) is a module over the algebra and the other of which (type A) is an A-infinity module. Both are well-defined up to chain homotopy equivalence. For a decomposition of a 3-manifold into two pieces, the A-infinity tensor product of the type D module of one piece and the type A module from the other piece is HF^ of the glued manifold. As a special case of the construction, we specialize to the case of three-manifolds with torus boundary. This case can be used to give another proof of the surgery exact triangle for HF^. We relate the bordered Floer homology of a three-manifold with torus boundary with the knot Floer homology of a filling.

In this paper we show how to recover the relative Q-grading in Heegaard Floer homology from the noncommutative grading on bordered Floer homology.

We define and study a bigraded knot invariant whose Euler characteristic is the Alexander polynomial, closely connected to knot Floer homology. The invariant is the homology of a chain complex whose generators correspond to Kauffman states for a knot diagram. The definition uses decompositions of knot diagrams: to a collection of points on the line, we associate a differential graded algebra; to a partial knot diagram, we associate modules over the algebra. The knot invariant is obtained from these modules by an appropriate tensor product.

Knot Floer homology is an invariant for knots discovered by the authors and, independently, Jacob Rasmussen. The discovery of this invariant grew naturally out of studying how a certain three-manifold invariant, Heegaard Floer homology, changes as the three-manifold undergoes Dehn surgery along a knot. Since its original definition, thanks to the contributions of many researchers, knot Floer homology has emerged as a useful tool for studying knots in its own right. We give here a few selected highlights of this theory, and then move on to some new algebraic developments in the computation of knot Floer homology.

We modify the construction of knot Floer homology to produce a one-parameter family of homologies for knots in the three-sphere. These invariants can be used to give homomorphisms from the smooth concordance group to the integers, giving bounds on the four-ball genus and the concordance genus of knots. We give some applications of these homomorphisms.