Floer theory of Anosov flows in dimension three

TL;DR

This paper explores the symplectic geometry of Liouville domains associated with three-dimensional Anosov flows, revealing their complex invariants and constructing specific Lagrangian submanifolds in key examples.

Contribution

It introduces the study of the wrapped Fukaya category for Anosov Liouville domains, showing their invariants differ from Weinstein cases and constructing explicit Lagrangians in certain flows.

Findings

The orbit category does not satisfy Abouzaid's generation criterion.

No closed exact Lagrangians of certain types exist in the suspension of linear Anosov diffeomorphisms.

Constructed multiple non-Hamiltonian isotopic Lagrangian tori in hyperbolic surface flows.

Abstract

A smooth Anosov flow on a closed oriented three manifold $M$ gives rise to a Liouville structure on the four manifold $[-1,1]\times M$ which is not Weinstein, by a construction of Mitsumatsu and Hozoori. We call it the associated Anosov Liouville domain. It is well defined up to homotopy and only depends on the homotopy class of the original Anosov flow; its symplectic invariants are then invariants of the flow. We study the symplectic geometry of Anosov Liouville domains, via the wrapped Fukaya category, which we expect to be a powerful invariant of Anosov flows. The Lagrangian cylinders over the simple closed orbits span a natural $A_\infty$-subcategory, the orbit category of the flow. We show that it does not satisfy Abouzaid's generation criterion; it is moreover "very large", in the sense that is not split-generated by any strict sub-family. This is in contrast with the Weinstein case, where critical points of a Morse function play the role of the orbits. For the domain corresponding to the suspension of a linear Anosov diffeomorphism on the torus, we show that there are no closed exact Lagrangians which are either orientable, projective planes or Klein bottles. By contrast, in the case of the geodesic flow on a hyperbolic surface of genus $g \geq 2$ (corresponding to the McDuff example), we construct an exact Lagrangian torus for each embedded closed geodesic, thus obtaining at least $3g-3$ tori which are not Hamiltonian isotopic to each other. For these two prototypical cases of Anosov flows, we explicitly compute the symplectic cohomology of the associated domains, as well as the wrapped Floer cohomology of the Lagrangian cylinders, and several pair-of-pants products.