A surface $Σ\subset S^5 \subset \mathbb{C}^3$ is called \emph{special Legendrian} if the cone $0 \times Σ\subset \mathbb{C}^3$ is special Lagrangian. The purpose of this paper is to propose a general method toward constructing compact special Legendrian surfaces of high genus. It is proved \emph{there exists a compact, orientable, Hamiltonian stationary Lagrangian surface of genus $1+\frac{k(k-3)}{2}$ in $ \mathbb{C}P^2$ for each integer $ k \geq 3$, which is a smooth branched surface except at most finitely many conical singularities.} If this surface is smooth, it is minimal and the Legendrian lift of the surface is the desired compact special Legendrian surface.
We first establish the existence of a minimizer of area among Lagrangian disks in a relative homotopy class of a Kähler-Einstein surface without Lagrangian homotopy classes with respect to a configuration $ Γ$ that consists of the fixed point loci of Kähler involutions. $ Γ$ in addition must satisfy certain null relative homotopy conditions and angle criteria. The fundamental domain thus obtained is smooth along the boundary, and has finitely many interior singular points. We then apply successive \emph{reflection} of this fundamental domain along its boundary to obtain a complete or compact Lagrangian surface.
Special Legendrian Integral Cycles in $S^5$ are the links of the tangent cones to Special Lagrangian integer multiplicity rectifiable currents in Calabi-Yau 3-folds. We show that such Special Legendrian Cycles are smooth except possibly at isolated points.
Let $ X: M \hook S^5$ be a compact Legendrian surface in pseudoconformal(CR) 5-sphere. We introduce a pseudoconformally invariant Willmore type second order functional $ \W(X)$, and study its critical points called Willmore Legendrian surfaces. The fifth order structure equations show that Willmore dual can be defined for a class of Willmore Legendrian surfaces. Moreover when this dual is constant, Willmore Legendrian surface admits a Weierstraßtype representation in terms of immersed meromorphic curve in $ \C^2$ satisfying an appropriate real period condition via pseudoconformal stereographic…
In this paper we study the deformation theory of submanifolds characterized by a system of differential forms and provide a criterion for deformations of such submanifolds to be unobstructed. We apply this deformation theory to special Legendrian submanifolds in Sasaki-Einstein manifolds. In general, special Legendrian deformations have the obstruction. However, we show that the deformation space of special Legendrian submanifolds is the intersection of two larger smooth deformation spaces of different types. We also prove that any special Legendrian submanifold admits smooth deformations, whi…
We show that every toric Sasaki-Einstein manifold $S$ admits a special Legendrian submanifold $L$ which arises as the link ${\rm fix}(τ)\cap S$ of the fixed point set ${\rm fix}(τ)$ of an anti-holomorphic involution $τ$ on the cone $C(S)$. In particular, an irregular toric Sasaki-Einstein manifold $S^{2}\times S^{3}$ has a special Legendrian torus $S^{1}\times S^{1}$. Moreover, we also obtain a special Legendrian submanifold in $\sharp m(S^{2}\times S^{3})$ for each $m\ge 1$.
We consider a generalization of Calabi-Yau structures in the context of $α$-Sasakian manifolds. We study deformations of a special class of Legendrian submanifolds and classify invariant contact Calabi-Yau structures on 5-dimensional nilmanifolds. Finally we generalize to codimension $r$.
We introduce the notion of affine Legendrian submanifolds in Sasakian manifolds and define a canonical volume called the $ϕ$-volume as odd dimensional analogues of affine Lagrangian (totally real or purely real) geometry. Then we derive the second variation formula of the $ϕ$-volume to obtain the stability result in some $η$-Einstein Sasakian manifolds. It also implies the convexity of the $ϕ$-volume functional on the space of affine Legendrian submanifolds. Next, we introduce the notion of special affine Legendrian submanifolds in Sasaki-Einstein manifolds as a generalization of that of speci…
This is a corrected version of our paper published in Osaka Journal of Mathematics 51(2014), 673-693. We correct Theorem~1.1, Proposition~3.3 and their proofs.
Let $Z \to Y^{2n+1}$ be the bundle of Legendrian $n$-planes over a contact manifold $Y$. We consider a foliation of $Z$ by canonical lifts of Legendrian submanifolds, called \emph{Legendrian submanifold path geometry}, whose flat model is \[ Sp(n+1, R) \to RP^{2n+1}. \] The equivalence problem provides an $sp(n+1, R)$ valued Cartan connection form that captures the geometry of such foliations. Two special cases are considered. The first case is characterized by having a well defined conformal class of symmetric $(n+1)$ differentials on the space of leaves of the foliation $X$. The $G$ structur…
Wilson loops in ${\cal N}=4$ supersymmetric Yang-Mills theory correspond at strong coupling to extremal surfaces in $AdS_5$. We study a class of extremal surfaces known as special Legendrian submanifolds. The "hemisphere" corresponding to the circular Wilson loop is an example of a special Legendrian submanifold, and we give another example. We formulate the necessary conditions for the contour on the boundary of $AdS_5$ to be the boundary of the special Legendrian submanifold and conjecture that these conditions are in fact sufficient. We call the solutions of these conditions "special contac…
We show that any closed oriented immersed Hamiltonian stationary isotropic surface $Σ$ with genus $g_Σ$ in $S^{5}\subset\mathbb{C}^{3}$ is (1) Legendrian and minimal if $g_Σ=0$; (2) either Legendrian or with exactly $2g_Σ-2$ Legendrian points if $g_Σ\geq1.$ In general, every compact oriented immersed isotropic submanifold $L^{n-1}\subset S^{2n-1}\subset\mathbb{C}^{n}$ such that the cone $C\left( L^{n-1}\right) $ is Hamiltonian stationary must be Legendrian and minimal if its first Betti number is zero. Corresponding results for non-orientable links are also provided.
We are proposing Tulczyjew's triple for contact dynamics. The most important ingredients of the triple, namely symplectic diffeomorphisms, special symplectic manifolds, and Morse families, are generalized to the contact framework. These geometries permit us to determine so-called generating family (obtained by merging a special contact manifold and a Morse family) for a Legendrian submanifold. Contact Hamiltonian and Lagrangian Dynamics are recast as Legendrian submanifolds of the tangent contact manifold. In this picture, the Legendre transformation is determined to be a passage between two d…
In this paper we study holomorphic Legendrian curves in the standard holomorphic contact structure on $\mathbb{C}^{2n+1}$ for any $n\in\mathbb{N}$. We provide several approximation and desingularization results which enable us to prove general existence theorems, settling some of the open problems in the subject. In particular, we show that every open Riemann surface $M$ admits a proper holomorphic Legendrian embedding $M\hookrightarrow\mathbb{C}^{2n+1}$, and we prove that for every compact bordered Riemann surface $M=\mathring M\cup bM$ there exists a topological embedding $M\hookrightarrow \…
In this paper we prove that every open Riemann surface properly embeds in the Special Linear group $SL_2(\mathbb{C})$ as a holomorphic Legendrian curve, where $SL_2(\mathbb{C})$ is endowed with its standard contact structure. As a consequence, we derive the existence of proper, weakly complete, flat fronts in the real hyperbolic space $\mathbb{H}^3$ with arbitrary complex structure.
Rigidity and Classification of Legendrian Self-Shrinkers
National Taiwan University（台湾大学）；Shanghai Institute of Mathematics and Interdisciplinary Sciences（上海数学与交叉学科研究院）；National Pingtung University（国立屏东大学）；Chongqing University of Technology（重庆理工大学）
We obtain a Runge approximation theorem for holomorphic Legendrian curves and immersions in the complex projective $3$-space $\mathbb{CP}^3$, both from open and compact Riemann surfaces, and we prove that the space of Legendrian immersions from an open Riemann surface into $\mathbb{CP}^3$ is path connected. We also show that holomorphic Legendrian immersions from Riemann surfaces of finite genus and at most countably many ends, none of which are point ends, satisfy the Calabi-Yau property. Coupled with the Runge approximation theorem, we infer that every open Riemann surface embeds into $\math…
Let $(X^{m+1}, g)$ be an $(m+1)$-dimensional globally hyperbolic spacetime with Cauchy surface $M^m$, and let $\widetilde M^m$ be the universal cover of the Cauchy surface. Let $\mathcal N_{X}$ be the contact manifold of all future directed unparameterized light rays in $X$ that we identify with the spherical cotangent bundle $ST^*M.$ Jointly with Stefan Nemirovski we showed when $\widetilde M^m$ is {\bf not\/} a compact manifold, then two points $x, y\in X$ are causally related if and only if the Legendrian spheres $\mathfrak S_x, \mathfrak S_y$ of all light rays through $x$ and $y$ are linke…
Contact Blow-up Analysis of the Legendrian Mean Curvature Flow and a Smale-type Theorem for Strict Contactomorphisms of Sasakian Spheres
Shanghai Institute for Mathematics and Interdisciplinary Sciences（上海数学与交叉学科研究院）；Department of Applied Mathematics, National Pingtung University（国立屏东大学应用数学系）；School of Mathematical Science, Chongqing University of Technology（重庆理工大学数学科学学院）
We prove a number of results relating various measures (volume, Legendrian index, stability index, and spectral curve genus) of the geometric complexity of special Lagrangian $T^2$-cones. We explain how these results fit into a program to understand the "most common" three-dimensional isolated singularities of special Lagrangian submanifolds in almost Calabi-Yau manifolds.
We construct new special Lagrangian submanifolds in complex Euclidean space using a pair of minimal Legendrian submanifolds in odd-dimensional spheres and certain Lagrangian surface belonging to a family that can be considered as a generalization of the special Lagrangian surfaces in complex Euclidean plane. Our examples include those invariant under the standard action of SO(p+1)xSO(q+1) on C^n = C^(p+1) x C^(q+1), n=p+q+2.
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 define the notion of special Lagrangian curvature, showing how it may be interpreted as an alternative higher dimensional generalisation of two dimensional Gaussian curvature. We obtain first a local rigidity result for this curvature when the ambiant manifold has negative sectional curvature. We then show how this curvature relates to the canonical special Legendrian structure of spherical subbundles of the tangent bundle of the ambiant manifold. This allows us to establish a strong compactness result. In the case where the special Lagrangian angle equals $(n-1)π/2$, we obtain compactness …
McLean studied the deformations of compact special Lagrangian submanifolds, showing in particular that they come in moduli spaces whose dimension depends only on the topology of the submanifold. In this article we study the analogous problem for non-compact, "asymptotically conical" SL submanifolds, with respect to various "boundary conditions at infinity".
We construct smooth families of compact special Lagrangian submanifolds embedded in some toric hyper-K\"ahler manifolds, which never become holomorphic Lagrangian submanifolds via any hyper-Kähler rotations. These families converge to special Lagrangian immersions with self-intersection points in the sense of current. To construct them, we apply the desingularization method developed by Joyce.
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.
Let $Σ$ be a $C^3$ compact symmetric convex hypersurface in $\mathbf{R}^{8}$. For some special cases, we prove that when $Σ$ carries exactly four geometrically distinct closed characteristics, then all of them must be symmetric.
Riera proved at arXiv:1412.6964 that the diffeomorphism group of particular compact manifolds are not Jordan by exhibiting subgroups isomorphic to extra-special $p$-groups of exponent $p$ for primes $p$ satisfying some conditions. Generalising the methods of that paper, we construct a compact connected smooth real manifold for every natural number $r$ whose diffeomorphism group contains not only every extra-special $p$-group, but also every special $p$-group of order $p^r$ independently of its exponent for every prime $p$. We obtain a similar statement about finite Heisenberg groups as well as…
The variation of Hodge structure of a Calabi-Yau 3-fold induces a canonical Kähler metric on its Kuranishi moduli space, known as the Weil-Petersson metric. Similarly, special pseudo Kähler manifolds correspond to certain (abstract) variations of Hodge structure which generalize the above example. We give the classification of homogeneous special pseudo Kähler manifolds of semisimple groups with compact stabilizer.
We review some constructions and properties of complex manifolds admitting pluriclosed and balanced metrics. We prove that for a 6-dimensional solvmanifold endowed with an invariant complex structure J having holomorphically trivial canonical bundle the pluriclosed flow has a long time solution for every invariant initial datum. Moreover, we state a new conjecture about the existence of balanced and SKT metrics on compact complex manifolds. We show that the conjecture is true for nilmanifolds of dimension 6 and 8 and for 6-dimensional solvmanifolds with holomorphically trivial canonical bundle…
This paper is a continuation of math.DG/0408005. We first construct special Lagrangian submanifolds of the Ricci-flat Stenzel metric (of holonomy SU(n)) on the cotangent bundle of S^n by looking at the conormal bundle of appropriate submanifolds of S^n. We find that the condition for the conormal bundle to be special Lagrangian is the same as that discovered by Harvey-Lawson for submanifolds in R^n in their pioneering paper. We also construct calibrated submanifolds in complete metrics with special holonomy G_2 and Spin(7) discovered by Bryant and Salamon on the total spaces of appropriate bun…
A special Kähler-Ricci potential on a Kähler manifold is any nonconstant $C^\infty$ function $τ$ such that $J(\nablaτ)$ is a Killing vector field and, at every point with $dτ\ne 0$, all nonzero tangent vectors orthogonal to $\nablaτ$ and $J(\nablaτ)$ are eigenvectors of both $\nabla dτ$ and the Ricci tensor. For instance, this is always the case if $τ$ is a nonconstant $C^\infty$ function on a Kähler manifold $(M,g)$ of complex dimension $m>2$ and the metric $\tilde g=g/τ^2$, defined wherever $τ\ne 0$, is Einstein. (When such $τ$ exists, $(M,g)$ may be called {\it almost-everywhere conformally…
We investigate degenerate special-Hermitian metrics on compact complex manifolds, in particular, degenerate Kähler and locally conformally Kähler metrics on special classes of non-Kähler manifolds.
We consider non-Kaehler compact complex manifolds which are homogeneous under the action of a compact Lie group of biholomorphisms and we investigate the existence of special (invariant) Hermitian metrics on these spaces. We focus on a particular class of such manifolds comprising the case of Calabi-Eckmann manifolds and we prove the existence of an invariant Hermitian metric which is Chern-Einstein, namely whose second Ricci tensor of the associated Chern connection is a positive multiple of the metric itself. The uniqueness is also discussed.
This is the extended version of the paper "Special Lagrangian conifolds, I: Moduli spaces", which discusses the deformation theory of special Lagrangian (SL) conifolds in complex space C^m. Conifolds are a key ingredient in the compactification problem for moduli spaces of compact SLs in Calabi-Yau manifolds. The conifold category allows for the simultaneous presence of conical singularities and of non-compact, asymptotically conical, ends. Our main theorem is the natural next step in the chain of results initiated by McLean and continued by the author and Joyce. We survey all these results, p…
We define geometric zeta functions for locally symmetric spaces as generalizations of the zeta functions of Ruelle and Selberg. As a special value at zero we obtain the Reidemeister torsion of the manifold. For hermitian spaces these zeta functions have as special value the quotient of the holomorphic torsion of Ray and Singer and the holomorphic $L^2$-torsion, where the latter is defined via the $L^2$-theory of Atiyah. For higher fundamental rank twisted torsion numbers appear.
In this paper we prove that, given an open Riemann surface $M$ and an integer $n\ge 3$, the set of complete conformal minimal immersions $M\to\mathbb{R}^n$ with $\overline{X(M)}=\mathbb{R}^n$ forms a dense subset in the space of all conformal minimal immersions $M\to\mathbb{R}^n$ endowed with the compact-open topology. Moreover, we show that every domain in $\mathbb{R}^n$ contains complete minimal surfaces which are dense on it and have arbitrary orientable topology (possibly infinite); we also provide such surfaces whose complex structure is any given bordered Riemann surface. Our method of p…
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 …
We develope a new scheme for the construction of explicit complex-valued proper biharmonic functions on Riemannian Lie groups. We exploit this and manufacture many infinite series of uncountable families of new solutions on the special unitary group $SU(n)$. We then show that the special orthogonal group $SO(n)$ and the quaternionic unitary group $Sp(n)$ fall into the scheme. As a by-product we obtain new harmonic morphisms on these groups. All the constructed maps are defined on open and dense subsets of the corresponding spaces.
We discuss the deformation theory of special Lagrangian (SL) conifolds in complex space C^m. Conifolds are a key ingredient in the compactification problem for moduli spaces of compact SLs in Calabi-Yau manifolds. This category allows for the simultaneous presence of conical singularities and of non-compact, asymptotically conical, ends. Our main theorem is the natural next step in the chain of results initiated by McLean and continued by the author and by Joyce. We emphasize a unifying framework for studying the various cases and discuss analogies and differences between them. This paper also…
Higgs bundles over a closed orientable surface can be defined for any real reductive Lie group G. In this paper we examine the case G=SO*(2n). We describe a rigidity phenomenon encountered in the case of maximal Toledo invariant. Using this and Morse theory in the moduli space of Higgs bundles, we show that the moduli space is connected in this maximal Toledo case. The Morse theory also allows us to show connectedness when the Toledo invariant is zero. The correspondence between Higgs bundles and surface group representations thus allows us to count the connected components with zero and maxim…
We prove that energy minimizing Yang-Mills connections on a compact $G_{2}$-manifold has holonomy equal to $G_{2}$ are $G_{2}$-instantons, subject to an extra condition on the curvature. Furthermore, we show that energy minimizing connections on a compact Calabi-Yau $3$-fold has holonomy equal to $SU(3)$ subject to a similar condition are holomorphic.
