It is showed that many examples of AMD submanifolds of higher dimensions come from SL normal bundles. A symmetry property of SL submanifolds and Björling type problem for SL normal bundles are also mentioned.
We give a full description of totally geodesic submanifolds in the tangent bundle of a Riemannian 2-manifold of constant curvature and present a new class of a cylinder-type totally geodesic submanifolds in the general case.
We construct calibrated submanifolds of R^7 and R^8 by viewing them as total spaces of vector bundles and taking appropriate sub-bundles which are naturally defined using certain surfaces in R^4. We construct examples of associative and coassociative submanifolds of R^7 and of Cayley submanifolds of R^8. This construction is a generalization of the Harvey-Lawson bundle construction of special Lagrangian submanifolds of R^{2n}.
We extend the notion of $r$-minimality of a submanifold in arbitrary codimension to $u$-minimality for a multi-index $u\in\mathbb{N}^q$, where $q$ is the codimension. This approach is based on the analysis on the frame bundle of orthonormal frames of the normal bundle to a submanifold and vector bundles associated with this bundle. The notion of $u$-minimality comes from the variation of $σ_u$-symmetric function obtained from the family of shape operators corresponding to all possible bases of the normal bundle. We obtain the variation field, which gives alternative definition of $u$--minimali…
For every codimension two spacelike submanifold of a Lorentz manifold and each choice of a normal lightlike vector field, we introduce a canonical way to construct a tractor conformal bundle. We characterize when the induced connection of a such submanifold defines a tractor connection and then, in this case, when this tractor conformal bundle with the induced connection is standard for the induced metric. Finally, the normality condition for this tractor conformal bundle endowed with the induced connection is characterized in terms of a strong relationship between the intrinsic and the extrin…
In the paper we investigate submanifolds in a tangent bundle endowed with g-natural metric G, defined by a vector field on a base manifold. We give a sufficient condition for a vector field on M to defined totally geodesic submanifold in (TM,G). The parallel vector field is discussed in more detail.
In this paper, we analyze the geometric structure of an Euclidean submanifold whose osculating spaces form a nonconstant family of proper subspaces of the same dimension. We prove that if the rate of change of the osculating spaces is small, then the submanifold must be a (submanifold of a) ruled submanifold of a very special type. We also give a sharp estimate of the dimension of the rulings.
For the first obstruction to extending a holomorphic vector bundle from a submanifold of a complex manifold found by Griffiths we give an explicit formula in terms of the Atiyah class of the bundle.
An isometric immersion of a Riemannian manifold M into a Riemannian manifold N gives rise in a natural way to the immersion of the tangent bundle TM into the tangent bundle TN with a non-degenerate g- natural metric G.
We prove that any conformally flat submanifold with flat normal bundle in a conformally flat Riemannian manifold is locally holonomic, that is, admits a principal coordinate system. As one of the consequences of this fact, it is shown that the Ribaucour transformation can be used to construct an associated large family of immersions with induced conformal metrics holonomic with respect to the same coordinate system.
A well-known result asserts that any isometric immersion with flat normal bundle of a Riemannian manifold with constant sectional curvature into a space form is (at least locally) holonomic. In this note, we show that this conclusion remains valid for the larger class of Einstein manifolds. As an application, when assuming that the index of relative nullity of the immersion is a positive constant we conclude that the submanifold has the structure of a generalized cylinder over a submanifold with flat normal bundle.
Coassociative submanifolds are 4-dimensional calibrated submanifolds in $G_{2}$-manifolds. In this paper, we construct explicit examples of coassociative submanifolds in $Λ^{2}_{-} S^{4}$, which is the complete $G_{2}$-manifold constructed by Bryant and Salamon. Classifying the Lie groups which have 3- or 4-dimensional orbits, we show that the only homogeneous coassociative submanifold is the zero section of $Λ^{2}_{-} S^{4}$ up to the automorphisms and construct many cohomogeneity one examples explicitly. In particular, we obtain examples of non-compact coassociative submanifolds with conical…
Let $M$ be a submanifold of a Riemannian manifold $(N,g)$. $M$ induces a subbundle $O(M,N)$ of adapted frames over $M$ of the bundle of orthonormal frames $O(N)$. Riemannian metric $g$ induces natural metric on $O(N)$. We study the geometry of a submanifold $O(M,N)$ in $O(N)$. We characterize the horizontal distribution of $O(M,N)$ and state its correspondence with the horizontal lift in $O(N)$ induced by the Levi--Civita connection on $N$. In the case of extrinsic geometry, we show that minimality is equivalent to harmonicity of the Gauss map of the submanifold $M$ with deformed Riemannian me…
It is well-known that if $ξ$ is a smooth vector field on a given Riemannian manifold $M^n$ then $ξ$ naturally defines a submanifold $ξ(M^n)$ transverse to the fibers of the tangent bundle $TM^n$ with Sasaki metric. In this paper, we are interested in transverse totally geodesic submanifolds of the tangent bundle. We show that a transverse submanifold $N^l$ of $TM^n$ ($1 \leq l \leq n$) can be realized locally as the image of a submanifold $F^l$ of $M^n$ under some vector field $ξ$ defined along $F^l$. For such images $ξ(F^l)$, the conditions to be totally geodesic are presented. We show that t…
We sketch a geometric proof of the classical theorem of Atiyah, Bott, and Shapiro \cite{ABS} which relates Clifford modules to vector bundles over spheres. Every module of the Clifford algebra $Cl_k$ defines a particular vector bundle over $§^{k+1}$, a generalized Hopf bundle, and the theorem asserts that this correspondence between $Cl_k$-modules and stable vector bundles over $§^{k+1}$ is an isomorphism modulo $Cl_{k+1}$-modules. We prove this theorem directly, based on explicit deformations as in Milnor's book on Morse theory \cite{M}, and without referring to the Bott periodicity theorem a…
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…
We show the total space of the canonical line bundle $\mathbb{L}$ of a Kahler-Einstein manifold $X^n$ supports integrable $SU(n+1)$ structures, or Calabi-Yau structures. The canonical real line bundle $L \subset \mathbb{L}$ over a minimal Lagrangian submanifold $M \subset X$ is calibrated in this setting and hence can be considered as the special Lagrangian lift of $M$. For the integrable $G_2$ and $Spin(7)$ structures on spin bundles and bundles of anti-self-dual 2-forms on self-dual Einstein 4-manifolds constructed by Bryant and Salamon, minimal surfaces with vanishing complex quartic form (…
An isometric immersion of a Riemannian manifold $M$ into a Riemannian manifold $N$ gives rise in a natural way to variety of immersions into the tangent bundle $TN$ with a non-degenerate $g-$ natural metric $G$. In the paper we introduce and study an immersion into $TN$ defined by the immersion $f:M\longrightarrow N$ itself and the normal bundle.
This is the content of a talk given by the author at the 2009 Lehigh University Geometry/Topology Conference. Using the definition of connection given by Dieudonné, the Sasaki metric on the tangent bundle to a Riemannian manifold is expressed in a natural way. Also, the following property is established. The induced metric on the tangent bundle of an isometrically embedded submanifold is the Sasaki metric if and only if the submanifold is totally geodesic.
The following results are proved: Theorem 1. A totally real semiparallel submanifold of constant curvature with parallel f-structure in the normal bundle of a Kähler manifold N is flat or a totally geodesic submanifold of N. Theorem 2. A totally real minimal semiparallel submanifold M with parallel f-structure in the normal bundle and of constant length of the second fundamental form (or equivalently of constant scalar curvature) of a complex space form N is totally geodesic in N or of positive scalar curvature. Moreover, if the scalar curvature of M vanishes, then M is flat. Theorem 3. A comp…
We write down the local equations that characterize the submanifolds N of a Dirac manifold M which have a normal bundle that is either a coisotropic or an isotropic submanifold of TM endowed with the tangent Dirac structure. In the Poisson case, these formulas prove again a result of Xu: the submanifold N has a normal bundle which is a coisotropic submanifold of TM with the tangent Poisson structure iff N is a Dirac submanifold. In the presymplectic case, it is the isotropy of the normal bundle which characterizes the corresponding notion of a Dirac submanifold. On the way, we give a simple de…
This paper is devoted to the study of the embeddings of a complex submanifold $S$ inside a larger complex manifold $M$; in particular, we are interested in comparing the embedding of $S$ in $M$ with the embedding of $S$ as the zero section in the total space of the normal bundle $N_S$ of $S$ in $M$. We explicitely describe some cohomological classes allowing to measure the difference between the two embeddings, in the spirit of the work by Grauert, Griffiths, and Camacho-Movasati-Sad; we are also able to explain the geometrical meaning of the separate vanishing of these classes. Our results ho…
Given the Lagrangian fibration $T^4\to T^2$ and a Lagrangian submanifold, exhibiting an elliptic umbilic and supporting a flat line bundle, we study, in the context of mirror symmetry, the ``quantum'' corrections necessary to solve the monodromy of the holomorphic structure of the mirror bundle on the dual fibration.
A submanifold is said to be tangentially biharmonic if the bitension field of the isometric immersion that defines the submanifold has vanishing tangential component. The purpose of this paper is to prove that a surface in Euclidean $3$-space has tangentially biharmonic normal bundle if and only if it is either minimal, a part of a round sphere, or a part of a circular cylinder.
We give a definition of the Maslov fibre bundle for a lagrangian submanifold of the cotangent bundle of a smooth manofold. This definition generelizes the definition given, in homotopic terms, by Arnol'd for lagrangian submanifolds of the cotangent bundle of the euclidean space and coincides with the one of Hörmander in his works about Fourier Inegral Operators.
We study the uniqueness of minimal submanifolds and the stability of the mean curvature flow in several well-known model spaces of manifolds of special holonomy. These include the Stenzel metric on the cotangent bundle of spheres, the Calabi metric on the cotangent bundle of complex projective spaces, and the Bryant--Salamon metrics on vector bundles over certain Einstein manifolds. In particular, we show that the zero sections, as calibrated submanifolds with respect to their respective ambient metrics, are unique among compact minimal submanifolds and are dynamically stable under the mean cu…
In this paper, by studying the position of umbilical normal vectors in the normal bundle, we prove that pseudo-umbilical totally real submanifolds with flat normal connection in non-flat complex space forms must be minimal.
In this paper, we consider the conormal bundle over a submanifold in a Finsler manifold and establish a volume comparison theorem. As an application, we derive a lower estimate for length of closed geodesics in a Finsler manifold. In the reversible case, a lower bound of injective radius is also obtained.
Consider a codimension $1$ submanifold $N^n\subset M^{n+1}$, where $M^{n+1}\subset\mathbb{R}^{n+2}$ is a hypersurface. The envelope of tangent spaces of $M$ along $N$ generalizes the concept of tangent developable surface of a surface along a curve. In this paper, we study the singularities of these envelopes. There are some important examples of submanifolds that admit a vector field tangent to $M$ and transversal to $N$ whose derivative in any direction of $N$ is contained in $N$. When this is the case, one can construct transversal plane bundles and affine metrics on $N$ with the desirable …
We study the geometry of jets of submanifolds with special interest in the relationship with the calculus of variations. We give a new proof of the fact that higher order jets of submanifolds are affine bundles; as a by-product we obtain a new expression for the associated vector bundles. We use Green-Vinogradov formula to provide coordinate expressions for all variational forms, i.e., objects in the finite-order variational sequence on jets of submanifolds. Finally, we formulate the variational problem in the framework of jets of submanifolds by an intrinsic geometric language, and connect it…
We give a construction of the Floer homology of the pair of {\it non-compact} Lagrangian submanifolds, which satisfies natural continuity property under the Hamiltonian isotopy which moves the infinity but leaves the intersection set of the pair compact. This construction uses the concept of Lagrangian cobordism and certain singular Lagrangian submanifolds. We apply this construction to conormal bundles (or varieties) in the cotangent bundle, and relate it to a conjecture made by MacPherson on the intersection theory of the characteristic Lagrangian cycles associated to the perverse sheaves co…
By a theorem of Mclean, the deformation space of an associative submanifold Y of an integrable G_2 manifold (M,ϕ) can be identified with the kernel of a Dirac operator D:Ω^{0}(ν) -->Ω^{0}(ν) on the normal bundle νof Y. Here, we generalize this to the non-integrable case, and also show that the deformation space becomes smooth after perturbing it by natural parameters, which corresponds to moving Y through `pseudo-associative' submanifolds. Infinitesimally, this corresponds to twisting the Dirac operator D --> D_{A} with connections A of ν. Furthermore, the normal bundles of the associative sub…
We give topological obstructions to the existence of a closed exact Lagrangian submanifold in the cotangent bundle of a closed manifold M which is the total space of a fibration over the circle. For instance we show that the fundamental group of such a Lagrangian submanifold cannot be the free product of two non-trivial groups and that in any finite presentation of this group the difference between the number of generators and the number of relations is less than two.
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…
In this paper, we study the CR submanifolds of maximal CR dimension with flat normal connection of a complex projective space. We first investigate the position of the umbilical normal vector in the normal bundle, especially for the submanifolds of dimension 3. Then as the application, we prove the non-existence of a class of CR submanifolds of maximal CR dimension with flat normal connection.
We address the following question: Given a differentiable manifold $M$ what are the open subsets $U$ of $M$ such that, for all vector bundles $E$ over $M$ and all linear connections $\nabla$ on $E$, any $\nabla$-parallel section in $E$ defined on $U$ extends to a $\nabla$-parallel section in $E$ defined on $M$? For simply connected manifolds $M$ (among others) we describe the entirety of all such sets $U$ which are, in addition, the complement of a $C^1$ submanifold (boundary allowed) of $M$; this delivers a partial positive answer to a problem posed by Antonio J. Di Scala and Gianni Manno. Fu…
Let $π:P\to B$ be a smooth $G$-bundle over a compact Riemannian manifold $B$ and $c$ a smooth loop in $B$ of constant seed $a(>0)$, where $G$ is compact semi-simple Lie group. In this paper, we prove that the holonomy map ${\rm hol}_c:\mathcal A_P^{H^s}\to G$ is a homothetic submersion of coefficient $a$, where $s$ is a non-negative integer, $\mathcal A_P^{H^s}$ is the Hilbert space of all $H^s$-connections of the bundle $P$. In particular, we prove that, if $s=0$, then ${\rm hol}_c$ has minimal regularizable fibres. From this fact, we can derive that each component of the inverse image of any…
Let $M$ and $N$ be Riemannian symmetric spaces and $f:M\to N$ be a parallel isometric immersion. We additionally assume that there exist simply connected, irreducible Riemannian symmetric spaces $M_i$ with $\dim(M_i)\geq 2$ for $i=1,...,r$ such that $M\cong M_1\times...\times M_r$ . As a starting point, we describe how the intrinsic product structure of $M$ is reflected by a distinguished, fiberwise orthogonal direct sum decomposition of the corresponding first normal bundle. Then we consider the (second) osculating bundle $\osc f$, which is a $\nabla^N$-parallel vector subbundle of the pullba…
We introduce a class of minimal submanfolds $M^n$, $n\geq 3$, in spheres $\mathbb{S}^{n+2}$ that are ruled by totally geodesic spheres of dimension $n-2$. If simply-connected, such a submanifold admits a one-parameter associated family of equally ruled minimal isometric deformations that are genuine. As for compact examples, there are plenty of them but only for dimensions $n=3$ and $n=4$. In the first case, we have that $M^3$ must be a $\mathbb{S}^1$-bundle over a minimal torus $T^2$ in $\mathbb{S}^5$ and in the second case $M^4$ has to be a $\mathbb{S}^2$-bundle over a minimal sphere $\mathb…
We construct examples of cohomogeneity one special Lagrangian submanifolds in the cotangent bundle over the complex projective space, whose Calabi-Yau structure was given by Stenzel. For each example, we describe the condition of special Lagrangian as an ordinary differential equation. Our method is based on a moment map technique and the classification of cohomogeneity one actions on the complex projective space classified by Takagi.
A submanifold in space forms is isoparametric if the normal bundle is flat and principal curvatures along any parallel normal fields are constant. We study the mean curvature flow with initial data an isoparametric submanifold in Euclidean space and sphere. We show that the mean curvature flow preserves the isoparametric condition, develops singularities in finite time, and converges in finite time to a smooth submanifold of lower dimension. We also give a precise description of the collapsing.
We extend the construction of the BFV-complex of a coisotropic submanifold from the Poisson setting to the Jacobi setting. In particular, our construction applies in the contact and l.c.s. settings. The BFV-complex of a coisotropic submanifold $S$ controls the coisotropic deformation problem of $S$ under both Hamiltonian and Jacobi equivalence.
We show that flatness of the normal bundle is preserved under the mean curvature flow in the Euclidean space and use this to generalize a classical result for hypersurfaces due to Ecker-Huisken in the case of submanifolds with arbitrary codimension.
We use the octonionic multiplication $\cdot$ of $\mathbb{S}^{7}$ to associate, to each unit normal section $η$ of a submanifold $M$ of $\mathbb{S}^{7},$ an octonionic Gauss map $γ_η:M\rightarrow\mathbb{S}^{6},$ $γ_η(x)=x^{-1}\cdotη(x),$ $x\in M,$ where $\mathbb{S}^{6}$ is the unit sphere of $T_{1}\mathbb{S}^{7},$ $1$ is the neutral element of $\cdot$ in $\mathbb{S}^{7}.$ Denoting by $\mathcal{N}(M)$ the vector bundle of normal sections of $M$ we set, for $η$ $\in\mathcal{N}(M),$ $S_η(X)=-\left(\nabla_{X}η\right) ^{\top},$ $X\in TM.$ Considering the Hilbert-Schmidt inner product on the vector b…
In this paper we develop the vectorial Ribaucour transformation for Euclidean submanifolds. We prove a general decomposition theorem showing that under {appropriate} conditions the composition of two or more vectorial Ribaucour transformations is again a vectorial Ribaucour transformation. An immediate consequence of this result is the classical permutability of Ribaucour transformations. Our main application is an explicit local construction of all Euclidean submanifolds with flat normal bundle. Actually, this is a particular case of a more general result. Namely, we obtain a local explicit c…
The main theme of this paper is a relative version of the almost existence theorem for periodic orbits of autonomous Hamiltonian systems. We show that almost all low levels of a function on a geometrically bounded symplectically aspherical manifold carry contractible periodic orbits of the Hamiltonian flow, provided that the function attains its minimum along a closed symplectic submanifold. As an immediate consequence, we obtain the existence of contractible periodic orbits on almost all low energy levels for twisted geodesic flows with symplectic magnetic field. We give examples of functions…
Non-convergent sequences of solutions to the massive Vafa-Witten equations with 'interesting' $\mathbb{Z}/2\mathbb{Z}$ self-dual harmonic 2-form limits
We show how the double vector bundle structure of the manifold of double velocities, with its submanifolds of holonomic and semiholonomic double velocities, is mirrored by a structure of holonomic and semiholonomic subgroups in the principal prolongation of the first jet group. We use the actions of these groups to construct holonomic and semiholonomic submanifolds in the manifold of double contact elements, and show that these give rise to affine bundles where a semiholonomic element has well-defined holonomic and curvature components.