This is the second of three papers math.DG/0111324, math.DG/0204343 studying special Lagrangian 3-submanifolds (SL 3-folds) N in C^3 invariant under the U(1)-action (z_1,z_2,z_3) --> (gz_1,g^{-1}z_2,z_3) for unit complex numbers g, using analytic methods. The three papers are surveyed in math.DG/0206016.
If N is such a 3-fold then |z_1|^2-|z_2|^2=2a on N for some real number a. Locally, N can be written as a kind of graph of functions u,v : R^2 --> R satisfying a nonlinear Cauchy-Riemann equation depending on a, so that u+iv is like a holomorphic function of x+iy.
The first paper math.DG/0111324 studied the case when a is nonzero. Then u,v are smooth and N is nonsingular. It proved existence and uniqueness for solutions of two Dirichlet problems derived from the equations on u,v. This implied existence and uniqueness for a large class of nonsingular U(1)-invariant SL 3-folds in C^3, with boundary conditions.
In this paper and its sequel math.DG/0204343 we focus on the case a=0. Then the nonlinear Cauchy-Riemann equation is not always elliptic. Because of this there may be points (x,0) where u,v are not differentiable, corresponding to singular points of N. This paper is concerned largely with technical analytic issues, and the sequel with the geometry of the singularities of N.
We prove a priori estimates for derivatives of solutions of the nonlinear Cauchy-Riemann equation, and use them to show existence and uniqueness of weak solutions u,v to the two Dirichlet problems when a=0, which are continuous and weakly differentiable. This gives existence and uniqueness for a large class of singular U(1)-invariant SL 3-folds in C^3, with boundary conditions.
We derive formulas for the mean curvature of special Lagrangian 3-folds in the general case where the ambient 6-manifold has intrinsic torsion. Consequently, we are able to characterize those SU(3)-structures for which every special Lagrangian 3-fold is a minimal submanifold. In the process, we obtain an obstruction to the local existence of special Lagrangian 3-folds.
This is the second in a series of papers constructing explicit examples of special Lagrangian submanifolds in C^m. The first paper was math.DG/0008021, which studied special Lagrangian m-folds with large symmetry groups. The third is math.DG/0010036, which uses ideas from this paper to construct families of special Lagrangian 3-folds in C^3. This paper describes a construction of special Lagrangian m-folds in C^m which are fibred by (m-1)-submanifolds which are quadrics in Lagrangian planes R^m in C^m. Generically they have only discrete symmetry groups. Some of our examples have been previous…
This is the third in a series of papers constructing explicit examples of special Lagrangian submanifolds in C^m. The previous paper in the series, math.DG/0008155, defined the idea of evolution data, which includes an (m-1)-submanifold P in R^n, and constructed a family of special Lagrangian m-folds N in C^m, which are swept out by the image of P under a 1-parameter family of linear or affine maps phi_t : R^n -> C^m, satisfying a first-order o.d.e. in t. In this paper we use the same idea to construct special Lagrangian 3-folds in C^3. We find a 1-1 correspondence between sets of evolution da…
This paper is a follow-up to an earlier paper math.DG/0410260 on desingularizations of Calabi-Yau 3-folds with a conical singularity. In math.DG/0410260 we study Calabi-Yau 3-folds M_0 with a conical singularity at x modelled on some Calabi-Yau cone V, and construct a desingularization of M_0 by gluing in an Asymptotically Conical (AC) Calabi-Yau 3-fold Y to M_0 at x. In this paper, we shall investigate a similar desingularization problem on special Lagrangian (SL) 3-folds in the corresponding Calabi-Yau 3-folds. More precisely, suppose M_0 is now a Calabi-Yau 3-fold with finitely many conical…
This is the first in a series of papers on special Lagrangian submanifolds in C^m. We study special Lagrangian submanifolds in C^m with large symmetry groups, and give a number of explicit constructions. Our main results concern special Lagrangian cones in C^m invariant under a subgroup G in SU(m) isomorphic to U(1)^{m-2}. By writing the special Lagrangian equation as an o.d.e. in G-orbits and solving the o.d.e., we find a large family of distinct, G-invariant special Lagrangian cones on T^{m-1} in C^m. These examples are interesting as local models for singularities of special Lagrangian subm…
This is the fourth in a series of papers math.DG/0008021, math.DG/0008155, math.DG/0010036 constructing explicit examples of special Lagrangian submanifolds (SL m-folds) in C^m. A submanifold of C^m is ruled if it is fibred by a family of real straight lines in C^m. This paper studies ruled special Lagrangian 3-folds in C^3, giving both general theory and families of examples. Our results are related to previous work of Harvey and Lawson, Borisenko and Bryant. An important class of ruled SL 3-folds is the special Lagrangian cones in C^3. Each ruled SL 3-fold is asymptotic to a unique SL cone. …
In this paper we describe the cohomogeneity one special Lagrangian 3-folds in the cotangent bundle of the 3-sphere, also known in the physics literature as a deformed conifold. Our main result gives a global foliation of the deformed conifold by T^2-invariant special Lagrangian 3-folds, where the generic leaf is topologically T^2 X R. In the limit, these special Lagrangians asymptotically approach a special Lagrangian cone on a torus in the conifold. Using moment map techniques we also recover the family of SO(n)-invariant special Lagrangian n-folds in the cotangent bundle of the n-sphere obta…
This is the sixth in a series of papers constructing examples of special Lagrangian m-folds in C^m. We present a construction of special Lagrangian cones in C^3 involving two commuting o.d.e.s, motivated by the first two papers of the series. Then we generalize it to a construction of non-conical special Lagrangian 3-folds in C^3 involving three commuting o.d.e.s. Now special Lagrangian cones in C^3 are linked to the theory of harmonic maps and integrable systems. Harmonic maps from a Riemann surface into complex projective space CP^n are an integrable system, and can be studied and classified…
This paper extends to dimension 4 the results in the article "Second Order Families of Special Lagrangian 3-folds" by Robert Bryant. We consider the problem of classifying the special Lagrangian 4-folds in C^4 whose fundamental cubic at each point has a nontrivial stabilizer in SO(4). Points on special Lagrangian 4-folds where the SO(4)-stabilizer is nontrivial are the analogs of the umbilical points in the classical theory of surfaces. In proving existence for the families of special Lagrangian 4-folds, we used the method of exterior differential systems in Cartan-Kahler theory. This method i…
Fold singular points play important roles in the theory of maximal surfaces. For example, if a maximal surface admits fold singular points, it can be extended to a timelike minimal surface analytically. Moreover, there is a duality between conelike singular points and folds. In this paper, we investigate fold singular points on spacelike surfaces with non-zero constant mean curvature (spacelike CMC surfaces). We prove that spacelike CMC surfaces do not admit fold singular points. Moreover, we show that the singular point set of any conjugate CMC surface of a spacelike Delaunay surface with con…
In this paper we investigate the singularities of Lagrangian mean curvature flows in $\mathbf{C}^m$ by means of smooth singularity models. Type I singularities can only occur at certain times determined by invariants in the cohomology of the initial data. In the type II case, these smooth singularity models are asymptotic to special Lagrangian cones; hence all type II singularities are modeled by unions of special Lagrangian cones.
We consider smoothings of a complex surface with singularities of class T and no nontrivial holomorphic vector field. Under an hypothesis of non degeneracy of the smoothing at each singular point, we prove that if the singular surface admits an extremal metric, then the smoothings also admit extremal metrics in nearby Kähler classes. In addition, we construct small Lagrangian stationary spheres which represent Lagrangian vanishing cycles for surfaces close to the singular one.
Having fixed a Kaehler class and the unique corresponding hyperkaehler metric, we prove that all special Lagrangian submanifolds of an irreducible symplectic 4-fold X are bi-Lagrangian and that they are obtained by complex submanifolds via a sort of "hyperkaehler rotation trick"; thus they retain part of the rigidity of complex submanifolds: indeed all special Lagrangian submanifolds of X turn out to be real analytic.
A second order family of special Lagrangian submanifolds of complex m-space is a family characterized by the satisfaction of a set of pointwise conditions on the second fundamental form. For example, the set of ruled special Lagrangian submanifolds of complex 3-space is characterized by a single algebraic equation on the second fundamental form. While the `generic' set of such conditions turns out to be incompatible, i.e., there are no special Lagrangian submanifolds that satisfy them, there are many interesting sets of conditions for which the corresponding family is unexpectedly large. In so…
We study the problem of desingularizing coassociative conical singularities via gluing, allowing for topological and analytic obstructions, and discuss applications. This extends the author's earlier work on the unobstructed case. We interpret the analytic obstructions geometrically via the obstruction theory for deformations of conically singular coassociative 4-folds, and thus relate them to the stability of the singularities. We use our results to describe the relationship between moduli spaces of coassociative 4-folds with conical singularities and those of their desingularizations. We als…
This is the third in a series of three papers math.DG/0111324, math.DG/0111326 studying special Lagrangian 3-submanifolds (SL 3-folds) N in C^3 invariant under the U(1)-action (z_1,z_2,z_3) --> (gz_1,g^{-1}z_2,z_3) for unit complex numbers g, using analytic methods. The three papers are surveyed in math.DG/0206016. Let N be such a U(1)-invariant SL 3-fold. Then |z_1|^2-|z_2|^2=2a on N for some real a. Locally, N can be written as a kind of graph of functions u,v : R^2 --> R satisfying a nonlinear Cauchy-Riemann equation depending on a. When a is nonzero, u,v are smooth and N is nonsingular. Bu…
Using a hyperKähler rotation on complex structures of a Calabi-Yau 2-fold and rolling of an isotropic 2-submanifold in a symplectic 6-manifold, we construct, by gluing, a natural family of immersed Lagrangian deformations of a branched covering of a special Lagrangian 3-sphere in a Calabi-Yau 3-fold and study how they deviate from being deformable to a family of special Lagrangian deformations by examining in detail Joyce's criteria on this family. The result suggests a potential image-support rigidity of A-branes that wrap around a special Lagrangian 3-sphere in a Calabi-Yau 3-fold, which res…
We construct a family of compact almost Calabi--Yau manifolds of complex dimension 3 and therein a corresponding family of compact special Lagrangians with one-point singularities modelled upon that T^2-cone constructed by Harvey--Lawson and characterized by Haskins as a stable T^2-cone in the terminology by Joyce.
In this article we obtain a classification of special Lagrangian submanifolds in complex space forms subject to an $SO(2)\rtimes S_3$-symmetry on the second fundamental form. The algebraic structure of this form has been obtained by Marianty Ionel. However, the classification of special Lagrangian submanifolds in $\mathbb{C}^4$ having this $SO(2)\rtimes S_3$ symmetry in that paper is incomplete. In the present paper we give a complete classification of such submanifolds, and extend the classification to special Lagrangian submanifolds of arbitrary complex space forms with $SO(2)\rtimes S_3$-sy…
We survey what is known about singularities of special Lagrangian submanifolds (SL m-folds) in (almost) Calabi-Yau manifolds. The bulk of the paper summarizes the author's five papers math.DG/0211294, math.DG/0211295, math.DG/0302355, math.DG/0302356, math.DG/0303272 on SL m-folds X with isolated conical singularities. That is, near each singular point x, X is modelled on an SL cone C in C^m with isolated singularity at 0. We also discuss directions for future research, and give a list of open problems.
This is the first of three papers math.DG/0111326, math.DG/0204343 studying special Lagrangian 3-submanifolds (SL 3-folds) N in C^3 invariant under the U(1)-action (z_1,z_2,z_3) --> (gz_1,g^{-1}z_2,z_3) for unit complex numbers g, using analytic methods. The three papers are surveyed in math.DG/0206016. Let N be such a U(1)-invariant SL 3-fold. Then |z_1|^2-|z_2|^2=2a on N for some real number a. Locally, N can be written as a kind of graph of functions u,v : R^2 --> R satisfying a nonlinear Cauchy-Riemann equation depending on a, so that u+iv is like a holomorphic function of x+iy. When a is …
This is a survey of the author's series of three papers math.DG/0111324, math.DG/0111326, math.DG/0204343 using analysis to investigate special Lagrangian 3-folds (SL 3-folds) in C^3 invariant under the U(1)-action (z_1,z_2,z_3) --> (gz_1,g^{-1}z_2,z_3) for unit complex numbers g, and their sequel math.DG/0011179 on special Lagrangian fibrations and the SYZ Conjecture. We briefly present the main results of these four long papers, giving some explanation and motivation, but no proofs. The aim is to make the results and ideas accessible to String Theorists and others who have an interest in spe…
This paper gives a leisurely introduction to Calabi-Yau manifolds and special Lagrangian submanifolds from the differential geometric point of view, followed by a survey of recent results on singularities of special Lagrangian submanifolds, and their application to the SYZ Conjecture. It is aimed at graduate students in Geometry, String Theorists, and others wishing to learn the subject, and is designed to be fairly self-contained. It is based on lecture courses given at Nordfjordeid, Norway and MSRI, Berkeley in June and July 2001. We introduce Calabi-Yau m-folds via holonomy groups, Kahler g…
We introduce special Lagrangian submanifolds in C^m and in (almost) Calabi-Yau manifolds, and survey recent results on singularities of special Lagrangian submanifolds, and their application to the SYZ Conjecture. The paper is aimed at graduate students in Geometry, String Theorists, and others wishing to learn the subject. Special Lagrangian m-folds in C^m are defined, and ways of constructing them described. 'Almost Calabi-Yau manifolds' (a generalization of Calabi-Yau manifolds useful in special Lagrangian geometry) are introduced, and the deformation theory, obstruction theory, and moduli …
On a manifold equipped with a bivector field, we introduce for every Hamiltonian a Lagrangian on paths valued in the cotangent space whose stationary points projects onto Hamiltonian vector fields. We show that the remaining components of those stationary points tell whether the bivector field is Poisson or at least defines an integrable distribution - a class of bivector fields generalizing twisted Poisson structures that we study in detail.
We prove an analogue of the Kobayashi-Hitchin correspondence oncompact connected 3-folds that is fibered on orbifold Riemann surfaces and satisfy an integrability condition, which contains compact connected Sasakian 3-folds. We define mini-holomorphic bundles on such 3-folds and the algebraic Dirac-type singularities on mini-holomorphic bundles, and prove that there exists a special Hermitian metric (admissible BHE-metric) on a Dirac-type singular mini-holomorphic bundle if the bundle satisfies a slope stability.
This is the last in a series of five papers math.DG/0211294, math.DG/0211295, math.DG/0302355, math.DG/0302356 studying compact special Lagrangian submanifolds (SL m-folds) X in (almost) Calabi-Yau m-folds M with singularities x_1,...,x_n locally modelled on special Lagrangian cones C_1,...,C_n in C^m with isolated singularities at 0. Readers are advised to begin with this paper. We survey the major results of the previous four papers, giving brief explanations of the proofs. We apply the results to describe the boundary of a moduli space of compact, nonsingular SL m-folds N in M. We prove the…
We construct singular solutions to special Lagrangian equa- tions with subcritical phases and minimal surface systems. A priori estimate breaking families of smooth solutions are also produced cor- respondingly. A priori estimates for special Lagrangian equations with certain convexity are largely known by now.
We study the local symplectic algebra of curves. We use the method of algebraic restrictions to classify symplectic $T_7$ singularities. We define discrete symplectic invariants - the Lagrangian tangency orders. We use these invariants to distinguish symplectic singularities of classical $A-D-E$ singularities of planar curves, $S_5$ singularity and $T_7$ singularity. We also give the geometric description of these symplectic singularities.
This note is a report on the observation that some singular varieties admit Calabi--Yau coverings. As an application, we construct 18 new Calabi--Yau 3-folds with Picard number one that have some interesting properties.
Given a Lagrangian submanifold $L$ of the affine symplectic $2n$-space, one can canonically and uniquely define a center-chord and a special improper affine sphere of dimension $2n$, both of whose sets of singularities contain $L$. Although these improper affine spheres (IAS) always present other singularities away from $L$ (the off-shell singularities studied in our previous paper), they may also present singularities other than $L$ which are arbitrarily close to $L$, the so called singularities "on shell". These on-shell singularities possess a hidden $\mathbb Z_2$ symmetry that is absent fr…
We give a geometric interpretation of weighted homogeneous solutions to the associativity equation in terms of the web theory and construct a massive Frobenius 3-fold germ via a singular 3-web germ satisfying the following conditions: 1) the web germ admits at least one infinitesimal symmetry, 2) the Chern connection form is holomorphic, 3) the curvature form vanishes identically.
This is the fourth in a series of five papers math.DG/0211294, math.DG/0211295, math.DG/0302355, math.DG/0303272 studying compact special Lagrangian submanifolds (SL m-folds) X in (almost) Calabi-Yau m-folds M with singularities x_1,...,x_n locally modelled on special Lagrangian cones C_1,...,C_n in C^m with isolated singularities at 0. Readers are advised to begin with the final paper math.DG/0303272 which surveys the series, gives examples, and applies the results to prove some conjectures. The first paper math.DG/0211294 studied the regularity of X near its singular points, and the second m…
This is the third in a series of five papers math.DG/0211294, math.DG/0211295, math.DG/0302356, math.DG/0303272 studying compact special Lagrangian submanifolds (SL m-folds) X in (almost) Calabi-Yau m-folds M with singularities x_1,...,x_n locally modelled on special Lagrangian cones C_1,...,C_n in C^m with isolated singularities at 0. Readers are advised to begin with the final paper math.DG/0303272 which surveys the series, gives examples, and applies the results to prove some conjectures. The first two papers math.DG/0211294, math.DG/0211295 studied the regularity of X near its singular poi…
Special Lagrangian submanifolds are submanifolds of a Calabi-Yau manifold calibrated by the real part of the holomorphic volume form. In this paper we use elliptic theory for edge-degenerate differential operators on singular manifolds to study the moduli space of deformations of special Lagrangian submanifolds with edge singularities. We obtain a general theorem describing the local structure of the moduli space. When the obstruction space vanishes the moduli space is a smooth, finite dimensional manifold.
n this paper we define an invariant of a pair of 6 dimensional symplectic %optional manifold with vanishing 1st Chern class and its Lagrangian submanifold with vanishing Maslov index. This invariant is a function on the set of the path connected components of the bounding cochains (solution of A infinity version of Maurer-Cartan equation of the filtered A infinity algebra associated to the Lagrangian submanifold). In the case when the Lagrangian submanifold is a rational homology sphere, it becomes a numerical invariant. This invariant depends on the choice of almost complex structure. The way…
We attempt to define a new invariant I of (almost) Calabi-Yau 3-folds M, by counting special Lagrangian rational homology 3-spheres N in M in each 3-homology class, with a certain weight w(N) depending on the topology of N. This is motivated by the Gromov-Witten invariants of a symplectic manifold, which count the J-holomorphic curves in each 2-homology class. In order for this invariant to be interesting, it should either be unchanged by deformations of the underlying (almost) Calabi-Yau structure, or else transform according to some rigid set of rules as the periods of the almost Calabi-Yau …
The fibre derivative of a bundle map is studied in detail. In the particular case of a real function, several constructions useful to study singular lagrangians are presented. Some applications are given; in particular, a geometric construction useful to solve the Euler-Lagrange equation of a singular lagrangian. A free particle in a curved space-time is studied as an example.
Suppose $M_{1}$ and $M_{2}$ are two special Lagrangian submanifolds of $\Rtn$ with boundary that intersect transversally at one point $p$. The set $M_{1} \cup M_{2}$ is a singular special Lagrangian variety with an isolated singularity at the point of intersection. Suppose further that the tangent planes at the intersection satisfy an angle condition (which always holds in dimension $n=3$). Then, $M_{1} \cup M_{2}$ is regularizable; in other words, there exists a family of smooth, minimal Lagrangian submanifolds $M_α$ with boundary that converges to $M_{1} \cup M_{2}$ in a suitable topology. T…
This is the first in a series of five papers math.DG/0211295, math.DG/0302355, math.DG/0302356, math.DG/0303272 studying special Lagrangian submanifolds (SL m-folds) X in (almost) Calabi-Yau m-folds M with singularities x_1,...,x_n locally modelled on special Lagrangian cones C_1,...,C_n in C^m with isolated singularities at 0. Readers are advised to begin with the final paper math.DG/0303272, which surveys the series, gives examples, and applies the results to prove some conjectures. This first paper lays the foundations for the series, giving definitions and proving auxiliary results in symp…
The time evolution operator $K$ is introduced in the graded context and its main properties are discussed. In particular, the operator $K$ is used to analize the projectability of constraint functions arising in the Lagrangian formalism for singular Lagrangians.
The SYZ Conjecture explains Mirror Symmetry between mirror Calabi-Yau 3-folds M,M' in terms of special Lagrangian fibrations f : M --> B and f' : M' --> B over the same base B, whose fibres are dual 3-tori, except for singular fibres. One of the main problems in proving the SYZ Conjecture (or even in finding the right statement of it) is that the singularities of special Lagrangian 3-folds and fibrations are poorly understood. This paper studies the singularities of special Lagrangian fibrations. Our main rigorous results are the construction of examples of special Lagrangian fibrations on ope…
We exhibit infinitely many, explicit special Lagrangian isolated singularities that admit no asymptotically conical special Lagrangian smoothings. The existence/ nonexistence of such smoothings is an important component of the current efforts to understand which singular special Lagrangians arise as limits of smooth special Lagrangians. We also use soft methods from symplectic geometry (the relative version of the h--principle) and tools from algebraic topology to prove (both positive and negative) results about Lagrangian desingularizations of Lagrangian submanifolds with isolated singulariti…
The purpose of this paper is describe Lagrangian Mechanics for constrained systems on Lie algebroids, a natural framework which covers a wide range of situations (systems on Lie groups, quotients by the action of a Lie group, standard tangent bundles...). In particular, we are interested in two cases: singular Lagrangian systems and vakonomic mechanics (variational constrained mechanics). Several examples illustrate the interest of these developments.
New geometric structures that relate the lagrangian and hamiltonian formalisms defined upon a singular lagrangian are presented. Several vector fields are constructed in velocity space that give new and precise answers to several topics like the projectability of a vector field to a hamiltonian vector field, the computation of the kernel of the presymplectic form of lagrangian formalism, the construction of the lagrangian dynamical vector fields, and the characterisation of dynamical symmetries.
In an earlier paper, we proved that, under certain hypotheses, the moduli space of an asymptotically cylindrical special Lagrangian submanifold with fixed boundary of an asymptotically cylindrical Calabi-Yau 3-fold is a smooth manifold. Here we prove the analogous result for an asymptotically cylindrical special Lagrangian submanifold with moving boundary.
Regularization of singular time-dependent Lagrangian systems
Real Academia de Ciencias Exactas, Físicas y Naturales de España（西班牙皇家数理自然科学院）；Dipartimento di Matematica e Applicazioni Renato Caccioppoli, Università degli Studi di Napoli Federico II（雷纳托·卡乔波利应用数学系，那不勒斯费德里科二世大学）
A comparative analysis of two different versions of the Legendre transformation is presented. We provide an almost complete although somewhat superficial review of the geometric background for analytical mechanics. Complete coordinate characterizations of all structures are provided. Intrinsic constructions of most of the objects are given. Examples of applications to a number of physical systems is given
The jet bundle description of time-dependent mechanics is revisited. The constraint algorithm for singular Lagrangians is discussed and an exhaustive description of the constraint functions is given. By means of auxiliary connections we give a basis of constraint functions in the Lagrangian and Hamiltonian sides. An additional description of constraints is also given considering at the same time compatibility, stability and second-order condition problems. Finally, a classification of the constraints in first and second class is obtained using a cosymplectic geometry setting. Using the second …
