Existence of generating families on Lagrangian cobordisms

For an embedded exact Lagrangian cobordism between Legendrian submanifolds in the 1-jet bundle, we prove that a generating family linear at infinity on the Legendrian at the negative end extends to a generating family linear at infinity on the Lagrangian cobordism after stabilization if and only if the formal obstructions vanish. In particular, a Lagrangian filling with trivial stable Lagrangian Gauss map admits a generating family linear at infinity.


Introduction
Generating families, as a generalization of defining functions of graphical Lagrangians and Legendrians in cotangent bundles and 1-jet bundles [16,19,38], have been an important tool in the studies of exact Lagrangian submanifolds in cotangent bundles and respectively Legendrian submanifolds in 1-jet bundles [11,21,33,35,36].In particular, generating families have been used in the studies of Lagrangian submanifolds in the symplectization of J 1 M [5,6,11].Sabloff-Traynor [32] and Bourgeois-Sabloff-Traynor [2] have used generating family techniques in the study of Lagrangian cobordisms between Legendrian submanifolds.
However, it is in general very difficult to construct generating families for an arbitrary Lagrangian or Legendrian.To the best of our knowledge, the Lagrangians/Legendrians we know that generating families exist globally for systematic reasons are the ones that are Hamiltonian isotopic to the zero section [6,11,33,34,36] or (sub)graphical Lagrangians [11], nearby Lagrangians in T * M with trivial stable Lagrangian Gauss maps [1] and arbitrary nearby Lagrangians in T * S n [1,22].There have also been constructions for certain immersed Lagrangian fillings of Legendrians [2,27], Lagrangian traces of Legendrian isotopies and certain Lagrangian handle attachments on Legendrians [2].
In this note, we consider generating families on Lagrangian cobordisms between Legendrian submanifolds.This is a non-symmetric relation between Legendrian submanifolds [3,4], and results in relative symplectic field theory [10] imply that Lagrangian cobordisms induce maps of the Legendrian contact homologies from the positive end to the negative end [8,9], and functors between augmentation categories from the negative end to the positive end.Since in low dimensions generating families induce augmentations by using rulings [7,[12][13][14]30] and Morse complex sequences [18,29], one would expect that a generating family on the Legendrian at the negative end extends to the positive end.
Our main theorem states that generating families on the Legendrian at the negative end indeed extends to the Lagrangian cobordism and hence the positive end, once the necessary formal obstruction vanishes.
) be an exact Lagrangian cobordism between Legendrians in J 1 M from Λ − to Λ + .Let f − be a generating family for Λ − linear at infinity.Then f − extends to a generating family for L linear at infinity up to stabilizations if and only if the stable Lagrangian Gauss map G : L → U/O is null homotopic and the null homotopy on Λ − determined by f − extends to a null homotopy on L. In particular, when the above conditions hold, Λ + admits a generating family linear at infinity.Remark 1.1.We expect that for any D k -family of generating families linear at infinity for Λ − , when the D k -family of null homotopies of the Lagrangian Gauss map extends to L, the generating families will extend to a D k -family of generating families linear at infinity for L. However, we will not work out the details and give a complete proof in this paper.
Generating families have been used in many previous literature to study Lagrangian cobordisms between Legendrians [2,25,27,31,32].However, to our knowledge, we need to assume the existence of a compatible generating family on the Lagrangian cobordism.With the theorem above, one can replace those existence assumptions by the purely formal conditions on the Lagrangian Gauss map and the classifying map of generating families.
The first corollary is that for exact Lagrangian concordances, a generating family linear at infinity on Legendrian at the negative end always extends to the Lagrangian concordance.
) be an exact Lagrangian concordance between closed Legendrians from Λ − to Λ + → J 1 M .Then L admits a generating family linear at infinity if and only if Λ − admits a generating family linear at infinity.
The second corollary that may be of particular interest is the case of Lagrangian fillings.Our result implies that any exact Lagrangian filling with trivial stable Lagrangian Gauss map admits a generating family linear at infinity.
) be an exact Lagrangian filling of Λ → J 1 M .Then L admits a generating family linear at infinity if and only if the stable Lagrangian Gauss map G : L → U/O is trivial.In particular, when Λ has a Lagrangian filling L with trivial Lagrangian Gauss map, Λ admits a generating family linear at infinity.
We explain the concepts involved in the main results, starting from the definition of generating families for Lagrangian and Legendrian submanifolds.
f is a generating function linear at infinity if f (x, −) : R n → R is a linear function for every x ∈ M outside a proper subset with respect to the projection onto M .
Given a generating family, we can stabilize it by introducing extra dimensions and adding quadratic forms on the extra factors.Let f : M × R n → R be a generating family.Then the stabilization of f is the generating function for a quadratic form Q : R m → R. We will prove that after deforming the functions outside compact subsets, stabilizations preserve linear at infinity property.
Then we explain the formal obstructions that appear in the statement of our theorems.The first obstruction is to trivialize the stable Lagrangian Gauss map of Λ.Consider the Lagrangian fibration of T * M by cotangent fibers.We will identify the Lagrangian Grassmannian over T * M with the trivial bundle U/O × T * M → T * M .Definition 1.2.Let Λ → T * M be an exact Lagrangian immersion.Then the stable Lagrangian Gauss map is defined by the section It is shown by Giroux [15] and Latour [23] that the necessary and sufficient condition of the existence of a germ of generating family on an exact Lagrangian immersion Λ is that the stable Lagrangian Gauss map is trivial, and each generating family f determines a null homotopy of the Lagrangian Gauss map G : Λ → U/O.Then the second obstruction is to extend the null homotopy on Λ to a null homotopy on L.
When concatenating two null homotopies of the stable Lagrangian Gauss map, we will obtain a based loop Λ → Ω(U/O), where Ω(U/O) ≃ Z × BO by Bott periodicity.Thus we can characterize the null homotopy through the following construction, where we identify a subspace V ⊂ R n of codimension r as a point (r, [V ]) ∈ Z × BO.Definition 1.3.Let Λ → T * M be an exact Lagrangian immersion generated by a given reference generating family g : M × R n → R. Then the classifying map of any generating family f is defined as a map between pointed spaces by where V <0 f and V ≥0 f are the negative and non-negative eigenspace of the Hessian ∂ 2 u f .Remark 1.2.Latour showed that V <0 f (x, u) ⊕ V ≥0 g(x, u) defines a vector bundle over Λ, which is not obvious from the construction.For any (x, u) ∈ M × R n that projects onto Λ, the value of ∆(f − ) at the point can also be written as Remark 1.3.Since ∆ is a map between pointed spaces, we require that the base point is sent to 0 The necessary condition for one to extend a germ of generating family is that the corresponding classifying map extends.It is proved by Latour [23] that the germs of generating families are indeed classified by [Λ, Ω(U/O)] ≃ [Λ, Z × BO] up to stabilizations.Hence this is also the sufficient condition to extend germs of generating families.
Remark 1.4.We note that the first few formal obstructions are well known invariants for Lagrangians and Legendrians.The first obstruction for the Lagrangian Gauss map to vanish is the Maslov class µ(Λ) ∈ H 1 (Λ; Z) and the first order part of the classifying map from L to Z is the choice of a Maslov potential on all connected components.We will explain in Appendix A that for Legendrian links, these are the only obstructions.
Knowing the result of Giroux [15] and Latour [23], one can easily notice that the main difficulty is to extend the germ of generating family to a generating family linear at infinity on M × R N .We follow the idea in the recent work of Abouzaid-Courte-Guillermou-Kragh [1] inspired by works in microlocal sheaves of Guillermou [17].Given a germ of generating families on Λ, one constructs a generating family linear at infinity on the double copy given by Reeb push-off T −h (Λ) ∪ T h (Λ), and then separates the two copies T −h (Λ) and T h (Λ).
For exact Lagrangian cobordisms L between Legendrians, we do not always obtain a generating family linear at infinity on the double copy T −h (L) ∪ T h (L) due to lack of a Weinstein tubular neighbourhood of L with positive radius.However, once there is a generating family linear at infinity at the negative end Λ − , we will be able to carry out the rest of the doubling construction.This is inspired by our previous work in microlocal sheaves for Lagrangian cobordisms [24] (though we need to emphasize that mathematically neither result implies the other).
Remark 1.5.Like the construction of Abouzaid-Courte-Guillermou-Kragh [1], we believe that our construction also works for twisted generating families.However, in the case of nearby Lagrangians considered in their paper, twisted generating families produce interesting restrictions of the Lagrangian.It seems yet unclear what one can obtain by using twisted generating families on Lagrangian cobordisms.
Let us remark that our result should potentially generalize to generating families that are not linear at infinity.However, in those cases there might be extra difficulties when cutting off the generating families in Section 2.5.
Acknowledgement.We would like to thank Emmy Murphy and Eric Zaslow for helpful discussions on the project.We would also like to thank Daniel Alvarez-Gavela for helpful discussions and Stéphane Guillermou, Thomas Kragh, Joshua Sabloff and Lisa Traynor for their interest in this project.We thank Joshua Sabloff for reading a earlier version of the draft and providing helpful feedbacks, thank Sylvain Courte for helpful discussions and comments on the draft, and thank the anonymous referee for carefully reading the paper and providing detailed feedback throughout.After the manuscript is posted, we learned that Sylvain and Stéphane are aware of this result as well.
2. Proof of the Theorem 2.1.Germs of generating families.The problem of constructing germs of generating families turns out to be purely homotopy theoretic.In this section, we explain why the formal condition ensures the existence of a germ of generating family.Definition 2.1.Let ι : L → J 1 M be a Legendrian immersion.Then a germ of generating function is a pair (U, f ) where Remark 2.1.When L → J 1 M is a Legendrian embedding, we will omit the obvious choice of the diffeomorphism φ : Denote the Legendrian embedding by φ : L → J 1 M .Consider a smooth map ψ : One can further show that this is equivalent to a Lagrangian distribution that contains the tangent bundle of the isotropic embedding, which then becomes a homotopy theoretic problem.
Theorem 2.1 (Giroux [15]).Let L → J 1 M be a Legendrian immersion.Then L has a germ of generating family if and only if the stable Lagrangian Gauss map L → U/O is homotopically trivial.
Then we define equivalences of germs of generating families following [23,Definition IV.1.4 & 6] in order to state the classification theorem of Latour.Definition 2.2.Let L → J 1 M be a Legendrian immersion, and (U, f ), (U ′ , f ′ ) be germs of generating families for the Legendrian L. Then (U, f ) and We now explain the correspondence between the germ of generating families and the homotopy classes [L, Ω(U/O)].Using Bott periodicity, we know that For any subspace V ⊂ R n of codimension r, we will regard it as a point (r, [V ]) ∈ Z × BO.In the proof of Giroux's theorem, we deformed the Lagrangian Gauss map such that it is tangent to the isotropic embedding L → J 1 (M × R n ).However, the behaviour along the R n -direction of the embedding U → J 1 (M × R n ) may differ, and we can obtain a classification result of the germs of generating families by the behaviour along R n -direction.
For a generating family f for L → J 1 M , the negative eigenspace of f on the fiberwise critical locus Σ f as a subspace in R n .However, in general, the dimension of the negative eigenspace is not a constant and does not define a vector bundle or a continuous map L → BO.Latour resolved the issue by considering the sum of the negative eigenspace of a generating family f and the positive eigenspace of a reference generating family g, which turns out to be always a direct sum [23, Definition 2.3.Let f and g be germs of generating families for L such that Σ f = Σ g .Let V <0 f (x, u) and V ≥0 f (x, u) be the negative and non-negative eigenspace of the Hessian ∂ 2 u f (x, u) at (x, u) ∈ Σ f .Denote by (x 0 , u 0 ) ∈ Σ f the lift of the base point in L. We define the classifying map of f with respect to the reference class g as In order to compare arbitrary germs of generating families, we need the following lemma.).Let L → J 1 M be a Legendrian immersion, and (U, f ), (U ′ , f ′ ) be germs of generating families for L. Then there exist stabilizations (U , f ), (U ′ , f ′ ) and a diffeomorphism H : Given any two germs of generating families f and f ′ , by the above lemma, one can assume that after stabilizations they are defined on the same domain.When ∆(f ) − ∆(f ′ ) = 0, there is a homotopy between the classifying maps L → Z × BO of f and f ′ .Therefore, by Bott periodicity we can show that the null homotopies of the Lagrangian Gauss map L × [0, 1] → U/O determined by f and f ′ are homotopic.Using the existence theorem of generating families for L × [0, 1], we get the following lemma.
Lemma 2.4 (Latour [23,Proof IV.4.5]).Let L → J 1 M be a Legendrian immersion, and (U, f ), (U, f ′ ) be germs of generating families for L with common critical locus Then after stabilization there is a family of germs of generating functions (U , f t ) for L such that f 0 = f and f 1 = f ′ .
Then using Moser argument and isotopy extension theorem [23,Lemma IV.4.4], from the homotopy of generating families (U , f t ), one can easily define an isotopy of manifolds H t such that f t = f • H t .This is the key idea in the proof of Latour's theorem.Using Latour's theorem, we can prove the following extension theorem for germs of generating families.
Suppose L is a Legendrian and the stable Lagrangian Gauss map L → U/O is trivial.We fix a reference class of germ of generating family g for L, and then for any generating family f for L, define the classifying map For an open submanifold L 0 ⊆ L, we restrict the reference class g to L 0 , and given a generating family f 0 for L 0 , define the classifying map Proposition 2.5.Let L → J 1 (M ) be a compact Legendrian immersion.Then a generating family f 0 for an compact submanifold L 0 ⊆ L with smooth boundary extends to L after stabilization if and only if the stable Lagrangian Gauss map L → U/O is homotopically trivial and the homotopy class associated with the generating family ∆(f 0 ) : L 0 → Z × BO extends to L.
Proof.When the Lagrangian Gauss map L → U/O is stably trivial, by Giroux's Theorem 2.1 we know that L admits a generating family, and by Latour's Theorem 2.2 we know that (for a given choice of reference class of generating families) the stable equivalence classes of generating families are in bijection with [L, Z × BO].
Consider the generating family f 0 on a compact submanifold L 0 ⊆ L, and 0 be an open tubular neighbourhood of L 0 ⊆ L which deformation retracts onto L 0 , and Generating families linear at infinity.Any Morse-theoretic argument of generating families will not work without control on the behaviour of the generating families away from the critical locus.This is why we need the linear at infinity condition.Following [1], we introduce generating families that are weakly linear at infinity.Unlike Definition 1.1, for generating families that are weakly linear at infinity, we only require linearity outside compact subsets on some R n -factor of R m+n .Alternatively, one can also simply deal with generating functions linear and quadratic at infinity following Jordan-Traynor [21].
Then f is called a function weakly linear at infinity if outside a compact subset in R m+n , where L(x, −) : R n → R is a linear function.Equivalently, f is called weakly linear at infinity if there is a function ϵ : Lemma 2.6.Let f : M × R m+n → R be a generating function weakly linear at infinity.Then there is a homotopy of functions f t such that f 0 = f and f 1 is a function strongly linear at infinity such that the fiberwise critical locus Σ ft = Σ f and f t = f on a neighbourhood of the critical locus.
Proof.Let ρ : M × R m+n → R be a smooth cut-off function such that ρ| supp(ϵ) ≡ 1 and . This is the required homotopy.□ Comparing Definition 1.1 of functions strictly linear at infinity, the advantage of functions weakly linear at infinity is that they are invariant under stabilizations.Let Q k be the space of quadratic forms on R k , Q : M → Q k be a family of quadratic forms, and χ : Then the stabilization of f by Q with compact cut-off is defined by Remark 2.3.We refer to [1, Lemma 3.2] for the details on the existence of the choice of cut-off function χ : R be a generating function weakly linear at infinity and Q : M → Q k be a family of quadratic forms.Let f cpt be the stabilization by Q with compact cut-off and f be the stabilization by Q.Then there is a homotopy f t with f 0 = f cpt and f 1 = f such that f t have the same critical locus and agree on a neighbourhood of the critical locus.
Given the above lemma, we will no longer distinguish generating families that are weakly linear and strongly linear at infinity, nor will be distinguish stabilization of f by Q with compact cut-off and standard stabilizations of f by Q.

2.3.
Generating families on the doubling.Let L be the Legendrian lift of an exact Lagrangian cobordism from Λ − to Λ + [3,9].Given a generating family linear at infinity on the negative end Λ − that extends to a germ of generating family on L, we use the doubling construction to get a generating family linear at infinity for the double copies T −ϵ (L)∪T ϵ (L) given by the Reeb pushoff after modifying the construction of Abouzaid-Courte-Guillermou-Kragh [1].This is the key construction in our paper.
First, recall that there is a strict contactomorphism between the contactization of the symplectization of J M and J 1 (M × R >0 ) by [6,26] where we use the standard contact form α J 1 M = dt − ξdx.The Legendrian lift of an exact Lagrangian cobordism from Λ − to Λ + gives rise to a conical Legendrian cobordism [26].
Definition 2.6.Let Λ ± → J 1 M be Legendrian embeddings.Then a Legendrian embedding Given a generating family f − : M × R k → R linear at infinity of Λ − , the classical trick of Chekanov [6, Proposition 5.3] implies that there is a generating family linear at infinity that generates the conical Legendrian Λ − × R >0 = {(x, s, sξ, t, st)|(x, ξ, t) ∈ Λ − }.This will be the starting point of our construction.
In order to construct a generating family on the double copy T −ϵ (L) ∪ T ϵ (L), we need to consider the following function linear at infinity with two critical points.Definition 2.7.For h > 0, define D h : R → R as a smooth function such that D h (w) = h(w 3 − 3w)/2 when |w| ≤ 1, D ′ h (w) ≥ 0 when 1 ≤ |w| ≤ 2, and D h (w) = w when |w| ≥ 2. Lemma 2.8.Let f : M ×R k → R be a generating family linear at infinity and f dbl (x, u, w) = f (x, u) + D h (w).Then there is a homotopy of functions on a neighbourhood of the critical locus, and f 1 is linear at infinity.
Proof.Suppose f (x, u) = ϵ(x, u) + L(x, u) where L is linear and π Thus, Σ ft = Σ f dbl and f t is the required homotopy.□ Given the above lemma, we will not distinguish f dbl (x, u, w) = f (x, u) + D h (w) and its linear at infinity deformation.
13.The regions between the dashed lines are the nonconical part of the Legendrian cobordism.Theorem 2.9.Let L → J 1 (M ×R >0 ) be an embedded conical Legendrian cobordism between closed embedded Legendrians from Λ − to Λ + → J 1 M .
Then there exists a generating family linear at infinity for ϵ > 0 sufficiently small if and only if there exists a generating family linear at infinity f − : M × R k → R which extends to a germ of generating family on L.
Moreover, when the conditions hold, we can define Let us recall the theorem of Abouzaid-Courte-Guillermou-Kragh [1, Corollary 3.12 & Theorem 3.13].They proved that given a germ of generating family on a closed Legendrian embedding L → J 1 M , there is a generating family linear at infinity on the doubling T −ϵ (L) ∪ T ϵ (L) when ϵ > 0 is small.Their theorem does not hold for arbitrary noncompact Legendrian embeddings (even with conical conditions outside a compact subset).
Consider the germ of generating families F (x, s, u) where F (x, s, u) = sf − (x, u) at the negative end and F (x, s, u) = sf + (x, u) at the positive end.When s > 0 is sufficiently small, we will lose control on the derivative of F (x, s, u) = sf − (x, u), and may therefore introduce extra critical points to the generating family when considering the doubling construction.We avoid the issue by assuming the existence of a generating family linear at infinity at the negative end.
Proof of Theorem 2.9.Consider the extension of the germ of generating family f defined on an open neighbourhood U of L such that

we may choose the extension of the germ of functions on
Consider a open refinement V ⊂ U of L and a cut-off function α : When s < s − , we know that When s − ≤ s ≤ s + , considering the region α −1 ((0, 1)) ∩ M × [s − , s + ] × R k , we may assume that |∂ u f | ̸ = 0 and there exist uniform c 1 , c 2 > 0 such that Note that D ϵ (w) − w → 0 when ϵ → 0. This shows that for ϵ > 0 sufficiently small, Since Λ + is closed, we may assume that the neighbourhood U has positive radius with respect to the product metric on This shows that for s > s + and ϵ > 0 sufficiently small, . This shows that the critical points of F ϵ are located on the locus α −1 (1) × R w and hence generates T −ϵ (L) ∪ T ϵ (L).Since is proper, we can conclude that F ϵ is linear at infinity.□ Remark 2.4.One may notice that the uniform estimate 2 still holds at the negative end.However, since s ∈ (0, s − ) may be sufficiently small, we can no longer show that |s∂ u f − | > |(D ϵ (w) − w)∂ u α|.This is why we need a given generating family linear at infinity at the negative end to start with.
Since ∂ u F = 0 on the critical locus Σ F , we can shrink the radius of the neighbourhood defining the germ F to get the estimation on the derivatives.However, as the radius of the neighbourhood shrinks at the negative end, when trying to stack two copies of the germ F using the doubling function D ϵ , there is going to be a gap between two copies of the neighbourhoods and it will be impossible to understand the behaviour in the gap.
On the contrary, when there is a Weinstein tubular neighbourhood of uniform positive radius, one can construct a generating family on the doubling of a non-uniform Reeb pushoff and deform it to a generating family on a uniform Reeb push-off T −ϵ (L) ∪ T ϵ (L) inside the Weinstein tubular neighbourhood using contact isotopies.This obstruction has been explained by the author in the construction of microlocal sheaves [24, Section 3].

2.4.
Homotopy lifting of generating families.We would like to separate the Legendrian front projection of T −ϵ (L) and T ϵ (L) in M × R >0 × R using contact Hamiltonian isotopies in order to get a generating family on a single copy of L. This requires the homotopy lifting property of generating families.
Homotopy lifting property for generating families of Lagrangian submanifolds is proved by Sikorav [33,Proposition 1.2 & 1.7] which also appears in [11,Proposition 3.1.5].In fact, the homotopy lifting is unique up to stabilization; see [36,Proposition 1.5], [34,Theorem 3.2] and [21,Theorem 3.5].Here we recall the case for Legendrian submanifolds.).Let φ : L → J 1 M be a Legendrian immersion and f : M × R n → R be a generating family for L (linear at infinity).Let θ λ , λ ∈ [0, 1], be a compactly supported contact isotopy on J 1 M .Then there exist compactly supported functions η λ : M × R n × R 2m → R such that the generating family (linear at infinity) Remark 2.5.In fact, whenever θ λ , λ ∈ [0, 1], is a contact isotopy that has bounded C 1norm with respect to some complete (adapted) metric, we can prove the above homotopy lifting property, but the function η λ : M × R n × R 2m → R will typically be non-compactly supported, which introduces extra difficulty to analyze the behaviour of the generating family at infinity.Therefore, we will only work with the compactly supported version.
In the similar construction for microlocal sheaves [24, Section 3], following [17] and [1], we separate the Legendrian fronts of T −ϵ (L) and T ϵ (L) by applying a contact isotopy that sends T −ϵ (L)∪T ϵ (L) by T −h (L)∪T h (L) for r ≫ 0 using a cut-off of the Reeb flow.However, as L is noncompact, the contact isotopy is not compact, and as explained in the remark, it will be difficult to control the behaviour of generating families at infinity.
Our solution is to use the contact lift of the Liouville vector field on ), which will push the non-conical part of the double copies of the Legendrian fronts T −ϵ (L) ∪ T ϵ (L) to the negative end where the fronts are already separated.
Consider the local coordinates (x, s; ξ, σ; z) ∈ J 1 (M ×R >0 ).Consider the Liouville vector field Z = s∂ s on J 1 M × R >0 .This lifts to a contact vector field in (J defined by the Hamiltonian H ′ (x, ξ, t; s; w) = w.Consider the contactomorphism (J 1 M × R >0 ) × R ∼ = J 1 (M × R >0 ) and the coordinates (x, s; y, t; z) ∈ J 1 (M × R >0 ).The contact vector field is then given by Z ′ = s∂ s + y∂ y + z∂ z which is defined by the Hamiltonian H ′ (x, s, y, t, z) = z − st.We let φ λ : ) be the contact lifting of the Liouville flow defined by the Hamiltonian H ′ .
Although the Liouville flow φ λ preserves the conical ends of exact Lagrangian cobordisms, in general it will change the primitive of the exact Lagrangian, so that the contact lifting φ ′ λ no longer preserves the conical ends of the Legendrian cobordisms.We implement this by introducing some other ambient contact isotopy.
Suppose the conical Legendrian cobordism L → J 1 (M × R >0 ) has conical ends Consider a smooth function w 0 : R >0 → R such that w 0 (s) = w 0,− when s < s − and w 0 (s) = w 0,+ when s > s + .Let T λw 0 be the contact flow induced by the Hamiltonian w 0 (s) for time λ ∈ R, whose contact vector field is Note that in fact T λw 0 commutes with the Reeb flow T λ .Lemma 2.11.Let φ λ be the Liouville flow and φ ′ λ be the contact lifting of the Liouville flow.Let L → J 1 (M × R >0 ) be a conical Legendrian cobordism with no Reeb chords.Then there exists a compactly supported Hamiltonian isotopy between T −ϵ (L) ∪ T ϵ (L) and ) defines a Legendrian isotopy.Since this is obviously a family of Legendrian immersions, it suffices to show that this is always a family of Legendrian embedding.Consider the projection π : In particular, since π(L) is an embedded Lagrangian, there are no Reeb chords on the Legendrian lift φ ′ −λ (L).This implies that We thus get a Legendrian isotopy.Then, we prove show the Legendrian isotopy extends to a compactly supported Hamiltonian isotopy.We can compute that Since w 0 (s) = w 0,− for s < s − and w 0 (s) = w 0,+ for s > s − +, we know that for s ′ − < s − sufficiently small and s ′ + > s + sufficiently large, ) is fixed outside a compact subset.We can cut off the vector field that generates the isotopy such that it is compactly supported.Since the Legendrian isotopy is generated by a compactly supported vector field, one can extend the compactly supported vector field from the Legendrian to its Weinstein neighbourhood as in the proof of the isotopy extension theorem [?Geigesbook, Theorem 2.6.2],which gives the compactly supported Hamiltonian isotopy.□ After all the non-conical part of the Legendrian cobordism is pushed to the negative end by a compatly supported Hamiltonian, it suffices to rescale a neighbourhood of the negative end J 1 (M × (0, s − )) to J 1 (M × (0, λs − )).Lemma 2.12.Let L → J 1 (M × R >0 ) be a Legendrian submanifold with generating family F (x, s, u).Consider the contact isotopy ϕ λ : J 1 (M × R >0 ) → J 1 (M × R >0 ) given by ϕ λ : (x, s; y, t; z) → x, e λ s; e λ y, t + (1 − e λ )w ′ 0 (e λ s); w 0 (e λ s) + e λ (z − w 0 (e λ s)) .
Theorem 2.13.Let L → J 1 (M × R >0 ) be a conical Legendrian cobordism with no Reeb chords between closed embedded Legendrians from Λ − to Λ + → J 1 M .Then there exists a generating family linear at infinity for any h > 0 if and only if there is a generating family linear at infinity Moreover, when the conditions hold, we can define where f − (x, u, v) is a stabilization of the function f − (x, u).
Proof.Since by Lemma 2.11 there is a compactly supported Hamiltonian isotopy between ), the homotopy lifting property of generating families implies that there exists a generating family linear at infinity ) in Lemma 2.12.We can show that Thus, by Theorem 2.9 and Lemma 2.12, since w 0 (s) = w 0,− when s < s − , we can get a generating family F h linear at infinity on Then we deform the generating family on M × (0, s − ) × R K+1 without changing the critical locus through the homotopy F h,t | M ×(0,s − )×R K+1 = sf − (x, u) + ρ(s)Q(v) + D h (w) for some smooth function ρ : R >0 → R >0 such that ρ(s) = s when s is small and ρ(s) = 1 when s is close to s − .Hence we may assume that This finishes the proof of the theorem.□ Remark 2.6.We would like to thank the anonymous referee for pointing out the mistake in the previous version and suggesting revisions on the argument of the above theorem.First, we explain how to extend generating families equivariantly on a conical Legendrian.
Suppose there is a generating family (linear at infinity) Then there is a generating family (linear at infinity) Proof.We only consider the positive end.The proof for the negative end is similar.Since the projection of the conical ends of L onto (0, s − ) ∪ (s + , +∞) is proper, we may assume that M is compact.Write f + (x, u) = s −1 + F 0 (x, s + , u).Then, in a neighbourhood U of the critical locus in M × (s + , +∞) × R K+1 , by the parametric Morse lemma [16, Appendix I & Chapter IV Proposition 5.4], we can apply a fiberwise diffeomorphism within the small neighbourhood U such that Indeed, since F 0 (x, s, u) − sf + (x, u) vanishes up to the second order and the Hessians have the same rank and signature, we can connect them by a smooth family of functions and then define the fiberwise diffeomorphism by Moser's argument.Let ρ : R >0 → R be a cut-off function such that ρ| (0,s + ] ≡ 1 and ρ|

When s ′
+ is sufficiently close to s + , we claim that the critical locus of F on M × [s + , s ′ + ] necessarily agrees with F 0 .In fact, since f + (x, u) = s −1 + F 0 (x, s + , u), the critical points of F are the locus determined by the equation there are no extra critical points inside U .For any extra critical point outside U , the unit gradient vectors of ∂ u F 0 (x, s, u) and ∂ u F 0 (x, s + , u) are necessarily in opposite directions.Note that M is compact and F 0 is linear at infinity, we may assume that the gradient vector field ∂ u F 0 (x, s + , u) is bounded from below outside U .Then by choosing s ′ + sufficiently close to s + , we know that for any (x, s, u) / ∈ U , which implies that there are no extra critical points outside U .Therefore, F defines a generating family linear at infinity on M × R >0 that is equivariant on both ends.□ Theorem 2.13 ensures the existence of a generating family linear at infinity on T −h (L) ∪ T h (L) for any h > 0. When h ≫ 0 the front projection of T −h (L) ∩ J 1 (M × (0, s + )) and T h (L) ∩ J 1 (M × (0, s + )) are separated by a hypersurface z = 0. Then by considering the sublevel set E = F −1 ((−∞, 0)), one will get a generating family on L defined over E. Note that a similar approach has appeared in [22,Section 3] and [1,Section 3.4].
We will assume that the generating family is strongly linear at infinity.Therefore, on each fiber R K+1 the generating function which defines a parametrized cobordism from R K to R K can be viewed as a parametrized cobordism of compact disks from D K to D K .
Deducing the following lemma from Theorem 2.13 is basically a standard exercise in differential topology.We will restrict the function from M × (0, s + ] × R K+1 → M × (0, s + ] to a subbundle E| M ×(0,s + ] → M × (0, s + ], whose fiber is an open subset in R K+1 with smooth boundary.We call such a generating family linear at infinity if it is the restriction of a linear function on R K+1 outside a compact subset.Lemma 2.15.Let L → J 1 (M × R >0 ) be a conical Legendrian cobordism between closed Legendrians from Λ − to Λ + → J 1 (M ).Given a generating family linear at infinity f − : M × R k → R on Λ − , suppose the germ of generating family on Λ − extends to L. Then there exists a generating family F : E| M ×(0,s + ] → R for L ∩ J 1 (M × (0, s + ]) linear at infinity with outward pointing gradient vector field on the boundary, where π : E| M ×(0,s + ] → M × (0, s + ] is a smooth fiber bundle. Proof.Let h > 0 be sufficiently large.By Theorem 2.13, we obtain a generating family linear at infinity F : M × R >0 × R K+1 → R on T −h (L) ∪ T h (L) such that (F | M ×(0,s − ]×R K+1 )(x, s, u, v, w) = sf − (x, u, v) + D h (w).
Proposition A.1.Let L → T * (R 1 × R >0 ) or T * (S 1 × R >0 ) be an exact Lagrangian cobordism between Legendrian links in J 1 R 1 or J 1 S 1 from Λ − to Λ + and Λ + ̸ = ∅.Let f − be a generating family of Λ − linear at infinity.Then f − extends to a generating family of L linear at infinity up to stabilizations if and only if the Maslov class µ(L) ∈ H 1 (L; Z) is trivial and Maslov potential associated to f − extends to L.
Proof.First, we show that the Lagrangian Gauss map L → U/O is trivial if and only if the Maslov class vanishes, i.e. µ(L) = 0.By Gromov's theorem, there are no closed exact Lagrangians in T * (R 1 × R >0 ) or T * (S 1 × R >0 ).Hence L is a surface with boundary and has the homotopy type of a 1-dimensional CW complex.The Lagrangian Gauss map is nontrivial if and only if it is trivial along any 1-cycle S 1 → L → U/O, in other words, the Maslov class vanishes.Next, we show that ∆(f − ) : Λ − → Z×BO extends to L if and only if the Maslov potential defined d(f − ) : Λ − → Z extends to L. When Λ + ̸ = ∅, (L, Λ − ) has the homotopy type of a relative 1-dimensional CW complex, and the existence of an extension of ∆(f − ) from Λ − to L is equivalent to the existence of an extension of ∆(f − ) along any arc (D 1 , S 0 ) → (L, Λ − ).However, we know that BO is path connected.Hence this is equivalent to the existence of an extension of the Maslov potential.□ Proposition A.2. Let L → T * (R 1 × R >0 ) or T * (S 1 × R >0 ) be an exact Lagrangian cap between Legendrian links in J 1 R 1 or J 1 S 1 from Λ − to Λ + = ∅.Then Λ − does not admit a generating family linear at infinity.
Proof.By Dimitroglou Rizell's result, we know that when L is a Lagrangian cap, Λ − cannot have any augmentation over Z/2Z [28].Then, for Legendrian links in J 1 R 1 or J 1 S 1 , by Fuchs and Sabloff's result, Λ − cannot have any graded normal ruling [13,30], and thus by Fuchs-Rutherford's result cannot have any generating family linear at infinity [14].□

Definition 1 . 1 .
Let Λ → T * M be an exact Lagrangian embedding.Then f : M

Theorem 2 . 2 (
Latour [23, Theorem IV.1.10]).Let L → J 1 M be a Legendrian immersion such that the stable Lagrangian Gauss map L → U/O is homotopically trivial.Then the stable equivalence classes of generating families on L are in bijection with homotopy classes of pointed spaces [L, Ω(U/O)].Remark 2.2.Latour [23, Theorem IV.1.10]assumed that L is connected and proved that germs of generating families are stably classified by the stable homotopy classes [L, BO].However, when L is disconnected, since stabilizations by quadratic forms change the indices of critical points on all connected components simultaneously, the classification is given by homotopy classes of pointed spaces [L, Z × BO] where the component containing the base point x 0 ∈ L is sent to 0×BO.Alternatively, we could only allow stabilizations by quadratic forms of signature 0 to fix the component of the image in Z.

2. 5 .
Cutting off generating families.In this section, we will construct the generating family linear at infinity on L from a generating family linear at infinity on T −h (L) ∪ T h (L) by cutting off the domain.The main technique is a combination of Kragh [22, Section 3] and Abouzaid-Courte-Guillermou-Kragh[1, Section 3.4].
which by Latour's Theorem 2.2 corresponds to the generating family f 1 defined on an open neighbourhood U of L. Restricting to U ′ 0 , we can apply Latour's Theorem 2.2, Lemma 2.3 and Lemma 2.4 so that after stabilization,