Searcharxiv⌕ Search

arXiv subjects

Peter Ozsváth

Publications and source records attributed to Peter Ozsváth.

13 recordsLinked to original sources
arXiv2026

Real bordered Floer homology

Fix a 3-manifold $Y$ with boundary $F\amalg F$ and an orientation-preserving involution $τ: Y\to Y$ exchanging the boundary components, with nonempty fixed set. To an appropriate kind of Heegaard diagram for $Y$, we describe how to associate a module over the bordered Heegaard Floer algebra of $F$. These modules satisfy a gluing, or pairing, theorem, and extend the "hat" variant of Guth-Manolescu's real Heegaard Floer homology, $\widehat{HFR}(Y,τ)$. Using these modules, we give a practical algorithm to compute $\widehat{HFR}(Y,τ)$ for real 3-manifolds $(Y,τ)$ with connected fixed set.

math.GT↗
arXiv2024

A bordered HF- algebra for the torus

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.

math.GT↗
arXiv2023

Bordered HF- for three-manifolds with torus boundary

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.

math.GT↗
arXiv2023

Diagonals and A-infinity Tensor Products

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.

math.RA↗
arXiv2023

Floer homology beyond borders

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án Szabó 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.

math.GT↗
arXiv2014

Notes on bordered Floer homology

This is a survey of bordered Heegaard Floer homology, an extension of the Heegaard Floer invariant HF-hat to 3-manifolds with boundary. Emphasis is placed on how bordered Heegaard Floer homology can be used for computations.

math.GT↗
arXiv2012

Knots in lattice homology

Assume that Γ_{v_0} is a tree with vertex set Vert(Γ_{v_0})={v_0, v_1,..., v_n}, and with an integral framing (weight) attached to each vertex except v_0. Assume furthermore that the intersection matrix of G=Γ_{v_0}-{v_0} is negative definite. We define a filtration on the chain complex computing the lattice homology of G and show how to use this information in computing lattice homology groups of a negative definite graph we get by attaching some framing to v_0. As a simple application we produce families of graphs which have arbitrarily many bad vertices for which the lattice homology groups are shown to be isomorphic to the corresponding Heegaard Floer homology groups.

math.GT↗
arXiv2012

Knot lattice homology in L-spaces

We show that the knot lattice homology of a knot in an L-space is equivalent to the knot Floer homology of the same knot (viewed these invariants as filtered chain complexes over the polynomial ring Z/2Z [U]). Suppose that G is a negative definite plumbing tree which contains a vertex w such that G-w is a union of rational graphs. Using the identification of knot homologies we show that for such graphs the lattice homology HF(G)$ is isomorphic to the Heegaard Floer homology HF^-(Y_G) of the corresponding rational homology sphere Y_G.

math.GT↗
arXiv2012

A spectral sequence on lattice homology

Using the link surgery formula for Heegaard Floer homology we find a spectral sequence from the lattice homology of a plumbing tree to the Heegaard Floer homology of the corresponding 3-manifold. This spectral sequence shows that for graphs with at most two "bad" vertices, the lattice homology is isomorphic to the Heegaard Floer homology of the underlying 3-manifold.

math.GT↗
arXiv2009

Heegaard Floer invariants of Legendrian knots in contact three--manifolds

We define invariants of null--homologous Legendrian and transverse knots in contact 3--manifolds. The invariants are determined by elements of the knot Floer homology of the underlying smooth knot. We compute these invariants, and show that they do not vanish for certain non--loose knots in overtwisted 3--spheres. Moreover, we apply the invariants to find transversely non--simple knot types in many overtwisted contact 3--manifolds.

math.SG↗
arXiv2000

The symplectic Thom conjecture

In this paper, we demonstrate a relation among Seiberg-Witten invariants which arises from embedded surfaces in four-manifolds whose self-intersection number is negative. These relations, together with Taubes' basic theorems on the Seiberg-Witten invariants of symplectic manifolds, are then used to prove the symplectic Thom conjecture: a symplectic surface in a symplectic four-manifold is genus-minimizing in its homology class. Another corollary of the relations is a general adjunction inequality for embedded surfaces of negative self-intersection in four-manifolds.

math.DG↗