Singularities of equidistants and global centre symmetry sets of Lagrangian submanifolds

We study the global centre symmetry set (GCS) of a smooth closed submanifold \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$M^m\subset \mathbb{R }^n, n \le 2m$$\end{document}. The GCS includes both the centre symmetry set defined by Janeczko (Geometria Dedicata 60:9–16, 1996) and the Wigner caustic defined by Berry (Philos Trans R Soc Lond A 287:237–271, 1977). The definition of GCS\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(M)$$\end{document} uses the concept of an affine \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda $$\end{document}-equidistant of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$M, E_{\lambda }(M), \lambda \in \mathbb{R }$$\end{document}. When \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$M=L$$\end{document} is a Lagrangian submanifold in the affine symplectic space \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(\mathbb{R }^{2m},\omega =\sum _{i=1}^m dp^i\wedge dq^i)$$\end{document}, we present generating families for singularities of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$E_{\lambda }(L)$$\end{document} and prove that the caustic of any simple stable Lagrangian singularity in a \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$4m$$\end{document}-dimensional Lagrangian fibre bundle is realizable as the germ of an affine equidistant of some \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$L\subset \mathbb{R }^{2m}$$\end{document}. We characterize the criminant part of GCS\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(L)$$\end{document} in terms of bitangent hyperplanes to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$L$$\end{document}. Then, after presenting the appropriate equivalence relation to be used in this Lagrangian case, we classify the affine-Lagrangian stable singularities of GCS\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(L)$$\end{document}. In particular we show that, already for a smooth closed convex curve \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$L\subset \mathbb{R }^2$$\end{document}, many singularities of GCS\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(L)$$\end{document} which are affine stable are not affine-Lagrangian stable.


Introduction
The centre of symmetry of an ellipse in R 2 can be defined as the set (in this case consisting of a single element) of midpoints of intervals connecting pairs of points on the curve with W. Domitrz (B) Faculty of Mathematics and Information Science, Warsaw University of Technology, ul. Koszykowa 75, 00-662 Warsaw, Poland e-mail: domitrz@mini.pw.edu.pl parallel tangent vectors. For a generic smooth convex closed curve, this set is not a single point, but forms a curve with an odd number of cusps, in the interior of the smooth original curve, which has been known as the Wigner caustic of the smooth curve since the work of Berry in the 70's. Thus, the Wigner caustic is an affine-invariant generalization of the centre of symmetry of an ellipse and this definition of centre of symmetry extends to higher dimensional smooth closed submanifolds of R n .
On the other hand, the centre of symmetry of an ellipse in R 2 can also be described as the envelope of all straight lines connecting pairs of points on the curve with parallel tangent vectors. For a generic smooth convex closed curve, this set is not a single point, but forms a curve with an odd number of cusps, in the interior of the smooth original curve, which has been known as the centre symmetry set of the smooth curve since the work of Janeczko in the 90's. Again, this is an affine-invariant generalization of the centre of a circle, which extends to higher dimensional smooth closed hypersurfaces of R n [16].
The Wigner caustic and the centre symmetry set of a generic smooth convex closed curve are not the same singular curve. Instead, the Wigner caustic is interior to the centre symmetry set and the cusp points of the inner curve touches the outer one in its smooth part. A larger centre symmetry set, containing the two previous ones, can be defined in an affine-invariant way, for an arbitrary smooth closed m-dimensional submanifold M of R n , for n/2 ≤ m < n. We call this new set the global centre symmetry set of M and denote it by GCS(M).
Our definition is a slight modification of a definition introduced by Giblin and Zakalyukin [10][11][12] to study singularities of centre symmetry sets of hypersurfaces. A key notion in this definition is that of an affine λ-equidistant of the smooth submanifold M, denoted E λ (M), of which the Wigner caustic is the case λ = 1/2. The singularities of E λ (M) are then fundamental to characterize GCS(M) and its own singularities.
In this paper, we study singularities of E λ (L) and GCS(L), when L is a smooth closed Lagrangian submanifold of (R 2m , ω), where ω is the canonical symplectic form. The paper is organized as follows.
In Sect. 2 we present the definitions of an affine λ-equidistant of M and of the global centre symmetry set of M, for a general smooth submanifold M m ⊂ R n , n ≤ 2m. In Sect. 3, for M = L Lagrangian in R 2m , we obtain the generating families for the affine equidistants E λ (L), cf. Theorem 3.8, relating their general classification to the well known classification by Lagrangian equivalence (chapters 18,19,21 in [2]). This is used in Sect. 4 to study singularities of affine equidistants. Theorem 4.1 states that the caustic of any simple stable Lagrangian singularity in a 4m-dimensional Lagrangian fibre bundle is realizable as the germ of an affine equidistant E λ (L) of some L ⊂ R 2m .
In Sect. 5 we obtain a geometric characterization for the criminant of GCS(L) in terms of bitangent hyperplanes to the Lagrangian submanifold L m ⊂ R 2m , cf Theorem 5.5. This result is similar to results presented for a hypersurface M m ⊂ R m+1 in [10][11][12].
In Sect. 6 we introduce the equivalence relation (also as an equivalence of generating families) that is used to classify the singularities of GCS(L), cf. Definitions 6.1, 6.3 and 6.7. Then, we show that the only affine-Lagrangian stable singularities of GCS(L) are singularities of the criminant, the smooth part of the Wigner caustic, or tangent union of both, cf. Theorems 6.12 through 6.16 and Lemma 6.13. Section 7 is devoted to the GCS of curves in the affine symplectic plane. First, in Theorem 7.1 we collect results on the GCS of convex curves in non-symplectic plane, [3,[9][10][11][12][13]16], and we obtain in Theorem 7.2 a new inequality on the number of cusps of the centre symmetry set and the Wigner caustic. Pictures illustrate these results.
Then, we obtain in Theorem 7.7 and Corollary 7.8 all the affine-Lagrangian stable singularities of the GCS of curves in symplectic plane. Comparison of Theorem 7.1 and Corollary 7.8 shows that most of the singularities of the GCS which are affine-stable when no symplectic structure is considered, are not affine-Lagrangian stable.
In other words, although any smooth curve on R 2 is Lagrangian, the singularities of their GCS are sensitive to the presence of a symplectic form to be accounted for, that is, there is a breakdown of their stability. Thus, we end the paper with some discussion of this result, which is similar to some results in [4][5][6][7] showing a breakdown of the simplicity of some singularities due to a symplectic form.

Definition of the global centre symmetry set
Let M be a smooth closed m-dimensional submanifold of the affine space R n , with n ≤ 2m. Let a, b be points of M. Let τ a−b be the translation by the vector If k = m the pair a, b ∈ M is called strongly parallel, or just parallel. We also refer to k as the degree of parallelism of the pair (a, b).

Definition 2.2
A chord passing through a pair a, b, is the line Note that, for any λ, E λ (M) = E 1−λ (M) and in particular E 0 (M) = E 1 (M) = M. Thus, the case λ = 1/2 is special: The extended affine space is the space R n+1 e = R × R n with coordinate λ ∈ R (called affine time) on the first factor and projection on the second factor denoted by π : R n+1

Definition 2.5
The affine extended wave front of M, E(M), is the union of all affine equidistants each embedded into its own slice of the extended affine space: Note that, when M is a circle in the plane, E(M) is the (double) cone, which is a smooth manifold with nonsingular projection π everywhere, but at its singular point, which projects to the centre of the circle. From this, we generalize the notion of centre of symmetry. Thus, let π r be the restriction of π to the affine extended wave front of M: π r = π| E(M) . A point x ∈ E(M) is a critical point of π r if the germ of π r at x fails to be the germ of a regular projection of a smooth submanifold. We now introduce the main definition of this paper: The above definition (with its following remarks) is a slight modification of the definition that has already been introduced by Giblin and Zakalyukin [10]. However, in our present definition the whole manifold M is considered, as opposed to pairs of germs, as in [10], and weak parallelism is also taken into account. Considering the whole manifold in the definition leads to the following simple but important result:  If M ⊂ R 2 is a smooth curve, then E 1/2 (M) is the bifurcation set for the number of chords connecting two points in M and having a given midpoint x, for any x ∈ E 1/2 (M) [3]. Similarly, if R x : R 2 → R 2 denotes reflection through x ∈ R 2 , then x ∈ E 1/2 (M) when M and R x (M) are not transversal [14,17]. Finally, let A(x, κ) be the area of the planar region bounded by M and a chord, considered as a function of a point x on the chord and a variable κ locating one of the endpoints of the chord on the curve. Then, A(x, κ) is a generating family for E 1/2 (M) [3,13]. Below we generalize this notion to every λ-equidistant of any Lagrangian submanifold.

Generating families
Consider the product affine space R n × R n with coordinates (x + , x − ), the tangent bundle to R n , T R n = R n × R n with coordinate system (x,ẋ), and standard projection pr : T R n → R n , (x,ẋ) → x.
is a linear diffeomorphism defined by the λ-point equation: for the λ-point x, and a chord equation: Now, let M be a smooth closed m-dimensional submanifold of the affine space R n (2m ≥ n) and consider the product Proof If a is a critical value of pr| M λ , then Now, assume a ∈ E λ . Then a = λa + + (1 − λ)a − for a weakly k-parallel pair a + , a − for k > 2m − n. Thus there exist linearly independent vectors v + j = n i=1 α ji Then, v j belongs to T (a,ȧ) M λ and pr * (v j ) = 0 for j = 1, . . . , k. Thus a is a critical value of pr| M λ .
Let (R 2m , ω) be the affine symplectic space with canonical coordinates p i , q i , so that ω = m i=1 dp i ∧ dq i , and let L be a smooth closed Lagrangian submanifold of (R 2m , ω). For a fixed λ ∈ R \ {0, 1}, consider the product affine space R 2m × R 2m with the λ-weighted symplectic form where π i is the projection of R 2m × R 2m on ith factor for i = 1, 2. Now, let λ be the λ-chord transformation (3.1) (3.2). Then, whereω is the canonical symplectic form on the tangent bundle to (R 2m , ω), defined bẏ ω(x,ẋ) = d{ẋ ω}(x) or, in Darboux coordinates, The fibers of T R 2m are Lagrangian forω, so that pr : T R 2m → R 2m defines a Lagrangian fiber bundle with respect toω, that is, a fiber bundle whose fibers are Lagrangian in the total symplectic space.
Denote the restriction of the projection pr of (T R 2m ,ω) to the Lagrangian submanifold by pr| L λ . According to chapter 18 in [2], pr| L λ is a Lagrangian map. The set of critical values of a Lagrangian map is called a caustic. Theorem 3.2 implies From the above, we also use the term affine-Lagrangian equivalence for Lagrangian equivalence (see chapter 18 in [2]) of E λ (L).

Remark 3.6 The definition of the λ-weighted symplectic form δ λ ω given by (3.3) is not arbitrary. When
, ω) which can be locally described by a generating function of the midpoints locally projects regularly to the zero section of (T R 2m ,ω), cf. [8,18]. Thus, a Lagrangian submanifold ⊂ (R 2m × R 2m , δ λ ω) defines a λ-weighted canonical relation in (R 2m , ω) which can be locally described by a generating function of the λ-points x λ = λx + + (1 − λ)x − , when L λ = λ ( ) locally projects regularly to the zero section of (T R 2m ,ω). Such generating functions give rise to the generating families, as described below, used to study singularities of the Lagrangian map pr| L λ .
Let L + and L − denote germs of L at points a + and a − . Proposition 3.7 If the pair a + , a − is k-parallel, then there exist canonical coordinates ( p, q) in R 2m and function germs S + and S − such that . Proof We can find a linear symplectic change of coordinates such that T a + L . Since L is a smooth Lagrangian submanifold, it follows from standard considerations that it can be described locally by differentials of generating functions of the forms stated above in neighborhoods of a + and a − , in which case we have that Theorem 3.8 If the pair a + , a − is k-parallel and germs L + and L − are given by (3.6) then the germ of the generating family generates the germ of L λ at (a,ȧ) as follows: Proof The proof is a straightforward calculation.
Remark 3.9 It follows from (3.7) that the degree of parallelism is the corank of the singularity, i.e. the corank of the Hessian of

Singularities of equidistants of Lagrangian submanifolds
We have the following results on singularities of affine equidistants of closed Lagrangian submanifolds, up to Lagrangian equivalence:

Theorem 4.1 The caustic of any simple stable Lagrangian singularity (
The generic Lagrangian maps for manifolds of dimension smaller than 6 have only simple stable Lagrangian singularities (chapter 21 in [2]). Therefore we obtain the following corollary. Proof of Theorem 4. 1 We use the method described in chapters 8 and 21 in [2]. For a fixed λ, let x = ( p, q) and κ = (α, β). From (3.7) we easily see that hence is equal to the dimension of κ-space. Let the arguments of the function S + be denoted by (q + 1 , . . . , q + m ) and the arguments of the function where we used Proposition 3.7 and where S ± 3 ∈ m 3 (m is the maximal ideal of the ring of smooth function-germs on R n at 0). We write the generating families in coordinates The following singularities are realizable by generating function-germs: . .
By long but straightforward calculations one can show that (4.1) is a R + -versal deformation of (4.2) for the above choices of S ± 3 .

The GCS of a Lagrangian submanifold: the criminant
We now begin the study of singularities of the global centre symmetry set of a smooth closed Lagrangian submanifold L ⊂ (R 2m , ω). Recall that in general the set GCS(L) consists of the caustic and the criminant (see Remark 2.7). As part of the GCS(L) caustic, the Wigner caustic of L has been almost entirely classified in Sect. 4. In a subsequent paper [5], we study E 1/2 (L) in a neighborhood of L, considering pairs of points of the type (a, a) ∈ L × L as strongly parallel pairs. In terms of the generating families of Sect. 4, these are odd functions of the variables, so we consider classification in the category of odd functions. This implies a hidden Z 2 -symmetry for these singularities [5]. This section is devoted to the criminant (L). In order to study the global centre symmetry set, the whole λ-family must be considered together. Due to the Lagrangian condition, we resort to a classification via generating families. We know that E λ (L) is the caustic of L λ = λ (L × L). The generating family for L λ is given by F λ ( p, q, α, β) of the form (3.7). Since E(L) is the union of {λ} × E λ , the germ of E(L) is described in the following way (for κ = (α, β)): Let us consider the fiber bundle The above bundle with the canonical symplectic structure dλ * ∧ dλ +ω is a Lagrangian fiber bundle. For F λ given by (3.7) in Theorem 3.8, let F(λ, p, q, α, β) = F λ ( p, q, α, β).

Proposition 5.2
The germ of E(L) is the caustic of the germ of a Lagrangian submanifold L of (T * R × T R 2m , dλ * ∧ dλ +ω) generated by the family F given by (3.7)-(5.2) in the following way (κ = (α, β)): We find the condition for the tangency of E(L) to the fibers of the projection π : (λ, p, q) → ( p, q). (λ, a) is a regular point of E(L), then there exists a 1-parallel pair a + , a − such that a = λa

Proposition 5.3 If
Proof If (λ, a) is a regular point of E(L) then the rank of the map , p a , q a , κ), det is maximal 2m − k. It implies that corank ∂ 2 F ∂κ i ∂κ j (λ a , p a , q a , κ a ) is 1. By Remark 3.9 we obtain that a + , a − is a 1-parallel pair.  (λ a , p a , q a ) is a regular point of E(L), the map (5.4) has maximal rank 2m − 1. Also, rank ∂ 2 F ∂κ i ∂κ j (λ a , p a , q a , κ a ) is 2m − 2 which implies one of the columns of this matrix is linearly dependent on the others. Assume this is the first column. Thus, , p a , q a , κ), det ∂ 2 F ∂κ i ∂κ j (λ a , p a , q a , κ) has maximal rank. By implicit function theorem there is a smooth map germ K : R 2m+1  [2] . Then, (5.5) is equivalent to

5). Thus
If a + , a − is 1-parallel, (5.8) means there is a bitangent hyperplane to L + at a + and to L − at a − . By continuity, a point in the closure of the set of points satisfying (5.8) also satisfies this condition. Thus, we generalize the notion of convexity of a curve on the plane. Definition 5.7 A smooth closed Lagrangian submanifold L of (R 2m , ω) is weakly convex if there is no bitangent hyperplane to L.

Affine-Lagrangian stable singularities of the GCS
We now define an equivalence relation to classify the singularities of GCS(L). Due to the Lagrangian condition, we look for an equivalence of generating families. For the classification of E(λ) and GCS(L), because λ is no longer fixed it has become an extra parameter that unfolds the generating families F. The naive approach is to consider the extended parameter space R × R 2m (λ, x) for unfolding the generating families f (λ, κ) = f λ (κ) and classify their stable unfoldings in the usual way. However, such a classification of GCS(L) would not take into account the projection π : R × R 2m → R 2m in a proper way, because it does not distinguish the affine time λ ∈ R from x ∈ R 2m . Now, if A = (A, a) is an element of the affine symplectic group i Sp 2m From this, we define the natural action which, via the chord transformation λ , induces an action that commutes with projection id T * R × pr : The first two vertical diffeomorphism-germs (from right to left) read:  (1, 2m)-Lagrangian equivalence of L is affine symplectic invariant. Remark 6.5 (1, 2m)-Lagrangian equivalence of germs of Lagrangian submanifolds of (T * R × T R 2m , dλ * ∧ dλ +ω) is the equivalence of bifurcations of Lagrangian maps (chapter 22 in [2]), that is, diagrams of the form:

Moreover, germs
In view of Remark 6.4, we also use the term affine-Lagrangian stability for (1, 2m)-Lagrangian stability.
and a smooth function-germ g : Germs F and F with the common (λ, x)-space R × R 2m of parameters, and with different spaces of arguments, κ ∈ R k ,κ ∈ Rk , are stably (1,2m)-R + -equivalent if there are nondegenerate quadratic forms Q in new arguments ξ and Q in new argumentsξ such that F + Q and F + Q are (1, 2m)-R + -equivalent. The germ F at ( 1 2 , a, κ a ) and the germ F at ( 1 2 , a,κ a ) are (stably) (1,2m)-R + -equivalent for λ = 1 2 if, in addition, for every x ∈ R m condition (6.4) is satisfied. Remark 6.8 (1, 2m)-R + -equivalence is a special case of Wassermann's (1, 2m)-equivalence [19]. For relations between the (r, s)-classification of families of functions [19], the classification of bifurcations of caustics [1,20] and the classification of bifurcations of Lagrangian maps, see chapter 22 in [2].
We have the following result, whose proof is a minor modification for (1, 2m)-Lagrangian equivalence of the proof of Theorem 3.10 in [2]. Proposition 6.9 Germs of Lagrangian submanifolds L, L of (T * R × T R 2m , dλ * ∧ dλ +ω) are (1, 2m)-Lagrangian equivalent iff the germs of generating families F and F are stably (1, 2m)-R + -equivalent. F at z is (1,2m)-R + -stable if for any neighborhood U z in R × R 2m × R k and representative function F of the germ F on U , there is a neighborhood V of F in C ∞ (U, R) (with weak C ∞ -topology) s.t. for any function G ∈ V there is a point z ∈ U such that the germ of G at z is (1, 2m)-R + -equivalent to F.  (1, 2m)-R + -stable.

Definition 6.10 A function-germ
The following theorems show that the only affine-Lagrangian stable singularities of GCS are singularities of the criminant, the smooth part of the Wigner caustic and their "tangent" union. Theorem 6.12 Let λ a = 1 2 . If F is the germ at (λ a , a, κ a ) of a (1, 2m)-R + -stable unfolding of f ∈ m 2 then F is stably (1, 2m)-R + -equivalent to the germ of the trivial unfolding or to one of the following germs at (0, 0, 0) (6.5) for k = 0, 1, 2, . . . , 2m (the notation A A ± k 2 is taken from [15]).
Proof If f has A 1 singularity then it is obvious that F is stably (1, 2m)-R + -equivalent to the trivial unfolding. Now we assume that f has A 2 singularity. Since F is stable, then F is stably (1, 2m)-R + -equivalent to F(λ, x, t) = t 3 + tg(λ, x), where g is a smooth functiongerm vanishing at 0. If g is a versal unfolding of the function-germ λ → g(λ, 0) with A k singularity we can reduce F to the form (6.5) by a diffeomorphism-germ of the form The following lemma shows that these are the only (1, 2m)-R + -stable unfoldings.
Proof If f has A 3 singularity then F is stable (1, 2m)-R + -equivalent to F(λ, x, t) = ±t 4 + t 2 g 2 (λ, x) + tg 1 (λ, x), where g 1 , g 2 are smooth function-germs vanishing at 0. Now we use the standard arguments of the singularity theory that stability implies infinitesimal stability. In the case of (1, 2m)-R + -equivalence, the infinitesimal stability implies where R 2 denotes the t, λ-plane {x = 0}, E 2 is the ring of smooth function-germs in λ and t, m 2 is the maximal ideal in E 2 and E 1 is the ring of smooth function-germs in λ. Now we use the method from [19].
Proof If f has A 1 singularity then F is stably (1, 2m)-R + -equivalent to the trivial unfolding. If f has A 2 singularity, then (since F is stable) F is stably (1, 2m)-R + -equivalent to F(λ, x, t) = t 3 + tg(λ, x), where g is a smooth function-germ vanishing at (1/2, 0). If g is a versal unfolding of the function-germ λ → g(λ, 0) with B ± k singularity on a manifold (λ-space) with the boundary (λ = 1 2 ) (see [1]) then we can reduce F to the form (6.7) by a diffeomorphism-germ of the form (λ, x, t) → (1/2 + (λ − 1/2) (λ, x), X (x), t). transversal at (λ a , a) to the fibers of projection π. k-tangent at (λ a , a) to the fibers of π, a belongs to the criminant (L) of GSC(L) and the germ of (L) at a is the caustic of A ± k singularity.
Proof By Proposition 5.1 and the normal form of F for A It is easy to see that E(L) is the germ at (0, 0) of a smooth hypersurface and E(L) is transversal at (0, 0) to {λ = 0} for k = 0 and E(L) is k-tangent to {λ = 0} at (0, 0) for k = 1, 2, . . . , 2m. The germ of (L) at 0 is   1/2, 0). The germ of (L) at 0 is So (L) is a caustic of B ± k and E 1/2 (L) is tangent to (L) at 0. Remark 6.17 Not all (1, 2m)-R + -stable singularities can be realizable as singularities of generating families F for L which are of the special form given in Theorem 3.8. In the next section, in Theorem 7.7, we prove that the A A 2 2 singularity is not realizable for Lagrangian curves.

Classifications of the GCS of Lagrangian curves
We now classify the singularities of the global centre symmetry set of a Lagrangian curve L ⊂ (R 2 , ω). To set the stage, we first state the results for the GCS of a curve on the affine plane R 2 , when no symplectic structure is considered. The results stated in Theorem 7.1, originally obtained by various methods, can also be proved using the affine-invariant method of chord equivalence, the analogous of (1, 2m)-Lagrangian equivalence when no symplectic structure is considered, cf Definition 7.10, below. The statement on the number of cusps of Wigner caustics was first proved by Berry [3], and the statement on the number of cusps of CSS by Giblin and Holtom [9]. The last inequality of the theorem is new. It follows immediately from the characterization in [9] of cusps of E 1/2 (M) by the curvature ratio being 1 and cusps of CSS of M by the derivative of the curvature ratio being 0, using Rolle's theorem.

Figures of GCS(M)
where the number of cusps of the CSS and of the Wigner caustic are equal to three and neither curve is self intersecting can be found in [9]. We picture a case when the number of cusps of the Wigner caustic is three and the CSS is self intersecting and the number of its cusps is five, and another case when both the Wigner caustic and the CSS are self intersecting and both have five cusps (Figs. 1, 2). Let L be a smooth closed curve in (R 2 , ω = dp ∧ dq). Using the (1, 2)-Lagrangian equivalence introduced in Definitions 6.1 and 6.3, we classify the singularities of GCS(L).
In what follows, denote a parallel pair on L and Let S ± be germs of generating functions of L at a ± satisfying the conditions in Proposition 3.7. The germ of generating family of L and the big wave front set are given by The following propositions present geometrical descriptions of positions of E(L) with respect to π in terms of functions F, S + and S − .
Proof Equivalence of (i) and (ii) follows from the definition of the regular part of E(L). Equivalence of (ii) and (iii) is obtained by direct calculations. (iv) is obvious since κ(a ± ) =  satisfied and l(a + , a − ) is bitangent to a + , a − to L.

Discussion
Because of the large loss of stability for singularities of the GCS, when going from the affine to the affine-Lagrangian case, one wonders if it is possible to consider a coarsen classification of singularities of the GCS of Lagrangian submanifolds, which produces more stable singularities. In fact, the usual Lagrangian equivalence will do.
As mentioned at the beginning of Sect. 6, classification by usual Lagrangian equivalence amounts to considering the unfolding parameters y = (λ, x) ∈ R × R 2m on an equal footing. In this setting, Lagrangian equivalence of E(L) and E( L) is defined in terms of Lagrangian equivalence of L and L in the usual way, which means that their generating families must be stably R + -equivalent (Theorem 3.10), in other words, there is a symplectomorphism-germ ϒ of T * R × T R 2m such that ϒ(L) = L and the following diagram commutes: where the right-vertical arrow is a diffeomorphism-germ of general form Comparing with the classifying diagram in Definition 6.3 for (1, 2m)-Lagrangian equivalence, one expects that many singularities of GCS(L) which are Lagrangian stable are not (1, 2m)-Lagrangian stable. In fact, for convex Lagrangian curves, it is easy to see that most of the singularities of Theorem 7.1 are Lagrangian stable in the above sense.
However, the fact that the last projection π : R 1+2m → R 2m is not taken into account is an obvious indication that usual Lagrangian equivalence is not the correct equivalence relation for classification of the singularities of GCS(L), because this latter is the image under π of the locus of critical points of π restricted to E(L).
This becomes even clearer when we also analyze the non-symplectic case. In this case, consider the following extended chord transformation where λ : R n × R n → T R n is a simpler λ-chord transformation, where vertical arrows indicate diffeomorphism-germs, as follows:

Definition 7.11 A singularity of GCS(M)
is affine stable if it is a stable singularity under its classification by the chord equivalence.
Using classification by the chord equivalence, one proves Theorem 7.1 for the GCS of convex curves by somewhat lengthy but straightforward computations. The classification of the singularities of GCS(M) in the other known cases, for instance hyperplanes, can be similarly accomplished by chord equivalence, which gives the correct affine-invariant classification of the singularities of GCS(M) for general m-dimensional submanifolds M ⊂ R n , n ≤ 2m.
Comparison of the classifying diagram in Definition 7.10 for chord equivalence with the classifying diagram in Definition 6.3 for (1, 2m)-Lagrangian equivalence shows their obvious analogy.
On the other hand, the "obvious" analog of the classifying diagram for usual Lagrangian equivalence, when no symplectic form has to be accounted for, is where vertical arrows indicate diffeomorphism-germs of the form: Of course, applying the above "obvious" and wrong equivalence relation to classify singularities of GCS(M) for general submanifolds M m ⊂ R n , n ≤ 2m, produces many more stable singularities than when applying the correct classifying diagram of Definition 7.10.
Thus, choosing the correct classifying diagram in both the non-symplectic and the symplectic cases shows that most singularities of the GCS which are stable when no symplectic form has to be accounted for, cease to be stable when there is a symplectic form to be accounted for. In other words, there is breakdown of stability due to a symplectic form. Other similar cases, of breakdown of simplicity due to a symplectic form, can be found in [4,6] and especially in [7].