This paper is the third of a series on Hamiltonian stationary Lagrangian surfaces. We present here the most general theory, valid for any Hermitian symmetric target space. Using well-chosen moving frame formalism, we show that the equations are equivalent to an integrable system, generalizing the C^2 subcase analyzed in the first article (arXiv:math.DG/0009202). This system shares many features with the harmonic map equation of surfaces into symmetric spaces, allowing us to develop a theory close to Dorfmeister, Pedit and Wu's, including for instance a Weierstrass-type representation. Notice that this article encompasses the article mentioned above, although much fewer details will be given on that particular flat case.
From string theory, the notion of deformed Hermitian Yang-Mills connections has been introduced by Mariño, Minasian, Moore and Strominger. After that, Leung, Yau and Zaslow proved that it naturally appears as mirror objects of special Lagrangian submanifolds via Fourier-Mukai transform between dual torus fibrations. In their paper, some conditions are imposed for simplicity. In this paper, data to glue their construction on tropical manifolds are proposed and a generalization of the correspondence is proved without the assumption that the Lagrangian submanifold is a section of the torus fibrat…
In this paper we generalize examples of Hamiltonian stationary Lagrangian submanifolds constructed by Lee and Wang in $\mathbb{C}^m$ to toric almost Calabi-Yau manifolds. We construct examples of weighted Hamiltonian stationary Lagrangian submanifolds in toric almost Calabi-Yau manifolds and solutions of generalized Lagrangian mean curvature flows starting from these examples. We allow these flows to have some singularities and topological changes.
We prove a bubble tree convergence theorem for a sequence of closed Hamiltonian Stationary Lagrangian surfaces with bounded areas and Willmore energies in a complete K{ä}hler surface. We also prove two strong compactness theorems on the space of Hamiltonian stationary Lagrangian tori in $\mathbb C^2$ and $\mathbb{CP}^2$ respectively.
We study Hamiltonian stationary Lagrangian surfaces in C^2, i.e. Lagrangian surfaces in C^2 which are stationary points of the area functional under smooth Hamiltonian variations. Using loop groups, we propose a formulation of the equation as a completely integrable system. We construct a Weierstrass type representation and produce all tori through either the integrable systems machinery or more direct arguments.
As a generalization of anti-invariant Riemannian submersions and Lagrangian Riemannian submersions, we introduce the notions of h-anti-invariant submersions and h-Lagrangian submersions from almost quaternionic Hermitian manifolds onto Riemannian manifolds. We obtain characterizations and investigate some properties: the integrability of distributions, the geometry of foliations, and the harmonicity of such maps. We also find a condition for such maps to be totally geodesic and give some examples of such maps. Finally, we obtain some types of decomposition theorems.
Hamiltonian stationary Lagrangian spheres in Kaehler-Einstein surfaces are minimal. We prove that in the family of non-Einstein Kaehler surfaces given by the product $Σ_1\timesΣ_2$ of two complete orientable Riemannian surfaces of different constant Gauss curvatures, there is only a (non minimal) Hamiltonian stationary Lagrangian sphere. This example is defined when the surfaces $Σ_1$ and $ Σ_2$ are spheres.
In this paper we calculate the Lagrangian Floer homology $HF(L_0, L_1 : {\mathbb Z}_2)$ of a pair of real forms $(L_0,L_1)$ in a monotone Hermitian symmetric space $M$ of compact type in the case where $L_0$ is not necessarily congruent to $L_1$. In particular, we have a generalization of the Arnold-Givental inequality in the case where $M$ is irreducible. As its application, we prove that the totally geodesic Lagrangian sphere in the complex hyperquadric is globally volume minimizing under Hamiltonian deformations.
The grassmannian of hermitian lagrangian spaces in $\mathbb{C}^n\oplus \mathbb{C}^n$ is a natural compactification of the space of hermitian $n\times n$ matrices. We describe a Schubert-like, Whitney regular stratification on this space which has a Morse theoretic origin. We prove that these strata define closed subanalytic currents à la R. Hardt, generating the integral homology of this space, we investigate their intersection theoretic properties, and we prove certain odd (in K-theoretic sense) Thom-Porteous type theorems.
Hamiltonian stationary Lagrangian submanifolds (HSLAG) are a natural generalization of special Lagrangian manifolds (SLAG). The latter only make sense on Calabi-Yau manifolds whereas the former are defined for any almost Kähler manifold. Special Lagrangians, and, more specificaly, fibrations by special Lagrangians play an important role in the context of the geometric mirror symmetry conjecture. However, these objects are rather scarce in nature. On the contrary, we show that HSLAG submanifolds, or fibrations, arise quite often. Many examples of HSLAG fibrations are provided by toric Käh-ler g…
The Clifford torus is a torus in a three-dimensional sphere. Homogeneous tori are simple generalization of the Clifford torus which still in a three-dimensional sphere. There is a way to construct tori in a three-dimensional sphere using the Hopf fibration. In this paper, all Hamiltonian stationary Lagrangian tori which is contained in a hypersphere in the complex Euclidean plane are constructed explicitly. Then it is shown that they are homogeneous tori. For the construction, flat quaternionic connections of Hamiltonian stationary Lagrangian tori are considered and a spectral curve of an asso…
We construct examples of shrinkers and expanders for Lagrangian mean curvature flows. These examples are Hamiltonian stationary and asymptotic to the union of two Hamiltonian stationary cones found by Schoen and Wolfson. The Schoen-Wolfson cones $C_{p,q}$ are obstructions to the existence problems of special Lagrangians or Lagrangian minimal surfaces in the variational approach. It is known that these cone singularities cannot be resolved by any smooth oriented Lagrangian submanifolds. The shrinkers and expanders that we found can be glued together to yield solutions of the Brakke motion-a wea…
In this paper a bijective correspondence between superminimal surfaces of an oriented Riemannian $4$-manifold and particular Lagrangian submanifolds of the twistor space over the $4$-manifold is proven. More explicitly, for every superminimal surface a submanifold of the twistor space is constructed which is Lagrangian for all the natural almost Hermitian structures on the twistor space. The twistor fibration restricted to the constructed Lagrangian gives a circle bundle over the superminimal surface. Conversely, if a submanifold of the twistor space is Lagrangian for all the natural almost He…
A Hamiltonian stationary Lagrangian submanifold of a Kaehler manifold is a Lagrangian submanifold whose volume is stationary under Hamiltonian variations. We find a sufficient condition on the curvature of a Kaehler manifold of real dimension four that guarantees the existence of a family of small Hamiltonian stationary Lagrangian tori.
It is known that all weakly conformal Hamiltonian stationary Lagrangian immersions of tori in the complex projective plane may be constructed by methods from integrable systems theory. This article describes the precise details of a construction which leads to a form of classification. The immersion is encoded as spectral data in a similar manner to the case of minimal Lagrangian tori in the complex projective plane, but the details require a careful treatment of both the "dressing construction" and the spectral data to deal with a loop of flat connexions which is quadratic in the loop paramet…
We exhibit a transformation taking special Lagrangian submanifolds of a Calabi-Yau together with local systems to vector bundles over the mirror manifold with connections obeying deformed Hermitian-Yang-Mills equations. That is, the transformation relates supersymmetric A- and B-cycles. In this paper, we assume that the mirror pair are dual torus fibrations with flat tori and that the A-cycle is a section. We also show that this transformation preserves the (holomorphic) Chern-Simons functional for all connections. Furthermore, on corresponding moduli spaces of supersymmetric cycles it identif…
In this work, we prove a compactness theorem on the space of all Hamiltonian stationay Lagrangian submanifolds in a compact symplectic manifold with uniform bounds on area and total extrinsic curvature.
We prove an equivariant deformation result for Hamiltonian stationary Lagrangian submanifolds of a Kahler manifold, with respect to deformations of its metric and almost complex structure that are compatible with an isometric Hamiltonian group action. This yields existence of Hamiltonian stationary Lagrangian submanifolds in possibly non-Kahler symplectic manifolds whose metric is arbitrarily close to a Kahler metric.
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.
Hamiltonian stationary Lagrangians are Lagrangian submanifolds that are critical points of the volume functional under Hamiltonian deformations. They can be considered as a generalization of special Lagrangians or Lagrangian and minimal submanifolds. Joyce, Schoen and the author show that given any compact rigid Hamiltonian stationary Lagrangian in $\C^n$, one can always find a family of Hamiltonian stationary Lagrangians of the same type in any compact symplectic manifolds with a compatible metric. The advantage of this result is that it holds in very general classes. But the disadvantage is …
For a sequence of immersed connected closed Hamiltonian stationary Lagrangian submaniolds in $\mathbb{C}^{n}$ with uniform bounds on their volumes and the total extrinsic curvatures, we prove that a subsequence converges either to a point or to a Hamiltonian stationary Lagrangian $n$-varifold locally uniformly in $C^{k}$ for any nonnegative integer $k$ away from a finite set of points, and the limit is Hamiltonian stationary in ${\mathbb{C}}^{n}$. We also obtain a theorem on extending Hamiltonian stationary Lagrangian submanifolds $L$ across a compact set $N$ of Hausdorff codimension at least …
Lagrangian submanifolds of a Kaehler manifold are called Hamiltonian-stationary (or $H$-stationary for short) if it is a critical point of the area functional restricted to compactly supported Hamiltonian variations. In [B. Y. Chen, F. Dillen, L. Verstraelen and L. Vrancken, Lagrangian isometric immersions of a real-space-form $M^{n}(c)$ into a complex-space-form $\tilde{M}^{n}(4c)$, Math. Proc. Cambridge Philo. Soc. 124 (1998), 107-125], an effective method to constructing Lagrangian submanifolds of constant curvature $\varepsilon$ in complex space form $M^n(4\varepsilon)$ was introduced. In …
Consider the complex linear space C^n endowed with the canonical pseudo-Hermitian form of signature (2p,2(n-p)). This yields both a pseudo-Riemannian and a symplectic structure on C^n. We prove that those submanifolds which are both Lagrangian and minimal with respect to these structures minimize the volume in their Lagrangian homology class. We also describe several families of minimal Lagrangian submanifolds. In particular, we characterize the minimal Lagrangian surfaces in C^2 endowed with its natural neutral metric and the equivariant minimal Lagrangian submanifolds of C^n with arbitrary s…
We prove a Morrey-type theorem for Hamiltonian stationary submanifolds of $\mathbb{C}^{n}$. Namely, if $L$ $\subset$ $\mathbb{C}^{n}$ is a $C^{1}$ Lagrangian submanifold with weakly harmonic Lagrangian phase $θ,$ then $L$ must be smooth. In the process we also discuss a local version of the equation, which is a nonlinear fourth order double divergence equation of the potential function whose gradient graph defines the Hamiltonian stationary submanifolds locally, and we establish full regularity and removability of singular sets of capacity zero for weak solutions with $C^{1,1}$ norm below a di…
The deformed Hermitian Yang-Mills (dHYM) equation is a special Lagrangian type condition in complex geometry. It requires the complex analogue of the Lagrangian phase, defined for Chern connections on holomorphic line bundles using a background Kähler metric, to be constant. In this paper we introduce and study dHYM equations with variable Kähler metric. These are coupled equations involving both the Lagrangian phase and the radius function, at the same time. They are obtained by using the extended gauge group to couple the moment map interpretation of dHYM connections, due to Collins-Yau and …
This article determines the spectral data, in the integrable systems sense, for all weakly conformally immersed Hamiltonian stationary Lagrangian in $\R^4$. This enables us to describe their moduli space and the locus of branch points of such an immersion. This is also an informative example in integrable systems geometry, since the group of ambient isometries acts non-trivially on the spectral data and the relevant energy functional (the area) need not be constant under deformations by higher flows.
The multiplier spectral curve of a conformal torus in the 4-sphere is essentially, see arXiv:0712.2311, given by all Darboux transforms of the conformal torus. In the particular case when the conformal immersion is a Hamiltonian stationary torus in Euclidean 4-space, the left normal of the immersion is harmonic, hence we can associate a second Riemann surface: the eigenline spectral curve of the left normal, as defined by Hitchin. We show that the multiplier spectral curve of a Hamiltonian stationary torus and the eigenline spectral curve of its left normal are biholomorphic Riemann surfaces o…
Let (M,w) be a compact symplectic 2n-manifold, and g a Riemannian metric on M compatible with w. For instance, g could be Kahler, with Kahler form w. Consider compact Lagrangian submanifolds L of M. We call L Hamiltonian stationary, or H-minimal, if it is a critical point of the volume functional under Hamiltonian deformations. It is called Hamiltonian stable if in addition the second variation of volume under Hamiltonian deformations is nonnegative. Our main result is that if L is a compact, Hamiltonian stationary Lagrangian in C^n satisfying the extra condition of being Hamiltonian rigid, th…
We study surfaces in TN that are area-stationary with respect to a neutral Kaehler metric constructed on TN from a riemannian metric g on N. We show that holomorphic curves in TN are area-stationary, while lagrangian surfaces that are area-stationary are also holomorphic and hence totally null. However, in general, area stationary surfaces are not holomorphic. We prove this by constructing counter-examples. In the case where g is rotationally symmetric, we find all area stationary surfaces that arise as graphs of sections of the bundle TN$\to$N and that are rotationally symmetric. When (N,g) i…
The mirror of a projective toric manifold $X_Σ$ is given by a Landau-Ginzburg model $(Y,W)$. We introduce a class of Lagrangian submanifolds in $(Y,W)$ and show that, under the SYZ mirror transformation, they can be transformed to torus-invariant hermitian metrics on holomorphic line bundles over $X_Σ$. Through this geometric correspondence, we also identify the mirrors of Hermitian-Einstein metrics, which are given by distinguished Lagrangian sections whose potentials satisfy certain Laplace-type equations.
We consider smooth radial solutions to the Hamiltonian stationary equation which are defined away from the origin. We show that in dimension two all radial solutions on unbounded domains must be special Lagrangian. In contrast, for all higher dimensions there exist non-special Lagrangian radial solutions over unbounded domains; moreover, near the origin, the gradient graph of such a solution is continuous if and only if the graph is special Lagrangian.
We introduce a new method to construct a large family of Lagrangian surfaces in complex Euclidean plane by means of two planar curves making use of their usual product as complex functions and integrating the Hermitian product of their position and tangent vectors. Among this family, we characterize minimal, constant mean curvature, Hamiltonian stationary, solitons for mean curvature flow and Willmore surfaces in terms of simple properties of the curvatures of the generating curves. As an application, we provide explicitly conformal parametrizations of known and new examples of these classes o…
Let $L$ be a holomorphic line bundle over a compact Kähler manifold $X$. Motivated by mirror symmetry, we study the deformed Hermitian-Yang-Mills equation on $L$, which is the line bundle analogue of the special Lagrangian equation in the case that $X$ is Calabi-Yau. We show that this equation is the Euler-Lagrange equation for a positive functional, and that solutions are unique global minimizers. We provide a necessary and sufficient criterion for existence in the case that $X$ is a Kähler surface. For the higher dimensional cases, we introduce a line bundle version of the Lagrangian mean cu…
The deformed Hermitian-Yang-Mills equation is a complex Hessian equation on compact Kähler manifolds that corresponds to the special Lagrangian equation in the context of the Strominger-Yau-Zaslow mirror symmetry. Recently, Chen proved that the existence of the solution is equivalent to a uniform stability condition in terms of holomorphic intersection numbers along test families. In this paper, we establish an analogous stability result not involving a uniform constant in accordance with a recent work on the $J$-equation by Song, which makes further progress toward Collins-Jacob-Yau's origina…
We study weak geodesics in the space of potentials for the deformed Hermitian-Yang-Mills equation. The geodesic equation can be formulated as a degenerate elliptic equation, allowing us to employ nonlinear Dirichlet duality theory, as developed by Harvey-Lawson. By exploiting the convexity of the level sets of the Lagrangian angle operator in the highest branch, we are able to construct continuous solutions of the associated Dirichlet problem.
We consider a connected symplectic manifold $M$ acted on properly and in a Hamiltonian fashion by a connected Lie group $G$. Inspired to the recent paper \cite{gb2}, see also \cite{ch} and \cite{pacini}, we study Lagrangian orbits of Hamiltonian actions. The dimension of the moduli space of the Lagrangian orbits is given and we also describe under which condition a Lagrangian orbit is isolated. If $M$ is a compact Kähler manifold we give a necessary and sufficient condition to an isometric action admits a Lagrangian orbit. Then we investigate Lagrangian homogeneous submanifolds on the symplect…
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.
In this paper, we provide a necessary and sufficient condition for the solvability of the supercritical deformed Hermitian-Yang-Mills equation using integrals on subvarieties. This result confirms the mirror version of the Thomas-Yau conjecture about special Lagrangian submanifolds on Calabi-Yau manifolds.
We construct $\sorth{p} \times \sorth{q}$-invariant special Lagrangian (SL) cones in $\C^{p+q}$. These SL cones are natural higher-dimensional analogues of the $\sorth{2}$-invariant SL cones constructed previously by MH and used in our gluing constructions of higher genus SL cones in $\C^{3}$. We study in detail the geometry of these $\sorth{p}\times \sorth{q}$-invariant SL cones, in preparation for their application to our higher dimensional special Legendrian gluing constructions. In particular the symmetries of these cones and their asymptotics near the spherical limit are analysed. All $\s…
We study those Lagrangian surfaces in complex Euclidean space which are foliated by circles or by straight lines. The former, which we call cyclic, come in three types, each one being described by means of, respectively, a planar curve, a Legendrian curve of the 3-sphere or a Legendrian curve of the anti de Sitter 3-space. We also describe ruled Lagrangian surfaces. Finally we characterize those cyclic and ruled Lagrangian surfaces which are solutions to the self-similar equation of the Mean Curvature Flow. Finally, we give a partial result in the case of Hamiltonian stationary cyclic surfaces…
Hamiltonian minimality (H-minimality) for Lagrangian submanifolds is a symplectic analogue of Riemannian minimality. A Lagrangian submanifold is called H-minimal if the variations of its volume along all Hamiltonian vector fields are zero. This notion was introduced in the work of Y.-G. Oh in connection with the celebrated Arnold conjecture on the number of fixed points of a Hamiltonian symplectomorphism. In the previous works the authors defined and studied a family of H-minimal Lagrangian submanifolds in complex space arising from intersections of Hermitian quadrics. Here we extend this cons…
We study the deformed Hermitian-Yang-Mills (dHYM) equation, which is mirror to the special Lagrangian equation, from the variational point of view via an infinite dimensional GIT problem mirror to Thomas' GIT picture for special Lagrangians. This gives rise to infinite dimensional manifold $\mathcal{H}$ mirror to Solomon's space of positive Lagrangians. In the hypercritical phase case we prove the existence of smooth approximate geodesics, and weak geodesics with $C^{1,α}$ regularity. This is accomplished by proving sharp with respect to scale estimates for the Lagrangian phase operator on col…
In [LW], we construct examples of two-dimensional Hamiltonian stationary self-shrinkers and self-expanders for Lagrangian mean curvature flows, which are asymptotic to the union of two Schoen-Wolfson cones. These self-shrinkers and self-expanders can be glued together to yield solutions of the Brakke flow - a weak formulation of the mean curvature flow. Moreover, there is no mass loss along the Brakke flow. In this paper, we generalize these results to higher dimension. We construct new higher dimensional Hamiltonian stationary cones of different topology as generalizations of the Schoen-Wolfs…
The $n$-dimensional complex hyperquadric is a compact complex algebraic hypersurface defined by the quadratic equation in the $(n+1)$-dimensional complex projective space, which is isometric to the real Grassmann manifold of oriented 2- planes and is a compact Hermitian symmetric space of rank 2. In this paper we study geometry of compact Lagrangian submanifolds in complex hyperquadrics from the viewpoint of the theory of isoparametric hypersurfaces in spheres. From this viewpoint we provide a classification theorem of compact homogeneous Lagrangian submanifolds in complex hyperquadrics by usi…
In this paper, we prove that any $C^{1}$-regular Hamiltonian stationary Lagrangian submanifold in a symplectic manifold is smooth. More broadly, we develop a regularity theory for a class of fourth order nonlinear elliptic equations with two distributional derivatives. Our fourth order regularity theory originates in the geometrically motivated variational problem for the volume functional, but should have applications beyond.
A Lagrangian submanifold in an almost Calabi-Yau manifold is called positive if the real part of the holomorphic volume form restricted to it is positive. An exact isotopy class of positive Lagrangian submanifolds admits a natural Riemannian metric. We compute the Riemann curvature of this metric and show all sectional curvatures are non-positive. The motivation for our calculation comes from mirror symmetry. Roughly speaking, an exact isotopy class of positive Lagrangians corresponds under mirror symmetry to the space of Hermitian metrics on a holomorphic vector bundle. The latter space is an…
The purpose of this paper is to establish a Lagrangian potential theory, analogous to the classical pluripotential theory, and to define and study a Lagrangian differential operator of Monge-Ampere type. This development is new even in ${\bf C}^n$. However, it applies quite generally -- perhaps most importantly to symplectic manifolds equipped with a Gromov metric. The Lagrange Monge-Ampere operator is an explicit polynomial on ${\rm Sym}^2(TX)$ whose principle branch defines the space of Lag-harmonics. Interestingly the operator depends only on the Laplacian and the SKEW-Hermitian part of the…
