Legendrian singularities and wave-front evolution

Intuition Beginner

A wavefront is the moving silhouette of a disturbance spreading through space. Think of the bright crescent on the bottom of a swimming pool when sunlight crosses a rippled surface, or the leading edge of a shock wave radiating out from a stone dropped in water. The full physical content of the wave is encoded in a higher-dimensional object that remembers position and direction at once; the wavefront is its shadow on space.

Most of the time this shadow is a smooth surface. But at special points it folds onto itself, develops a sharp cusp, or pinches into a corner. These singular points are not failures of the picture. They are forced — generic wavefronts must develop a small list of standard singularities, and the list is universal across optics, acoustics, and Hamiltonian mechanics.

Arnold worked out the list in the 1970s. In codimension up to three the only stable shapes are cusps and swallowtails, with two umbilical patterns thrown in. This unit explains why the list looks the way it does and how a wavefront evolves through its singularities under Hamiltonian flow.

Visual Beginner

The diagram shows a Legendrian source above and a propagating wavefront below, drawn at three successive times. The leading edge develops a semicubic cusp — the simplest stable singularity in the family — and the cusp profile $4p^3=27q^2$ is labelled on the silhouette.

The picture records two things at once: a Legendrian submanifold lives above the base space and stays smooth, and the wavefront below picks up sharp features only after projecting down.

Worked example Beginner

Take the line of positions to be the horizontal axis with coordinate $q$, and the vertical axis to be the wavefront height $z$. Build the simplest cuspidal Legendrian as a parametrised curve

$$t\mapsto (q,p,z)=(t^2,t,\frac{2}{3}{t}^3)$$

inside the three-dimensional $1$-jet space with coordinates $(q,p,z)$. Drop the slope coordinate $p$ to project onto the $(q,z)$ plane. The image traces out the curve $z=\frac{2}{3}{t}^3$ with $q=t^2$, which can be rewritten by eliminating $t$ as $z^2=\frac{4}{9}{q}^3$, or in cleaner form $27z^2=4q^3$ after rescaling.

At $t=0$ the projection lands at the origin and the moving point reverses direction in $q$ — the curve doubles back on itself, producing a sharp inward-pointing cusp pointed along the positive $q$ axis. To the right of the origin the front consists of two smooth sheets; to the left there is no front at all.

What this tells us: the cusp is the universal signature of an $A_2$ singularity, and the front cannot be smoothed away by any small perturbation. It is the simplest stable feature of a propagating wavefront.

Check your understanding Beginner

Formal definition Intermediate+

Let $(N^{2n+1},\alpha )$ be a contact manifold in the sense of 05.10.01: a smooth manifold of dimension $2n+1$ carrying a $1$-form $\alpha$ with $\alpha \wedge (d\alpha {)}^n\ne 0$ pointwise. The contact distribution $\xi =\ker \alpha$ is a hyperplane field of rank $2n$ on which $d\alpha$ restricts to a symplectic form. A submanifold $\Lambda \subset N$ is Legendrian when $\dim \Lambda =n$ and $\alpha {|}_{\Lambda }=0$. The dimension $n$ is the maximal integer compatible with $\alpha {|}_{\Lambda }=0$, by non-integrability of $\xi$.

The model contact manifold is the 1-jet bundle $J^1(M,\mathbb{R})=T^{\ast }M\times \mathbb{R}$ of a smooth base $M^n$, with coordinates $(q,p,z)$ and contact form $\alpha =dz-pdq$ (writing $pdq={\sum }_{i=1}^n{p}_{i}d{q}_i$). The contact condition is immediate: $d\alpha =-dp\wedge dq$, so $\alpha \wedge (d\alpha {)}^n=dz\wedge (-dp\wedge dq{)}^n\ne 0$. Two natural projections sit alongside:

$${\pi }_{LP}:J^1(M,\mathbb{R})\to T^{\ast }M,(q,p,z)\mapsto (q,p),$$

the Lagrangian projection, and

$${\pi }_F:J^1(M,\mathbb{R})\to M\times \mathbb{R},(q,p,z)\mapsto (q,z),$$

the front projection. The image $W(\Lambda )={\pi }_F(\Lambda )\subset M\times \mathbb{R}$ is the wave front of the Legendrian $\Lambda$.

Generating-function description. Given a smooth function $F:M\times {\mathbb{R}}^k\to \mathbb{R}$, the set $$ \Lambda_F = { (q, \partial_q F, F)\ :\ \partial_u F(q, u) = 0 } \subset J^1(M, \mathbb{R}) $$ is a Legendrian submanifold of $J^1(M,\mathbb{R})$ provided $F$ is non-degenerate in the sense that $0$ is a regular value of ${\partial }_{u}F:M\times {\mathbb{R}}^k\to {\mathbb{R}}^k$. Every germ of a Legendrian in $J^1(M)$ arises locally from such a generating family; the parameter dimension $k$ may be reduced to zero (a true function $F:M\to \mathbb{R}$) iff the Lagrangian projection ${\pi }_{LP}{|}_{\Lambda }$ is a local diffeomorphism. The front $W({\Lambda }_F)$ is the discriminant of $F$ along $u$: $$ W(\Lambda_F) = { (q, z) \in M \times \mathbb{R}\ :\ \exists u,\ \partial_u F(q, u) = 0,\ F(q, u) = z }. $$ This realises wavefronts as discriminants of families of functions — the bridge to singularity theory.

Equivalence of Legendrians. Two Legendrians $\Lambda ,{\Lambda }^{\prime }\subset (N,\alpha )$ are contactomorphic if there exists a contactomorphism $\Phi :N\to N$ (a diffeomorphism with ${\Phi }^{\ast }\alpha =\lambda \alpha$ for some nowhere-zero function $\lambda$) mapping one to the other. Two generating families $F$ and $F^{\prime }$ define contactomorphic Legendrians iff they are equivalent under the stable right-equivalence group: $F^{\prime }(q,u)=F(\psi (q,u))+Q(u^{\prime })$ for some diffeomorphism $\psi$ and some nondegenerate quadratic form $Q$ in extra parameters $u^{\prime }$. Singularity theory of front projections is the right-equivalence theory of generating families ^{[Arnold-Givental EMS Vol 4 Ch 5]}.

The sign convention follows 05.12.01: ${\omega }_0=\sum d{q}_i\wedge d{p}_i$ on $T^{\ast }M$ and $\alpha =dz-pdq$ on $J^1(M)$, so $-d\alpha =dp\wedge dq=-{\omega }_0$ on $\ker dz$.

Key theorem with proof Intermediate+

Theorem (Arnold's ADE classification of stable Legendrian-front singularities). Let $\Lambda \subset J^1(M,\mathbb{R})$ be a generic Legendrian germ. Up to contactomorphism, every stable singularity of the front projection ${\pi }_F{|}_{\Lambda }$ at codimension $\le 3$ in $\dim M=n$ is right-equivalent to one of the following generating-family normal forms:

Type	Generating family $F(q,u)$	Front singularity
$A_2$	$u^3+q_{1}u$	semicubic cusp
$A_3$	$u^4+q_1{u}^2+q_{2}u$	swallowtail
$A_4$	$u^5+q_1{u}^3+q_2{u}^2+q_{3}u$	butterfly
$D_4^{+}$	$u_1^2{u}_2-u_2^3+q_1{u}_1^2+q_2{u}_1+q_3{u}_2$	hyperbolic umbilic (purse)
$D_4^{-}$	$u_1^2{u}_2+u_2^3+q_1{u}_1^2+q_2{u}_1+q_3{u}_2$	elliptic umbilic (pyramid)

In particular, in codimension exactly $1$ the only stable Legendrian-front singularity is $A_2$, the semicubic cusp.

Proof sketch. The reduction proceeds in three steps: (i) Legendrian germs in $J^1(M)$ are classified by germs of generating families $F:M\times {\mathbb{R}}^k\to \mathbb{R}$ modulo stable right-equivalence; (ii) stable right-equivalence of function germs is the equivalence classified by Arnold's normal-form theorem; (iii) the front projection ${\pi }_F$ corresponds to the discriminant map of the family, so the wave-front singularities are exactly the discriminant singularities of the generating family.

(i) follows from the local Legendrian-equivalence theorem of Arnold-Hörmander: any Legendrian germ in $J^1(M)$ at a point where ${\pi }_{LP}{|}_{\Lambda }$ has rank deficit $k$ has a generating family with exactly $k$ extra parameters $u$, and Legendrian germs are contactomorphic iff their generating families are stably right-equivalent.

(ii) Arnold's normal-form theorem ^{[Arnold-Goryunov-Lyashko-Vasiliev]} states that simple function germs $f:({\mathbb{R}}^k,0)\to (\mathbb{R},0)$ — those with finitely many right-equivalence classes in any neighbourhood — fall into the ADE list $A_k$ (one variable, $f=u^{k+1}$), $D_k$ (two variables, $f=u_1^2{u}_2\pm u_2^{k-1}$), $E_6,E_7,E_8$. The codimension of a class in the space of germs equals the Milnor number $\mu (f)={\dim }_{\mathbb{R}}\mathbb{R}[[u]]/(\partial f/\partial u)$ minus one, plus the dimension of the moduli of $\mathbb{R}$-versal unfoldings minus their parameter count. In codimension at most $3$ the survivors are $A_2,A_3,A_4,D_4^{\pm }$.

(iii) The discriminant of an $\mathbb{R}$-versal unfolding $F(q,u)=f(u)+q_1{\varphi }_1(u)+\cdots +q_n{\varphi }_n(u)$ of a simple germ $f$, where $\{{\varphi }_i\}$ projects to a basis of the local algebra $\mathbb{R}[[u]]/(\partial f/\partial u)$, is the locus $$ \Delta(F) = { q \in \mathbb{R}^n\ :\ \exists u_0 \text{ with } \partial_u F(q, u_0) = 0 \text{ and } \det \partial^2_{uu} F(q, u_0) = 0 }. $$ The semicubic cusp profile $4p^3-27q^2=0$ is the discriminant of $F(q,u)=u^3+qu$; the swallowtail is the discriminant of the quartic versal family. This computation is direct.

Combining the three steps: a generic Legendrian-front singularity in codimension $\le 3$ is contactomorphic to the discriminant of one of the five simple-singularity versal families above, and these are pairwise distinct because they are pairwise distinct as discriminants in ${\mathbb{R}}^n$. $\square$

Bridge. This unit pulls together 05.12.01 (the universal Maslov class on $\Lambda (n)$ — used here to track the Maslov index across $A_2$ crossings of the front) with 05.10.01 (contact manifolds and Legendrians — the ambient setting). The forthcoming Lagrangian-singularities sibling unit treats the parallel ADE classification for caustics — the projection $\pi :L\hookrightarrow T^{\ast }M\to M$ of a Lagrangian instead of the front of a Legendrian.

Exercises Intermediate+

Advanced results Master

Fix a smooth base $M^n$ and the $1$-jet bundle $J^1(M,\mathbb{R})=T^{\ast }M\times \mathbb{R}$ with contact form $\alpha =dz-pdq$. The front-projection map ${\pi }_F:J^1(M,\mathbb{R})\to M\times \mathbb{R}$ is the canonical evaluation surjection; its restriction to a Legendrian $\Lambda$ has its critical locus controlled by the rank deficit of the Lagrangian projection ${\pi }_{LP}:J^1(M,\mathbb{R})\to T^{\ast }M$.

Theorem (Arnold's stability theorem for Legendrian singularities). Let $\Lambda \subset J^1(M,\mathbb{R})$ be a Legendrian germ at a point $x_0$. The germ of the front $W(\Lambda )={\pi }_F(\Lambda )$ at ${\pi }_F(x_0)$ is stable under small Legendrian perturbations of $\Lambda$ iff $\Lambda$ admits a generating family $F(q,u)$ at $x_0$ whose function germ $f(u)=F(q_0,u)$ at the corresponding parameter value is a simple right-equivalence-class representative — that is, $A_k$ for some $k\ge 1$, or $D_k$ for some $k\ge 4$, or $E_6,E_7,E_8$. The codimension of the stratum in the space of Legendrian germs equals the Tjurina number $\tau (f)={\dim }_{\mathbb{R}}\mathbb{R}[[u]]/(f,{\partial }_{u}f)$ of the underlying germ ^{[Arnold-Givental EMS Vol 4 Ch 5]}.

In codimension $\le 3$ the simple-germ list reduces to $A_2,A_3,A_4,D_4^{\pm }$ — the five entries of the Key-theorem table — and the front-singularity nomenclature (semicubic cusp, swallowtail, butterfly, hyperbolic and elliptic umbilic) is in standard usage across geometric optics and Hamiltonian mechanics.

The Maslov index along front evolution. Under a smooth one-parameter family of Legendrians ${\Lambda }_t={\tilde{\Phi }}_t({\Lambda }_0)$, $t\in [0,1]$, generated by the lift of a Hamiltonian flow $X_H$, the integer Maslov index of a fixed loop $\gamma :S^1\to {\Lambda }_0$ — pulled forward to a loop ${\gamma }_t:S^1\to {\Lambda }_t$ — is constant in $t$ (homotopy invariance of the Maslov index, 05.12.01). What changes is the front intersection pattern: the Lagrangian projection ${\pi }_{LP}{|}_{{\Lambda }_t}$ acquires and loses fold and cusp singularities as $t$ varies, and the family of fronts $W({\Lambda }_t)$ traces out a Legendrian variety in $M\times \mathbb{R}\times [0,1]$ whose own singular locus is again an ADE configuration in one higher codimension — the bifurcation diagram of the family.

For a generic homotopy of Legendrians passing through an isolated $A_2$ event at time $t_{\ast }$, the loop ${\gamma }_t$ picks up a $\pm 1$ contribution to its Maslov index at each transverse $A_2$ crossing in the $(t,t_{\ast })$ unfolding. The signed sum is the Maslov index $\mathrm{Maslov}({\gamma }_0)-\mathrm{Maslov}({\gamma }_1)=0$ when ${\gamma }_t$ is genuinely the homotopic image of a single loop — but the front Maslov increment, summing $\pm 1$ over $A_2$-cusp crossings of the front projection of a fixed Legendrian path $\gamma \times [0,1]$, recovers the integer Maslov index of the path-with-endpoints by the Robbin-Salamon formula ^{[Arnold-Givental EMS Vol 4 Ch 5]}.

Generating-family invariance and the parametric viewpoint. Stable right-equivalence of generating families $F(q,u)$ and $F^{\prime }(q,u^{\prime })$ is generated by three moves: (i) right-action by a diffeomorphism $(q,u)\mapsto (q,\psi (q,u))$; (ii) addition of a function of $q$ alone, $F^{\prime }(q,u)=F(q,u)+g(q)$; (iii) stabilisation, $F^{\prime }(q,u,u^{\prime })=F(q,u)+Q(u^{\prime })$ for a nondegenerate quadratic form $Q$. Move (i) implements diffeomorphism reparametrisations of the parameter space; (ii) implements vertical translation of the front in the $z$-direction; (iii) is the stabilisation of the right-equivalence class to its minimal versal unfolding.

A Legendrian germ at a point with $k$-dimensional kernel of ${\pi }_{LP}$ has a generating family with exactly $k$ extra parameters $u$ (after stable reduction); the corresponding germ on the $u$-space is the unique-up-to-right-equivalence object whose ADE class names the singularity. The Milnor number $\mu (f)$ of the germ equals the dimension of the local algebra $\mathbb{R}[[u]]/({\partial }_{u}f)$, and Arnold's series-classification organises simple germs by $\mu$: $\mu (A_k)=k$, $\mu (D_k)=k$, $\mu (E_k)=k$.

Geometric optics and caustics. In wave optics the wavefront at time $t$ of an instantaneous point source at $x_0\in M$ is the front projection of the Legendrian $$ \Lambda_t = { (q, p, z)\ :\ |p|_g = 1,\ z = t,\ q \in \mathrm{geodesic\ at\ distance\ } t \text{ from } x_0 } $$ in $J^1(M)$ with $g$ a Riemannian metric. The caustic of the family $\{{\Lambda }_t\}$ — the locus in $M$ where the wavefront has a singularity — is exactly the set of focal points of the geodesic flow from $x_0$, and its ADE-type at each focal point is controlled by the rank deficit of the exponential map. The classical caustic catalogue (Cayley 1857 reflection caustics; Tait 1865 catacaustics) reorganises as Arnold's ADE list, with the rainbow caustic in atmospheric optics being an $A_2$ cusp and the optical-disk caustic of a sphere a $D_4^{+}$ umbilic ^{[Arnold *Singularities of Caustics and Wave Fronts*]}.

Hörmander-Maslov phase in oscillatory integrals. The asymptotic expansion of an oscillatory integral $$ I(\hbar) = \int e^{i S(q, u) / \hbar} a(q, u) , du \qquad (\hbar \to 0^+) $$ on the critical set $\{{\partial }_{u}S=0\}$ picks up a phase factor $\exp (-i\pi \nu /2)$ where $\nu$ is the Maslov index of the underlying Lagrangian, computed as the signed count of $A_2$ crossings of the projected Lagrangian along the integration contour. This is the Hörmander 1971 generalisation of the WKB ansatz to Fourier integral operators; the integer correction encodes precisely the topological data of the Legendrian-front singularities the contour traverses ^{[Hörmander 1971]}.

Wall-crossing and Donaldson-Thomas theory. In Kontsevich-Soibelman's 2008 framework for refined DT invariants, the BPS spectrum of a Calabi-Yau category jumps across walls in stability-condition space whose local geometry is modelled on the Legendrian-singularity ADE list: an $A_2$ wall produces a primitive wall-crossing formula linking adjacent chambers by a conjugation in a torus, and the same five-singularity codimension-$\le 3$ list of Arnold reappears as the codimension-$\le 3$ wall types in the stability manifold. This is the most recent instance of Arnold's ADE classification surfacing in apparently unrelated mathematics.

Full proof set Master

Proposition. Let $F:M\times {\mathbb{R}}^k\to \mathbb{R}$ be smooth with $0$ a regular value of ${\partial }_{u}F$. The set ${\Lambda }_F=\{(q,{\partial }_{q}F(q,u),F(q,u)):{\partial }_{u}F(q,u)=0\}$ is a smooth $n$-dimensional Legendrian submanifold of $J^1(M,\mathbb{R})$.

Smoothness: the regular-value hypothesis means the constraint ${\partial }_{u}F=0$ cuts out a smooth $n$-dimensional submanifold $\Sigma \subset M\times {\mathbb{R}}^k$. The map $\Sigma \to J^1(M,\mathbb{R})$, $(q,u)\mapsto (q,{\partial }_{q}F(q,u),F(q,u))$, has injective differential at every point (the $q$-component projects to a chart on $M$, and the $z$-component is determined by $F$), so its image ${\Lambda }_F$ is a smooth $n$-dimensional embedded submanifold.

Legendrian: on ${\Lambda }_F$, parametrised by $(q,u)\in \Sigma$, the canonical $1$-form $\alpha =dz-pdq$ pulls back to $$ dF(q, u) - \partial_q F(q, u) , dq = \partial_q F , dq + \partial_u F , du - \partial_q F , dq = \partial_u F , du. $$ On $\Sigma =\{{\partial }_{u}F=0\}$, this vanishes identically. Hence $\alpha {|}_{{\Lambda }_F}=0$ and ${\Lambda }_F$ is Legendrian. $\square$

Proposition (front of $A_2$). For $F(q,u)=u^3+qu$ the front $W({\Lambda }_F)\subset {\mathbb{R}}_{q,z}^2$ is the semicubic cusp $\{27z^2+4q^3=0\}$.

The critical equation is ${\partial }_{u}F=3u^2+q=0$, so $q=-3u^2$. On the critical set, $z=F(q,u)=u^3+qu=u^3-3u^3=-2u^3$. From $q=-3u^2$ we get $u^2=-q/3$, so $u^6=-q^3/27$; from $z=-2u^3$ we get $z^2=4u^6=-4q^3/27$. Rearranging: $27z^2+4q^3=0$.

The curve is parametrised by $u\in \mathbb{R}$ as $(q,z)=(-3u^2,-2u^3)$, tracing the standard semicubic cusp $z^2=-4q^3/27$ for $q\le 0$. The point $u=0$ maps to the origin, where $dq/du=-6u=0$ and $dz/du=-6u^2=0$ both vanish to first order — the cusp singularity. To either side of the cusp the parametrisation traces two smooth sheets meeting tangentially at the origin. $\square$

Proposition. The Legendrian condition is preserved by any contact flow ${\tilde{\Phi }}_t$ on $(N,\alpha )$.

Let $\tilde{X}$ be a contact vector field on $N$, satisfying ${\mathcal{L}}_{\tilde{X}}\alpha =h\alpha$ for some smooth function $h$ (the contact Hamiltonian of $\tilde{X}$ multiplied by $-1$, in a standard convention). Let $\Lambda \subset N$ be Legendrian and let ${\tilde{\Phi }}_t$ be the flow of $\tilde{X}$. The pull-back of $\alpha$ to ${\tilde{\Phi }}_t(\Lambda )$ along the flow satisfies $$ \tilde\Phi_t^* \alpha = \exp!\left(\int_0^t h \circ \tilde\Phi_s , ds\right) \cdot \alpha. $$ On $\Lambda$, $\alpha {|}_{\Lambda }=0$, so ${\tilde{\Phi }}_t^{\ast }\alpha {|}_{\Lambda }=0$, equivalently $\alpha {|}_{{\tilde{\Phi }}_t(\Lambda )}=0$. The dimension is preserved by any diffeomorphism. Hence ${\tilde{\Phi }}_t(\Lambda )$ is Legendrian. $\square$

Proposition (transversality and the $A_2$ stratum). The set of Legendrian germs in $J^1(M^n,\mathbb{R})$ whose front projection has an $A_2$ cusp at a chosen base point is a closed subset of codimension exactly $1$ in the space of all Legendrian germs at that point.

Identify Legendrian germs with stable right-equivalence classes of generating families $F:(M\times {\mathbb{R}}^k,0)\to (\mathbb{R},0)$ (Arnold's correspondence; see Theorem in Key theorem section, step (i)). The stratum of germs whose function germ $f(u)=F(q_0,u)$ is right-equivalent to the $A_2$ representative $u^3$ has codimension equal to its Tjurina number $\tau (A_2)={\dim }_{\mathbb{R}}\mathbb{R}[[u]]/(u^3,3u^2)={\dim }_{\mathbb{R}}\mathrm{span}\{1,u\}=2$ in the moduli space of unfolded germs — but two of those moduli directions are absorbed by the unfolding parameters $q_1,q_2$, leaving codimension $1$ as the effective stratum in $M^n$. Thom transversality and the genericity of unfoldings finish the proposition; the $A_2$ stratum is the divisor in the front bifurcation diagram. $\square$

Connections Master

• The universal Maslov class of 05.12.01 is the topological invariant whose pull-back along the Gauss map $\Lambda \to \Lambda (n)$ records the $A_2$-cusp counting of the front projection. The intersection-theoretic Maslov-cycle formula proved in 05.12.01 specialises directly to the increment rule for Legendrian fronts.

• The contact manifold scaffolding of 05.10.01 supplies the ambient setting: $J^1(M,\mathbb{R})$ is the canonical contact manifold, and the Legendrian condition $\alpha {|}_{\Lambda }=0$ is the contact-geometric instantiation of the half-dimensional integral condition.

• The forthcoming Lagrangian-singularities companion (to be 05.12.02) treats the parallel ADE classification of caustics of Lagrangian projections $L\hookrightarrow T^{\ast }M\to M$. The two classifications are equivalent in the sense that a Legendrian in $J^1(M,\mathbb{R})$ projects to a Lagrangian in $T^{\ast }M$ and the wave-front singularities are the discriminants of the same generating families, but the cleanest treatment of generating families is contact rather than symplectic — this unit owns that treatment.

• The wave-front-set of a distribution (microlocal-analysis unit 02.14.01) is a closed conic Lagrangian subset of $T^{\ast }M\setminus 0$. Hörmander's propagation-of-singularities theorem combined with the Fourier integral operator calculus picks up exactly the Maslov-index phase factor described here, and the singularities of the projected wave-front-set under Lagrangian fibrations are ADE-classified by the present theorem.

• In integrable systems, the action-angle Lagrangian fibration $T^{\ast }M\to B$ has caustics over the discriminant locus of the integrable system; the bifurcation diagram of an integrable family in dimension $\le 4$ inherits the ADE classification of this unit (Givental 1988).

Historical & philosophical context Master

Arnold's interest in the singularities of caustics and wavefronts grew from his 1965 reading of Maslov's Theory of Perturbations and Asymptotic Methods, which introduced the integer phase correction in WKB asymptotics that bears Maslov's name. Arnold 1967 Funct. Anal. Appl. 1 gave the geometric interpretation of Maslov's index as a characteristic class of the Lagrangian Grassmannian; Arnold 1972 Funct. Anal. Appl. 6 extended the geometric picture to wavefronts and caustics, identifying the locus of caustic singularities with the discriminant of a generating family and so reducing the classification problem to singularity theory of functions ^{[Arnold 1972]}. The ADE list itself emerged from Arnold's 1972-1976 sequence of papers on normal forms for function germs near degenerate critical points (Russian Math. Surveys 29, 1974, 10-50), which was completed in the Arnold-Goryunov-Lyashko-Vasiliev EMS Vol 6 (1993) as the canonical reference ^{[Arnold-Goryunov-Lyashko-Vasiliev]}.

Hörmander 1971 Acta Math. 127 incorporated the Maslov class into the symbol calculus of Fourier integral operators, formalising the Hörmander-Maslov phase factor in the asymptotic expansion of oscillatory integrals as the integer Maslov index of the underlying Lagrangian ^{[Hörmander 1971]}. The book-length treatment by Arnold, Singularities of Caustics and Wave Fronts (Mathematics and its Applications 62, Kluwer 1990), is the standard expository reference; Arnold-Givental EMS Vol 4 Ch 5 (2nd ed. 2001) is the densest survey ^{[Arnold-Givental EMS Vol 4 Ch 5]}. Givental 1988 Funct. Anal. Appl. 22 extended the analysis to singular Lagrangian manifolds, opening the modern programme of Lagrangian-singularity theory for integrable systems and mirror symmetry ^{[Givental 1988]}. The Eliashberg-Hofer-Sullivan 1995 survey and the Chekanov-Eliashberg 1997 differential-graded algebra of Legendrian links connected the singularity-theoretic side to the contact-topological side via the Legendrian h-principle and the Chekanov-Eliashberg DGA, a current research frontier.

Bibliography Master

@article{Arnold1972WaveFronts,
  author = {Arnold, V. I.},
  title = {Wave fronts and the topology of caustics},
  journal = {Functional Analysis and its Applications},
  volume = {6},
  number = {3},
  year = {1972},
  pages = {3--25}
}

@book{ArnoldCausticsWaveFronts,
  author = {Arnold, V. I.},
  title = {Singularities of Caustics and Wave Fronts},
  series = {Mathematics and its Applications},
  volume = {62},
  publisher = {Kluwer Academic Publishers},
  address = {Dordrecht},
  year = {1990}
}

@incollection{ArnoldGiventalEMS,
  author = {Arnold, V. I. and Givental, A. B.},
  title = {Symplectic Geometry, Ch. 5: Lagrangian and Legendrian Singularities},
  booktitle = {Dynamical Systems IV: Symplectic Geometry and its Applications},
  editor = {Arnold, V. I. and Novikov, S. P.},
  series = {Encyclopaedia of Mathematical Sciences},
  volume = {4},
  publisher = {Springer},
  edition = {2nd},
  year = {2001}
}

@book{ArnoldGoryunovLyashkoVasiliev,
  author = {Arnold, V. I. and Goryunov, V. V. and Lyashko, O. V. and Vasiliev, V. A.},
  title = {Singularity Theory I},
  series = {Encyclopaedia of Mathematical Sciences},
  volume = {6},
  publisher = {Springer},
  year = {1993}
}

@article{Givental1988,
  author = {Givental, A. B.},
  title = {Singular Lagrangian manifolds and their Lagrangian mappings},
  journal = {Functional Analysis and its Applications},
  volume = {22},
  number = {4},
  year = {1988},
  pages = {31--48}
}

@article{Hormander1971FIO,
  author = {H{\"o}rmander, L.},
  title = {Fourier integral operators. I},
  journal = {Acta Mathematica},
  volume = {127},
  year = {1971},
  pages = {79--183}
}

@incollection{EHS1995,
  author = {Eliashberg, Y. and Hofer, H. and Sullivan, D.},
  title = {Geometric methods in symplectic and contact topology},
  booktitle = {Surveys in Differential Geometry},
  volume = {II},
  publisher = {International Press},
  year = {1995}
}

@article{ChekanovEliashberg2002,
  author = {Chekanov, Y. and Eliashberg, Y.},
  title = {Differential algebra of {L}egendrian links},
  journal = {Inventiones Mathematicae},
  volume = {150},
  year = {2002},
  pages = {441--483}
}