Floer theory of Anosov flows in dimension three

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.