Projective twists and the Hopf correspondence

TL;DR

This paper introduces a Hopf correspondence linking projective Lagrangian spaces to Lagrangian spheres, enabling the study of projective twists and their autoequivalences in symplectic geometry, with applications to Liouville manifolds and homotopy complex projective spaces.

Contribution

It establishes a new Hopf correspondence framework for projective Lagrangians, connecting projective twists with Dehn twists, and applies this to various symplectic and topological problems.

Findings

Intertwining of autoequivalences via the Hopf correspondence.

Free generation results for projective twists in plumbings.

Examples of homotopy complex projective spaces without Lagrangian embeddings.

Abstract

Given Lagrangian (real, complex) projective spaces $K_1, \dots , K_m$ in a Liouville manifold $(X, \omega)$ satisfying a certain cohomological condition, we show there is a Lagrangian correspondence that assigns a Lagrangian sphere $L_i \subset K$ of another Liouville manifold $(Y, \Omega)$ to any given projective Lagrangian $K_i \subset X$, $i=1, \dots m$. We use the Hopf correspondence to study \emph{projective twists}, a class of symplectomorphisms akin to Dehn twists, but defined starting from Lagrangian projective spaces. When this correspondence can be established, we show that it intertwines the autoequivalences of the compact Fukaya category $\mathcal{F}uk(X)$ induced by the (real, complex, quaternionic) projective twists $\tau_{K_i} \in \pi_{0}(\mathrm{Symp}_{ct}(X))$ with the corresponding autoequivalences of $\mathcal{F}uk(Y)$ induced by the Dehn twists $\tau_{L_i} \in \pi_{0}(\mathrm{Symp}_{ct}(Y))$, for $i=1, \dots m$. Using the Hopf correspondence, we obtain a free generation result for projective twists in a \emph{clean plumbing} of projective spaces and various results about products of positive powers of Dehn/projective twists in Liouville manifolds. The same techniques are also used to show that the Hamiltonian isotopy class of the projective twist (along the zero section in $T^*\mathbb{CP}$) in $\mathrm{Symp}_{ct}(T^*\mathbb{CP}^n)$ does depend on a choice of framing, for $n\geq19$. Another application of the Hopf correspondence delivers two examples of smooth homotopy complex projective spaces $K\simeq \mathbb{CP}^n$ that do not admit Lagrangian embeddings into $(T^*\mathbb{CP}^n, d\lambda_{\mathbb{CP}^n})$, for $n=4,7$.