Cusp cobordism group of Morse functions

By a Morse function on a compact manifold with boundary we mean a real-valued function without critical points near the boundary such that its critical points as well as the critical points of its restriction to the boundary are all nondegenerate. For such Morse functions, Saeki and Yamamoto have previously defined a certain notion of cusp cobordism, and computed the unoriented cusp cobordism group of Morse functions on surfaces. In this paper, we compute unoriented and oriented cusp cobordism groups of Morse functions on manifolds of any dimension by employing Levine’s cusp elimination technique as well as the complementary process of creating pairs of cusps along fold lines. We show that both groups are cyclic of order two in even dimensions, and cyclic of infinite order in odd dimensions. For Morse functions on surfaces our result yields an explicit description of Saeki–Yamamoto’s cobordism invariant which they constructed by means of the cohomology of the universal complex of singular fibers.

Lagrangian cobordism and tropical curves

We study a cylindrical Lagrangian cobordism group for Lagrangian torus fibres in symplectic manifolds which are the total spaces of smooth Lagrangian torus fibrations. We use ideas from family Floer theory and tropical geometry to obtain both obstructions to and constructions of cobordisms; in particular, we give examples of symplectic tori in which the cobordism group has no non-trivial cobordism relations between pairwise distinct fibres, and ones in which the degree zero fibre cobordism group is a divisible group. The results are independent of but motivated by mirror symmetry, and a relation to rational equivalence of 0-cycles on the mirror rigid analytic space.

LINEAR INDEPENDENCE IN THE RATIONAL HOMOLOGY COBORDISM GROUP

We give simple homological conditions for a rational homology 3-sphere $Y$ to have infinite order in the rational homology cobordism group $\unicode[STIX]{x1D6E9}_{\mathbb{Q}}^{3}$ , and for a collection of rational homology spheres to be linearly independent. These translate immediately to statements about knot concordance when $Y$ is the branched double cover of a knot, recovering some results of Livingston and Naik. The statements depend only on the homology groups of the 3-manifolds, but are proven through an analysis of correction terms and their behavior under connected sums.

APPLICATIONS OF INVOLUTIVE HEEGAARD FLOER HOMOLOGY

We use Heegaard Floer homology to define an invariant of homology cobordism. This invariant is isomorphic to a summand of the reduced Heegaard Floer homology of a rational homology sphere equipped with a spin structure and is analogous to Stoffregen’s connected Seiberg–Witten Floer homology. We use this invariant to study the structure of the homology cobordism group and, along the way, compute the involutive correction terms$\bar{d}$and$\text{}\underline{d}$for certain families of three-manifolds.

INVOLUTIVE HEEGAARD FLOER HOMOLOGY AND PLUMBED THREE-MANIFOLDS

We compute the involutive Heegaard Floer homology of the family of three-manifolds obtained by plumbings along almost-rational graphs. (This includes all Seifert fibered homology spheres.) We also study the involutive Heegaard Floer homology of connected sums of such three-manifolds, and explicitly determine the involutive correction terms in the case that all of the summands have the same orientation. Using these calculations, we give a new proof of the existence of an infinite-rank subgroup in the three-dimensional homology cobordism group.

Projectivity in Algebraic Cobordism

The algebraic cobordism group of a scheme is generated by cycles that are proper morphisms from smooth quasiprojective varieties. We prove that over a field of characteristic zero the quasiprojectivity assumption can be omitted to get the same theory.