Abstract
We apply the barcodes of persistent homology theory to the c Chekanov–Eliashberg algebra of a Legendrian submanifold to deduce displacement energy bounds for arbitrary Legendrians. We do not require the full Chekanov–Eliashberg algebra to admit an augmentation as we linearize the algebra only below a certain action level. As an application we show that it is not possible to \(C^0\)approximate a stabilized Legendrian by a Legendrian that admits an augmentation.
1 Introduction
The (Lagrangian) Arnold conjecture states that the number of intersection points of a Lagrangian submanifold with its Hamiltonian image is bounded below by the sum of the Lagrangian’s Betti numbers. Floer developed Lagrangian Floer theory to prove this bound in certain cases [16], but the bound does not always hold. Chekanov, using Hofer’s norm [20] for the Hamiltonian isotopy, measured how “long” this bound persists by measuring how long Floer theory remains valid: how long \(d^2=0\) holds, and how long the Floer theory remains invariant [5]. Lagrangian Floer theory also provides a similar temporary lower bound on the number of Reeb chords between a Legendrian and its contact Hamiltonian image [7].
In this article, we study the persistence of Reeb chords between a Legendrian submanifold \(\Lambda \subset (Y,\ker \alpha )\) of a contact manifold and its image under a contact isotopy. We replace Floer theory with the linearized Chekanov–Eliashberg algebra \({\mathcal {A}}(\Lambda )\) (also called the Legendrian contact DGA) induced by a choice of augmentation. We again measure things in terms of the Hofer norm of the contact Hamiltonian isotopy. In addition to measuring how long a certain linearized Chekanov–Eliashberg homology theory remains welldefined, we also measure how much of it persists.
We require that \({\mathcal {A}}(\Lambda )\) be rigorously welldefined, that the “handleslide and birth/death bifurcationanalysis” (Sect. 3.2) proof of invariance holds, and (for Theorem 1.1) that there is a certain correspondence of Jholomorphic disks (Proposition 3.6). As of this writing, these requirements restrict our ambient contact manifold to be \((Y, \xi ) = (P \times {\mathbb {R}}_z, \ker {\alpha })\). Here \((P, d\lambda )\) is an exact symplectic manifold tame at infinity (Gromov compactness holds), and the contact 1form, which determines the Reeb flow, must be of the type \(\alpha _{{\text {std}}} :=dz + \lambda \) [12]. Note that this includes onejet spaces endowed with the canonical contact form.
1.1 Background
A Reeb chord on a Legendrian submanifold is a nontrivial integral curve of the Reeb vector field \(R_\alpha \in \Gamma (TY)\) defined by \(\iota _{R_\alpha }\alpha =1\) and \(\iota _{R_\alpha }d\alpha =0\). We are interested in estimating the number of Reeb chords from a given Legendrian \(\Lambda \) to its image under a contact isotopy. If there are no such Reeb chords, we say that the contact isotopy displaces \(\Lambda \). Of course this notion depends on the choice of contact form.
The set of \(\alpha \)Reeb chords of \(\Lambda \) canonically generates \({\mathcal {A}}(\Lambda )\) as a free noncommutative algebra. The grading is a certain Maslov index. The differential \(\partial \) counts Jholomorphic disks in the symplectization \(({\mathbb {R}}_t \times Y, d(e^t \alpha ))\) with Lagrangian boundary condition \({\mathbb {R}}_t \times \Lambda \). The homotopytype of the DGA is invariant under Legendrian isotopy, which is a smooth isotopy of Legendrian submanifolds. We often notationally suppress the grading, the differential \(\partial \), the dependence on J and \(\alpha \). See [12] and references therein for definitions.
Each Reeb chord c has a length (also called action) \( \ell (c) := \int _c \alpha \). For \(0 < l \le \infty \), let \({\mathcal {A}}^l(\Lambda )\) be the unital subalgebra generated by those generators with length bounded from above by l. The action preserving properties of the differential of the Chekanov–Eliashberg algebra implies that \({\mathcal {A}}^l(\Lambda ) \subset {\mathcal {A}}(\Lambda )\) is a unital subDGA. To that end, recall that the differential applied to a generator c consists of a sum of words of generators whose lengths all are strictly less than the length of c, as follows from an elementary application of Stokes’ theorem.
An augmentation for the DGA \({\mathcal {A}}\), \(\varepsilon : ({\mathcal {A}}, \partial ) \rightarrow ({\mathbf {k}},\partial _{\mathbf {k}}:= 0)\), is a (graded) DGAmorphism to the ground field \({\mathbf {k}}\) viewed as a DGA. We will want to choose l such that \({\mathcal {A}}^l(\Lambda )\) has an augmentation; since \({\mathcal {A}}^l={\mathbf {k}}\) for \(l>0\) sufficiently small, this is always possible. If \(\Lambda \) is loose in the sense of Murphy [23] and c is the Reeb chord in a standard representative of the loose chart then there are a number of standard Legendrian contact homology arguments which show, up to unit, \(\partial (c)=1\). The contradiction
means that we cannot choose \(l\ge \ell (c)\).
Henceforth assume all Legendrians are compact and all isotopies are compactly supported. The oscillation of a contact Hamiltonian \(H_t:Y \times {\mathbb {R}}_t \rightarrow {\mathbb {R}}\)
is the key ingredient in the Hofer norm of the corresponding contact Hamiltonian isotopy \(\phi ^t_{\alpha ,H_t}\) (which is defined by \( H_t(\phi ^t_{\alpha ,H_t}(x)) = \alpha \left( \frac{d}{dt}\phi ^t_{\alpha ,H_t}(x)\right) \)). Contact isotopies are generated by uniquelydefined contact Hamiltonians, that depend only on the choice of contact form; we thus sometimes say the oscillation of a contact isotopy when we mean the oscillation of the corresponding generating contact Hamiltonian. This article focuses on contact isotopies acting on Legendrian submanifolds. These are Legendrian isotopies. For a Legendrian isotopy \(\varphi ^t :\Lambda \hookrightarrow Y\) we can consider the induced family of smooth functions
that we identify with a family of functions \(h_t :\varphi ^t(\Lambda ) \rightarrow {\mathbb {R}}\) defined on the subsets \(\varphi ^t(\Lambda ) \subset Y\). Define the oscillation of a Legendrian isotopy to be
The perspectives between Legendrian isotopies \(\varphi ^t\) and ambient contact isotopies \(\phi ^t_{\alpha ,H_t}\) can be switched. By a smooth restriction of \(H_t\) to \(\Lambda \) and smooth extension of \(h_t\) to \(P \times {\mathbb {R}}\) we obtain a bijective correspondence
The smooth extension can be chosen arbitrarily, and two different such extensions only results in different parametrizations of the Legendrian isotopy. Conversely, changing the Legendrian isotopy \(\varphi ^t\) by the precomposition \(\varphi ^t \circ \psi ^t\) of a smooth isotopy \(\psi ^t :\Lambda \rightarrow \Lambda \) leaves \(h_t\) unchanged. See e.g. the proof of [19, Theorem 2.6.2]. Furthermore, in the case when \(h_t\) is indefinite, i.e. \(h_t^{1}(0) \ne \emptyset \), there exists a smooth extension to a globally defined compactly supported contact Hamiltonian \(H_t\) such that \(\Vert H_t\Vert ^Y_{{\text {osc}}} = \Vert h_t\Vert ^\Lambda _{{\text {osc}}}\). Indeed, we can extend \(h_t\) to \(H_t\) by first making it constant in each fiber of the normal bundle of the Legendrian, and then cutting off this local extension by the multiplication with a suitable smooth cutoff function.
By using [7, Lemma 2.3] we may replace \(h_t\) by a contact Hamiltonian that is indefinite without changing its oscillatory norm. This changes the isotopy by a translation of the zcoordinate, which is irrelevant for the displaceability questions that we study here.
Henceforth, we abandon these distinctions and refer to the oscillation, using the compromise notation of \(\Vert H_t\Vert _{{\text {osc}}}\).
1.2 Results
Fix \(1 \le k \le n = \dim \Lambda \). Given a Reeb chord c, let \({\mathcal {M}}^{k}(c)\) denote the formaldimension k moduli spaces of Jholomorphic disks \((D, \partial D) \rightarrow (Y \times {\mathbb {R}}, \Lambda \times {\mathbb {R}})\), with one positive boundary puncture at c and \(m \ge 0\) negative boundary punctures for a cylindrical almost complex structure J. [For \(k=1\) these are exactly the moduli spaces used to define \(\partial (c)\) in \({\mathcal {A}}(\Lambda )\) [12].] Let
Let \({\sigma }_k :=\min \{{\tilde{\sigma }}_k, {\tilde{\sigma }}_{nk}\}\) for \(1 \le k \le n1\) and let \({\sigma }_k :={\tilde{\sigma }}_n\) for \(k=0,n\). Note that \(\sigma _k=\sigma _{nk}\). Let \(\{ \iota _0, \iota _1, \ldots , \iota _n\}\) denote an ordering such that \(\sigma _{\iota _i} \ge \sigma _{\iota _{i+1}}\).
Theorem 1.1
Suppose that \({\mathcal {A}}^l(\Lambda )\) with \(0 < l \le \infty \) admits an augmentation into the field \({\mathbf {k}}\). For any compactly supported contact Hamiltonian \(H_t :P \times {\mathbb {R}}\rightarrow {\mathbb {R}}\), suppose that the inequality
is satisfied for some \(i \in \{0,\ldots ,n\}\), and that \(\phi ^1_{{\alpha _{{\text {std}}}},H_t}(\Lambda )\) is transverse to the Reeb flow applied to \(\Lambda \). Then there exists at least a number
of Reeb chords with one endpoint on \(\Lambda \), one endpoint on \(\phi ^1_{\alpha ,H_t}(\Lambda )\). Furthermore, these Reeb chords are all of length less than \(\Vert H_t\Vert _{{\text {osc}}}\).
Remark 1.2
If \(\Lambda \) is spin and orientable, we can define the Chekanov–Eliashberg algebra with \({\mathbb {Q}}\) or \({\mathbb {Z}}_p\)coefficients for p prime [11]. Our arguments work for these fields, so we can set \({\mathbf {k}}\) to equal \({\mathbb {Q}}\) or \({\mathbb {Z}}_p\) in the above bound. Without this assumption on \(\Lambda \), we set \({\mathbf {k}}\) equal to \({\mathbb {Z}}_2\).
Remark 1.3
Fix a generic choice of points \({\text {pt}}_i \in \Lambda \) disjoint from the Reeb chords, one for each connected component of \(\Lambda \). If we wish to, for the definition of \({\tilde{\sigma }}_n\), we can impose the additional requirement that some disk in \({\mathcal {M}}^{n}(c)\) must have its boundary pass through the union of rays \({\mathbb {R}}\times \{{\text {pt}}_1,\ldots ,{\text {pt}}_{\pi _0(\Lambda )}\}\).
Recall the standard Legendrian sphere in \({\mathbb {R}}^{2n+1}\) whose front projection in \({\mathbb {R}}^{n+1}_{x_1, \ldots , x_n,z}\) has an O(n)symmetry in the \(x_i\)directions. It has one Reeb chord c along the zaxis of Legendrian Contact Homology index n and its ThurstonBennequin invariant is \(\mathtt {tb}=(1)^{(n^2+n+1)/2}\). The front when \(n=2\) is depicted in Fig. 1. See [9, Section 4.3] for a review of these concepts. When \(\ell (c) = a\) we denote this sphere by \(\Lambda _{{\text {St}}}(a)\).
Example 1.4
For the standard Legendrian ndimensional sphere \(\Lambda _{{\text {St}}}(a) \subset {\mathbb {R}}^{2n+1}\) we have \(l=+\infty \) and
(See e.g. [10].) Theorem 1.1 shows that a contact Hamiltonian that displaces \(\Lambda _{{\text {St}}}(a)\) must be of oscillation at least a.
Example 1.5
For the stabilized unknot \(\Lambda _{{\text {Stab}}}\) shown in Figs. 2 and 3, \(l=\min \{\ell (c_1),\ell (c_2)\}\). If we take the point constraint \({\text {pt}}\in \Lambda _{{\text {Stab}}}\) for the definition of \(\sigma _0=\sigma _1\) as in Remark 1.3 to live near the crossing of the front projection of \(\Lambda _{{\text {Stab}}}\), we further get \(\sigma _0 = \sigma _1 = +\infty \); there are no pseudoholomorphic discs with one positive punctures passing through that region.
Lemma 1.6
For any closed Legendrian \(\Lambda \subset \{z \le a/2\} \subset ({\mathbb {R}}^{2n+1},\alpha _{{\text {std}}})\) and \(\epsilon >0\), there exists a contact Hamiltonian of oscillatory norm \(a+\epsilon \) that displaces \(\Lambda \). In particular, Theorem 1.1 is sharp for Example 1.4
Theorem 1.1 result follows from a more technical Barcode Proposition 2.7, adapted from persistence homology literature. The following nonsqueezing result also follows from the Barcode Proposition.
Consider an open subset \(U \subset Y^{2n+1}\) having the homotopy type of a closed nmanifold. We say that a Legendrian \(\Lambda \subset Y\) can be squeezed into U if there exists a contact isotopy \(\phi ^t\) of the ambient space such that

\(\phi ^1(\Lambda ) \subset U;\) and

\([\Lambda ] \in H_n(U;{\mathbb {Z}}_2)\) is nonzero.
Stabilized Legendrians [9, Section 3] of dimension at least two are loose and satisfy an hprinciple due to Murphy [23]; in particular, they are \(C^0\)dense in the space of Legendrian embeddings. By this hprinciple, a loose Legendrian \(\Lambda '\) can be squeezed into U whenever this subset contains a formal Legendrian embedding in the same formal Legendrian isotopy class as \( \Lambda '\).
Theorem 1.7
Let \(\Lambda _{{\text {stab}}} \subset {\mathbb {R}}^{2n+1}\) be a stabilized Legendrian, and suppose for \(\Lambda ' \subset {\mathbb {R}}^{2n+1}\) that \({\mathcal {A}}(\Lambda ')\) admits an augmentation. Then \(\Lambda '\) cannot be squeezed into a standard contact neighborhood of \(\Lambda _{{\text {stab}}}\).
There has been recent interest in \(C^0\)limits of Hamiltonian diffeomorphisms (contact or symplectic) [3, 26]. In particular, Rosen and Zhang prove that for the \(C^0\)limit of the images of a Legendrian submanifold under a sequence of contactomorphisms, if the limit is smooth and the sequence satisfies [26, Definition 4.1], then the limit is also Legendrian. The definition in particular requires the sequence of contactomorphisms to have uniformly converging conformal factors. In [26, Remark 1.5] the authors suggest that the latter mechanism prevents such a sequence from being an “approximation by zigzags” (recall that e.g. any, not even necessarily Legendrian, knot can be approximated by a Legendrian knot by adding more and more zigzags). Theorem 1.7 could be interpreted as evidence that something stronger actually prevents this, as it shows that a stabilized Legendrian cannot be approximated by any Legendrian that admits an augmentation.
The homology condition in the definition is crucial. In \({\mathbb {R}}^{2n+1}\) all Legendrians can be put in a neighborhood of any other Legendrian by first rescaling it to make it sufficiently small. Also, the 2copy of \(\Lambda _{{\text {stab}}}\) sitting in an arbitrary small neighborhood of \(\Lambda _{{\text {stab}}}\), has nonzero \({\mathbb {Z}}\)homology but vanishing \({\mathbb {Z}}_2\)homology. The 2copy has an augmentation which one can see either by an explicit construction of an exact Lagrangian filling by a cylinder \(I \times \Lambda _{{\text {stab}}}\) or, alternatively, by an explicit calculation of the Chekanov–Eliashberg algebra of the twocopy using the theory from [13].
Using this hprinciple to approximate a nonLegendrian deformation of the initial Legendrian by the stabilized version we prove Theorem 1.8 below, in contrast to Theorem 1.1 above.
Theorem 1.8
Consider the 2sphere \(\Lambda _{{\text {St}}}(1) \subset {\mathbb {R}}^5\). Fix any \(1 \gg \delta >0\). After making the sphere loose by adding a stabilization contained inside a sufficiently small neighborhood of an arbitrary point in \(\Lambda _{{\text {St}}}(1)\), it is displaceable by a contact Hamiltonian of oscillation less than \(\delta \).
Our proof is specific to the this Legendrian \(\Lambda _{{\text {St}}}(1)\). However, we expect that the techniques can be adapted to show the statement also for arbitrary Legendrians.
1.3 Related results
Persistence homology has made some recent inroads in symplectic geometry, some of which we list here. Polterovich and Shelukhin introduced the technique of persistence homology in Floer homology in their work [24], which included measuring the bottleneck distance between Hamiltonian Floer complexes. This was later generalized to the FloerNovikov complex which by Usher and Zhang [30]. Polterovich, Shelukhin and Stojisavljevic introduce a new structure to persistence homology for Floer theory, coming from the quantum cup product [25]. Buhovsky, Humiliere and Seyfaddini [3] apply the barcodes technology of Kislev and Shelukhin [21] to study Hamiltonian (nonsmooth) homeomorphisms.
All of the above are in the symplectic setting, focusing on quantitative results for Hamiltonians. There are fewer quantitative results for Reeb dynamics.
Entov and Polterovich prove that there is a Reeb chord between a Legendrian and its image under the Reeb flow of a different contact form that defines the same coorientated contact structure, assuming that the Hamiltonian restricted to the Legendrian has a small oscillation [15, Remark 1.14]. They are currently developing a barcode approach to this result. Their chord can be viewed as a flow from the Legendrian to itself gotten by taking the Reeb flow first followed with the contact flow, whereas our chords in Theorem 1.1 are gotten by taking the contact flow first followed with the Reeb flow. We prove a lower bound on the number of Reeb chords similar to that of Theorem 1.1 [7]. In this earlier article, our bound uses the conformal factor and is like Chekanov’s bound [5]: the lower bound is either the full sum of Betti numbers, or 0 (we do not measure its persistence). In the symplectic setting a similar refined count of intersection points was obtained in [18] by Fukaya, Oh, Ohta and Ono.
2 Barcodes of filtered complexes with action windows
We consider an abstract setup of filtered complexes that we later will apply to the setting of Legendrian contact homology. First we define a notion of a piecewise continuous (PWC) family of filtered complexes with action window parametrized by time \(t \in {\mathbb {R}}\). Roughly speaking, the complexes have a continuously varying finite action window and the generators of the complex can leave and enter this window. Observe that these bifurcations need not preserve the homology of the complex. We adapt the theory of barcodes from persistent homology theory (see e.g., [30, Section 1] and its references) to this setting.
Throughout this section we will always assume our complexes to be finitedimensional \({\mathbf {k}}\)vector spaces.
2.1 PWC families of complexes with action window
Fix \(t \in {\mathbb {R}}. \) A filtered complex \(C(t)^{b_t}_{a_t}\) with action window \([a_t,b_t)\subset {\mathbb {R}}\) is a finitedimensional \({\mathbf {k}}\)complex with action function
that induces the filtration by subcomplexes of the form \(\{x; \,\, \ell _t(x) < c\} \subset C(t)^{b_t}_{a_t}\) for any number \(c \in {\mathbb {R}}\).
Given any subinterval \([a'_t,b'_t) \subset [a_t,b_t)\) there is an induced filtered complex
with action window \([b'_t,a'_t)\) obtained as a suitable quotient complex.
A basis \(e_1,\ldots ,e_m\) is compatible with the filtration if the action filtration on any arbitrary element is given by the formula
in terms of the actions of the basis elements.
Remark 2.1
In our application, the complexes are endowed with a geometrically induced compatible basis which consists of Reeb chords, whose elements have action equal to their Reeb chord lengths.
Lemma 2.2
(Barannikov decomposition) There always exists a (noncanonical) choice of basis which is compatible with the filtration. Furthermore, given any compatible basis, there exists an actionpreserving change of basis (i.e. which is uppertriangular when the basis elements are ordered by nondecreasing action) such that the following holds.

A subset of the basis yields a basis for the cycles and, thus, the differential applied to its complementary subset yields a basis for the boundaries.

The differential of a basis element is either zero or itself a basis element.
Proof
Consider the filtration \(C^c = \{ x; \,\, \ell _t(x) < c\}\) by subcomplexes and the inclusion maps
For all but finitely many action levels \(c \in {\mathbb {R}}\) the cokernel of \(\iota _{c,c+\epsilon }\) is empty whenever \(\epsilon >0\) is sufficiently small. This cokernel can be (noncanonically) identified with a subspace of \(C^{c+\epsilon }\) generated by elements of action precisely equal to c. The compatible basis can then be taken as the union of the elements from the bases of these cokernels.
Any compatible basis can be made into a “Barannikov decomposition,” also called “canonical form”, by a basis change which is uppertriangular; we refer to [1, Lemma 2] for the details. \(\square \)
Before arriving at the final description of the type of families of complexes that we want to study, we begin with the following intermediate definition. A family of complexes \(C(t)^{b_t}_{a_t}\) defined on an interval \(t \in I \subset {\mathbb {R}}\) is said to be a continuous family of filtered complexes (with action window) if it satisfies the following.

The underlying (unfiltered) complexes in I are all canonically identified.

There is a fixed basis for the complexes (under the identification in the previous bullet point) which remains compatible for all filtrations in I.

The action \(\ell _t\) on each element in the compatible basis, as a function of \(t \in I\) is continuous and almost everywhere differentiable.

The starting and endpoints of the action window \([a_t,b_t)\) vary continuously with \(t \in I\).
Note that the filtered isomorphism type of the complex may change in a continuous family. For example, the relative action of two (compatible) basis elements may change signs.
We then define a piecewise continuous (PWC) family of filtered complexes (with action window) to be a family of complexes parametrized by \({\mathbb {R}}\), which is continuous on each of the finitely many connected components of \({\mathbb {R}}\setminus \{t_1,\ldots ,t_K\}\) for some \(t_1<\ldots <t_K\), while it satisfies the following.

The endpoints of the action window \(a_t, b_t \in {\mathbb {R}}\) vary continuously on all of \({\mathbb {R}}\).

The differential \(\partial _t\) is strictly actiondecreasing in the sense that the action of \(\partial _t(x)\) is strictly less than that of x for all \(t \in {\mathbb {R}}\setminus \{t_1,\ldots ,t_K\}\).
In addition, we prescribe the following behavior at the singular moments \(t_1<\ldots <t_K\). For \(\epsilon <\min _{j \ne k} t_j t_k\), let \(\{I_0, I_1\} = \{(t_i, t_i+ \epsilon ), (t_i  \epsilon , t_i)\}\) denote two intervals near \(t_i\) with their assignments unspecified. We require that precisely one of the following simple bifurcations takes place at each \(t_i\).

Handleslide The differential of the complex is changed by an action preserving handleslide, i.e. with conjugation by an invertible matrix which is uppertriangular with respect to any basis that is compatible with the filtration.

Birth/death There is a continuously varying family \({\tilde{C}}(t)^{b_t}_{a_t}\) of filtered complexes defined for all \(t \in (t_i\epsilon ,t_i+\epsilon )\) and a splitting
$$\begin{aligned} (C(t_i)^{b_{t_i}}_{a_{t_i}},\partial _{t_i}) =({\tilde{C}}(t_i)^{b_{t_i}}_{a_{t_i}},{\tilde{\partial }}_{t_i}) \oplus (S,\partial _S) \end{aligned}$$into a direct sum of filtered complexes (where the total complex is endowed with the induced filtration), with \(S={\mathbf {k}}x \oplus {\mathbf {k}}y\), \(\ell _{t_i}(x)=\ell _{t_i}(y)\) and \(\partial _S(x)=y\), such that the following holds. For \(t \in I_0\), \(({C}(t)^{b_t}_{a_t}, \partial _t)\) continuously extends to \((C(t_i)^{b_{t_i}}_{a_{t_i}},\partial _{t_i})\) and for \(t \in I_1\), \(({C}(t)^{b_t}_{a_t}, \partial _t)\) continuously extends to \(({\tilde{C}}(t_i)^{b_{t_i}}_{a_{t_i}},{\tilde{\partial }}_{t_i})\).

Generator enters/exits at the bottom Possibly after shrinking \(\epsilon >0\), there exists an extension of the family of complexes to a family \((C(t)^{b_t}_{a_t\epsilon },\partial _{t})\) that depends continuously on \(t \in (t_i\epsilon ,t_i+\epsilon )\) and for which there is a canonical identification
$$\begin{aligned} (C(t)^{b_t}_{a_t},\partial _{t}) = (C(t)^{b_t}_{a_t\epsilon },\partial _{t})/C(t)^{a_t}_{a_t\epsilon } \end{aligned}$$with the quotient complex. Further, the quotient map has a onedimensional kernel for \(t \in I_0\) while it is an isomorphism for \(t \in I_1\).

Generator enters/exits at the top Possibly after shrinking \(\epsilon >0\), there exists an extension of the family of complexes to a family \((C(t)^{b_t+\epsilon }_{a_t},\partial _{t})\) for some \(\epsilon >0\) that depends continuously on \(t \in (t_i\epsilon ,t_i+\epsilon )\) for which there is a canonical identification
$$\begin{aligned} (C(t)^{b_t}_{a_t},\partial _{t}) \subset (C(t)^{b_t+\epsilon }_{a_t},\partial _{t}) \end{aligned}$$of subcomplexes. Further, this inclusion has a onedimensional cokernel for \(t \in I_0\) while it is an isomorphism for \(t \in I_1\).
In the standard setup of persistent homology, invariance is studied for complexes that are related by actionpreserving “continuation maps.” In particular, continuation chain maps induce isomorphisms on homology. Because we allow generators to enter or exit the action window, our induced homology maps might not be isomorphisms, at which point we replace the standard continuation maps with quotients or inclusions of complexes.
2.2 The barcode
In Definition 2.3, Lemmas 2.5 and 2.6 below, we fix the parameter t. The filtration induces an inclusion \(C(t)^{c_0}_{a_t} \hookrightarrow C_*(t)^{c_1}_{a_t}\) of complexes for each \(c_0 \le c_1 \le b_t\). Denote the induced maps on homology by
The maps satisfy
Definition 2.3
A barcode is a finite collection of subsets of \({\mathbb {R}}\), each an interval of the form [s, e), called bars. We call \(s\in {\mathbb {R}}\) the bar starting point, \(e \in {\mathbb {R}}\cup \{+\infty \}\) the bar endpoint, and \(es > 0\) the bar length. A bar B persists at action level \(l \in {\mathbb {R}}\) if \(l \in B\). The barcode of the complex \((C(t)^{b_t}_{a_t},\partial _t)\), denoted by \({\mathscr {B}}(C(t)^{b_t}_{a_t},\partial _t)\), is the barcode uniquely characterized by the following properties.

The number of bars with starting point s is equal to the dimension of the quotient
$$\begin{aligned} {\text {coker}}( \phi _{s,s+\epsilon }) = H(C(t)^{s+\epsilon }_{a_t},\partial _t)/\mathrm {im}\,\phi _{s,s+\epsilon } \end{aligned}$$where \(\epsilon >0\) is any sufficiently small number.

The number of bars with starting point s that persist at action level \(l\ge s\) is equal to the dimension of the subspace
$$\begin{aligned} {[}\phi _{s+\epsilon ,l+\epsilon }]({\text {coker}}( \phi _{s,s+\epsilon })) \subset H(C(t)^{l+\epsilon }_{a_t},\partial _t)/\mathrm {im}\,\phi _{s,l+\epsilon } \end{aligned}$$where \(\epsilon >0\) is any sufficiently small number and where the map
$$\begin{aligned} {[}\phi _{s+\epsilon ,l+\epsilon }] :{\text {coker}}( \phi _{s,s+\epsilon }) \rightarrow H(C(t)^{l+\epsilon }_{a_t},\partial _t)/\mathrm {im}\,\phi _{s,l+\epsilon } \end{aligned}$$is induced by descending \(\phi _{s+\epsilon ,l+\epsilon }\) to the quotients.
We begin with some basic facts and characterizations of barcodes that will facilitate their computation, especially in conjunction with the Barannikov decomposition from Lemma 2.2.
Lemma 2.4

(1)
Two complexes which are related by an action preserving chain isomorphism have the same barcode.

(2)
The barcode of a direct sum of two filtered complexes is the union of the respective barcodes.

(3)
A onedimensional filtered complex spanned by the element c (necessarily a cycle) has a barcode which consists of a single (semi)infinite bar \([\ell (c),+\infty ) \subset {\mathbb {R}}\).

(4)
The acyclic complex spanned by two generators \(c_0,c_1\) satisfying \(\ell (c_0)<\ell (c_1)\) and \(\partial (c_1)=c_0\) has a barcode which consists of a single bar \([\ell (c_0),\ell (c_1)) \subset {\mathbb {R}}\).
Proof
This follows from the above definition. \(\square \)
Lemma 2.5

(1)
Take any choice of basis for the complex \((C(t)^{b_t}_{a_t},\partial _t)\) which is compatible with the filtration, and assume that \(\partial _t\) is strictly action decreasing. The total number of bars in \({\mathscr {B}}(C(t)^{b_t}_{a_t},\partial _t)\) which have either a starting point or endpoint at level \(l\in {\mathbb {R}}\) equals the number of basis elements of precisely that action.

(2)
The number of bars that persist at action level \(l \in {\mathbb {R}}\) and which have starting points located strictly below the level \(c \le l\) is equal to the dimension of the image
$$\begin{aligned} \phi _{c,l+\epsilon }(H(C(t)^{c}_{a_t},\partial _t)) \subset H(C(t)^{l+\epsilon }_{a_t},\partial _t) \end{aligned}$$for \(\epsilon >0\) sufficiently small.
Proof
We use Lemma 2.2 to obtain a Barannikov decomposition for the complex \((C(t)^{b_t}_{a_t},\partial _t)\).

(1)
The number of basis elements at each action level remains unchanged by the filtration preserving basis change carried out in Lemma 2.2. The statement now follows from Lemma 2.4: the Barannikov composition exhibits the complex as a direct sum of filtered complexes of dimension at most two, where the twodimensional complexes are acyclic.

(2)
Any Barannikov decomposition for \((C(t)^{b_t}_{a_t},\partial _t)\) induces a Barannikov decomposition on the subcomplexes \(C(t)^{c}_{a_t} \subset C(t)^{l+\epsilon }_{a_t} \subset C(t)^{b_t}_{a_t}\) by taking appropriate subsets of the basis elements.
The Barannikov decomposition provides a filtered isomorphism between \(C(t)^{c}_{a_t}\) and a direct sum of filtered complexes of dimension at most two, where the twodimensional complexes are acyclic. Since Part (2) is easily seen to hold for any such summand, Parts (1) and (2) of Lemma 2.4 again show the full claim. \(\square \)
The following proposition tells us that the properties that are considered in Lemma 2.5 are sufficient to recover the entire barcode.
Lemma 2.6
The barcode can be recovered from the following data:

(1)
the set \(c_1<c_2<\cdots <c_k\) of values which is given by the union of action levels of the starting points and endpoints of all bars in the barcode; and

(2)
the number of bars which persist at level \(l_i\in {\mathbb {R}}\) and start at level \(c_j \in {\mathbb {R}}\), for each \(1 \le j \le i \le k\), where we write \(l_i=(c_{i+1}+c_i)/2 \in {\mathbb {R}}\), \(i=1,2,\ldots ,k1\) and \(l_k=c_k+1\).
Proof
For each fixed \(1 \le j \le k\), the number of bars which start at \(c_j\) and end at \(c_i\) is equal to the difference between the number of such bars which start at \(c_j\) and persist at \(l_i\) and the number of bars which start at \(c_j\) and persist at \(l_{i1}\). The number of infinite bars that start at \(c_j\) is equal to the number of such bars which persist at \(l_k\). Obviously this information can be deduced from the data in (1) and (2). Since we can do this analysis for all \(j=1,\ldots ,k\), it is thus possible to recover the entire barcode. \(\square \)
Proposition 2.7
(Barcode Proposition) Consider a PWC family of filtered complexes with action window, \(C(t)^{b_t}_{a_t}\), that undergoes only simple bifurcations.
When the complex undergoes no such bifurcation, the barcode undergoes a continuous change of action levels for its starting and endpoints.
At the bifurcations the barcode undergoes the following corresponding changes.

Handleslide The barcode is unaffected.

Birth/death When two generators x, y undergo a birth/death, then a bar connecting \(\ell (x)\) to \(\ell (y)\) is added to/removed from the barcode. (The bar is not present at the exact time of the birth/death, but immediately after/before it is visible and of arbitrarily short length.)

Exit below A generator slides below the action level \(a_t\) at time t. If the uniquely determined^{Footnote 1} bar which starts at the action level of that generator is of finite length, then that bar gets replaced with a bar of infinite length whose starting point is located at the same action level as the endpoint of the original bar. If the bar has infinite length, then it simply disappears from the barcode.

Entry below This is the same as a exit below but in backwards time.

Exit above A generator slides beyond the action level \(b_t\) at time t. There is a uniquely determined bar which either ends or starts at the action level of that generator. In the first case, the bar gets replaced with one that has the same starting point but which is of infinite length. In the second case, when the bar necessarily is infinite, then that bar simply disappears from the barcode.

Entry above This is the same as an exit above, but in backwards time.
Proof
Assume that the bifurcations occur at the finite subset of times \(\{t_1,\ldots ,t_K\} \subset {\mathbb {R}}\). Lemma 2.6 can be used to recover the barcode by the data supplied by Lemma 2.5. Since the latter data varies continuously for any continuous change of action for a compatible basis, it follows that the barcode depends continuously on t inside each component of \({\mathbb {R}}\setminus \{t_1,\ldots ,t_K\}\).
We can then consider each bifurcation moment separately.

Handleslide: The effect of this bifurcation on the barcode is immediate from Part (1) of Lemma 2.4, since the bifurcation at a handleslide moment is an action preserving chain isomorphism.

Birth/death: The effect of this bifurcation on the barcode can be deduced by Parts (2) and (4) of Lemma 2.4, since at the birth moment the complex is changed by taking the direct sum with an acyclic filtered complex of dimension two.

Entry/exit above: There are two possibilities for the bifurcation: either the filtered complex is changed by the addition/removal of a direct summand of dimension one, or the complex has an acyclic summand of dimension two in which the generator of greater action exits/enters at level \(b_{t_i}\). One readily deduces the change of barcode by using Lemma 2.4 in the two different cases.

Entry/exit below: Again there are two possibilities for the bifurcation: either the filtered complex is changed by the addition/removal of a direct summand of dimension one, or the complex has an acyclic summand of dimension two in which the generator of less action exits/enters at level \(a_{t_i}\). Again one can apply Lemma 2.4.
\(\square \)
3 Proofs of Theorem 1.1 and Lemma 1.6
First we compare the oscillation and the change in Reeb chord length. Then we study a lengthfiltered invariance property for the linearized Chekanov–Eliashberg DGA. We apply it to a twocomponent Legendrian, which includes the twocopy link of a single Legendrian. The infinite dimensional DGA has its disadvantages. So we construct a partial linearization of the Chekanov–Eliashberg DGA inside a finite action window, which is an associated finitedimensional complex. The main point is that this linearization can be done even when there is no augmentation of the Chekanov–Eliashberg DGA. Proposition 3.5 uses bifurcation analysis to show that when varying the geometric data, the partial linearizations form a PWC family of complexes with action window as defined in Sect. 2. This allows us to apply the theory barcodes developed in the same section, in particular Proposition 2.7, which we then use to prove Theorem 1.1. We end with the proof of Lemma 1.6.
Denote by \(\Lambda (t)\) a Legendrian isotopy parametrized by t. Let \(H_t\) be the contact Hamiltonian \(H_t :Y \rightarrow {\mathbb {R}}\) generating an ambient contact isotopy inducing \(\Lambda (t)\), and let \(X_t\) denote the contact vector field.
3.1 Reeb chord length and oscillatory energy
The filtration properties depend on the size of the oscillation of the contact Hamiltonian inducing the Legendrian isotopy. The main contact geometric property that we need is the following.
Lemma 3.1
A smooth oneparameter family \(c(t) \subset (Y,\alpha )\) of Reeb chords with endpoint and starting point \(e(t), s(t) \in \Lambda (t)\) on a family of Legendrian submanifolds satisfies
In particular \(\ell (c(0))  \ell (c(1)) \le \Vert H_t\Vert _{{\text {osc}}}\).
Proof
Cartan’s formula gives us
Using this we compute
For the second equality we have use the fact that a Reeb chord \((\phi ^t_{\alpha ,H_t})^{1}\circ c(t)\) with endpoints on Legendrian \(\Lambda \) are critical points for the functional \(\gamma \mapsto \int _\gamma (\phi ^t_{\alpha ,H_t})^*\,\alpha \) (with t fixed). For the last equality we combine Cartan’s formula with the fact that the oneform \(\iota _{X(t)}d\alpha \) pulls back to zero on any Reeb chord (by the definition of the Reeb vector field). \(\square \)
3.2 Handleslides and birth/deaths for the DGA
Lemma 3.1 uses only elementary calculus and applies to a Legendrian isotopy in any contact manifold Y. Henceforth, however, we need to assume as stated in the introduction, that \((Y, \xi ) = (P\times {\mathbb {R}}, \ker \{ dz+\lambda \})\).
Given the Legendrian isotopy \(\Lambda (t)\) and constants \(0 \le t_ \le t_+ \le 1\), denote the stabletame DGA morphism constructed in [12] by
A generic Legendrian isotopy has isolated singular moments during which exactly one of the following occurs: a unique rigid index \(1\) disk appears (handleslide); a unique pair of Reeb chords appears/cancels (birth/death); or, the relative actions of two Reeb chords changes signs.
Let here (and elsewhere) \(\delta ^x_y\) be 0 if \(x \ne y\), and \(\delta ^x_y\) be some unit in \({\mathbf {k}}\) if \(x=y\). Also, let \(c^+\) be the chord in \(\Lambda (t + \epsilon )\) representing the image of the Reeb chord \(c^\) of \(\Lambda (t  \epsilon )\) under the isotopy.
If the handleslide disk \(u \in {\mathcal {M}}_A(a, b_1 \cdots b_k)\) exists at time t then by [9, 12] the induced DGA morphism for \(\epsilon >0\) arbitrarily small is
We extend the definition of length from Sect. 1. For any nonzero element in the algebra \(x\in {\mathcal {A}}(\Lambda )\), let \(\ell (x) \in [0,+\infty )\) be the maximum of sums of lengths of Reeb chords in a nonzero word of Reeb chord generators that appears in x. We use here that we have a canonical basis of \( {\mathcal {A}}(\Lambda )\) given by the words of Reeb chords. Stokes’ Theorem implies
We review the induced algebraic continuation map at a birthmoment in the proof of [9, Lemma 2.13] below. Suppose \(a^+,b^+\) are the newlyborn pair of points at time t which exists at time \(t+\epsilon \) with \(a^+ = b^++1\). For all sufficiently small \(\epsilon >0\), we can assume that the other \((l+k) \ge 0\) chords satisfy
for all \(2^{k+l}\) possible assignments of signs ±.
Let \(S({\mathcal {A}}(\Lambda (t  \epsilon )))\) denote the DGAstabilization of \({\mathcal {A}}(\Lambda (t  \epsilon ))\). Recall from [9] this means we append to \({\mathcal {A}}(\Lambda (t  \epsilon ))\) the (“artificial”) generators \(a^\) and \(b^\) with \(\partial a^ = b^, \partial b^=0\). The induced DGAmap \(\Phi _{t\epsilon , t+\epsilon }: S({\mathcal {A}}(\Lambda (t  \epsilon )))\rightarrow {\mathcal {A}}(\Lambda (t + \epsilon ))\) is defined inductively on the \(a_i^\) as ordered by their action/subscript. For the base case (the map \(\Phi _{t\epsilon , t+\epsilon }\) restricted to the subDGA generated with no \(a_i^\) generators), we define
Again note that any word w appearing in \((\partial _{t+\epsilon } a^+  b^+)\) satisfies
Define the algebra morphism \(f: {\mathcal {A}}(\Lambda (t + \epsilon )) \rightarrow {\mathcal {A}}(\Lambda (t + \epsilon ))\) on words \(w^+\) which contain the letter \(b^+\) by replacing the first occurrence of the letter \(b^+\) with \(a^+\):
Here \(\alpha ^+, \) is not divisible by \(b^+\). Observe that
can be assumed to be arbitrarily small.
Assume \(\Phi _{i1}\) is defined (i.e. the map \(\Phi _{t\epsilon , t+\epsilon }\) restricted to the subDGA which is generated by \(b_1^, \ldots , b_l^,b^,a^,a_1^, \ldots a_{i1}^\)). Then \(\Phi _{i} = g_i \circ \Phi _{i1}\) where
The map \(\Phi _{t\epsilon , t+\epsilon }\) may be viewed as a sequence of artificial handleslide maps: each rigid disk in \({\mathcal {M}}(a_i^+; \alpha ^+ b^+ \beta ^+)\) contributes to a handleslide map \(a_i^ \mapsto a_i^+ + \alpha ^+ a^+ \beta ^+;\) and each rigid disk in \({\mathcal {M}}(a^+; x^+_1 \cdots x^+_n)\) with \(x^+_1 \cdots x^+_n \ne b^+\) contributes to a handleslide map \(b^ \mapsto b^+ + x_1^+ \cdots x_n^+\).
The above considerations on Reeb chord lengths implies that \(\Phi _{t\epsilon ,t+\epsilon }\) can only increase the action by an arbitrarily small amount for sufficiently small \(\epsilon \).
Lemma 3.2
Assume \(\Lambda (0)\) and \(\Lambda (1)\) are generic. For any \(\delta >0\) there exists a contact Hamiltonian \(H'_t\) such that the induced isotopy \(\Lambda '(t)\) is generic as above, \(\Lambda '(i) = \Lambda (i)\) for \(i=0,1\) and \(\left \Vert H_t\Vert _{{\text {osc}}}  \Vert H'_t\Vert _{{\text {osc}}}\right < \delta \).
Proof
A \(C^\infty \)small perturbation of the Legendrian isotopy provides the needed genericity used in [9, Proposition 2.9] to prove families of moduli spaces of Jholomorphic curves are transversely cut out. Inside a family of onejet neighborhoods of the Legendrians where the Legendrian is identified with the zerosection (see e.g. [19, Theorem 6.2.2]), such a perturbation can be described as the onejet of a family of \(C^\infty \)small realvalued functions defined on the Legendrian. It is now clear that \(H'_t\) can be obtained from \(H_t\) by the addition of a \(C^\infty \)small function on the contact manifold which coincides with the latter family of functions near the Legendrian (appropriately extended from the Legendrian to the entire jetspace neighborhood). \(\square \)
3.3 Partial linearizations for the twocomponent link
We show how to linearize the Legendrian contact homology DGA inside an action window, and investigate its invariance properties. For a generic oneparameter family of data, we obtain a PWC family of filtered complexes in the sense of Sect. 2.1.
Consider a Legendrian isotopy \(\Lambda (t)\) of a twocomponent link. (Each “component” may itself be disconnected and have interesting topology but we do not consider such subcomponents individually.) There are two types of chords: pure chords \({\mathcal {Q}}_{{\text {pure}}} = {\mathcal {Q}}_{{\text {pure}}}(t)\) which start and end on the same component; and, mixed chords which run between the two different components.
The subalgebra \({\mathcal {A}}_{{\text {pure}}}(\Lambda (t))\) freely generated by pure chords \({\mathcal {Q}}_{{\text {pure}}}\) is of course a DGA of its own, given as the free product of the DGAs for the two different components. Henceforth we will only consider an augmentation \(\varepsilon \) which vanishes on each mixed chord, i.e. which is induced by an augmentation of \({\mathcal {A}}_{{\text {pure}}}(\Lambda (t))\). Note that an augmentation of the second type always induces an augmentation of the first type by elementary topological reasons: the differential of a mixed chord must output words in which at least one chord is mixed. For an ordering \(\Lambda _0(t) \sqcup \Lambda _1(t) =\Lambda (t)\) of the two components, let \({\mathcal {Q}}_{{\text {mixed}}} = {\mathcal {Q}}_{{\text {mixed}}}(t)\) denote the mixed chords starting at \(\Lambda _0(t)\) and ending at \(\Lambda _1(t)\). Let \(LCC_*^\varepsilon (\Lambda (t))\) the induced linearized (chain) complex generated by \({\mathcal {Q}}_{{\text {mixed}}}\). The (linearized) differential \(\partial ^\varepsilon \) counts holomorphic disks with a positive puncture at a mixed chord and the augmentation applies to all but one of the negative punctures (and thus the output is thus again a mixed chord of the first type). We refer to [2] for more details.
We let \(LCC_*^\varepsilon (\Lambda (t))^b_a\) denote the linearized subcomplex generated by the subset of mixed chords in \({\mathcal {Q}}_{{\text {mixed}}}\) having lengths contained in the interval [a, b). The arguments of [2] which imply that \(LCC_*^\varepsilon (\Lambda (t))\) is welldefined combined with a standard filtered chain complex argument and Stokes’ Theorem, imply \(LCC_*^\varepsilon (\Lambda (t))^b_a\) is welldefined (but of course not necessarily invariant). We call [a, b) the action window.
We are also interested in the case when the DGA of \(\Lambda (t)\) might not have an augmentation, but at the same time, the subDGA \({\mathcal {A}}_{{\text {pure}}}^l(\Lambda (t))\subset {\mathcal {A}}_{{\text {pure}}}(\Lambda (t))\) generated by only the pure chords of length less than some fixed number \(l \ge 0\) admits an augmentation
Consider the subspace \({\mathcal {A}}_1^l \subset {\mathcal {A}}(\Lambda )\) spanned by words of chords of which

precisely one is in \({\mathcal {Q}}_{{\text {mixed}}}\) (so this chord starts on \(\Lambda _0\) and ends on \(\Lambda _1\)) whose length lies in the interval [a, b), while

the remaining chords are all pure and with lengths each less than l.
This subspace can naturally be identified with the free \({\mathcal {A}}_{{\text {pure}}}^l\)–bimodule generated by the chords \({\mathcal {Q}}_{{\text {mixed}}}\) of lengths in the interval [a, b). This bimodule can be made into a chain complex, which we denote by \(LCC_*^{l,\varepsilon }(\Lambda (t))^b_a\). Since this complex is new to the literature, we describe its (linear) differential below.
There is an automorphism \(\Phi _\epsilon :{\mathcal {A}}_1^l \rightarrow {\mathcal {A}}_1^l\) given as the restriction of the algebramap that is defined by \(c \mapsto c+\varepsilon (c)\) on each generator (which by assumptions on \(\varepsilon \) thus fixes the mixed generators). Let \(\pi _\varepsilon : {\mathcal {A}} \rightarrow {\mathcal {A}}_1^l \subset {\mathcal {A}}\) be the canonical projection \({\mathcal {A}} \rightarrow {\mathcal {A}}_1^l \) induced by our canonical basis, postcomposed with \(\Phi _\epsilon \). The linearized differential can then be expressed as the linear part of \(\pi _\varepsilon \circ \partial \) restricted to the vector subspace \(LCC_*^{l,\varepsilon }(\Lambda (t))^b_a \subset {\mathcal {A}}_1^l\) spanned by the mixed chords, which is a map
Lemma 3.3
If \(ba \le l\) then \(LCC_*^{l,\varepsilon }(\Lambda (t))^b_a\) is a welldefined complex, i.e. \((\partial ^\varepsilon )^2=0\), which we call the partially linearized complex (with action window [ a , b)).
Proof
The inequality \(ba \le l\) implies that when counting the glued pairs of disks which contribute to \((\partial ^\varepsilon )^2\), the Reeb chord at which the gluing occurs cannot be a one for which the augmentation is not defined. This reduces the \(\left[ (\partial ^\varepsilon )^2=0\right] \)proof to the established case when the augmentation is globally defined. \(\square \)
We need to setup a bifurcation analysis to prove a certain form of invariance for the complex \(LCC_*^{l,\varepsilon }(\Lambda (t))^b_a\) as the parameter t varies. We start by considering the case of a singular moment t for the bifurcation of the DGA, at which no chord has length equal to l.
Choose \(\epsilon >0\) sufficiently small so that the chords which do not undergo a birth/death are preserved for all \(s \in [t\epsilon ,t+\epsilon ]\). In the event of a birth of pair of chords \(a^+,b^+\) we suppress the stabilization notation, using \({\mathcal {A}}(\Lambda (t\epsilon ))\) for \(S({\mathcal {A}}(\Lambda (t\epsilon )))\).
Lemma 3.4
Assume that no chord at time t has length equal to either of the values \(l,a,b \in {\mathbb {R}}\) and that there exists an augmentation \(\varepsilon :{\mathcal {A}}_{{\text {pure}}}^l(\Lambda (t\epsilon )) \rightarrow {\mathbf {k}}\) for all sufficiently small \(\epsilon >0\). Let
be either a birth/death or a handleslide as in (3.2). For sufficiently small \(\epsilon >0\), there exists an augmentation
for which the map
is a composition of actionpreserving (linear) chain maps \(c \mapsto c+f\) with \(\ell (f)<\ell (c)\) (here we include the case \(f=0\)) together with cancellations of death pairs.
Proof
Since \(\epsilon \) is small, we can assume the same set of pure chord generators for \({\mathcal {A}}_{{\text {pure}}}^l(\Lambda (t\epsilon )\) and for \({\mathcal {A}}_{{\text {pure}}}^l(\Lambda (t+\epsilon ))\), as well as the same set of mixed chord generators for \(LCC_*^{l,\varepsilon }(\Lambda (t\epsilon ))^b_a\) and for \(LCC_*^{l,\varepsilon '}(\Lambda (t+\epsilon ))^b_a\).
The proof reduces to the the three cases when \(\Phi _{t\epsilon ,t+\epsilon }\) corresponds to either a single (real or artificial) handleslide, a single stabilization, or a single destabilization.
Handle slide There exists an inverse \(\Phi _{t\epsilon ,t+\epsilon }\) which also is action preserving. The augmentation can thus be taken to be \(\varepsilon '=\varepsilon \circ \Phi _{t\epsilon ,t+\epsilon }^{1}_{{\mathcal {A}}^l}\), and we thus get \(\varepsilon =\varepsilon ' \circ \Phi _{t\epsilon ,t+\epsilon }_{{\mathcal {A}}^l}\). In this case we define
We need to check that \(\phi _\varepsilon \) is a chain map of the sought form.
When \(\Phi _{t\epsilon ,t+\epsilon }\) is defined by a handleslide “disk” (real or artificial) for which all negative pure punctures action less than l, then statement follows from a standard argument; see e.g. [2, Section 2.4]. (We can interpret \(\phi _\varepsilon \) as a linearization of a DGA morphism in the standard sense.)
Consider the “disk” with positive puncture e and negative punctures \(f_1, \ldots , f_k\). The inequality \(ba <l\) and the description of the real and artificial handleslides in Sect. 3.2 imply the following: if e is a pure chord of less length than l or a mixed chord between length a and b, then no \(f_i\) can be a pure chord of length greater than l, unless possibly if at least one of the \(f_i \in {\mathcal {Q}}_{{\text {mixed}}}\) is a mixed chord with action less than a. In this case, the induced linear map is the identity. That the identity map is a chain map can be seen from the point of view Gromov compactness: the handleslide disk with a negative mixed chord of action less than a cannot be glued to a disk used to defined the boundary, since the action difference of the mixed chords of such a glued disk is greater than \(ba\).
Stabilization We extend \(\varepsilon '\) to vanish on the new pair of generators, and \(\phi _\varepsilon \) is simply the canonical inclusion.
Destabilization We let \(\varepsilon '\) take the same value as \(\varepsilon \) on the remaining generators. In the case when the death involves pure chords, the chain map \(\phi _\varepsilon \) is the identity. In the case when the death involves mixed chords, \(\phi _\varepsilon \) is simply the corresponding quotient. Note that these are chain map, even though it is possible that \(\varepsilon '\circ \Phi _{t\epsilon ,t+\epsilon }\ne \varepsilon \). (However, since we are only considering the destabilization, as opposed to a death together with its artificial handleslides, this is irrelevant.) \(\square \)
The main difference between the invariance of the usual linearized complex and the invariance of a sequence of complexes \(LCC_*^{l,\varepsilon }(\Lambda (t))_{a_t}^{b_t}\) considered here is that generators of the latter can slide in and out of the action window \([a_t,b_t)\).
In the following we assume that there exists an augmentation
for some \(l \in {\mathbb {R}}\) and write
Proposition 3.5
Consider a smooth path of Legendrians \(\Lambda (t)\) for which \(\Lambda (0)\) and \(\Lambda (1)\) are generic. After the perturbation supplied by Lemma 3.2 we can moreover assume the following. First, there exist augmentations
with \(\varepsilon _0=\varepsilon \). Second, the induced family of partially linearized complexes
with smoothly varying \(a_t,b_t\) form a PWC family of filtered complexes with action window (see Sect. 2.1 for the definition). Here the filtration is induced by the Reeb chord length and the compatible basis is given by Reeb chords.
Proof
Lemma 3.4 shows that the complexes undergo standard bifurcations, i.e. handle slides and birth/deaths, except at the following moments:

(M)
There exist mixed chords on \(\Lambda (t)\) of length equal to \(a_t\) or \(b_t\).

(P)
There exist pure chords on \(\Lambda (t)\) of length equal to \(ll(t)\);
A genericity argument as in the proof of Lemma 3.2 allows us to assume that moments (M) and (P) are isolated and generic in the sense that at most one chord is involved at each separate moment in time, and also that they are disjoint from any handleslide or birth/death occurring in the Chekanov–Eliashberg algebra. To see this, note that via the front projection, neighborhoods of Reeb chords can be modeled by the neighborhood of a critical point of the difference of two smooth functions. Since Morse functions generically have distinct critical values, we can isolate our bifurcation moments.
One can directly verify that the bifurcations from (M) are precisely the entrances and exits as described in Sect. 2.1.
The bifurcations (P) involving pure chords have the property that no pure chord can enter the action window \([0,ll(t))\) at any \(t \in [0,1]\). Indeed, by Lemma 3.1, the speed by which the length of any Reeb chord on the Legendrian shrinks is strictly less than \(\max _{\Lambda (s)} H_s\min _{\Lambda (s)} H_s\), which also is precisely the speed by which the action window \([0,ll(t))\) is shrinking.
We are thus left with the investigation of a moment when a pure chord c exits the action window \([0,ll(t))\) at some given time \(t=t_0\). More precisely, the chord c is of length \(\ell (c)<ll(t)\) when \(t<t_0\) while \(\ell (c)=ll(t)\) at time \(t=t_0\). In this case there is a canonical inclusion
of DGAs for all \(\epsilon >0\) sufficiently small, where the subDGA is generated by the same generators as the larger DGA except for the chord c. Take \(\varepsilon _{t_0}\) to be the pullback of \(\varepsilon _{t_0\epsilon }\) under any of the above inclusion. We claim that the corresponding partial linearizations are canonically isomorphic for these two augmentations. The crucial property used here is that, as shown by an action consideration, if x and y are mixed chords for which \(\ell (x)\ell (y) \in [a_{t_0},b_{t_0})\), then any word that contains y and appears in the DGA differential \(\partial (x)\) at \(t=t_0\) does not contain any chord of length \(ll(t_0)\). (The differential \(\partial \) is strictly action decreasing.) Since the words that contribute to the linearized differentials thus cannot consist of a word that contains the letter c at either moment \(t=t_0,t_0\epsilon \), the linearized differentials on the mixed chords agree as sought. \(\square \)
3.4 Completing the proof of Theorem 1.1
We use the notation introduced in Sect. 1 before the theorem statement. In particular, \(\Lambda \) is some Legendrian, not the link from the previous subsection.
With an arbitrarily small change in the Legendrian and the contact Hamiltonian, we can assume all moduli spaces below a predetermined index are transversely cut out [12]. In particular Lemma 3.2 and [13, Theorem 3.6] (used below) hold.
Let \({\bar{\Lambda }} = \Lambda \sqcup \Lambda '\) be the 2copy of \(\Lambda \) where the second copy \( \Lambda '\) is translated in the positive Reeb direction by \(N \gg \max _c \ell (c)\). Here the max is taken over all pure Reeb chords. We perturb \(\Lambda '\) by a small Morse function with \(C^2\)norm bounded by \(\epsilon \ll \min _c \ell (c)\). Here the min is taken over all Reeb chords. For each pure chord c of \(\Lambda \) there are two mixed chords \(p^+_c,p^_c\) such that the projections \(P \times {\mathbb {R}}\rightarrow P\) of \(c, p^+_c, p^_c\) are within \(\epsilon \), and such that \(\ell (p^\pm _c)  (N \pm \ell (c)) < \epsilon \). The remaining mixed chords are called the Morse chords, which we denote by x. They correspond to the critical points of the Morse function and satisfy \(\ell (x)N < \epsilon \).
Proposition 3.6
For a suitable choice of almost complex structure and sufficiently small Morse perturbation of \({\overline{\Lambda }}\), the following can be said about the punctured pseudoholomorphic disks on the twocopy with one positive puncture and precisely two punctures at mixed chords. (It follows that the positive puncture must be mixed.)

(1)
When both mixed chords are Morse chords, any rigid disk corresponds to a unique rigid gradient flowline for the Morse function considered.

(2)
Let x be a Morse chord of index k. For every rigid disk with x as the unique positive (resp. unique mixed negative) puncture, the other mixed puncture is a negative puncture at some \(p_c^\) (resp. positive puncture at some \(p_c^+\)). Moreover, the existence of such a rigid disk implies that the moduli space \({\mathcal {M}}^{nk}(c)\) (resp. \({\mathcal {M}}^{k}(c)\)) is nonempty.

(3)
Assume that the Morse function has a unique max and min on each connected component. The disks having the max chord (resp. min chord) as a positive (resp. negative puncture) are small triangles that are in a onetoone correspondence with gradient flowlines that connect the max (resp. min) and an endpoint of a Reeb chord on \(\Lambda \). Furthermore, the max is a cycle and the min is a cocycle for the linearized differential, if the same augmentation is used on both components \(\Lambda \) and \(\Lambda '\).

(4)
Assume that the Morse function has a unique max and min on each connected component, both of which moreover are located sufficiently close to a given generically chosen point \({\text {pt}}_i \in \Lambda \), \(i \in \pi _0(\Lambda )\). Any disk with the negative puncture at the max chord (resp. positive puncture at the min chord) corresponds to a moduli space \({\mathcal {M}}^{n}(c)\) for which the boundary of the disc passes through the ray \({\mathbb {R}}\times {\text {pt}}_i\).
Proof

(1):
This is Part (4) of [13, Theorem 3.6].

(2):
This is Part (3) of [13, Theorem 3.6], which identifies the disks on the twocopy with appropriate generalized pseudoholomorphic disks on one copy, together with the dimension formula [13, (3.11)] for the generalized pseudoholomorphic disks.

(3):
The first part is Theorem 5.5 and Remark 5.6 of [13]. The second part follows analogously, see e.g. Lemma 4.21 of [4].

(4):
This follows as a special case in the proof of (2). Note that the moduli spaces \({\mathcal {M}}^n(c)\) defined for different choices of point constraints \({\text {pt}}'_i\) all can be canonically identified, if we assume that the moduli space defined with point constraint at \({\text {pt}}_i \in \Lambda \) is transversely cut out and that \({\text {pt}}'_i\) is sufficiently close to \({\text {pt}}_i\).
\(\square \)
We consider the linearized Legendrian contact homology complex as defined in Sect. 3.3, determined by the choice of ordering \(\Lambda _0=\Lambda \) and \(\Lambda _1=\Lambda '\) of the components of \({\bar{\Lambda }}\). Define \({\bar{\Lambda }}(t)\) by fixing \(\Lambda \) and apply the Nverticalshift of the isotopy to \(\Lambda '\). In this manner we may assume that the component \(\Lambda \) is contained outside of the support of \(H_t\).
In the following we endow \({\mathcal {A}}^l({\overline{L}})\) with the same augmentation on both components, and suppress it from notation. Proposition 3.6 (1) implies that \(LCC_*^{l}({\bar{\Lambda }})^{N+\epsilon }_{N\epsilon }\) is quasiisomorphic to the Morse homology of \(\Lambda \). These homology classes need not survive in \(LCC_*^{l}({\bar{\Lambda }})\) when increasing the action range. (For example, if \(\Lambda \) has an augmentation and can be pushed off its Reebflow image, then \(LCC_*^\infty ({\bar{\Lambda }})^{+\infty }_{\infty }\) is acyclic.) So if x (a linear combination of Morse chords) represents a degree k homology generator of this Morse subcomplex, its action value is a starting or ending point of a bar (under an association from Part (1) of Lemma 2.5) in the barcode for \(LCC_*^l({\bar{\Lambda }})^b_a\) for any \(ba <l\), \(a+\epsilon \le N \le b \epsilon \).
Suppose \(\epsilon \ll \Vert H_t\Vert _{{\text {osc}}} < \min (l, \sigma _k)\epsilon \). Recall l(t) from Eq. (3.5). Let \(x_1 = x, x_2, \ldots , x_n\) denote representatives of the homology classes of degree \(k'\) such that \(\sigma _{k'} \ge \sigma _k\). We wish to show that \({\bar{\Lambda }}(1)\) has at least n mixed Reeb chords. For each \(x_i\) we consider two oneparameter families of barcodes
where both action windows are shrinking at a rate of \(l'(t)\) and their small overlap contains the start or endpoint of a bar “associated to \(x_i\)”; the precise recipe for how to construct \(a^{i,\pm }_t\) and \(b^{i,\pm }_t\), thereby giving rise to the associated pair of families of barcodes, will be described below.
First we make a (generic) assumption that the critical values \(\ell (x_i)\) of all Morse critical points are distinct. Next, we require that
which uniquely determines \(a^{i,\pm }_0\) and \(b^{i,\pm }_0\). Note that we fix the action window size based to k, independent of i. When extending these parameters to \(a^{i,\pm }_t\) and \(b^{i,\pm }_t\) we require
We uniquely determine \(a^{i,\pm }_t\) and \(b^{i,\pm }_t\) once we specify \(\ell _i(t)\) and require
Note that \(\ell _i(0)=\ell (x_i)\).
The condition (3.6) enables us to use Proposition 3.5, which implies the partially linearized complex can be assumed to constitute a PWC family of filtered complexes in the sense of Sect. 2.1. This in turn allows us to apply Proposition 2.7 to \({\mathscr {B}}^{i,\pm }_t\). Because we have not yet specified \(\ell _i(t)\), the barcodes \({\mathscr {B}}^{i,\pm }_t\) still remain unspecified for \(t>0\).
By the genericity argument in the proof of Lemma 3.2 we may achieve the following.

The lengths of the Reeb chords are all distinct during the isotopy, except for a finite set of “singular” times \(t_j\) when precisely two lengths coincide.

At each such \(t_j\), the tderivatives of these two Reeb chord lengths are distinct, and \(b^{i,\pm }_{t_j}, a^{i,\pm }_{t_j}\) are distinct from all Reeb chord lengths.
In particular, it follows that the starting points or end points of the bars in \({\mathscr {B}}^{i,\pm }_t\) do not intersect for any \(t \ne t_j\). In the components of the complement of this discrete set \(\bigcup _j\{ t_j\}\) the individual bars can thus be uniquely singled out by the location of their starting points, which depend continuously on t away from exits/entrances. Thus, Lemma 2.5 (1) implies that away from \(\bigcup _j\{ t_j\}\) there are canonically determined Reeb chords (the compatible basis elements that correspond to the starting points) associated to each bar.
Lemma 3.7
Consider an interval \([T_0,T_1)\) disjoint from the singular times \(\bigcup _j \{t_j\}\). Assume that \(b^{i,\pm }_t, a^{i,\pm }_t\) and \(\ell _i(t)\) have been defined for all \(t \in [T_0,T_1]\) satisfying Eqs. (3.6)–(3.8). Moreover, assume \(\ell _i(t)\) coincides with the length of a Reeb chord for all \(t \in [T_0,T_1]\). If \(\ell _i(T_0)\) is the starting point of an infinite bar in each of the two \({\mathscr {B}}^{i,\pm }_{T_0}\), then for all \(t \in [T_0,T_1]\), \(\ell _i(t)\) is the starting point of an infinite bar in each of the two \({\mathscr {B}}^{i,\pm }_{t}\).
Proof
There is an infinite bar with starting point at \(\ell (T_0)\) in each of the two barcodes \({\mathscr {B}}^{i,\pm }_{T_0}\) by assumption. We need to show that they remain infinite for all \(t \in [T_0,T_1]\). By Proposition 2.7 an infinite bar can only become finite if an endpoint suddenly appears above (entry above), or if the bar switches behavior to a finite bar with endpoint at \(\ell _i(t)\) (entry below). In either case, we show that these bifurcations are not possible by a consideration of the needed Hamiltonian oscillation.
Suppose \(\alpha _t < \beta _t\) denote the lengths of two arbitrary mixed chords of \({\bar{\Lambda }}(t)\). Lemma 3.1 and the fact that \(H_t\) vanishes on \(\Lambda _0(t) = \Lambda \) (which contains the Reeb chords’ start points) then imply
Using Lemma 2.5 Part (1), we consider the two cases when precisely one of \(\alpha _t\) or \(\beta _t\) is equal to \(\ell _i(t)\), while the other is the length of the hypothetical chord which enters from either above or below. Since the size of the action window changes at a rate \(\frac{d}{dt} (b^{i,\pm }_t  a^{i,\pm }_t) = \frac{d}{dt} l(t)\), the above bound combined with the location of \(\ell _i(t)\) within the two action windows \([a^{i,\pm }_t, b^{i,\pm }_t)\), proves that for either action window, a generator cannot enter to make finite the infinite bar starting at \(\ell _i(t)\). \(\square \)
We claim that Lemma 3.7 implies that the chord of length \(\ell _i(T_0)\) at \(t=T_0\) cannot undergo a death at any time \(T_2 \in [T_0,t_j]\), where \(t_j\) is minimal singular time such that \(t_j>T_0\). Suppose the chord dies at \(T_2 \in [T_0,t_j]\). Extend \(\ell _i(t)\) to \([T_1, T_2]\) (if \(T_2 > T_1\)) by letting \(\ell _i(t)\) be the length of (the deformations of) this Reeb chord for \(t \in [T_1, T_2]\). Extend \(b^{i,\pm }_t\) and \(a^{i,\pm }_t\) for \(t \in [T_1, T_2]\) using Eqs. (3.6)–(3.8). Lemma 3.7 (replacing \([T_0,T_1]\) by \([T_0,T_2]\)) implies the chord is the starting point of an infinite (in particular nonzero length) bar at \(T_2\), and therefore cannot die. So the chord survives to \(t_j\). Extend \(\ell _i(t), b^{i,\pm }_t, a^{i,\pm }_t\) to \([T_1, t_j]\) in the identical manner as it was extended to \([T_1,T_2]\). Lemma 3.7 (replacing \([T_0,T_1]\) by \([T_0,t_j]\)) implies the induced pair \({\mathscr {B}}^{i,\pm }_t\) of families of barcodes has infinite bars with starting points at \(\ell _i(t)\) for all \(t \in [T_0,t_j]\).
We next extend \(\ell _i(t)\) continuously through (past) \(t_j\) as follows. By the above \({\mathscr {B}}^{i,+}_{t_j}\) has one or two infinite bars with starting point \(\ell _i(t_j)\). (For sufficiently small \(\epsilon \), both bars in \({\mathscr {B}}^{i,}_{t_j}\) starting at \(\ell _i(t_j)\) are infinite by Eqs. (3.7) and (3.8).) We treat separately these two cases.
Case (i) (one infinite bar) There are two chords of the same length at \(t_j\) so there are two possibilities for a continuous extension of \(\ell _i(t)\) to \(t>t_j\). One is \(C^1\) and the other not. Proposition 2.7 together with the assumption that no entrance/exit can happen near \(t_j\) implies there is precisely one such extension for which the bar with starting point at \(\ell _i(t)\) remains infinite in \({\mathscr {B}}^{i,+}_{t_j+\delta }\) for all sufficiently small \(\delta \ge 0\). Choose this infinite extension for \(\ell _i(t)\).
Case (ii) (two infinite bars) We require that \(\ell _i(t)\) is the unique \(C^1\)extension over \(t_j\). This is welldefined since the two Reeb chords’ lengths have distinct tderivatives at \(t_j\). Proposition 2.7 together with the assumption that no entrance/exit can happen near \(t_j\) implies that \({\mathscr {B}}^{i,+}_{t_j+\delta }\) contains an infinite bar that starts at \(\ell _i(t+\delta )\) for all sufficiently small \(\delta \ge 0\).
By induction we can then construct \(\ell _i(t)\) for all \(t \in [0,1]\). Once we show that (generically) \(\ell _i(1) \ne \ell _\iota (1)\) for all \(i \ne \iota \), the number of \(x_i\) is a lower bound for the number of mixed chords of \({\bar{\Lambda }}(1)\). This implies the theorem.
Suppose \(\ell _i(1) = \ell _\iota (1)\). Then for some \(t_j\), \(\ell _i(t_j)=\ell _\iota (t_j)\) and \(\ell _i(t_j + \delta ) = \ell _\iota (t_j + \delta )\), while \(\ell _i(t_j  \delta ) \ne \ell _\iota (t_j  \delta )\) holds for all sufficiently small \(\delta >0\).
We first claim that the barcode \({\mathscr {B}}^{i,+}_{t_j}= {\mathscr {B}}^{\iota ,+}_{t_j}\) has two infinite bars with starting point \(\ell _i(t_j)\). This is a consequence of the stability of the finite bars as shown in Proposition 2.7 together with the fact that \({\mathscr {B}}^{i,+}_{t_j\delta }\) and \({\mathscr {B}}^{\iota ,+}_{t_j\delta }\) have infinite bars which start at the two distinct levels \(\ell _i(t_j  \delta )\) and \(\ell _\iota (t_j  \delta )\), respectively. We now reach a contradiction with our continuous extension convention, by which the bars for \(t_j\delta \) in \({\mathscr {B}}^{i,+}_{t_j\delta }\) and \({\mathscr {B}}^{\iota ,+}_{t_j\delta }\) have distinct \(C^1\)extensions through \(t_j\).
3.5 Proof of Lemma 1.6
Consider the contact isotopy
Its contact Hamiltonian is equal to \(H_t({\mathbf {x}},{\mathbf {y}},z)=\frac{z}{1t}\). Using this contact isotopy we can thus rescale the subset \(\{z\le a/2\}\) to its image of the times map for any \(0 \le s <1\). We compute the total oscillation for the isotopy \(t \in [0,s]\), \(0\le s<1\) restricted to the image of the subset \(\{z\le a/2\}\) to be equal to
In other words, since \(\Lambda \subset \{z \le a/2\}\) by assumption, taking \(1s>0\) to be sufficiently small, we may move \(\Lambda \) into an arbitrarily small neighborhood of \(\{{\mathbf {x}} \in D^{ n}, {\mathbf {y}}=0, z=0\}\) by a contact isotopy of total oscillation equal to \(sa <a\). For any \(\delta >0\), any sufficiently thin neighborhood of \(\{{\mathbf {x}} \in D^{ n}, {\mathbf {y}}=0, z=0\}\) is displaceable from the subset \(D^n \times {\mathbb {R}}^n \times {\mathbb {R}}\) by a Hamiltonian of oscillation at most \(\delta \). (Take an ordinary smooth isotopy of \({\mathbb {R}}^n\) which displaces \(D^n \subset {\mathbb {R}}^n\) and lift it to the jetspace \(J^1{\mathbb {R}}^n={\mathbb {R}}^n \times {\mathbb {R}}^n \times {\mathbb {R}}\); the corresponding contact Hamiltonian vanishes along the entire zero section and is thus very small near it.) Since \(\Lambda \subset D^n \times {\mathbb {R}}^n \times {\mathbb {R}}\), the composition creates the sought displacement. In other words, we have shown that \(\Lambda \) is displaceable with a total oscillation \(a+\epsilon \). Appropriate cutoffs using smooth bump functions can then be used to make the contact Hamiltonians compactly supported. \(\square \)
4 Proof of Theorem 1.7
Recall that two Legendrians are said to be formally isotopic if they are connected by a smooth isotopy covered by a Lagrangian bundle monomorphism, called the formal tangent map, such that there exists a homotopy relative endpoints from this formal tangent map to the canonical inclusion of the tangent planes (i.e. the one induced by the smooth family of embeddings) [23, Definition 1.1].
Lemma 4.1
Assume that two Legendrian spheres \(\Lambda ,\Lambda ' \subset {\mathbb {R}}^{2n+1}\), \(n \ge 2\), agree in a neighborhood of a point, and that they are formally Legendrian isotopic. Then there exists a formal isotopy which is fixed in a possibly smaller neighborhood of the same point, in the sense that the underlying smooth isotopy, the Lagrangian frames, as well as the homotopy from the formal tangent map to the inclusion of the tangent planes, all can be taken to be constant there.
Proof
One can readily construct an ambient contact isotopy which deforms the initial formal isotopy to one whose underlying smooth isotopy fixes the given point. (Start by smoothly contracting the loop traced out by the point, then use the fact that any family of tangent vectors can be extended to a family of contact vector fields, finally we can now construct a contact isotopy which contracts the loop.) Note that contact isotopies act naturally on formal isotopies by postcomposition, and our formal Legendrian isotopy thus may be assumed to fix the point (but not necessarily its neighborhood or even its tangent plane).
After a subsequent deformation byhand near this point or, alternatively, an application of the oneparametric hprinciple for open Legendrian embeddings, we may in addition assume that the smooth isotopy near the given point stays Legendrian throughout the isotopy, and that the homotopy from the formal tangent map to the inclusion of the tangent planes is trivial at the point. (We can e.g. make the embeddings coincide with the Legendrian planes prescribed by the formal bundle morphism near the point.)
What remains is to make the isotopy fix a whole neighborhood of the point. Unfortunately, since \(\pi _1(U(n))={\mathbb {Z}}\) is nontrivial, the loop of Legendrian tangent frames at the given point is not automatically contractible. However, a final application of a suitable \(S^1\)family of contactomorphisms of \({\mathbb {R}}^{2n+1}\) obtained as lifts of symplectomorphisms from \( U(n) \subset {\text {Symp}}({\mathbb {R}}^{2n},\omega _0)\), the latter frame over the point may be assumed to give rise to a contractible loop in U(n). Again, since these are contact transformations, they act naturally on formal Legendrian isotopies by postcomposition. \(\square \)
Lemma 4.2
Let \(\Lambda \) be an arbitrary Legendrian embedding of dimension \(n \ge 2\), and let \(\Lambda '\) be a Legendrian formally isotopic to \(\Lambda _{{\text {St}}}\). The cusp connected sum between \(\Lambda \) and \(\Lambda '\) is formally Legendrian isotopic to \(\Lambda \).
Proof
Cusp connected sum is an operation supported in a neighborhood of an isotropic arc \(\gamma \) with endpoints on the two different Legendrians, where the two Legendrians are separated by e.g. the hyperplane \(\{x_1=0\}\); see e.g. [6]. In the dimensions under consideration this operation is welldefined by [6, Proposition 4.9], and does not depend on the choices made.
First note that the cusp connected sum of \(\Lambda \) with the standard Legendrian sphere \(\Lambda _{{\text {Std}}}\) is Legendrian isotopic to \(\Lambda \). The Legendrian isotopy is easy to construct explicitly if the representative of the standard Legendrian is chosen to be the flying saucer (in the front projection) as shown in Fig. 1.
We may assume that \(\Lambda '\) coincides with the representative of the standard sphere in a neighborhood of the isotropic arc \(\gamma \) along which the surgery is performed. The formal isotopy from \(\Lambda '\) to \(\Lambda _{{\text {St}}}\) may further be assumed to have support that is disjoint from the neighborhood of the union \(\Lambda \cup \gamma \) by Lemma 4.1, together with a general position argument (for the interior of the arc). \(\square \)
Lemma 4.3
Any loose Legendrian \(\Lambda \subset {\mathbb {R}}^{2n+1}\), \(n \ge 2\), is Legendrian isotopic to a representative which satisfies the following property for an arbitrary choice of numbers \(A>\delta >0\):

There exists a Legendrian fiber \(F=\{{\mathbf {x}}=x_0, z=z_0\}\) for which there are precisely two Reeb chords with one endpoint on \(\Lambda \) and one endpoint on the fiber, both which moreover are transverse;

the two Reeb chords between \(\Lambda \) and F both start on \(\Lambda \), and their length difference is greater than equal to \(A>0\); and

the Legendrian \(\Lambda \) can be displaced from the fiber by a contact isotopy of oscillation less than \( \delta >0\).
(See Fig. 4 for an example.)
Proof
In view of Lemma 4.2 and Murphy’s hprinciple for loose Legendrians [23] it suffices to construct a Legendrian sphere in the formal Legendrian isotopy class of the standard sphere that satisfies the properties in the statement. Indeed, it is then a simple matter of taking a cusp connected sum with \(\Lambda \) and that sphere.
We begin by constructing the sphere \(\Lambda \) of dimension \(n=2\) that satisfies the assumptions, and which is formally isotopic to \(\Lambda _{{\text {St}}}\). In this dimension there is a unique formal isotopy class of Legendrian spheres [23]. Considering loose spheres as depicted in Fig. 4, with sufficiently many zigzags, one can readily produce sought examples.
Increasing the number of zigzags allows us to increase the zcoordinate while keeping \(y_1,y_2\) small. By Lemma 1.6 the displacing Hamiltonian can then be made small. Thus, a high number of zigzags makes more optimal the constants \(A>\delta >0\).
The construction of the spheres in higher dimensions \({\mathbb {R}}^{2n+1}\), \(n>2\), can be done by induction. Assume that we have produced the sought embedded sphere \(\Lambda ^{n1}\) in dimension \(n1\).
Consider the standard Legendrian nsphere \(\Lambda _{{\text {St}}}^n\), which we assume to have its cuspedge contained above the unit sphere in \({\mathbb {R}}^n=\{(x_1,\ldots ,x_n)\}\). We then perform a stabilization over a closed domain \(U \subset B^n \subset {\mathbb {R}}^n\) with smooth boundary and Euler characteristic \(\chi (U)=0\). The resulting Legendrian is loose and formally isotopic to the standard sphere; see [8, Lemma 2.2]. We can find such a domain U which moreover is of the form \([\epsilon ,\epsilon ] \times U^{n1}\) near the hyperplane \(\{x_1=0\}\), where \(U^{n1}\) again has vanishing Euler characteristic.
We can assume the stabilization of \(\Lambda _{{\text {St}}}^n\) intersects the hypersurface
in an \((n1)\)dimensional Legendrian sphere, which again is loose and formally isotopic to the standard sphere; this intersection is itself the stabilization of \(\Lambda ^{n1}_{{\text {St}}}\) by \(U^{n1}\). After a suitable Legendrian isotopy in \({\mathbb {R}}^{2n1}\) lifted to \({\mathbb {R}}^{2n+1}\) we have thus managed to construct a loose Legendrian nsphere in the formal isotopy class of \(\Lambda _{{\text {St}}}^n\) which coincides with the cylinder
in some neighborhood of \(\{x_1=0\}\). The sought fiber F can be found in the same region. \(\square \)
We now prove Theorem 1.7 when \(n \ge 2\); note that a stabilized Legendrian is loose in these dimension. Given that the statement is shown in higher dimension, we obtain the statement for knots as follows. The frontspinning construction [10] applied to a stabilized Legendrian knot in \({\mathbb {R}}^3\) produces a loose Legendrian torus inside \({\mathbb {R}}^5\). A potential example of a knot that is squeezed into a neighborhood of a stabilized can thus be spun to an example of an augmentable torus that can be squeezed into a neighborhood of a loose torus. To that end, note that the front spinning preserves Legendrian isotopy classes as well as augmentability [14].
Remark 4.4
Lenny Ng pointed out to us that the dimension 1 case can also be proved with rulings. Consider the local picture of an oddcovering of the stabilization. Any attempt at pairing the sheets, necessary for the (local) construction of the ruling, leaves one copy and its two stabilization cusps unpaired. A 1dimensional knot with an augmentation must have a ruling [17, 27].
Denote by \(\Lambda _{{\text {loose}}} \subset {\mathbb {R}}^{2n+1}\), \(n \ge 2\), the arbitrary stabilized, hence loose, Legendrian from Theorem 1.7, and assume there exists a Legendrian \(\Lambda \) which admits an augmentation and can be squeezed into a standard contact neighborhood of \(\Lambda _{{\text {loose}}}\).
Place the loose Legendrian in the position satisfying the conclusion Lemma 4.3. By assumption, we can isotope \(\Lambda \) into a standard neighborhood of \(\Lambda _{{\text {loose}}}\) contactomorphic to a neighborhood of the zero section inside \(J^1\Lambda _{{\text {loose}}}\) [19, Theorem 6.2.2].
By a fiberwise rescaling of \(\Lambda \) inside this jetbundle, together with a general position argument, we can then assume that all mixed Reeb chords between the fiber F (see Lemma 4.3) and \(\Lambda \) all end on F and start on \(\Lambda \), and come of two types: an odd number of Reeb chords of action roughly equal to length \(l>0\) and an odd number of Reeb chords of length roughly equal to \(A+l\), where \(A \gg 0\) is arbitrarily large. Here we use the assumption that the degree of the bundle projection
is of odd degree to infer that both clusters of Reeb chords are odd.
We claim that there must be a bar in the complex \(LCC_*^\infty (\Lambda \cup F)^{+\infty }_{\infty }\) of length at least equal to A. (We use that \(\Lambda \) and F have augmentations to be able to set \(l = \infty \).) Indeed, the subcomplex consisting of chords of length strictly less than A is odddimensional and hence not acyclic, one can then apply Lemma 2.5 to infer the existence of the long bar. Since \(\Lambda \) is displaceable from the fiber by a contact isotopy of some fixed small oscillation \(\delta >0\) by Lemma 4.3, we now arrive at a contradiction by the following argument: Proposition 3.5 shows that the analysis of the bifurcation of barcodes from Proposition 2.7 can be applied to the family of linearised Legendrian contact homology complexes induced by the displacement. However, using Lemma 3.1, the long bars found above cannot disappear in such a family induced by a Hamiltonian of small oscillation.
5 Proof of Theorem 1.8
Consider a smooth isotopy \(\Sigma _t \subset (X^4,\omega )\) of a compact symplectic embedded surface inside a symplectic fourmanifold, where \(\partial \Sigma _t \ne \emptyset \). Assume that \(\Sigma _t\) is fixed near the boundary.
Lemma 5.1
The Hamiltonian \(H_t :X \rightarrow {\mathbb {R}}\) for which \(\phi ^t_{H_t}(\Sigma _0)=\Sigma _t\) can be taken to vanish along all of \(\Sigma _t\). Hence, after a deformation by a suitable family of cutoff functions, we may assume that the uniform norm of \(H_t\) is arbitrarily small on all of X.
Proof
The Hamiltonian is constructed in the proof of [28, Proposition 0.3]. \(\square \)
Assume that the cuspedge of the front projection of \(\Lambda _{{\text {St}}}(1)\) lives above the unit circle in the \((x_1,x_2)\)plane; see Fig. 1. Let \(\Pi :{\mathbb {R}}^5 \rightarrow {\mathbb {R}}^4=\{(x_i,y_i)\}\) denote the canonical projection.
We begin the proof of Theorem 1.8 in Steps 1–3 below by constructing a (nonLegendrian) smooth and arbitrarily \(C^0\)small pushoff of \(\Lambda _{{\text {St}}}(1)\) that can be displaced by a contact Hamiltonian of any fixed small oscillation. (Compare to the result in [22] for nonLagrangian submanifolds.) In Step 4, we show how with a small oscillation, the stabilized sphere in the Theorem’s statement is Legendrian isotopic to a Legendrian \(C^0\)close to the initial pushoff. We then apply the ambient isotopy of the nonLegendrian’s displacement from Steps 1–3 to complete the Legendrian isotopy and the proof.
Step 1 Arguing similarly as in the proof of Lemma 1.6 in Sect. 3.5, but while taking some additional care, one can readily find a Legendrian isotopy \(\Lambda _t\) from \(\Lambda _0 = \Lambda _{{\text {St}}}(1)\) to \(\Lambda _1=\Lambda '\) for which the isotopy \(\Pi (\Lambda _t)\) has support in the interior of \(U :=\{(x_1,x_2) \in D^2_{12\epsilon } {\setminus } D^2_{2\epsilon }\} \subset {\mathbb {R}}^4\), and such that \(\Lambda '\) is displaceable by the lift of a Hamiltonian on \({\mathbb {R}}^4\) of very small oscillation. This is because \(\Pi (\Lambda ')\) may be assumed to live in a small neighborhood of the Lagrangian disc \(\{(x_1,x_2,y_1,y_2) \in D^2_1\times \{0\} \} \subset {\mathbb {R}}^4\).
To live in such a small neighborhood, the Reeb chord of \(\Lambda _t\) must certainly shrink; however, the Lagrangian projection \(\Pi (\Lambda _t)\) still can be assumed to be fixed near the corresponding doublepoint. We may assume that all \(\Lambda _t\) have a unique Reeb chord and that their projections to the \((x_1,x_2)\)plane are submersions inside \(\Pi ^{1}(U) \subset {\mathbb {R}}^5\).
Step 2 We now construct a \(C^0\)small nonLegendrian pushoff \({\widetilde{\Lambda }}_t\) of \(\Lambda _t\) such that

the image \(\Pi ({\widetilde{\Lambda }}_t)\) is symplectic in the subset \(U = \{(x_1,x_2) \in D^2_{12\epsilon } \setminus D^2_{2\epsilon }\} \subset {\mathbb {R}}^4\),

\({\widetilde{\Lambda }}_t=\Lambda _t\) in the complement of the subset \(\Pi ^{1}(V)\) for \(V :=\{(x_1,x_2) \in D^2_{1\epsilon } \setminus D^2_\epsilon \} \subset {\mathbb {R}}^4\), and

\({\widetilde{\Lambda }}_t\) does not depend on t inside \(\Pi ^{1}(V \setminus U)\).
The deformation can be performed by, for example, considering a Lagrangian standard neighborhood of \(\Pi (\Lambda _t) \subset {\mathbb {R}}^4\) and pushing it off as a section consisting of a suitable family of oneforms whose exterior derivative is a symplectic form on \(\Lambda _t\) inside U. Note that this deformation \({\widetilde{\Lambda }}_t\) necessarily must be antisymplectic somewhere inside \(V \setminus U\) by Stokes’ theorem: a closed chain inside \({\mathbb {R}}^4\) cannot have nonzero symplectic area. However, the family of oneforms can still be taken to be fixed inside \(V \setminus U\), which ensures the third bullet point above.
Step 3 We can now apply Lemma 5.1 inside \(U \subset {\mathbb {R}}^4\) to \(\Pi ({\widetilde{\Lambda }}_t)\) in order to deduce the existence of a Hamiltonian on \({\mathbb {R}}^4\) of arbitrarily small oscillation that generates the isotopy \(\Pi ({\widetilde{\Lambda }}_t) \subset {\mathbb {R}}^4\). Since \({\widetilde{\Lambda }}_1\) is assumed to be arbitrarily \(C^0\)close to \(\Lambda '\), and \(\Lambda '\) is displaceable by the lift of a Hamiltonian on \({\mathbb {R}}^4\) having small oscillation, this finishes the construction of the pushoff with a displacement of small oscillatory norm.
Step 4 Consider a standard contact neighborhood \((T^*_{\le \epsilon }S^2 \times [\epsilon ,\epsilon ],dz{\mathbf {p}}d{\mathbf {q}})\) of \(\Lambda _{{\text {St}}}(1)\) in which \(\Lambda _{{\text {St}}}(1)\) corresponds to the zero section, and which contains the nonLegendrian sphere \({\widetilde{\Lambda }}_0\) which can be displaced with small oscillation. Here we may assume that \(\epsilon >0\) is arbitrarily small.
We add a stabilization to \(\Lambda _{{\text {St}}}(1)\) inside the above standard neighborhood to create a loose Legendrian \(\Lambda _{{\text {loose}}}\) in the same formal isotopy class as \(\Lambda _{{\text {St}}}(1)\), which is the unique 2sphere formal isotopy class [23]. By Murphy’s hprinciple [23] we can find a Legendrian isotopy confined to the above standard neighborhood that takes \(\Lambda _{{\text {loose}}}\) to a Legendrian that approximates \({\widetilde{\Lambda }}_0\) arbitrarily well in the \(C^0\)norm; here we need that \({\widetilde{\Lambda }}_0\) admits a \(C^0\) approximation by a Legendrian sphere [29] and the aforementioned uniqueness of the formal isotopy class. What remains is to argue that the oscillation of this Legendrian isotopy can be assumed to be of order \(\epsilon \).
This can be achieved by applying a fiberwise rescaling by a small positive number to the whole isotopy, thereby making it confined to an arbitrarily small neighborhood of the zerosection. We then just need to estimate how much oscillation is needed to do the initial shrinking of \(\Lambda _{{\text {loose}}}\), together with the expansion back to the approximation of \({\widetilde{\Lambda }}_0\). The crucial estimates of the oscillation of the fiberwise rescaling, i.e. the contact isotopy
were considered in the proof of Lemma 1.6 in Sect. 3.5. Its generating contact Hamiltonian with respect to the standard tautological contact form \(dz{\mathbf {p}}d{\mathbf {q}}\) is given by \(H_t=\frac{z}{1t}\). The \(\epsilon \)neighborhood of the zerosection can thus be shrunk to a \(\lambda \cdot \epsilon \)neighborhood, where \(0<\lambda <1\), with a contact Hamiltonian of oscillation \(2(1\lambda )\epsilon \). \(\square \)
Notes
This bar is uniquely determined near the exit moment by Part (1) of Lemma 2.5 and the definition of an exit below.
References
Barannikov, S.A.: The framed Morse complex and its invariants. In: Arnold, V.I. (ed.) Singularities and Bifurcations. Advances in Soviet Mathematics, vol. 21, pp. 93–115. Amer. Math. Soc, Providence, RI (1994)
Bourgeois, F., Chantraine, B.: Bilinearized Legendrian contact homology and the augmentation category. J. Symplectic Geom. 12(3), 553–583 (2014)
Buhovsky, L., Humilière, V., Seyfaddini, S.: The action spectrum and \(C^0\) symplectic topology (2018). arXiv:1808.09790
Chantraine, B., Dimitroglou Rizell, G., Ghiggini, P., Golovko, R.: Geometric generation of the wrapped Fukaya category of Weinstein manifolds and sectors (2017). arXiv:1712.09126
Chekanov, Y.V.: Lagrangian intersections, symplectic energy, and areas of holomorphic curves. Duke Math. J. 95(1), 213–226 (1998)
Dimitroglou Rizell, G.: Legendrian ambient surgery and Legendrian contact homology. J. Symplectic Geom. 14(3), 811–901 (2016)
Dimitroglou Rizell, G., Sullivan, M.G.: An energycapacity inequality for Legendrian submanifolds. J. Topol. Anal. 12(3), 547–623 (2020). https://doi.org/10.1142/S1793525319500572
Ekholm, T., Eliashberg, Y., Murphy, E., Smith, I.: Constructing exact Lagrangian immersions with few double points. Geom. Funct. Anal. 23(6), 1772–1803 (2013)
Ekholm, T., Etnyre, J., Sullivan, M.: The contact homology of Legendrian submanifolds in \({\mathbf{R}}^{2n+1}\). J. Differ. Geom. 71(2), 177–305 (2005)
Ekholm, T., Etnyre, J., Sullivan, M.: Nonisotopic Legendrian submanifolds in \({\mathbf{R}}^{2n+1}\). J. Differ. Geom. 71(1), 85–128 (2005)
Ekholm, T., Etnyre, J., Sullivan, M.: Orientations in Legendrian contact homology and exact Lagrangian immersions. Int. J. Math. 16(5), 453–532 (2005)
Ekholm, T., Etnyre, J., Sullivan, M.: Legendrian contact homology in \(P\times { R}\). Trans. Am. Math. Soc. 359(7), 3301–3335 (2007). (electronic)
Ekholm, T., Etnyre, John B., Sabloff, J.M.: A duality exact sequence for Legendrian contact homology. Duke Math. J. 150(1), 1–75 (2009)
Ekholm, T., Kálmán, Tamás: Isotopies of Legendrian 1knots and Legendrian 2tori. J. Symplectic Geom. 6(4), 407–460 (2008)
Entov, M., Polterovich, L.: Lagrangian tetragons and instabilities in hamiltonian dynamics. Nonlinearity 30(1), 13 (2017)
Floer, A.: Morse theory for Lagrangian intersections. J. Differ. Geom. 28(3), 513–547 (1988)
Fuchs, D., Ishkhanov, T.: Invariants of Legendrian knots and decompositions of front diagrams. Mosc. Math. J. 4(3), 707–717 (2004). 783
Fukaya, K., Oh, Y.G., Ohta, H., Ono, K.: Displacement of polydisks and Lagrangian Floer theory. J. Symplectic Geom. 11(2), 231–268 (2013)
Geiges, H.: An Introduction to Contact Topology. Cambridge Studies in Advanced Mathematics, vol. 109. Cambridge University Press, Cambridge (2008)
Hofer, H.: On the topological properties of symplectic maps. Proc. R. Soc. Edinb. Sect. A 115(1–2), 25–38 (1990)
Kislev, A., Shelukhin, E.: Bounds on spectral norms and barcodes (2018). arXiv:1810.09865
Laudenbach, F., Sikorav, J.C.: Hamiltonian disjunction and limits of Lagrangian submanifolds. Int. Math. Res. Not. 4:161 ff (1994). approx. 8 pp. (electronic)
Murphy, E.: Loose Legendrian embeddings in high dimensional contact manifolds (2012). arXiv:1201.2245
Polterovich, L., Shelukhin, E.: Autonomous Hamiltonian flows, Hofer’s geometry and persistence modules. Sel. Math. (N.S.) 22(1), 227–296 (2016)
Polterovich, L., Shelukhin, E., Stojisavljević, V.: Persistence modules with operators in Morse and Floer theory. Mosc. Math. J. 17(4), 757–786 (2017)
Rosen, D., Zhang, J.: Chekanov’s dichotomy in contact topology (2017). arXiv:1808.08459
Sabloff, J.M.: Augmentations and rulings of Legendrian knots. Int. Math. Res. Not. 19, 1157–1180 (2005)
Siebert, B., Tian, G.: On the holomorphicity of genus two Lefschetz fibrations. Ann. Math. (2) 161(2), 959–1020 (2005)
Strängberg, D.: Legendrian approximations. Master’s thesis, Uppsala University, Algebra and Geometry (2014). http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva227505
Usher, M., Zhang, J.: Persistent homology and Floer–Novikov theory. Geom. Topol. 20(6), 3333–3430 (2016)
Acknowledgements
We would like to thank Michael Entov for the above comparison of results and Lenny Ng for Remark 4.4. We are also in debt to the referee for doing a very careful reading, finding mistakes, and giving valuable suggestions. The first author is supported by Grant KAW 2016.0198 from the Knut and Alice Wallenberg Foundation. The second author is supported by Grant 317469 from the Simons Foundation and thanks the Centre de Recherches Mathematiques for hosting him while some of this work was done.
Funding
Open access funding provided by Uppsala University.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Dimitroglou Rizell, G., Sullivan, M.G. The persistence of the Chekanov–Eliashberg algebra. Sel. Math. New Ser. 26, 69 (2020). https://doi.org/10.1007/s0002902000598y
Accepted:
Published:
DOI: https://doi.org/10.1007/s0002902000598y
Mathematics Subject Classification
 53D10
 53D40
 53D12