--- abstract: 'Let $(M,\omega)$ be a symplectic manifold compact or molinaphillip@example.com. Consider a closed Lagrangian submanifold $L$ such that $\omega |_{\pi_2(M,L)}=0$ and $\mu|_{\pi_2(M,L)}=0$, where $\mu$ is the Maslov index. Given any Lagrangian submanifold $L''$, Hamiltonian isotopic to $L$, we define Lagrangian spectral invariants associated to the non zero homology classes of $L$, depending on $L$ and $L''$. We show that they naturally generalize the Hamiltonian spectral invariants introduced by Oh and Schwarz, and that they are the homological counterparts of higher order invariants, which we also introduce here, via spectral sequence machinery introduced by Barraud and Cornea. These higher order invariants are new even in the Hamiltonian case and carry strictly more information than the classical ones. We provide a way to distinguish them one from another and estimate their difference in terms of a geometric quantity.' address: | R.L.: Université de Montréal\ Department of Mathematics and Statistics\ CP 6128 Succ. Centre Ville\ Montréal, QC H3C 3J7\ Canada author: - Rémi Leclercq title: Spectral invariants in Lagrangian Floer theory --- Introduction ============ Hamiltonian spectral invariants for Floer homology have been defined by Schwarz @Schwarz00 and Oh @Oh05, following the work of Viterbo @Viterbo92. Schwarz worked in the symplectically aspherical case and Oh has treated the general case. Oh @Oh97 and Milinković @Milinkovic00 also defined a Lagrangian version of these invariants for cotangent bundles. In this paper, we define a new type of Lagrangian spectral invariants. The novelty is twofold. Firstly, we use the PSS morphism to define them (this is the same approach as Schwarz's in the Hamiltonian case). Secondly, our invariants are of higher order, in the sense that they are associated to each non zero class $\alpha\in E^{r}_{p,q}(L;X)$ where $E(L;X)$ (also denoted $E_{X}(L)$) is a purely topological Serre spectral sequence associated to $L$ (and an auxiliary space $X$) via a construction due to Barraud and Cornea @BarraudCornea07. These invariants are new even in the Hamiltonian case, where they extend the classical invariants of Oh and Schwarz which are recovered for $r=2$. Moreover they carry strictly more information than the classical invariants, even in the Morse case. We study some properties of these invariants and we describe, in particular, some geometric way to distinguish them – this part is again new even when applied to the usual Hamiltonian case. Here are now our main results described in more detail.\ Let $(M,\omega)$ be a symplectic manifold, compact or convex at infinity, and $L$ be a closed Lagrangian submanifold such that $\omega|_{\pi_2(M,L)}=0$ and $\mu|_{\pi_2(M,L)}=0$ with $\mu$ the Maslov index. Let $(H,J)$ be a regular pair, formed of a Hamiltonian function and an almost complex structure. Let $\phi_H^1$ be the time–$1$ diffeomorphism induced by $H$. We denote by $L':=\phi_H^1(L)$ and we assume $L\cap L'$ transverse. We will start with the definition of order $2$ (or homological) spectral invariants since this construction will be more familiar to the reader. All homology theories used here are with coefficients in $\bZ_2$. In our setting, the Lagrangian Floer complex $CF_*(L,L';H,J)$ is well-defined and admits a natural filtration by action, $CF^\nu_*(L,L';H,J)$. In the Hamiltonian case, Piunikhin, Salamon and Schwarz @PiunikhinSalamonSchwarz96 introduced a particular morphism between the Morse and Floer complexes inducing an isomorphism in homology. It has been adapted to the Lagrangian setting by Katić and Milinković @KaticMilinkovic05 for cotangent bundles and in more generality by Barraud and Cornea @BarraudCornea05, and Albers @Albers05. We denote it by $\phi^H_f\co HM_*(L;f,g)\ra HF_*(L,L;H,J)$, with $HM_*(L;f,g)$ the Morse homology of $L$ induced by a Morse–Smale pair $(f,g)$. Let $\eta$ be a path from $L$ to $L'$. \[defi:si\] Let $\alpha$ be a non zero (Morse) homology class of $L$. Its associated relative homological Lagrangian spectral number is given by $$\begin{aligned} \sigma_L(\alpha;H,J,\eta;f,g):= \inf \{ \nu \in\bR |\, \phi_f^H(\alpha) \in {\rm Im}(i^\nu_*) \}\end{aligned}$$ where $i^\nu_*=H_*(i^\nu)$ is induced by the inclusion $CF^\nu_*(L,L';H,J)\hookrightarrow CF_*(L,L';H,J)$. Its (absolute) <span>homological Lagrangian spectral number</span> is defined as $$\begin{aligned} c_L(\alpha;H,J;f,g):= \sigma_L(\alpha;H,J,\eta;f,g) - \sigma_L(1;H,J,\eta;f,g)\end{aligned}$$ with $1$ denoting the generator of $H_0(L)$. Along these lines, homological Lagrangian spectral numbers will refer to this absolute version. The distinction <span>*relative*</span> vs <span>*absolute*</span> reflects the fact that in the Lagrangian version of Floer theory, the action functional is defined up to translation by a constant due to the choice of $\eta$, in some fixed homotopy class of paths from $L$ to $L'$. The construction of these numbers requires various choices but, as we shall see, they are strongly invariant. Recall that Hofer's distance between two Hamiltonian isotopic Lagrangian submanifolds, denoted $\nabla(L,L')$, is the infimum of the energies of Hamiltonian diffeomorphisms which carry $L$ to $L'$. \[theo:independ\] The homological Lagrangian spectral numbers depend only on $L$ and $(\phi^1_H)^{-1}(L)$. In other words, for any Lagrangian submanifold $L'$, Hamiltonian isotopic to $L$, and any non zero homology class $\alpha\in H_*(L)$, we may define, its associated <span>Lagrangian spectral invariant</span> $$\begin{aligned} c(\alpha;L,L'):= c_L(\alpha;H,J;f,g)\end{aligned}$$ with $H$ such that $\phi^1_H(L')=L$. Moreover, the application $c(\alpha;L,-)$ is continuous with respect to Hofer's distance on the set of all Lagrangian submanifolds Hamiltonian isotopic to $L$. The most delicate part of the proof of invariance consists in showing the commutativity of a certain diagram (\[diag\]). This is shown via methods inspired by Seidel @Seidel97 and which have been used in the Hamiltonian case by McDuff and Salamon @McDuffSalamon04.\ These quantities are a natural generalization of the Hamiltonian spectral invariants. Indeed, let $\Delta$ be the diagonal in $M\times M$, and $\underline{\alpha}\in H_*(\Delta)$ be the homology class corresponding to $\alpha\in H_*(M)$, via the obvious isomorphism. For $\phi\in \Ham$, we denote by $\rho(-;\phi)$ its associated spectral invariant and by $\Gamma_{\phi}$ its graph. We have $$\begin{aligned} \label{prop:generalisation} c(\underline{\alpha};\Delta,\Gamma_{\phi})= \rho(\alpha;\phi) - \rho(1;\phi)\end{aligned}$$ where $1$ denotes the generator of $H_0(M)$. This is shown via an isomorphism due to Biran, Polterovich and Salamon @BiranPolterovichSalamon03. The Lagrangian spectral invariants, as defined before, are easily seen to satisfy two properties, similar to the ones valid in the Hamiltonian case, and listed below. \[prop:dual\] Let $\alpha\in H_k(L)$, $\alpha\neq 0$. We denote by $\alpha'\in H_{n-k}(L)$ the $Hom$–dual of its Poincaré dual class. - For $\phi\in \Ham$, $c(\alpha;L,\phi(L))= c([L];L,\phi^{-1}(L))-c(\alpha';L,\phi^{-1}(L))$ - $0\leq c(\alpha;L,L')\leq \nabla(L,L')$, with strict inequalities as soon as $0<k<n$ Viewing the Hamiltonian spectral invariants as particular Lagrangian ones via (\[prop:generalisation\]), assertion <span>*(2.)*</span> improves the well-known upper bound given by Hofer's norm of $\phi$. We will illustrate this fact via a family of Hamiltonian diffeomorphisms given by Ostrover @Ostrover03.\ The Lagrangian spectral invariants defined above are actually the simplest particular cases of higher order spectral invariants which we now discuss. These higher order invariants are denoted $\ic{r}{\alpha}$ and $\kc{r}{\alpha}$ where $l\co L\ra X$ is a map with the space $X$ simply-connected, $[l]$ is its homotopy class and $\alpha$ is any non zero element of the $r$–th page of a spectral sequence $E_X(L)$ defined as follows. We consider the path-loop fibration $\Omega X \to PX \to X$. We pull-back this fibration over the map $l$ and we let $E_{X}(L)$ be the Serre spectral sequence of this pull-back fibration. It has been shown by Barraud and Cornea @BarraudCornea05 that this spectral sequence can be related by a PSS type isomorphism to a spectral sequence induced by a natural filtration of an enriched Floer type complex. In view of this, Definition \[defi:si\] can be adapted to this element $\alpha$ (see definitions \[defi:si2\] and \[defi:si2bis\]). The second page of $E_X(L)$ is purely homological, in the sense that $E^2_{p,q}(L;X)\simeq H_q(\Omega X)\otimes H_p(L)$. Thus, any element $\alpha\neq 0$ in $H_p(L)$ can be identified with the element $1\otimes\alpha$ in $E^2_{p,0}(L;X)$ where $1$ denotes the generator of $H_0(\Omega X)$. For such an element, all three Lagrangian invariants coincide: $$\begin{aligned} \ic{2}{1\otimes\alpha}=\kc{2}{1\otimes\alpha}= c(\alpha;L,L').\end{aligned}$$ The higher order invariants generalize the classical spectral invariants (in the previous sense) and carry strictly more information (even in the Morse case). We will illustrate this fact with explicit computations in a particular case. As suggested by our notation, given $X$, $[l]$ and $r$, $\ic{r}{-}$ and $\kc{r}{-}$ have the same invariance property as their homological counterparts. The main property that will be of interest to us here is that $E_X(L)$ provides a way to distinguish among these invariants, in terms of a quantity related to the geometry of $L$ and $L'$. This geometric constant is defined, for every pair of transverse Lagrangian submanifolds, as follows. Let $x$ be an element of $L\cap L'$. There exist a real number $\eps >0$ and an embedding, $e^x_\eps$, of the ball $B(0,\eps)\subset\bC^n$ in $M$ such that $$\label{boules} \begin{split} {\rm i.} \;\; & (e^x_\eps)^*(\omega) = \omega_0 \;\;\mbox{ and }\;\; e^x_\eps(0)=x, \\ {\rm ii.} \;\; & (e^x_\eps)^{-1}(L) = \bR^n\cap B(0,\eps)\;\; \mbox{ and } \;\; (e^x_\eps)^{-1}(L') = i\bR^n\cap B(0,\eps). \end{split}$$ This gives rise to the following definition. \[def:rll\] Given $L$ and $L'$ two compact, transverse Lagrangian submanifolds, we define $$\begin{aligned} r(L,L') := {\rm sup} \left\{ \eps >0 \, \left| \; \begin{array}{l} \forall x\in L\cap L',\; \exists\, e^x_\eps \mbox{ satisfying conditions {\rm (\ref{boules})}}, \\ \mbox{such that }\; x\neq y \;\Rightarrow\; {\rm Im}\, e^x_\eps \cap {\rm Im}\, e^y_\eps = \emptyset \end{array} \right. \right\}.\end{aligned}$$ This definition is inspired by the geometric distance introduced by Barraud and Cornea @BarraudCornea07. Notice that, since $L\cap L'$ is a finite set, $r(L,L')>0$. With these conventions we have: \[theo:main\] If $d^r(\alpha)=\beta\neq 0$ in $E_X(L)$, then $$\begin{aligned} \kc{r}{\alpha} - \kc{r}{\beta} &\geq 0 \;\;{\rm and} \\ \ic{r}{\alpha} - \kc{r}{\beta} &\geq \frac{\pi r(L,L')^2}{2}\end{aligned}$$ for any Lagrangian submanifold $L'$, Hamiltonian isotopic (and transverse) to $L$. This property of Lagrangian spectral invariants of higher order has the following immediate consequence for the invariants of Definition \[defi:si\]. \[theo:ss\] Let $X$ be $(r-1)$–connected and let $\{x_i\}$ be a basis of $H_{r-1}(\Omega X)$. If there exists a non trivial differential $d^r\co H_0(\Omega X)\otimes H_p(L)\simeq E^r_{p,0}\ra E^r_{p-r,r-1}$ of $E_X(L)$, namely $d^r(1\otimes\alpha)= \sum x_i\otimes \beta_i \neq 0$, then for all Lagrangian submanifold $L'$, Hamiltonian isotopic to $L$, $$\begin{aligned} \forall i,\; c(\alpha;L,L')-c(\beta_i;L,L') \geq \frac{\pi r(L,L')^2}{2}.\end{aligned}$$ This corollary has interesting consequences. \[prop:prop\] Let $\cdot$ denote the intersection product and let $[L]$ be the fundamental class of $L$. - For $\alpha\in H_k(L)$ and $\beta\in H_*(L)$, with $1<k<n-1$ and $\alpha\cdot\beta\neq 0$, we have $$\begin{aligned} c(\alpha\cdot\beta; L,L') \leq c(\beta; L,L') - \frac{\pi r(L,L')^2}{2}\end{aligned}$$ - If $\alpha\neq 0$ is an element of $H_k(L)$ with $1<k<n-1$, then it holds: $$\begin{aligned} \frac{\pi r(L,L')^2}{2} \leq c(\alpha; L,L') \leq c([L]; L,L') - \frac{\pi r(L,L')^2}{2}\end{aligned}$$ As we shall see, in this purely homological case, there is another way to prove these properties by adapting to the Lagrangian setting the proofs valid in the Hamiltonian case (and used by Schwarz @Schwarz00) and combining this with the definition of $r(L,L')$. The key point of this alternate proof is an adequate description of a certain module structure on $HF_*(L,L')$ over $H_*(L)$ endowed with its intersection product. The cases $k=1$ and $k=n-1$ of the previous corollary are proved here via this method, in the sense that assertions <span>*(1.)*</span> and <span>*(2.)*</span> hold as long as $0<k<n$. In particular, for all non zero $\alpha\in H_k(L)$, $0 \leq c(\alpha; L,L') \leq c([L]; L,L')$. Finally we get, as an obvious consequence of this extension of Corollary \[prop:prop\] <span>*(1.)*</span> and Proposition \[prop:dual\] <span>*(2.)*</span>, a lower bound for Hofer's distance between two transverse, Hamiltonian isotopic Lagrangian submanifolds in terms of our geometric constant and the cup-length of $L$. \[coro:cup-length\] Let ${\rm cl}(L)$ be the cup-length of $L$ (with $\bZ_2$ coefficients), we have $$\begin{aligned} \nabla(L,L') \geq {\rm cl}(L)\cdot\frac{\pi r(L,L')^2}{2}\end{aligned}$$ for all Lagrangian submanifold $L'$, Hamiltonian isotopic and transverse to $L$. In Section \[section1\], we first quickly recall the construction of Morse and Floer homologies and three kinds of comparison morphisms, namely the classical comparison morphism for Lagrangian Floer homology, a Lagrangian version of the PSS morphism and the naturality morphism. In Section \[sec:demo\], we construct our Lagrangian spectral numbers and we prove Theorem \[theo:independ\]. The invariance part relies on two distinct steps. First we show that a certain diagram commutes. In order to do this, we prove that the Lagrangian Floer homology $HF_*(L,L')$ can be viewed as a module over the homology of $L$, endowed with its intersection product. This algebraic structure is an adaptation of a construction made by Floer @Floer89 in the Hamiltonian case. Then we show that the naturality and Lagrangian PSS morphisms preserve this structure. The desired commutativity follows immediately. In a second step, we adapt methods used by Schwarz in the Hamiltonian case, to get an estimate on Lagrangian spectral numbers. This estimate ends the proof of their invariance and implies the continuity part of Theorem \[theo:independ\]. Finally we show how the Hamiltonian spectral invariants can be viewed as particular Lagrangian ones, by proving (\[prop:generalisation\]). In Section \[sec:3\], we first sketch the construction of the Barraud–Cornea spectral sequence and its relation with the Serre spectral sequence of the path-loop fibration of $L$. Then we introduce the Lagrangian spectral invariants of higher order and prove Theorem \[theo:main\]. We also produce explicit computations of the higher order spectral invariants and show, via this example, that they carry more information than the classical invariants. Finally (in Section \[sec:4\]), we come back to the homological Lagrangian spectral invariants. Corollary \[theo:ss\] follows immediately from the results obtained on the higher order invariants. We show how it implies Corollary \[prop:prop\]. Then, we prove Proposition \[prop:dual\] and Corollary \[coro:cup-length\].\ The author would like to deeply thank his supervisor, Octav Cornea, for hours of extremely fruitful and enlightening discussions. He would also like to thank Matthias Schwarz for valuable conversations, Peter Albers for numerous interesting comments and discussions and Leonid Polterovich for useful questions. Recalls and notation {#section1} ==================== Morse and Floer homologies -------------------------- ### Morse homology We briefly sketch this well-known construction. We work over $\bZ_2$, and fix a closed manifold $L^n$, a metric $g$ and a Morse function $f$ such that the pair $(f,g)$ is Morse–Smale. We denote the gradient of $f$ with respect to $g$ by $\nabla f$. The gradient flow of $-f$, defined by $\frac{d}{dt} \gamma_t +\nabla f(\gamma_t)=0$, induces stable and unstable manifolds for every critical point $p$: $$\begin{aligned} \mW^s_p(f,g) &:=\{ x\in M \,|\; \lim_{t\ra +\infty} \gamma_t(x)=p \} \mbox{ and} \\ \mW^u_p(f,g) &:=\{ x\in M \,|\; \lim_{t\ra -\infty} \gamma_t(x)=p \}.\end{aligned}$$ Let $i_f(p)$ be the Morse index of $p$. As $f$ is Morse–Smale, the connecting manifold of two critical points $p$ and $q$, $\widehat{\mM}_{p,q}(f,g):= \mW^u_p(f,g)\cap \mW^s_q(f,g)$ is a smooth ($i_f(p)-i_f(q)$)–dimensional manifold. As $\bR$ acts on this space, one can define $\mM_{p,q}(f,g):=\widehat{\mM}_{p,q}(f,g)/\bR$. In general, these moduli spaces are not compact but admit a compactification such that $$\begin{aligned} \label{compact} \del \overline{\mM}_{p,q}(f,g)=\bigcup_{r\in {\rm Crit}(f)} \overline{\mM}_{p,r}(f,g)\times \overline{\mM}_{r,q}(f,g).\end{aligned}$$ Let ${\rm Crit}_k(f)$ be the set of critical points of $f$ with Morse index $k$. We define free $\bZ_2$–modules $CM_k(L;f,g):=\langle {\rm Crit}_k(f)\rangle_{\bZ_2}$ and a differential $\del$ by the formula $$\begin{aligned} \del p=\sum_{q\in {\rm Crit}_{k-1}(f)} \#_2 \mM_{p,q}(f,g)\cdot q\end{aligned}$$ where $\#_2 \mM_{p,q}(f,g)$ denotes the mod 2 cardinal of $\mM_{p,q}(f,g)$. The compactification (\[compact\]) implies that $\del^2=0$. Thus $(CM_*(L;f,g),\del)$ is a chain complex whose homology $$\begin{aligned} HM_*(L):=H(CM_*(L;f,g),\del)\end{aligned}$$ is the Morse homology of $L$. It is a well-known fact that it does not depend on the Morse–Smale pair $(f,g)$ and is the (cellular) homology of $L$. ### Lagrangian Floer homology This theory is exposed in Floer @Floer88, Oh @Oh93. Let $(M,\omega)$ be a symplectic manifold, compact or molinaphillip@example.com. Let $L$ and $L'$ be two closed, Hamiltonian isotopic Lagrangian submanifolds of $M$ such that $$\begin{aligned} \label{context} \omega|_{\pi_2(M,L)}=0\;\;{\rm and}\;\; \mu|_{\pi_2(M,L)}=0\end{aligned}$$ where $\mu$ is the Maslov index (its definition is recalled below). We also pick a compactly supported time-dependent Hamiltonian function $H$ and an almost complex structure $J$, $\omega$–compatible. When $M$ is not compact but convex at infinity, $J$ will also assumed to be adapted to the boundary (see @McDuffSalamon04 for a detailed description of this condition). From now on, $I$ denotes the interval $[0,1]$.\ $H$ induces a vector field $X_H\co \bR\times M\ra TM$ given by $\omega(X_H^t,-) = -dH_t$ which gives rise to a family of symplectomorphisms, $\phi_H\co \bR\times M\ra M$, such that $\del_t\phi^t_H = X_H^t\circ\phi_H^t$. We assume that $L'$ and $\phi^1_H(L)$ are transverse. First we define $$\begin{aligned} \mathcal{P}(L,L'):=\{ \gamma\in C^\infty(I,M) \, | \; \gamma(0)\in L,\; \gamma(1)\in L'\}\end{aligned}$$ and we fix $\eta\in \mathcal{P}(L,L')$. Let $\mathcal{P}_\eta (L,L')$ be the connected component of $\mathcal{P}(L,L')$ containing it. The action functional $\mathcal{A}_{H}\co \mathcal{P}_\eta (L,L') \ra \bR$ is given by: $$\begin{aligned} \mathcal{A}_H(x)=-\int_{I\times I} \bar{x}^*\omega +\int_I H(t,x(t))\,dt\end{aligned}$$ where $\bar{x}\co I\times I\ra M$ satisfies the following conditions: $\bar{x}(0,-)=\eta$, $\bar{x}(1,-)=x$ and $\bar{x}(I,0)\subset L$, $\bar{x}(I,1) \subset L'$. Condition (\[context\]) ensures that the first integral is well-defined. \[remarque:reference action\] In Hamiltonian Floer homology, it is natural to normalize the Hamiltonian. This induces a translation of the action by a constant. In the Lagrangian intersection setting, one can normalize the action functional by assuming that $\mA_H(\eta)=0$. In that case, another choice of the reference path $\eta'$ in the same homotopy class also implies a translation of the action by a constant. Along these lines, we will emphasize our choices of reference as soon as they become crucial. The set of the critical points of $\mA_H$, denoted by $\mI(L,L';\eta,H)\subset\mathcal{P}_\eta (L,L')$, consists of orbits of the Hamiltonian vector field. It is in one-to-one correspondence with a subset of $\phi^1_H(L)\cap L'$ (which is finite since we assume transversality and compactness). A Floer trajectory is a smooth map $u\co \bR\times I\ra M$, satisfying $$\begin{aligned} %\label{pseudohol} \bar{\del}_{J,H}(u):=\del_s u+J_t(u)(\del_t u -X_H^t(u))=0.\end{aligned}$$ Its energy is defined by the formula $$\begin{aligned} %\label{energie} E(u) &=\frac{1}{2}\int_I \int_{{\bR}} \left( \|\del_s u\|^2+\|\del_t u - X_H^t(u)\|^2 \right)\,ds dt.\end{aligned}$$ A Floer trajectory has finite energy if and only if its ends are orbits of the Hamiltonian vector field. For $x$ and $y\in \mI(L,L';\eta,H)$, we form the following moduli space: $$\begin{aligned} \widehat{\mathcal{M}}_{x,y}(L,L';H,J) := \left\{ u\in C^\infty(\bR\times I) \, \left| \begin{array}{l} \del_s u +J(u)\del_t u + \nabla H_t(u)=0 \\ u(\bR,0)\subset L,\; u(\bR,1)\subset L' \\ u(-\infty,-)=x,\; u(+\infty,-)=y \end{array} \right.\right\}.\end{aligned}$$ All its elements have the same (finite) energy, satisfying $$\begin{aligned} \label{actionenergie} E(u)= \mA_H(x) - \mA_H(y).\end{aligned}$$ There is a $\bR$–action on $\widehat{\mathcal{M}}_{x,y}(L,L';H,J)$ and we define: $$\label{modhom} \mM_{x,y}(L,L';H,J) :=\widehat{\mM}_{x,y}(L,L';H,J)/\bR .$$ A pair $(H,J)$ is called regular if for all $u\in\widehat{\mathcal{M}}_{x,y}(L,L';H,J)$, the linearization at $u$ of the operator $\bar{\del}_{J,H}$ is surjective. A choice of regular pair $(H,J)$ is generic and for such a pair, $\mM_{x,y}(L,L';H,J)$ is a $(\mu(x)-\mu(y)-1)$–dimensional manifold with $\mu$ the Maslov index. We roughly recall its construction now. For $x$ and $y\in \mI (L,L';\eta,H)$ we choose a smooth map $v\co I\times I\ra M$ such that $$\begin{aligned} v(I,0)\subset L,\, v(I,1)\subset L',\, v(0,-)=x\;\; {\rm and}\;\; v(1,-)=y.\end{aligned}$$ Trivializing $v^*TM$ induces a loop $\gamma_v$ in $\mL (\bR^{2n})$, the set of all Lagrangian submanifolds in $\bR^{2n}$. The degree of $\mu(\gamma_v)$ ($\mu\co \mL (\bR^{2n})\ra S^1$ is the Poincaré dual of the Maslov cycle) does not depend on the trivialization or on the choice of $v$ (since $\mu|_{\pi_2(M,L)}=0$). It is denoted $\mu(x,y)$. Since $\mu$ is additive, we fix $z_0$ and define $\mu:=\mu(-,z_0)$. \[remarque:reference maslov\] Choosing another reference $z_0'$ for the Maslov index implies a shift of degrees. Like for the reference of the action functional, this choice will in general be implied and will be emphasized in some key places. Similarly to the Morse case, we define $$\label{floercc} \begin{split} CF_k(L,L';\eta;H,J) & := \langle x\in \mI(L,L';\eta,H) |\; \mu(x)=k\rangle_{\bZ_2} , \\ \del(x) & :=\sum_{y|\, \mu(x,y)=1} \#_2 \mathcal{M}_{x,y}(L,L';H,J) \cdot y. \end{split}$$ When $\mu(x,y)\neq 1$, $\mM_{x,y}(L,L';H,J)$ is not compact in general but admits a compactification (Gromov's compactness theorem for the compact or convex at infinity setting). As condition (\[context\]) prohibits bubbling we get (the case $\mu(x,y)>1$ has been treated by Barraud and Cornea @BarraudCornea07) $$\begin{aligned} \del\overline{\mM}_{x,y}(L,L';H,J)= \bigcup_{z\in \mI(L,L';\eta,H)} \overline{\mM}_{x,z}(L,L';H,J)\times \overline{\mM}_{z,y}(L,L';H,J).\end{aligned}$$ In particular, this implies that $\del^2 =0$ and thus (\[floercc\]) defines a chain complex. Its homology is the Lagrangian Floer homology of $M$ relatively to $L$ and $L'$: $$\begin{aligned} HF_*(L,L'):=H(CF_*(L,L';\eta;H,J),\del).\end{aligned}$$ It is well-known that this homology does not depend on the choice of the regular pair $(H,J)$ (see §\[subsec:comparison morphisms\] and §\[subsec:pss\] for two different proofs of this fact). Comparison morphisms -------------------- We present here three morphisms which all induce an isomorphism in homology. - $\psi^{01}\co CF_*(L,L';\eta;H_0,J_0)\ra CF_*(L,L';\eta;H_1,J_1)$ (comparison morphism) - $b_H\co CF_*(L,L';\eta;H,J)\ra CF_*(L,L'';\widetilde{\eta};0,\widetilde{J})$ (naturality isomorphism) - $\phi_f^{H}\co CM_*(L;f,g)\ra CF_*(L,L;\eta;H,J)$ (Lagrangian PSS morphism) ### Classical comparison morphism of Lagrangian Floer homology {#subsec:comparison morphisms} This morphism compares the Floer complexes, for two different regular pairs $(H_0,J_0)$ and $(H_1,J_1)$. It induces an isomorphism in homology. Let $H^{01}\co\bR\times ([0,1]\times M)\ra \bR$ and $J^{01}\co\bR\times M\ra {\rm End}(TM)$ be respectively $1$–parameter families of Hamiltonian functions and almost complex structures $\omega$–compatible. We assume that there exists $R>0$ such that for all $s\leq -R$, $(H_s^{01},J_s^{01})=(H_0,J_0)$ and all $s\geq R$, $(H_s^{01},J_s^{01})=(H_1,J_1)$ ($H_s^{01}$ and $J_s^{01}$ denote $H^{01}(s,-,-)$ and $J^{01}(s,-)$). Moreover we assume that there is a compact set, containing the support of all these Hamiltonian functions.\ $H^{01}$ induces a family of vector fields $X^{01}$ and a family of symplectomorphisms $\phi^{01}$ via $\omega(X^{01},-) = -dH^{01}$ and $\del_t\phi^{01} = X^{01}(\phi^{01})$. The equation satisfied by the Floer trajectories $u\co\bR\times [0,1]\ra M$ becomes $$\begin{aligned} %\label{pseudoholhom} \del_s u(s,t) +J^{01}_s(u(s,t))\del_t u(s,t) + \nabla^s_x H_s^{01}(t,u(s,t)) =0.\end{aligned}$$ $\nabla^s_x H^{01}$ is the gradient of $H^{01}$ induced by the metric associated to $J_s^{01}$. The boundary conditions are $u(\bR,0)\subset L$ and $u(\bR,1)\subset L'$. We also require their energy to be finite: $$\begin{aligned} %\label{pseudoholhom} E(u)= \frac{1}{2}\int_{{\bR}\times I} \| \del_s u\|^2 + \| \del_t u - X^{01}(u)\|^2 dsdt < \infty\end{aligned}$$ which is anew equivalent to the existence of orbits $x_0\in\mI(L,L';\eta,H_0)$ and $y_1\in\mI(L,L';\eta,H_1)$ such that $u(-\infty,-)=x_0$ and $u(+\infty,-)=y_1$. For generic choice $(H_s^{01},J_s^{01})$ is regular and for such a regular pair $\mM_{x_0,y_1}(L,L';H^{01},J^{01})$ is a smooth $\mu(x_0,y_1)$–dimensional manifold. After compactification, the boundary of these moduli spaces is the disjoint union: $$\begin{aligned} &\bigcup_{y_0\in \mI(L,L';\eta,H_0)} {\overline{\mM}}_{x_0,y_0}(L,L';H_{0},J_{0}) \times {\overline{\mM}}_{y_0,y_1}(L,L';H^{01},J^{01})\\ &\bigcup_{x_1\in\mI(L,L';\eta,H_1)} {\overline{\mM}}_{x_0,x_1}(L,L';H^{01},J^{01}) \times {\overline{\mM}}_{x_1,y_1}(L,L';H_{1},J_{1}).\end{aligned}$$ Therefore, the formula $$\begin{aligned} \psi^{01}(x_0):= \sum_{y_1\in\mI (L,L';\eta,H_1) |\, \mu(x_0,y_1)=1} \#\mM_{x_0,y_1}(L,L';H^{01},J^{01})\cdot y_1\end{aligned}$$ is easily seen to define a morphism of chain complexes inducing an isomorphism $\psi^{01}\co HF_*(L,L';H_0,J_0)\ra HF_*(L,L';H_1,J_1)$. ### Naturality This morphism appears for example in Barraud and Cornea @BarraudCornea07. It is an action preserving identification of the complexes $CF_*(L,L';\eta;H,J)$ and $CF_*(L,L'';\widetilde{\eta};0,\widetilde{J})$, where $L'':= (\phi^1_H)^{-1}(L')$, $\widetilde{J}:= \phi^* J$ and $\eta$, $\widetilde{\eta}$ satisfying $\eta(t)=\phi^t_H(\widetilde{\eta}(t))$.\ First we define the map $$\begin{aligned} b_H\co \left\{ \begin{array}{rcl} \mP(L,L'') &\ra &\mP(L,L')\\ x &\mapsto &[t\mapsto \phi^t_H(x(t))] \end{array} \right.\end{aligned}$$ It induces a map $b_H\co \mP_{\widetilde{\eta}}(L,L'')\ra\mP_\eta (L,L')$. Since $L \cap L''$ is transverse, $b_H$ identifies $\mI(L,L'';\widetilde{\eta},0)$ and $\mI(L,L';\eta,H)$.\ For $u\in\mM_{x,y}(L,L'';0,\widetilde{J})$, let $\widetilde{u}$ be given by $\widetilde{u}(s,t):= \phi^t_H(u(s,t))$. Comparing the linearization of the two operators $\bar{\del}_{J,H}$ and $\bar{\del}_{\widetilde{J},0}$ ensures that $(H,J)$ is a regular pair if and only if $(0,\widetilde{J})$ is. One can show that $\bar{\del}_{J,H}(\widetilde{u}) = (\phi_H)_*(\bar{\del}_{\widetilde{J},0}(u))$ for any $u\in\mM_{x,y}(L,L';H,J)$. Moreover, boundary conditions correspond. Since we have $$\begin{aligned} \forall x\in \mI(L,L'';\eta',0), \;\; \mA_{H}(b_H(x))=\mA_{0}(x)\end{aligned}$$ we get, via (\[actionenergie\]), $E(\widetilde{u})=E(u)$. Notice that the two action functionals correspond for our choices of reference $\eta$ and $\widetilde{\eta}$ if we assume that they have been normalized (see Remark \[remarque:reference action\]). Therefore $b_H$ induces a bijection $$\begin{aligned} b_H\co\mM_{x,y}(L,L'';0,\widetilde{J})\ra \mM_{b_H(x),b_H(y)}(L,L';H,J)\end{aligned}$$ which gives rise to an action preserving identification of chain complexes: $$\begin{aligned} b_H\co CF_*(L,(\phi^1_H)^{-1}(L');\widetilde{\eta};0,\phi^*J)\ra CF_*(L,L';\eta;H,J)\end{aligned}$$ ### Lagrangian PSS morphism {#subsec:pss} The Hamiltonian Piunikhin–Salamon–Schwarz (PSS) morphism @PiunikhinSalamonSchwarz96 has been adapted to the Lagrangian setting, for the particular case of cotangent bundles by Katić and Milinković @KaticMilinkovic05 and in more generality by Barraud and Cornea @BarraudCornea05, and Albers @Albers05. This morphism compares the Morse and Floer complexes and induces an isomorphism in homology. To $p\in {\rm Crit}(f)$ and $x\in \mI(L,L;\eta,H)$, we associate $$\begin{aligned} \mM^f_{p}(g) &:= \left\{ \gamma:\bR\ra L\left|\, - \nabla f(\gamma(t)) = \frac{d\gamma(t)}{dt}, \, \gamma(-\infty)=p \right. \right\} =\mW^u_p(f,g),\\ \mM^H_{x}(J) &:= \left\{ u\co\bR\times I\ra M \left| \begin{array}{l} \del_s u+J\del_t u +\beta(s)\nabla H(u)=0\\ u(+\infty,t)=x(t), u(\bR,\{ 0,1 \})\subset L \end{array} \right. \right\}\end{aligned}$$ where $\beta(s)$ is a smooth, increasing function, whose value is $0$ for $s\leq 1/2$ and $1$ for $s\geq 1$. Up to generic choices, $\mM^H_{x}(J)$ is a smooth $\mu(x)$–dimensional manifold and $$\begin{aligned} \mM^{f,H}_{p,x}:= \left\{ \left. (\gamma,u)\in \mM^f_{p}(g)\times \mM^H_{x}(J) \right| \, u(-\infty,-)=\gamma(0) \right\}\end{aligned}$$ a ($i_f(p)-\mu(x)$)–dimensional manifold (notice that this requires a particular choice of the reference of the Maslov index). Its $0$–dimensional component is compact and its $1$–dimensional component admits a compactification such that (see Figure \[PSSlagr\]) $$\begin{aligned} \del \overline{\mM}^{f,H}_{p,x} = &\,\;\;\bigcup_{p'\in {\rm Crit}(f)} \,\;\;\mM_{p,p'}(f,g) \times \mM^{f,H}_{p',x}\label{pssbord1}\\ &\bigcup_{x'\in\mI(L,L;\eta,H)} \mM^{f,H}_{p,x'} \times \mM_{x',x}(L,L;H,J).\label{pssbord2}\end{aligned}$$ \[defPSS\] \[\]\[\]\[1\]<span>(\[pssbord1\])</span> \[\]\[\]\[1\]<span>(\[pssbord2\])</span> \[\]\[\]\[1\]<span>$\gamma(0)$</span> \[\]\[\]\[1\]<span>$\gamma$</span> \[\]\[\]\[1\]<span>$p$</span> \[\]\[\]\[1\]<span>$p'$</span> \[\]\[\]\[1\]<span>$u$</span> \[\]\[\]\[1\]<span>$x$</span> \[\]\[\]\[1\]<span>$x'$</span> \[\]\[\]\[1\]<span>$L$</span> ![Definition of the Lagrangian PSS morphism<span data-label="PSSlagr"></span>](figure0.2.02.ps "fig:") The morphism $\phi_f^{H}\co CM_*(L;f,g)\ra CF_*(L,L;H,J)$, defined on generators by $$\begin{aligned} \phi_f^{H}(p):=\sum_{x|\, \mu(x)=i_f(p)} \#_2 \mM^{f,H}_{p,x}\cdot x\end{aligned}$$ induces a morphism $\phi_f^{H}\co HM_*(L;f,g)\ra HF_*(L,L;H,J)$. Similarly, the moduli spaces $$\begin{aligned} \mM_f^{q}(g) &:= \left\{ \gamma\co\bR\ra L\left|\, - \nabla f(\gamma(t)) = \frac{d\gamma(t)}{dt}, \, \gamma(+\infty)=q \right. \right\} = \mW^s_q(f,g),\\ \mM_H^{y}(J) &:= \left\{ u\co\bR\times I\ra M \left| \begin{array}{l} \del_s u+J\del_t u +\beta(-s)\nabla H(u)=0\\ u(-\infty,t)=y(t), u(\bR,\{ 0,1 \})\subset L \end{array} \right. \right\} \;\;{\rm and}\\ \mM_{H,f}^{y,q} &:= \left\{ \left. (u,\gamma)\in \mM_H^{y}(J)\times \mM_f^{q}(g) \right| \, \gamma(0)=u(+\infty,-) \right\}\end{aligned}$$ allow us to define a morphism $$\begin{aligned} \psi_{H}^f(y):=\sum_{q|\, i_f(q)=\mu(y)} \#_2 \mM_{H,f}^{y,q}\cdot q\end{aligned}$$ which induces $\psi^f_{H}\co HF_*(L,L;H,J)\ra HM_*(L;f,g)$. These two morphisms commute with the classical comparison morphisms, as stated below. \[lemm:PSScomparaison\] The following diagrams commute: $$\begin{aligned} \begin{split} \xymatrix{\relax HF_*(L,L;H_0,J_0) \ar[rd]_{\psi_{H_0}^f}\ar[rr]^{\psi^{01}} && HF_*(L,L;H_1,J_1)\\ & HM_*(L;f,g) \ar[ru]_{\phi^{H_1}_f}}\label{psscomparaison} \end{split}\\ \begin{split} \xymatrix{\relax HM_*(L;f_0,g_0) \ar[rd]_{\phi^H_{f_0}} \ar[rr]^{\psi^{01}_{\rm Morse}} && HM_*(L;f_1,g_1)\\ & HF_*(L,L;H,J) \ar[ru]_{\psi_H^{f_1}}}\label{psscomparaisonmorse} \end{split}\end{aligned}$$ To prove it, we study cobordisms (see Figure \[commPSScomp\]) similar to the ones giving that $\phi_f^{H}\circ\psi_H^f$ and $\psi^f_{H}\circ\phi^H_f$ induce the identity in homology (which is an immediate corollary of the lemma, for $(H_0,J_0) = (H_1,J_1)$ and $(f_0,g_0)=(f_1,g_1)$). \[\]\[\]\[1\]<span>$\gamma$</span> \[\]\[\]\[1\]<span>$\gamma^+$</span> \[\]\[\]\[1\]<span>$\gamma^-$</span> \[\]\[\]\[1\]<span>$\gamma_1$</span> \[\]\[\]\[1\]<span>$\gamma_0$</span> \[\]\[\]\[1\]<span>$x$</span> \[\]\[\]\[1\]<span>$\ast$</span> \[\]\[\]\[1\]<span>$y_1$</span> \[\]\[\]\[1\]<span>$y_0$</span> \[\]\[\]\[1\]<span>$q$</span> \[\]\[\]\[1\]<span>$p_0$</span> \[\]\[\]\[1\]<span>$p_1$</span> \[\]\[\]\[1\]<span>$R$</span> \[\]\[\]\[1\]<span>$R\ra 0$</span> \[\]\[\]\[1\]<span>$R\ra \infty$</span> \[\]\[\]\[1\]<span>$u_0$</span> \[\]\[\]\[1\]<span>$u-$</span> \[\]\[\]\[1\]<span>$u+$</span> \[\]\[\]\[1\]<span>$u_1$</span> \[\]\[\]\[1\]<span>$u$</span> \[\]\[\]\[1\]<span>unicity</span> \[\]\[\]\[1\]<span>gluing</span> ![Commutativity of the PSS and comparison morphisms<span data-label="commPSScomp"></span>](figure0.2.03.ps "fig:") <span>*Diagram (\[psscomparaison\])*</span> – Let $\{ J_s^{01} \}_{s\in {\Bbb R}}$ be a $1$–parameter family of almost complex structures, such that $J^{01}_s=J_0$, if $s\leq -1$, $J^{01}_1=J$ if $|s|<1/2$ and $J^{01}_1=J_1$ for $s\geq 1$. To $y_i\in \mI(L,L;\eta,H_i)$ ($i=0,1$), we define moduli spaces as follows: $$\begin{gathered} \mM^{\phi\circ\psi}_R(y_0,y_1):= \\ \left\{ (u_0,\gamma,u_1) \in \mM^{y_0}_{H_0}(\bar{J}_0)\times C^{\infty}([0,R],M)\times \mM_{y_1}^{H_1}(\bar{J}_1) \left| \begin{array}{l} \nabla f(\gamma(t)) = \frac{d\gamma(t)}{dt}\\ u_0(+\infty)=\gamma(0)\\ u_1(-\infty)=\gamma(R) \end{array} \right. \right\}\end{gathered}$$ where $\bar{J}_0$ and $\bar{J}_1$ are $1$–parameter families of almost complex structures, such that $$\begin{aligned} \bar{J}_0=J_0 \mbox{ if } s\leq -1 &\mbox{ and } \bar{J}_0=J \mbox{ if } s\leq -1/2,\\ \bar{J}_1=J_1 \mbox{ if } s\geq 1 &\mbox{ and } \bar{J}_1=J \mbox{ if } s\geq 1/2.\end{aligned}$$ We define $\mM^{\phi\circ\psi}(y_0,y_1):= \bigcup_{R>0} \mM^{\phi\circ\psi}_R(y_0,y_1)$. Up to generic choices, it is a smooth ($\mu(y_0)-\mu(y_1)+1$)–dimensional manifold. Its $0$–dimensional component is compact. Hence one can define a chain homotopy $\varphi\co CF_*(L,L;H_0,J_0) \ra CF_*(L,L;H_1,J_1)$, by the formula $$\begin{aligned} \varphi(y_0):=\sum_{y_1|\, \mu(y_1)=\mu(y_0)+1} \#_2 \mM^{\phi\circ\psi}(y_0,y_1)\cdot y_1.\end{aligned}$$ Its $1$–dimensional component admits a compactification such that $$\begin{aligned} \del\overline{\mM}^{\phi\circ\psi}(y_0,y_1) = &\bigcup_{x_0\in \mI(L,L;\eta,H_0)} \mM_{y_0,x_0}(L,L';H_0,J_0)\times \mM^{\phi\circ\psi}(x_0,y_1)\label{psscomm1}\\ &\;\;\;\;\;\;\;\,\;\bigcup \;\;\;\;\;\;\;\mM^{\phi\circ\psi}_{0}(y_0,y_1)\label{psscomm2}\\ &\;\;\;\;\,\bigcup_{q\in {\rm Crit}(f)} \;\;\;\mM_{H_0,f}^{y_0,q}\times \mM^{f,H_1}_{q,y_1}\label{psscomm3}\\ &\,\bigcup_{x_1\in \mI(L,L;\eta,H_1)} \mM^{\phi\circ\psi}(y_0,x_1)\times \mM_{x_1,y_1}(L,L';H_1,J_1)\label{psscomm4}\end{aligned}$$ (\[psscomm1\]) and (\[psscomm4\]) arise when $R$ converges to a real number, (\[psscomm2\]), (\[psscomm3\]) when it converges to $0$ and to infinity. Boundary (\[psscomm2\]), $\mM^{\phi\circ\psi}_0(y_0,y_1)$, consists of pairs of discs which are pseudo-holomorphic near their common point. They can be glued (see @FukayaOhOhtaOno and @BiranCornea) to give the Floer trajectories defining the comparison morphism and then $\del\varphi + \varphi\del = \phi^{H_1}_f\circ \psi_{H_0}^f + \psi^{01}$. Diagram (\[psscomparaison\]) commutes.\ <span>*Diagram (\[psscomparaisonmorse\])*</span> – Given two pairs $(f_0,g_0)$, $(f_1,g_1)$, let $(f^{01},g^{01})$ be a regular homotopy such that $(f_s^{01},g_s^{01})=(f_0,g_0)$ when $s<-1$, $(f_s^{01},g_s^{01}) =(f_1,g_1)$ when $s>1$. We define the sets $$\begin{aligned} \mM_R^{\psi\circ\phi}(p_0,p_1):= {\bigg \{} (\gamma_0,U_R,\gamma_1) \in \mW^u_{p_0}(f^{01},g^{01})\times C^{\infty}(\bR\times I,M)\times \mW^s_{p_1}(f^{01},g^{01}) \\ \left| \begin{array}{l} \del_s U_R + J\del_t U_R + \alpha_R(s) \nabla H(U_R)=0,\\ U_R(-\infty,-)=\gamma_0(0), \; U_R(+\infty,-)=\gamma_1(0) \end{array} \right. {\bigg \}}\end{aligned}$$ where $\alpha_R$ is a smooth cut-off function, whose value is $1$ for $|s|<R$ and $0$ for $|s|>R+1$. We also assume that it is $C^1$–bounded to get an estimate on discs energy – see @Albers05). Let define $\mM^{\psi\circ\phi}(p_0,p_1):= \bigcup_{R>0} \mM_R^{\psi\circ\phi}(p_0,p_1)$ which is a smooth ($i_{f^{01}}(p_0)-i_{f^{01}}(p_1)+1$)–dimensional manifold for generic choices. The boundary of its (compactified) $1$–dimensional component is $$\begin{aligned} \del\overline{\mM}^{\psi\circ\phi}(p_0,p_1) = &\;\bigcup_{{q_0}\in {\rm Crit}(f^{01})} \;\mM_{p_0,q_0}(f^{01},g^{01})\times \mM_R^{\psi\circ\phi}(q_0,p_1)\label{psscomm1'}\\ &\;\;\;\;\;\;\;\bigcup \;\;\;\;\;\;\;\mM^{\psi\circ\phi}_{0}(p_0,p_1)\label{psscomm2'}\\ &\bigcup_{x\in \mI(L,L;\eta,H)} \mM^{f_0,H}_{p_0,x}\times \mM_{H,f_1}^{x,p_1}\label{psscomm3'}\\ &\;\bigcup_{{q_1}\in {\rm Crit}(f^{01})} \;\mM_R^{\psi\circ\phi}(p_0,q_1)\times \mM_{q_1,q_0}(f^{01},g^{01})\label{psscomm4'}\end{aligned}$$ The parameter $R$ converges to a real number in (\[psscomm1'\]), (\[psscomm4'\]), to infinity in (\[psscomm3'\]) and to $0$ in (\[psscomm2'\]). When $R$ is infinite, the products lead to the composition $\phi^{H}_{f_0}\circ\psi_{H}^{f_1}$, whereas when $R=0$, one gets a pseudo-holomorphic disc with boundary in $L$, with null symplectic area (since $\omega|_{\pi_2(M,L)}=0$). Hence it has to be constant. Therefore, when $R$ converges to $0$, we get two critical points $p_0$ and $p_1$, with a Morse flow line (of $f^{01}$) passing through them (flow lines unicity), with the same indices. Thus we recover the moduli spaces defining $\psi^{01}_{\rm Morse}$, which proves that diagram (\[psscomparaisonmorse\]) commutes. Proof of Theorem \[theo:independ\] {#sec:demo} ================================== We consider the action filtration of the Floer complex. For a real number $\nu$ and an integer $k$, one can define the $\bZ_2$–vector space: $$\begin{aligned} CF_k^\nu (L,L';\eta;H,J) := \langle x\in \mI(L,L';\eta,H) \, | \;\mu(x)=k, \; \mA_{H}(x)\leq \nu \rangle_{\bZ_2}.\end{aligned}$$ As the action functional decreases along Floer trajectories, Floer's differential preserves this filtration and $(CF_k^\nu (L,L';\eta;H,J),\del)$ is a subcomplex. We denote its inclusion by $i^\nu\co CF_*^\nu(L,L';\eta;H,J)\ra CF_*(L,L';\eta;H,J)$ and by $i^\nu_*:= H_*(i^\nu)$. We define for $x\in HF_*(L,L';\eta;H,J)$, $x\neq 0$ $$\begin{aligned} \widetilde{\sigma}_{L,L'}(x;H,J,\eta) := \inf \{ \nu\in\bR \, |\; x\in {\rm Im}(i_*^\nu) \}\end{aligned}$$ and we put for $\alpha\in HM_*(L;f,g)$, $\alpha\neq 0$, (see Definition \[defi:si\]) $$\begin{aligned} \sigma_{L}(\alpha;H,J,\eta;f,g) &:= \widetilde{\sigma}_{L,L}(\phi^H_f(\alpha);H,J,\eta)\;\;{\rm and}\\ c(\alpha;H,J;f,g) &:= \sigma_{L}(\alpha;H,J,\eta;f,g) - \sigma_{L}(1;H,J,\eta;f,g)\end{aligned}$$ with $1$ the generator of $HM_0(L;f,g)$. By definition, homological Lagrangian spectral numbers are critical values of the action functional. The commutativity of diagram (\[psscomparaisonmorse\]) gives their independence on the Morse–Smale pair $(f,g)$. Hence, we will denote them by $\sigma_L(\alpha;H,J,\eta)$ et $c_L(\alpha;H,J)$ (it is clear in view of Remark \[remarque:reference action\] that the absolute version $c_L(-;H,J)$ does not depend on the choice of $\eta$).\ The aim of this section is to prove Theorem \[theo:independ\]. The most delicate part follows from the proposition below, which is also of interest in itself. Indeed this proposition states, in particular, that, given a Morse–Smale pair $(f,g)$ and a regular pair $(H,J)$, the composition of the PSS morphism and (the inverse of) the naturality morphism $$\begin{aligned} b_H^{-1}\circ \phi_f^H \co HM_*(L;f,g)\lra HF_*(L,(\phi_H^1)^{-1}(L);0,\phi_H^*J)\end{aligned}$$ only depends on $(\phi_H^1)^{-1}(L)$ and $\phi_H^*J$. As the naturality morphism preserves the action, $b_H^{-1}\circ \phi_f^H$ is, from this point of view, a more natural candidate than the PSS morphism in the study of spectral numbers. \[prop:commut\] For every regular pairs $(H,J)$ and $(H',J')$, such that $$\begin{aligned} \phi_H^*J=\phi_{H'}^*J'=:\widetilde{J} \;\mbox{ and }\; (\phi_H^1)^{-1}(L)=(\phi^1_{H'})^{-1}(L)=:L_0\end{aligned}$$ the following diagram commutes: $$\begin{aligned} \label{diag} \begin{split} \xymatrix{\relax HM_*(L;f,g) \ar[d]_{\phi_f^{H'}}\ar[r]^{\hspace{-.3cm}\phi_f^{H}} & HF_*(L,L;H,J) \ar[d]^{b_H^{-1}}\\ HF_*(L,L;H',J') \ar[r]_{b_{H'}^{-1}} & HF_*(L,L_0;0,\widetilde{J}) } \end{split}\end{aligned}$$ – In the next two, we discuss additional algebraic structures required to prove Proposition \[prop:commut\]. In Section \[sec:structure\], we show that Floer homology can be viewed as a module over Morse homology (endowed with the intersection product). In Section \[sec:independance\], we show that the naturality and the Lagrangian PSS morphisms agree with this structure which will be seen to immediately prove Proposition \[prop:commut\]. In Section \[sec:continuity\], we show the independence on the almost complex structure and the continuity property. Then we collect all the results such as to prove Theorem \[theo:independ\]. In Section \[sec:classical\], we prove an additional property, namely that these invariants are a generalization of the Hamiltonian ones, by showing that equality (\[prop:generalisation\]) holds. Lagrangian Floer homology as a module over Morse homology {#sec:structure} --------------------------------------------------------- In this section, we recall that $HM_*(L)$ is a unitary ring and we equip $HF_*(L,L')$ with a module structure over it. ### Morse homology ring {#section:homology de Morse anneau} We recall the Morse theoretic version of the intersection product. It is defined at the chain level: $$\begin{aligned} \xymatrix{ CM_k(L;f_1,g) \otimes CM_l(L;f_2,g)\ar[r]^{\hspace{.85cm}\cdot} & CM_{k+l-n}(L;f_3,g) }\end{aligned}$$ where $f_1$, $f_2$ and $f_3$ are Morse functions and $g$ a metric such that for all $i$ and $j\in \{ 1,2,3\}$, $\mW_{p_i}^u(f_i,g)$ and $\mW_{p_j}^s(f_j,g)$ intersect transversally for any $p_i$, $p_j$ respectively critical points of $f_i$ and $f_j$. This implies in particular that the three pairs $(f_i,g)$ ($i=1,3$) are Morse–Smale. These choices are generic.\ To $p\in {\rm Crit}(f_1)$, $q\in {\rm Crit}(f_2)$ and $r\in {\rm Crit}(f_3)$, we associate the moduli space: $$\begin{gathered} \mM_{(p,q);r}(f_1,f_2,f_3;g):= \\ \left\{ (\gamma_1,\gamma_2,\gamma_3) \in \mW^u_p(f_1,g)\times \mW^u_q(f_2,g)\times \mW^s_r(f_3,g) |\, \gamma_1(0)=\gamma_2(0)=\gamma_3(0) \right\}.\end{gathered}$$ Under our assumptions, these spaces are manifolds of dimension: $$\begin{aligned} % \label{dimEMpdtmorse} {\rm d}(p,q;r)= i_{f_1}(p)+i_{f_2}(q)-i_{f_3}(r)-n.\end{aligned}$$ Their $0$–dimensional component is compact, then one can define the product on the generators of the chain complex (and extend it by bilinearity): $$\begin{aligned} %\label{ms:produit} p\cdot q := \sum_{r|\,{\rm d}(p,q;r)=0} \#_2 \mM_{(p,q);r}(f_1,f_2,f_3;g)\cdot r.\end{aligned}$$ One can show that this formula induces a product in homology which is independent on the choices of metric and Morse functions. We recall that the unity of $(HM_*(L),\cdot)$ is $[L]$, the fundamental class of $L$. ### Floer homology as a module over Morse homology We define, analogously, an external product on $HF_*(L,L')$: $$\begin{aligned} %\label{pdtfloer} \xymatrix{ HM_*(L) \otimes HF_*(L,L')\ar[r]^{\hspace{.6cm}\ast} & HF_*(L,L') }.\end{aligned}$$ As before, it is defined at the chain level. In order to shorten notation, $L$ and $L'$ do not appear in what follows. For example, the moduli spaces $\mM_{x,y}(L,L';H,J)$ defined by (\[modhom\]) are denoted here and in Section \[sec:independance\] by $\mM_{x,y}(H,J)$. We choose a Morse–Smale pair $(f,g)$ and a regular pair $(H,J)$. We associate, to $p\in {\rm Crit}(f)$ and $x$, $y\in\mI(L,L';\eta,H)$, the following moduli space: $$\begin{aligned} \label{modpdt} \mM_{(p,x);y}(f,g;H,J):= \left\{ (\gamma,u)\in \mW^u_p(f,g)\times \mM_{x,y}(H,J) |\, \gamma(0)=u(0,0) \right\}.\end{aligned}$$ These spaces are manifolds of dimension ${\rm d}(p,x;y)= \mu(x)-\mu(y)+i_f(p)-n$ as preimage of the diagonal $\Delta\subset L\times L$ by the map $$\begin{aligned} ({\rm ev},{\rm ev})\co \left\{ \begin{array}{rcl} \mW^u_p(f,g)\times \mM_{x,y}(H,J) &\ra &L\times L\\ (\gamma,u) &\mapsto &(\gamma(0),u(0,0)) \end{array} \right.\end{aligned}$$ which generically is transverse to $\Delta$. The $0$–dimensional component of these spaces is compact, thus the formula $$\begin{aligned} p\ast x:= \sum_{y|\, {\rm d}(p,x;y)=0} \#_2 \mM_{(p,x);y}(f,g;H,J) \cdot y\end{aligned}$$ defines a product $\ast\co CM_k(L;f,g)\times CF_l(L,L';H,J) \ra CF_{k+l-n}(L,L';H,J)$, when extended by bilinearity. Moreover, the boundary of the compactification of their $1$–dimensional component is the disjoint union of (see Figure \[modulestr\]) $$\begin{aligned} &\;\;\;\bigcup_{p'\in{\rm Crit}(f)} \;\;\;\mM_{p,p'}(f,g) \times \mM_{(p',x);y}(f,g;H,J)\label{pdtfloerbord1}\\ & \bigcup_{x'\in\mI(L,L';\eta,H)} \mM_{x,x'}(H,J) \times \mM_{(p,x');y}(f,g;H,J)\label{pdtfloerbord2}\\ & \bigcup_{y'\in\mI(L,L';\eta,H)} \mM_{(p,x);y'}(f,g;H,J) \times \mM_{y',y}(H,J)\label{pdtfloerbord3}\end{aligned}$$ \[\]\[\]\[1\]<span>(\[pdtfloerbord1\])</span> \[\]\[\]\[1\]<span>(\[pdtfloerbord2\])</span> \[\]\[\]\[1\]<span>(\[pdtfloerbord3\])</span> \[\]\[\]\[1\]<span>$p$</span> \[\]\[\]\[1\]<span>$x$</span> \[\]\[\]\[1\]<span>$y$</span> \[\]\[\]\[1\]<span>$p'$</span> \[\]\[\]\[1\]<span>$x'$</span> \[\]\[\]\[1\]<span>$y'$</span> \[\]\[\]\[1\]<span>$\gamma$</span> \[\]\[\]\[1\]<span>$u$</span> ![Definition of the module structure<span data-label="modulestr"></span>](figure0.1.03.ps "fig:") Hence, $\ast$ commutes with the respective boundary maps and induces a product in homology. \[floermodule\] $(HF_*(L,L';H,J),\ast)$ is a $HM_*(L;f,g)$–module. The main difficulty is to prove that, for any $\alpha$, $\beta$ in $HM_*(L;f,g)$ and any $a$ in $HF_*(L,L';H,J)$, the following equality holds: $$\begin{aligned} (\alpha\cdot \beta)\ast a = \alpha\ast (\beta\ast a).\end{aligned}$$ We fix two Morse functions $f_1$ and $f_2$ and a metric $g$ satisfying the extended Morse–Smale condition defined at the beginning of §\[section:homology de Morse anneau\]. We also choose a regular pair $(H,J)$. We have to prove that $\varphi^\pm$, respectively defined by $\varphi^+ (p,q,x):=(p\cdot q)\ast x$ and $\varphi^-(p,q,x):= p\ast (q\ast x)$ (for $p\in {\rm Crit}(f_1)$, $q\in {\rm Crit}(f_2)$ and $x\in \mI(L,L';\eta,H)$), induce the same morphism in homology. We define respectively $\mM^{+}_{(p,q,x);y}(f_1,f_2,g;H,J)$ and $\mM^{-}_{(p,q,x);y}(f_1,f_2,g;H,J)$ by $$\begin{aligned} &\,\;\;\bigcup_{r\in{\rm Crit}(f_1)} \,\;\;\mM_{(p,q);r}(f_1,f_2,f_1;g) \times \mM_{(r,x);y}(f_1,g;H,J) \;\; {\rm and}\\ &\bigcup_{z\in\mI(L,L';\eta,H)} \mM_{(q,x);z}(f_2,g;H,J) \times \mM_{(p,z);y}(f_1,g;H,J).\end{aligned}$$ We recall that $\mM_{(p,q);r}(f_1,f_2,f_1;g)$ denotes the moduli spaces used in order to define the module structure on $HM_*(L)$ (§\[section:homology de Morse anneau\]). These spaces are such that $$\begin{aligned} \varphi^\pm (p,q,x) =\sum_y \#_2 \mM^\pm_{(p,q,x);y}(f_1,f_2,g;H,J)\cdot y.\end{aligned}$$ In the following two steps, we define moduli spaces $\mM^0_{(p,q,x);y}(f_1,f_2,g;H,J)$ and a morphism $$\begin{aligned} \varphi^{0}(p,q,x):= \sum_y \#_2 \mM^{0}_{(p,q,x);y}(f_1,f_2,g;H,J)\cdot y\end{aligned}$$ and we conclude the proof by showing that $$\begin{aligned} H_*(\varphi^+) &= H_*(\varphi^0) = H_*(\varphi^-).\label{module}\end{aligned}$$ Notice that, when $q= m$, the maximum of $f_2$, $i_{f_2}(m)=n$ and thus the moduli spaces defining $m\ast x$ and $p\cdot m$ have such a dimension that, even on the chain level, we have $m\ast x =x$ and $p\cdot m=p$. Hence, it holds $$\begin{aligned} \label{rema:max} \varphi^+ (p,m,x)=(p\cdot m)\ast x= p\ast x = p\ast (m\ast x)=\varphi^- (p,m,x).\end{aligned}$$ First, for $R>0$, we consider the moduli spaces $$\begin{gathered} \mM^R_{(p,q,x);y}(f_1,f_2,g;H,J):= \\ \left\{ (\gamma^R_1,\gamma_2,u)\in \mW^u_p(f_1,g)\times \mW^u_q(f_2,g)\times \mM_{x,y}(H,J) \left| \begin{array}{l} \gamma^R_1(0)=\gamma_2(0) \\ \gamma^R_1(R)=u(0,0) \end{array} \right. \right\}\end{gathered}$$ where $p\in {\rm Crit}(f_1)$, $q\in {\rm Crit}(f_2)$, $x$ and $y\in\mI(L,L';\eta,H)$. We define $$\begin{aligned} \mM_{(p,q,x);y}(f_1,f_2,g;H,J):= \bigcup_{R> 0} \mM^R_{(p,q,x);y}(f_1,f_2,g;H,J)\end{aligned}$$ which is a manifold of dimension ${\rm d}(p,q,x;y)= \mu(x)-\mu(y)+i_{f_1}(p)+i_{f_2}(q)-2n +1$ as the preimage of $\Delta\times\Delta := \{ (x,x;y,y)|\, (x,y)\in L^2 \}\subset (L\times L)^2$ by $$\begin{aligned} {\rm Ev}\co \left\{ \hspace{-.2cm}\begin{array}{rl} \mW^u_p(f_1,g)\times \mW^u_q(f_2,g)\times \mM_{x,y}(H,J) & \ra (L\times L)^2\\ (\gamma_1,\gamma_2,u) &\mapsto (\gamma_1(0),\gamma_2(0);\gamma_1(R),u(0,0)) \end{array} \right.\end{aligned}$$ with the additional $R$ parameter.\ Its $0$–dimensional component is compact, and we define $$\begin{aligned} F(p,q,x) := \sum_{y|\,{\rm d}(p,q,x;y)=0} \#_2\mM_{(p,q,x);y}(f_1,f_2,g;H,J) \cdot y.\end{aligned}$$ Let $\mM^0_{(p,q,x);z}(f_1,f_2,g;H,J)$ be obtained from $\mM^R_{(p,q,x);z}(f_1,f_2,g;H,J)$ when $R$ converges to $0$. Notice that we get $\mM^+_{(p,q,x);z}(f_1,f_2,g;H,J)$, when $R$ converges to infinity. Hence, the boundary of the compactification of its $1$–dimensional component is the disjoint union of (see Figure \[modstr1\]) $$\begin{aligned} &\,\;\;\bigcup_{p'\in{\rm Crit}(f_1)} \;\;\mM_{p,p'}(f_1,g) \times \mM_{(p',q,x);y}(f_1,f_2,g;H,J)\label{modfloerbord1}\\ &\,\;\;\bigcup_{q'\in{\rm Crit}(f_2)} \;\;\mM_{q,q'}(f_2,g) \times \mM_{(p,q',x);y}(f_1,f_2,g;H,J)\label{modfloerbord2}\\ &\bigcup_{x'\in\mI(L,L';\eta,H)} \mM_{x,x'}(H,J) \times \mM_{(p,q,x');y}(f_1,f_2,g;H,J)\label{modfloerbord3}\\ &\bigcup_{y'\in\mI(L,L';\eta,H)} \mM_{(p,q,x);y'}(f_1,f_2,g;H,J) \times \mM_{y',y}(H,J)\label{modfloerbord4}\\ &\;\;\;\;\;\;\;\;\bigcup \; \mM^+_{(p,q,x);y}(f_1,f_2,g;H,J) \;\bigcup\; \mM^0_{(p,q,x);y}(f_1,f_2,g;H,J)\label{modfloerbord5}\end{aligned}$$ Boundaries (\[modfloerbord1\]), (\[modfloerbord2\]), (\[modfloerbord3\]) and (\[modfloerbord4\]) (appearing when $R$ converges to a strictly positive real number), stand for $\del F+ F\del$. Hence $H_*(\varphi^+) = H_*(\varphi^0)$ and the first equality in (\[module\]) holds. \[\]\[\]\[1\]<span>(\[modfloerbord1\])</span> \[\]\[\]\[1\]<span>(\[modfloerbord2\])</span> \[\]\[\]\[1\]<span>(\[modfloerbord3\])</span> \[\]\[\]\[1\]<span>(\[modfloerbord4\])</span> \[\]\[\]\[1\]<span>(\[modfloerbord5\])</span> \[\]\[\]\[1\]<span>$u$</span> \[\]\[\]\[1\]<span>$p$</span> \[\]\[\]\[1\]<span>$p'$</span> \[\]\[\]\[1\]<span>$q$</span> \[\]\[\]\[1\]<span>$q'$</span> \[\]\[\]\[1\]<span>$y$</span> \[\]\[\]\[1\]<span>$y'$</span> \[\]\[\]\[1\]<span>$x$</span> \[\]\[\]\[1\]<span>$x'$</span> \[\]\[\]\[1\]<span>$r$</span> \[\]\[\]\[1\]<span>$R$</span> \[\]\[\]\[1\]<span>$R\ra +\infty$</span> \[\]\[\]\[1\]<span>$R\ra 0$</span> \[\]\[\]\[1\]<span>$\gamma^R_1$</span> \[\]\[\]\[1\]<span>$\gamma_2$</span> ![Proof of the module structure (1)<span data-label="modstr1"></span>](figure0.1.04.ps "fig:") We construct other moduli spaces, similar to the previous ones: $$\begin{aligned} \widehat{\mM}_{(p,q,x);y}(f_1,f_2,g;H,J):= \bigcup_{S< 0} \widehat{\mM}^S_{(p,q,x);y}(f_1,f_2,g;H,J)\end{aligned}$$ where $p\in {\rm Crit}(f_1)$, $q\in {\rm Crit}(f_2)$, $x$, $y\in\mI(L,L';\eta,H)$ and $$\begin{aligned} &\widehat{\mM}^S_{(p,q,x);y}(f_1,f_2,g;H,J) := \\ & \left\{ (\gamma_1,\gamma^S_2,u)\in \mW^u_p(f_1,g)\times \mW^u_q(f_2,g)\times \mM_{x,y}(H,J) \left| \begin{array}{l} \gamma_1(0)=u(0,0) \\ \gamma^S_2(0)=u(S,0) \end{array} \right. \right\}.\end{aligned}$$ Their dimension is given by $\widehat{\rm d}(p,q,x;y)= i_{f_1}(p)+i_{f_2}(q) +\mu(x)-\mu(y)-2n+1$. By compactness, we define $$\begin{aligned} G(p,q,x) := \sum_{y|\,\widehat{\rm d}(p,q,x;y)=0} \#_2 \widehat{\mM}_{(p,q,x);y}(f_1,f_2,g;H,J) \cdot y.\end{aligned}$$ The boundary of the (compactified) $1$–dimensional part, is the disjoint union $$\begin{aligned} &\,\;\;\bigcup_{p'\in{\rm Crit}(f_1)} \;\;\mM_{p,p'}(f_1,g) \times \widehat{\mM}_{(p',q,x);y}(f_1,f_2,g;H,J)\label{modfloerbord1'}\\ &\,\;\;\bigcup_{q'\in{\rm Crit}(f_2)} \;\;\mM_{q,q'}(f_2,g) \times \widehat{\mM}_{(p,q',x);y}(f_1,f_2,g;H,J)\label{modfloerbord2'}\\ &\bigcup_{x'\in\mI(L,L';\eta,H)} \mM_{x,x'}(H,J) \times \widehat{\mM}_{(p,q,x');y}(f_1,f_2,g;H,J)\label{modfloerbord3'}\\ &\bigcup_{y'\in\mI(L,L';\eta,H)} \widehat{\mM}_{(p,q,x);y'}(f_1,f_2,g;H,J) \times \mM_{y',y}(H,J)\label{modfloerbord4'}\end{aligned}$$ when $S$ converges to a strictly negative real number, and $$\begin{aligned} & \bigcup \;\;\;\;\;\;\;\mM^-_{(p,q,x);y}(f_1,f_2,g;H,J)\label{modfloerbord5'}\\ & \bigcup \;\;\;\;\;\;\;\{ \Gamma\} \times \mM_{(p,x);y}(f_1,g;H,J)\label{modfloerbord6'}\\ & \bigcup \;\;\;\;\;\;\;\mM^0_{(p,q,x);y}(f_1,f_2,g;H,J)\label{modfloerbord7'}\end{aligned}$$ when it converges respectively to $-\infty$ (\[modfloerbord5'\]), (\[modfloerbord6'\]) and $0$ (\[modfloerbord7'\]) (see Figure \[modstr2\]). Here, $\Gamma$ denotes the unique flow line of $f_2$ (if it exists), element of the unstable manifold of $q$ and reaching $x(0)$. \[\]\[\]\[1\]<span>(\[modfloerbord1'\])</span> \[\]\[\]\[1\]<span>(\[modfloerbord2'\])</span> \[\]\[\]\[1\]<span>(\[modfloerbord3'\])</span> \[\]\[\]\[1\]<span>(\[modfloerbord4'\])</span> \[\]\[\]\[1\]<span>(\[modfloerbord5'\])</span> \[\]\[\]\[1\]<span>(\[modfloerbord6'\])</span> \[\]\[\]\[1\]<span>(\[modfloerbord7'\])</span> \[\]\[\]\[1\]<span>$p$</span> \[\]\[\]\[1\]<span>$p'$</span> \[\]\[\]\[1\]<span>$q$</span> \[\]\[\]\[1\]<span>$q'$</span> \[\]\[\]\[1\]<span>$y$</span> \[\]\[\]\[1\]<span>$y'$</span> \[\]\[\]\[1\]<span>$x$</span> \[\]\[\]\[1\]<span>$x'$</span> \[\]\[\]\[1\]<span>$z$</span> \[\]\[\]\[1\]<span>$S$</span> \[\]\[\]\[1\]<span>$S\ra -\infty$</span> \[\]\[\]\[1\]<span>$S\ra 0$</span> \[\]\[\]\[1\]<span>$\Gamma$</span> \[\]\[\]\[1\]<span>$\gamma_1$</span> \[\]\[\]\[1\]<span>$\gamma_2^S$</span> \[\]\[\]\[1\]<span>$u$</span> ![Proof of the module structure (2)<span data-label="modstr2"></span>](figure0.1.05.ps "fig:") Boundaries (\[modfloerbord1'\]), (\[modfloerbord2'\]), (\[modfloerbord3'\]) et (\[modfloerbord4'\]) stand for $\del G+ G\del$. If $q=m$, the maximum of $f_2$, (\[rema:max\]) allows us to conclude. Otherwise the unstable manifold of $q$ has codimension at least $1$. Hence, up to generic choices, the boundary (\[modfloerbord6'\]) does not appear and $H_*(\varphi^0) = H_*(\varphi^-)$. The second equality of (\[module\]) holds. <span>*1.*</span> With standard methods, one can show that this construction does not depend on $f_1$, $f_2$, $g$, $H$ and $J$.\ <span>*2.*</span> It is well-known that semi-pairs of pants provide a product on Lagrangian Floer homology which gives an alternate definition of the same module structure: $$\begin{aligned} \xymatrix{ HM_*(L)\otimes HF_*(L,L) \ar[r]^{\hspace{-.2cm}\phi_f^H\otimes \,\operatorname{id}} \ar[rd]_{\ast} & HF_*(L,L)\otimes HF_*(L,L) \ar[d]^{\rm Semi-PP} \\ & HF_*(L,L) }\end{aligned}$$ However, semi-pairs of pants require distinct Hamiltonian perturbations at their ends. Thus the naturality morphism is not a priori compatible with the moduli spaces appearing in this description. Naturality and Lagrangian PSS as morphisms of modules {#sec:independance} ----------------------------------------------------- In this section we prove that these two isomorphisms preserve the algebraic structures described above. More precisely, we prove the following lemma. For every $\alpha$ in $HM_*(L)$ and every $b$ in $HF_*(L,L')$, it holds $$\begin{aligned} \label{mod0} b_{H}(\alpha\ast b)= \alpha\ast b_{H}(b).\end{aligned}$$ For every $\alpha$ and $\beta$ in $HM_*(L)$, it holds $$\begin{aligned} \label{mod} \phi_f^{H}(\alpha\cdot\beta)= \alpha\ast \phi_f^{H}(\beta).\end{aligned}$$ ### Naturality isomorphism Recall that, by naturality ($b_H^{-1}$) - to $y$ and $z\in\mI(L,L';\eta,H)$, uniquely correspond $y'$ and $z'\in\mI(L,L'';\widetilde{\eta},0)$, - to $u\in \mM_{y,z}(L,L';H,J)$ uniquely corresponds $u'\in \mM_{y',z'}(L,L'';0,\widetilde{J})$. Moreover $u'(0,0)=(\phi^0_H)^{-1}(u(0,0))=u(0,0)$. Hence we can deduce that $b_H^{-1}$ induces a one-to-one correspondence between moduli spaces (\[modpdt\]) and transports the $HM_*(L)$–module structure of $HF_*(L,L';H,J)$, on the one of $HF_*(L,L'';0,\widetilde{J})$. Therefore (\[mod0\]) is proved and $b_H$ is an isomorphism of $HM_*(L)$–modules. ### Lagrangian PSS isomorphism The proof of (\[mod\]) is <span>*formally*</span> the same as the one of Lemma \[floermodule\]. We choose two Morse functions $f_1$, $f_2$, a metric $g$ and a pair $(H,J)$ satisfying the same regularity conditions. First, note that the relation holds at the chain level if $\alpha$ is represented by the maximum $m$ of $f_1$.\ Now, $\mM_{(p,q);y}^R(f_1,f_2,g;H,J)$ is defined as the set $$\begin{gathered} %\mM_{(p,q);y}^R(f_1,f_2,g;L,H,J) :=\\ \left\{ (\gamma_1,\gamma_2^R,u) \in \mW^u_p(f_1,g)\times \mW^u_q(f_2,g) \times \mM_y^H (J) \left| \begin{array}{l} \gamma_1(0)=\gamma_2^R(0) \\ \gamma_2^R(R)=u(-\infty,-) \end{array} \right. \right\}.\end{gathered}$$ We recall that $\mM_y^H (J)$ is a moduli space used in the definition of the PSS isomorphism (see §\[subsec:pss\] and Figure \[strucpreserv1\]). The space $\mM^{0}_{(p,q);y}(f_1,f_2,g;H,J)$ is obtained by putting $R=0$ in the previous definition and $$\begin{aligned} \mM^{+}_{(p,q);y}(f_1,f_2,g;H,J):=\bigcup_{r\in{\rm Crit}(f_1)} \;\mM_{(p,q);r}(f_1,f_2,f_2;g) \times \mM^{f_2,H}_{r,y}.\end{aligned}$$ Boundaries are now (see Figure \[strucpreserv1\]): $$\begin{aligned} &\;\;\,\bigcup_{p'\in{\rm Crit}(f_1)} \;\;\mM_{p,p'}(f_1,g) \times \mM_{(p',q);y}(f_1,f_2,g;H,J)\label{modpssbord1}\\ &\;\;\,\bigcup_{q'\in{\rm Crit}(f_2)} \;\;\mM_{q,q'}(f_2,g) \times \mM_{(p,q');y}(f_1,f_2,g;H,J)\label{modpssbord2}\\ &\bigcup_{y'\in\mI(L,L';\eta,H)} \mM_{(p,q);y'}(f_1,f_2,g;H,J) \times \mM_{y',y}(H,J)\label{modpssbord3}\\ &\;\;\;\;\;\;\;\;\bigcup \;\;\;\;\;\;\;\mM^+_{(p,q);y}(f_1,f_2,g;H,J)\label{modpssbord4}\\ &\;\;\;\;\;\;\;\;\bigcup \;\;\;\;\;\;\;\mM^0_{(p,q);y}(f_1,f_2,g;H,J)\label{modpssbord5}\end{aligned}$$ Boundaries (\[modpssbord1\]), (\[modpssbord2\]), and (\[modpssbord3\]) appear when $R$ converges to a stricly positive real number and stand for $\del F+ F\del$, whereas (\[modpssbord4\]) and respectively (\[modpssbord5\]) appear when it converges to infinity and $0$. That shows $H_*(\varphi^+) = H_*(\varphi^0)$.\ \[\]\[\]\[1\]<span>(\[modpssbord1\])</span> \[\]\[\]\[1\]<span>(\[modpssbord2\])</span> \[\]\[\]\[1\]<span>(\[modpssbord3\])</span> \[\]\[\]\[1\]<span>(\[modpssbord4\])</span> \[\]\[\]\[1\]<span>(\[modpssbord5\])</span> \[\]\[\]\[1\]<span>$p$</span> \[\]\[\]\[1\]<span>$q$</span> \[\]\[\]\[1\]<span>$y$</span> \[\]\[\]\[1\]<span>$r$</span> \[\]\[\]\[1\]<span>$R$</span> \[\]\[\]\[1\]<span>$R\ra +\infty$</span> \[\]\[\]\[1\]<span>$R\ra 0$</span> ![Proof of structure preservation by the PSS morphism (1)<span data-label="strucpreserv1"></span>](figure0.2.04.ps "fig:") The set $\widehat{\mM}^S_{(p,q);y}(f_1,f_2,g;H,J)$ is defined as $$\begin{gathered} %\widehat{\mM}^S_{(p,q);y}(f_1,f_2,g;L,H,J):= \\ \left\{ (\gamma_1^S,\gamma_2,u)\in \mW^u_p(f_1,g)\times \mW^u_q(f_2,g)\times \mM_y^H (J) \left| \begin{array}{l} \gamma_1^S(0)=u(S,0) \\ \gamma_2(0)=u(-\infty,-) \end{array} \right. \right\}\end{gathered}$$ and $\mM^{-}_{(p,q);y}(f_1,f_2,g;H,J):= \bigcup_{x\in\mI(L,L';\eta,H)} \,\mM_{q,x}^{f_2,H} \times \mM_{(p,x);y}(f_1,g;H,J)$. Notice that $\mM^{0}_{(p,q);y}(f_1,f_2,g;H,J)$ is now viewed as the limit of $\widehat{\mM}^S_{(p,q);y}(f_1,f_2,g;H,J)$ when $S$ converges to $-\infty$. When $S$ converges to a real number, one gets (see Figure \[strucpreserv2\]) $$\begin{aligned} &\;\;\bigcup_{p'\in{\rm Crit}(f_1)} \;\;\mM_{p,p'}(f_1,g) \times \widehat{\mM}_{(p',q);y}(f_1,f_2,g;H,J)\label{modpssbord1'}\\ &\;\;\bigcup_{q'\in{\rm Crit}(f_2)} \;\;\mM_{q,q'}(f_2,g) \times \widehat{\mM}_{(p,q');y}(f_1,f_2,g;H,J)\label{modpssbord2'}\\ &\bigcup_{x\in\mI(L,L';\eta,H)} \,\widehat{\mM}_{(p,q);x}(f_1,f_2,g;H,J) \times \mM_{x,y}(H,J)\label{modpssbord3'}\end{aligned}$$ which stand for $\del G+ G\del$. Otherwise, one gets $$\begin{aligned} &\bigcup \;\;\;\;\;\;\;\mM^{-}_{(p,q);y}(f_1,f_2,g;H,J)\label{modpssbord4'}\\ &\bigcup \;\;\;\;\;\;\;\{ \Gamma\} \times \mM_{q,y}^{f_2,H}\label{modpssbord5'}\\ &\bigcup \;\;\;\;\;\;\;\mM^0_{(p,q);y}(f_1,f_2,g;H,J)\label{modpssbord6'}\end{aligned}$$ $S$ converging to $+\infty$ (\[modpssbord4'\]), (\[modpssbord5'\]) and to $-\infty$ (\[modpssbord6'\]). Up to generic choices, $\Gamma$ (that is the unique flow line of $f_1$, element of the unstable manifold of $p$ reaching $y(0)$) does not exist. Hence (\[modpssbord5'\]) does not appear and (\[mod\]) is proved. \[\]\[\]\[1\]<span>(\[modpssbord1'\])</span> \[\]\[\]\[1\]<span>(\[modpssbord2'\])</span> \[\]\[\]\[1\]<span>(\[modpssbord3'\])</span> \[\]\[\]\[1\]<span>(\[modpssbord4'\])</span> \[\]\[\]\[1\]<span>(\[modpssbord5'\])</span> \[\]\[\]\[1\]<span>(\[modpssbord6'\])</span> \[\]\[\]\[1\]<span>$p$</span> \[\]\[\]\[1\]<span>$q$</span> \[\]\[\]\[1\]<span>$y$</span> \[\]\[\]\[1\]<span>$x$</span> \[\]\[\]\[1\]<span>$S$</span> \[\]\[\]\[1\]<span>$S\ra +\infty$</span> \[\]\[\]\[1\]<span>$S\ra -\infty$</span> \[\]\[\]\[1\]<span>$\Gamma$</span> ![Proof of structure preservation by the PSS morphism (2)<span data-label="strucpreserv2"></span>](figure0.2.05.ps "fig:") ### Proof of Proposition \[prop:commut\] Recall that we have to show that $$\begin{aligned} \xymatrix{\relax HM_*(L;f,g) \ar[d]_{\phi_f^{H'}}\ar[r]^{\hspace{-.3cm}\phi_f^{H}} & HF_*(L,L;H,J) \ar[d]^{b_H^{-1}}\\ HF_*(L,L;H',J') \ar[r]_{b_{H'}^{-1}} & HF_*(L,L_0;0,\widetilde{J}) }\end{aligned}$$ is commutative, as soon as $\phi_H^*J=\phi_{H'}^*J'=:\widetilde{J}$ and $(\phi_H^1)^{-1}(L)=(\phi^1_{H'})^{-1}(L)=:L_0$. \[Proof of Proposition \[prop:commut\]\] For such two pairs $(H,J)$ and $(H',J')$, we define $$\begin{aligned} \Phi := (\phi^{H'}_f)^{-1} \circ b_{H'} \circ b_H^{-1} \circ \phi_f^H \co HM_*(L)\longrightarrow HM_*(L)\end{aligned}$$ which is an isomorphism. Since $[L]$ generates $HM_n(L)$, $\Phi([L])= [L]$ (due to $\bZ_2$ coefficients, signs are arbitrary). Moreover, $[L]$ is the unit of the <span>*ring*</span> $(HM_*(L),\cdot)$ and $\Phi$ preserves the <span>*module*</span> structure of $HM_*(L)$. Hence we have $$\begin{aligned} \Phi(a) &=\Phi(a\cdot [L]) = a\cdot \Phi([L]) =a\cdot [L] =a.\end{aligned}$$ Therefore, $\Phi$ is the identity and the proposition is proved. \[remarque:reference action et maslov diagramme commutativif\] <span>*1.*</span> The PSS morphism does not require any particular choice of the action reference $\eta$. On the other hand, our choices have to be consistent with the naturality morphism. Hence we choose an element $\eta_0\in L\cap L_0$ and we put $\eta := b_H(\eta_0)$ and $\eta' := b_{H'}(\eta_0)$ as action references for $HF(L,L;H,J)$ and $HF(L,L;H',J')$. <span>*2.*</span> The PSS morphism requires a particular choice of references for the Maslov index, $z_0\in \mI(L,L;\eta,H)$ and $z'_0\in \mI(L,L;\eta',H')$. If we denote by $\widetilde{z}_0$ and $\widetilde{z}'_0$ the elements of $\mI(L,L_0;\eta_0,0)$ such that $b_{H}(\widetilde{z}_0)=z_0$ and $b_{H'}(\widetilde{z}'_0)=z'_0$, $\Phi$ is more precisely a map from $HM_*(L)$ to $HM_{*+\delta}(L)$ where $\delta:=\mu(\widetilde{z}_0,\widetilde{z}'_0)$. But $\Phi$ is injective and thus $\Phi([L])$ and $\Phi(1)$ have to be non zero. Hence $\delta=0$ and $\Phi$ preserves the grading. End of the proof of Theorem \[theo:independ\] {#sec:continuity} --------------------------------------------- We first give a standard result (Lemma \[lemm:estime\] below) used in the Hamiltonian case by Schwarz @Schwarz00. We recall that a time-dependent Hamiltonian function $H$ is said to be normalized if it satisfies $$\begin{aligned} \forall t\in I, \;\; \int_M H(t,-)\,\omega^n=0\end{aligned}$$ if $M$ is compact, or if it has compact support otherwise. The quantities $$\begin{aligned} % \label{e+e-} E_-(H):=\int_I \min_M H \,dt \;\;{\rm and}\;\; E_+(H):=\int_I \max_M H \,dt\end{aligned}$$ give rise to Hofer's norm on the set of normalized Hamiltonian functions and Hofer's distance on the set of Lagrangian submanifolds Hamiltonian isotopic to a fixed one: $$\begin{aligned} % \label{hofer} \| H \|:= E_+(H) - E_-(H) \;\;{\rm and}\;\; \nabla(L,L'):= \inf \{ \| H \| |\, H\;{\rm satisfies}\; \phi^1_H(L) =L' \}.\end{aligned}$$ We will need the following lemma, in order to complete the proof of Theorem \[theo:independ\]. \[lemm:estime\] For regular pairs $(H,J)$, $(H',J')$ and $0\neq\alpha\in H_*(L)$, we have $$\begin{aligned} \label{estime1} E_-(H'-H) + \alpha_{\eta,\eta'} \leq \sigma_L(\alpha;H',J',\eta') - \sigma_L(\alpha;H,J,\eta) \leq E_+(H'-H) + \alpha_{\eta,\eta'},\end{aligned}$$ where $\alpha_{\eta,\eta'}=\int u^* \omega$ for any map $u\co I\times I\ra M$ such that $u(I,\{ 0,1 \})\subset L$, $u(0,-)=\eta$ and $u(1,-)=\eta'$. Moreover, the following inequality holds $$\begin{aligned} \label{estime} |c_L(\alpha;H',J') - c_L(\alpha;H,J)| \leq \|H'-H \|.\end{aligned}$$ For clarity, its proof will be given at the end of this section (§\[subsec:lemm\]). In the next two paragraphs, we combine Proposition \[prop:commut\] and Lemma \[lemm:estime\] to prove the invariance part (§\[subsec:inv\]) and the continuity part (§\[subsec:cont\]) of Theorem \[theo:independ\]. ### Proof of the invariance part of Theorem \[theo:independ\] {#subsec:inv} Since the naturality morphism preserves the action for our choices of references (see Remark \[remarque:reference action et maslov diagramme commutativif\]), Proposition \[prop:commut\] implies $$\begin{aligned} \sigma_L(-;H,J,\eta) &= \widetilde{\sigma}_{L,L_0}(b_H^{-1} \circ \phi^H_f(-);0,\widetilde{J},\eta_0)\\ &= \widetilde{\sigma}_{L,L_0}(b_{H'}^{-1} \circ \phi^{H'}_f(-);0,\widetilde{J},\eta_0) = \sigma_L(-;H',J',\eta')\end{aligned}$$ whenever $\phi_H^*J=\phi_{H'}^*J'=:\widetilde{J}$ and $(\phi_H^1)^{-1}(L)=(\phi^1_{H'})^{-1}(L)=:L_0$. Moreover, as an obvious corollary of Lemma \[lemm:estime\], putting $H=H'$ and $\eta=\eta'$ in (\[estime1\]), we get that the homological Lagrangian spectral numbers (relative and absolute versions) do not depend on the almost complex structure. Hence their absolute version only depend on $L$ and $L_0$. We put $$\begin{aligned} % \label{si:fin} c(-;L,L_0):= c_L(-;H,J)= \sigma_L(-;H,J,\eta) - \sigma_L(1;H,J,\eta)\end{aligned}$$ for any Hamiltonian function $H$ such that $\phi_H^1(L_0)=L$. Notice that, as mentioned by McDuff and Salamon @McDuffSalamon04, this method can be used in the Hamiltonian case. Indeed, in that case, the module structure is known (introduced by Floer @Floer89 and studied by Le and Ono @LeOno96), and the naturality morphism is a particular case of isomorphisms described by Seidel @Seidel97. ### Proof of the continuity part of Theorem \[theo:independ\] {#subsec:cont} This property is a corollary of Lemma \[lemm:estime\]. Let $L$, $L_0$ and $L_1$ be Hamiltonian isotopic Lagrangian submanifolds of $M$. We have, for any homology class of $L$, $\alpha\neq 0$: $$\begin{aligned} \label{cont} | c(\alpha;L,L_0) - c(\alpha;L,L_1) | & \leq\nabla (L_0,L_1)\end{aligned}$$ which in particular implies that $c(\alpha;L,-)$ is continuous on the set of the Lagrangian submanifolds Hamiltonian isotopic to $L$, with respect to Hofer's distance. Indeed, let $G$ and $H$ be normalized Hamiltonian functions such that $\phi^1_{G}(L_1)=L_0$ and $\phi^1_H(L_0)=L$. Then the Hamiltonian diffeomorphism $\psi:= \phi^1_H \circ \phi^1_G$ satisfies $\psi^{-1}(L)=L_1$. Moreover it is the end of the Hamiltonian isotopy induced by: $$\begin{aligned} H'_t := H_t + G_t \circ (\phi^t_H)^{-1}.\end{aligned}$$ Since $\phi_H^t$ is a symplectomorphism, Lemma \[lemm:estime\] implies that: $$\begin{aligned} | c(\alpha;L,L_0) - c(\alpha;L,L_1) | & \leq \| H- H'\| = \| G \circ (\phi_H)^{-1} \| = \| G \|.\end{aligned}$$ As the left side does not depend on $G$ (as long as $\phi^1_{G}(L_1)=L_0$), we get (\[cont\]). ### Proof of Lemma \[lemm:estime\] {#subsec:lemm} It remains to prove this lemma in order to end the proof of Theorem \[theo:independ\] Let $(H,J)$ and $(H',J')$ be two regular pairs. We consider the classical comparison morphism induced by the homotopy $\widetilde{G}_s:=H + \beta(s)(H'-H)$, where $\beta$ is a smooth, increasing function whose value is $0$ for $s<-1$ and $1$ for $s>1$. If $\psi^{H,H'}(x)=\sum_{y} a_{y}\cdot y$ with $a_y\neq 0$ for an element $x\in \mI(L,L;\eta,H)$ then there exists a Floer trajectory $u$ connecting $x$ and $y$. Its energy is easily seen to satisfy $$\begin{aligned} \int_{{\Bbb R}\times I} \| \del_s u\|^2 = \mA_H(x) - \mA_{H'}(y) + \int_{{\Bbb R}} \beta'(s) \left( \int_I (H_t'-H_t)\circ u(s,t)\, dt\right) ds + \alpha_{\eta,\eta'}\end{aligned}$$ and hence $$\begin{aligned} \label{estcomp} \mA_{H'}(y)\leq \mA_H(x) + E_+(H'-H) + \alpha_{\eta,\eta'}.\end{aligned}$$ Therefore for any non zero element $x$ in $HF_*(L,L;H,J)$ we get $$\begin{aligned} \widetilde{\sigma}_{L,L}(\psi^{H,H'}(x);H',J',\eta') \leq \widetilde{\sigma}_{L,L}(x;H,J,\eta) + E_+(H'-H) + \alpha_{\eta,\eta'}.\end{aligned}$$ Lemma \[lemm:PSScomparaison\] implies that $\phi^{H'}_f = \psi^{H,H'}\circ \phi^H_f$. Thus for $\alpha\neq 0$ in $HM_*(L)$, we obtain $$\begin{aligned} \widetilde{\sigma}_{L,L}(\phi_f^{H'}(\alpha);H',J',\eta') &= \widetilde{\sigma}_{L,L}(\psi^{H,H'}\circ \phi^H_f(\alpha);H',J',\eta') \\ & \leq \widetilde{\sigma}_{L,L}(\phi^H_f(\alpha);H,J,\eta) + E_+(H'-H) + \alpha_{\eta,\eta'}.\end{aligned}$$ Hence we have $\sigma_L(\alpha;H',J',\eta') \leq \sigma_L(\alpha;H,J,\eta) +E_+(H'-H) +\alpha_{\eta,\eta'}$. Inverting $H$ and $H'$, $\eta$ and $\eta'$ and using the equalities $E_+(-K)=-E_-(K)$ and $\alpha_{\eta,\eta'}=-\alpha_{\eta',\eta}$ give (\[estime1\]). Writing (\[estime1\]) for $\alpha=1$ and subtracting it to (\[estime1\]) give (\[estime\]). Recovering Hamiltonian spectral invariants {#sec:classical} ------------------------------------------ We show here that the Hamiltonian spectral invariants can be viewed as particular Lagrangian ones. In order to do so, we prove equality (\[prop:generalisation\]) which states that they coincide via the Biran–Polterovich–Salamon isomorphism @BiranPolterovichSalamon03. We first recall the construction of this morphism which compares the Hamiltonian Floer homology of a symplectic manifold $(M,\omega)$ and the Lagrangian Floer homology of $(\underline{M}, \underline{\omega}):=(M\times M,\omega\oplus (-\omega))$ with respect to its Lagrangian submanifold $\Delta:= \{ (x,x) \in M\times M \,|\; x\in M\}$.\ Let $(H,J)$ be a regular pair on $(M,\omega)$. We define $\underline{H}$ and $\underline{J}$ on $\underline{M}$ by $$\begin{aligned} &\underline{H}_t(x_1;x_2) := H_t(x_1) + H_{1-t}(x_2)\;\;{\rm and}\\ &\underline{J}_t := (\underline{\phi^t})^*(J_t\times -J_{1-t})= ((\phi_H^t)^* J_t \times -(\phi^{1-t}_H\circ (\phi^1_H)^{-1})^* J_{1-t})\end{aligned}$$ with $t\in [0, 1/2]$. In order to shorten notation, we denote Hamiltonian vector fields and flows by $X_t$ and $\phi^t$. Those induced by $\underline{H}$ are given by $$\begin{aligned} \underline{X}_t(x_1,x_2) &= (X_t(x_1),-X_{1-t}(x_2)),\\ \underline{\phi}^t(x_1,x_2) &= (\phi^t(x_1),\phi^{1-t}\circ (\phi^1)^{-1}(x_2)).\end{aligned}$$ Since $\phi^1$ is a symplectomorphism, its graph, denoted by $\Gamma_{\phi^1}$, is a Lagrangian submanifold of $M\times M$. The generators of the Floer complex of $(M,\omega)$, $\mP^0(H)$, and of the Lagrangian Floer complex of $(\underline{M},\underline{\omega})$, with respect to $\Delta$ and $\Gamma_{\phi^1}$, are identified by the bijection $$\begin{aligned} \mP^0(H) \ni [ x(t)\co t\mapsto \phi^t(x(0)) ] \leftrightarrow \underline{x}:=(x(0),x(0)) \in \Delta\cap \Gamma_{\phi^1}.\end{aligned}$$ Moreover, the transversality conditions required in the Lagrangian case ($\Delta\cap\Gamma_{\phi^1}$ is transverse) and in the Hamiltonian case ($\det (d\phi^1 - {\rm id})\neq 0$) are equivalent. To $u\co\bR\times S^1\ra M$, let us associate $\underline{u}\co\bR\times [0,1/2]\ra \underline{M}$, defined by $$\begin{aligned} \underline{u}(s,t):= (\underline{\phi^t})^{-1}(u(s,t),u(s,1-t))=((\phi^t)^{-1}(u(s,t)), \phi^1\circ(\phi^{1-t})^{-1}(u(s,1-t))).\end{aligned}$$ Notice that we have $\underline{u}(s,0)\in \Delta$ and $\underline{u}(s,1/2) \in \Gamma_{\phi^1}$. Projecting the relation $\del_s \underline{u} +\underline{J}\del_t \underline{u} =0$ gives the following equivalences: $$\begin{aligned} \del_s u +J\del_t u +\nabla H_t(u)=0 &\;\;\;\mbox{iff}\;\;\; \del_s \underline{u} +\underline{J}\del_t \underline{u} =0, \\ u(\pm \infty,t)=x^\pm (t),\; E(u)<\infty &\;\;\;\mbox{iff}\;\;\; \underline{u}(\pm \infty,t)=\underline{x}^\pm,\; E(\underline{u})<\infty.\end{aligned}$$ Since $\del_s \underline{u} (s,t) = d\underline{\phi}^t (\del_s u(s,t), \del_s u(s,1-t))$, the energy is preserved, in the sense that $E(\underline{u})= E(u)$. Via (\[actionenergie\]), the action is preserved up to an additive constant. Hence we get an identification between the two chain complexes: $$\begin{aligned} (CF_*(M,\omega;H,J),\del) \simeq (CF_*(\underline{M},\underline{\omega};\Delta,\Gamma_{\phi^1};0,\underline{J}),\underline{\del})\end{aligned}$$ which induces the desired isomorphism in homology.\ Let $(f,g)$ be a Morse–Smale pair on $M$. The pair $(\underline{f},\underline{g})$, defined on $\Delta\subset M\times M$ by $\underline{f}(x,x):=f(x)$ and $\underline{g}_{(x,x)}((v,v),(w,w)):=g_{x}(v,w)$, is Morse–Smale. Since the critical points of $f$ and its flow lines with respect to $g$ are identified with
{'source': 'arXiv_out/math0612325_extract_InvSpec-v2'}