We provide a construction of equivariant Lagrangian Floer homology $HF_G(L_0, L_1)$, for a compact Lie group $G$ acting on a symplectic manifold $M$ in a Hamiltonian fashion, and a pair of $G$-Lagrangian submanifolds $L_0, L_1 \subset M$.
We do so by using symplectic homotopy quotients involving cotangent bundles of an approximation of $EG$. Our construction relies on Wehrheim and Woodward's theory of quilts, and the telescope construction.
We show that these groups are independent in the auxiliary choices involved in their construction, and are $H^*(BG)$-bimodules. In the case when $L_0 = L_1$, we show that their chain complex $CF_G(L_0, L_1)$ is homotopy equivalent to the equivariant Morse complex of $L_0$.
Furthermore, if zero is a regular value of the moment map $μ$ and if $G$ acts freely on $μ^{-1}(0)$, we construct two "Kirwan morphisms" from $CF_G(L_0, L_1)$ to $CF(L_0/G, L_1/G)$ (respectively from $CF(L_0/G, L_1/G)$ to $CF_G(L_0, L_1)$).
Our construction applies to the exact and monotone settings, as well as in the setting of the extended moduli space of flat $SU(2)$-connections of a Riemann surface, considered in Manolescu and Woodward's work. Applied to the latter setting, our construction provides an equivariant symplectic side for the Atiyah-Floer conjecture.
We define partial quasi-morphisms on the group of Hamiltonian diffeomorphisms of the cotangent bundle using the spectral invariants in Lagrangian Floer homology with conormal boundary conditions, where the product compatible with the PSS isomorphism and the homological intersection product is lacking.
We show that the existence of noncontractible periodic orbits for compactly supported time-dependent Hamiltonian on the disk cotangent bundle of a Finsler manifold provided that the Hamiltonian is sufficiently large over the zero section. We generalize the BPS capacities and earlier constructions of Weber (2006 Duke Math. J. 133, 527-568) and other authors Biran et al (2003 Duke Math. J. 119, 65-118) to the Finsler setting. We then obtain a number of applications including: (1) generalizing the main theorem of Xue (2017 J. Symplectic Geom. 15, 905-936) to the Lie group setting, (2) preservatio…
For G a Lie group acting on a symplectic manifold $(M,ω)$ preserving a pair of Lagrangians $L_0$, $L_1$, under certain hypotheses not including equivariant transversality we construct a G-equivariant Floer cohomology of $L_0$ and $L_1$.
Let $S$ be a closed orientable spin manifold. Let $K \subset S$ be a submanifold and denote its complement by $M_K$. In this paper we prove that there exists an isomorphism between partially wrapped Floer cochains of a cotangent fiber stopped by the unit conormal $\varLambda_K$ and chains of a Morse theoretic model of the based loop space of $M_K$, which intertwines the $A_\infty$-structure with the Pontryagin product. As an application, we restrict to codimension 2 spheres $K \subset S^n$ where $n = 5$ or $n\geq 7$. Then we show that there is a family of knots $K$ so that the partially wrappe…
We construct a family version of symplectic Floer cohomology for magnetic cotangent bundles, without any restrictions on the magnetic form, using the dissipative method for compactness introduced in \cite{Groman2015}. As an application, we deduce that if $N$ is a closed manifold and $ σ$ is a magnetic form that is not weakly exact, then the $ π_1$-sensitive Hofer-Zehnder capacity of any compact set in the magnetic cotangent bundle determined by $ σ$ is finite.
The aim of this article is to apply a Floer theory to study symmetric periodic Reeb orbits. We define positive equivariant wrapped Floer homology using a (anti-)symplectic involution on a Liouville domain and investigate its algebraic properties. By a careful analysis of index iterations, we obtain a non-trivial lower bound on the minimal number of geometrically distinct symmetric periodic Reeb orbits on a certain class of real contact manifolds. This includes non-degenerate real dynamically convex starshaped hypersurfaces in $\mathbb{R}^{2n}$ which are invariant under complex conjugation. As …
We investigate the question of whether the spectral metric on the orbit space of a fiber in the disk cotangent bundle of a closed manifold, under the action of the compactly supported Hamiltonian diffeomorphism group, is bounded. We utilize wrapped Floer cohomology to define the spectral invariant of an admissible Lagrangian submanifold within a Weinstein domain. We show that the pseudo-metric derived from this spectral invariant is a valid $Ham$-invariant metric. Furthermore, we establish that the spectral metric on the orbit space of an admissible Lagrangian is bounded if and only if the wra…
Let $N$ be a closed manifold and $U \subset T^*(N)$ a bounded domain in the cotangent bundle of $N$, containing the zero-section. A conjecture due to Viterbo asserts that the spectral metric for Lagrangian submanifolds that are exact-isotopic to the zero-section is bounded. In this paper we establish an upper bound on the spectral distance between two such Lagrangians $L_0, L_1$, which depends linearly on the boundary depth of the Floer complexes of $(L_0, F)$ and $(L_1, F)$, where $F$ is a fiber of the cotangent bundle.
For a simply-connected compact semisimple Lie group $G$ and its maximal torus $T$, we study the $A_{\infty}$-functor associated to the moment Lagrangian correspondence from the cotangent bundle $T^*G$ to the square $G/T^{-} \times G/T$. In particular, we compute the leading term of the $A_{\infty}$-homomorphism from the wrapped Floer cohomology $HW^*(T^*_e G, T^*_e G)$ of the cotangent fiber $T_e^*G$ to the Floer cohomology $HF^*(Δ, Δ)$ of the diagonal $Δ$ in the square $G/T^{-} \times G/T$ by determining the count of certain pseudo-holomorphic quilts. As a consequence, we prove that the Floer…
We give an explicit computation of the ring structure in wrapped Floer homology of a class of real Lagrangians in $A_k$-type Milnor fibers. In the $A_k$-type plumbing description, those Lagrangians correspond to the cotangent fibers or the diagonal Lagrangians. The main ingredient of the computation is to apply a version of the Seidel representation. For a technical reason, we first carry out computations in v-shaped wrapped Floer homology, and this in turn gives the desired ring structure via the Viterbo transfer map.
We construct shift operators on equivariant symplectic cohomology which generalise the shift operators on equivariant quantum cohomology in algebraic geometry. That is, given a Hamiltonian action of the torus $T$, we assign to a cocharacter of $T$ an endomorphism of $(S^1 \times T)$-equivariant Floer cohomology based on the equivariant Floer Seidel map. We prove the shift operator commutes with a connection. This connection is a multivariate version of Seidel's $q$-connection on $S^1$-equivariant Floer cohomology and generalises the Dubrovin connection on equivariant quantum cohomology. We pro…
On the Local structure theorem and equivariant geometry of cotangent bundles
设$G$是作用在不可约正规代数簇$X$上的连通约化群.本文对F.Knop和D. A. Timashev关于$G$的某个抛物子群在$X$的开子集上的作用的局部结构定理进行了改进.我们还推广了E. B. Vinberg和D. A. Timashev关于$X$中的horospheres集合的各种结果.我们在$X$中构造了一个非类属球面族和一个参数化该族的$\Hor$变种，使得余切向量丛$T^*\Hor \dashrightarrow T^*X$存在一个有理$G$ -等变辛覆盖.作为应用，我们得到了F.Knop用不涉及微分算子的几何方法得到的$T^*X$矩映射的象的描述.
Let $p \geq 2$ be a prime, and $\mathbb{F}_p$ be the field with $p$ elements. Extending a result of Seidel for $p=2,$ we construct an isomorphism between the Floer cohomology of an exact or Hamiltonian symplectomorphism $ϕ,$ with $\mathbb{F}_p$ coefficients, and the $\mathbb{Z}/p \mathbb{Z}$-equivariant Tate Floer cohomology of its $p$-th power $ϕ^p.$ The construction involves a Kaledin-type quasi-Frobenius map, as well as a $\mathbb{Z}/p \mathbb{Z}$-equivariant pants product: an equivariant operation with $p$ inputs and $1$ output. Our method of proof involves a spectral sequence for the acti…
