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 definition of the tangent Dirac structure, we make new remarks about it, and we establish characteristic, local formulas for various interesting classes of submanifolds of a Dirac manifold.
The notion of a Dirac submanifold of a Poisson manifold was studied by Xu (arXiv:math.SG/0110326). We give an interpretation of Xu's definition in terms of a general notion of tensor fields soldered to a normalized submanifold. Then, this interpretation is used to define Dirac submanifolds of a Jacobi manifold. Several properties and examples are discussed.
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.
An n-dimensional submanifold X of a projective space P^N (C) is called tangentially degenerate if the rank of its Gauss mapping γ: X ---> G (n, N) satisfies 0 < rank γ< n. The authors systematically study the geometry of tangentially degenerate submanifolds of a projective space $P^N (\mathbf{C})$. By means of the focal images, three basic types of submanifolds are discovered: cones, tangentially degenerate hypersurfaces, and torsal submanifolds. Moreover, for tangentially degenerate submanifolds, a structural theorem is proven. By this theorem, tangentially degenerate submanifolds that do not…
We show that every area-minimizing hypercone and every oriented Lawlor cone in [Law91] can be realized as a tangent cone at a point of some homologically area-minimizing singular compact submanifold. In particular this generalizes the result of N. Smale [Sma99].
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.
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 give asymptotically tight estimates of tangent space variation on Riemannian submanifolds of Euclidean space with respect to the local feature size of the submanifolds. We show that the result follows directly from structural properties of local feature size of the Riemannian submanifold and some elementary Euclidean geometry. We also show that using the tangent variation result one can prove a new structural property of local feature size function. This structural property is a generalization of a result of Giesen and Wagner [GW04, Lem. 7].
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…
This paper is devoted to coregular submanifolds in Poisson geometry. We show that their local Poisson saturation is an embedded Poisson submanifold, and we give a normal form for this Poisson submanifold around the coregular submanifold. This result recovers the normal form around Poisson transversals, and it yields Poisson versions of some normal form/rigidity results around constant rank submanifolds in symplectic geometry. As an application, we prove a uniqueness result concerning coisotropic embeddings of Dirac manifolds in Poisson manifolds. We also show how our results generalize to the …
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.
We study a natural Dirac operator on a Lagrangian submanifold of a Kähler manifold. We first show that its square coincides with the Hodge-de Rham Laplacian provided the complex structure identifies the Spin structures of the tangent and normal bundles of the submanifold. We then give extrinsic estimates for the eigenvalues of that operator and discuss some examples.
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.
We establish an upper estimate for the small eigenvalues of the twisted Dirac operator on Kahler submanifolds in Kahler manifolds carrying Kahlerian Killing spinors. We then compute the spectrum of the twisted Dirac operator of the canonical embedding \CP^d \rightarrow \CP^n in order to test the sharpness of the upper bounds
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.
In this article we study the tangent cones at first time singularity of a Lagrangian mean curvature flow. If the initial compact submanifold is Lagrangian and almost calibrated by ReΩin a Calabi-Yau n-fold (M,Ω), and T>0 is the first blow-up time of the mean curvature flow, then the tangent cone of the mean curvature flow at a singular point (X,T) is a stationary Lagrangian integer multiplicity current in R\sup 2n with volume density greater than one at X. When n=2, the tangent cone consists of a finite union of more than one 2-planes in R\sup 4 which are complex in a complex structure on R\su…
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 …
Using the submanifold quantum mechanical scheme, the restricted Dirac operator in a submanifold is defined. Then it is shown that the zero mode of the Dirac operator expresses the local properties of the submanifold, such as the Frenet-Serret and generalized Weierstrass relations. In other words this article gives a representation of a further generalized Weierstrass relations for a general k-spin manifolds immersed in n-dimensional euclidean space (0<k<n).
In this paper, we estimate the eigenvalues of the twisted Dirac operator on Kähler submanifolds of the complex projective space $CP^m$ and we discuss the sharpness of this estimate for the embedding $CP^d \hookrightarrow CP^m$.
The submanifold Dirac operator has been studied for this decade, which is closely related to Frenet-Serret and generalized Weierstrass relations. In this article, we will give a submanifold Dirac operator defined over a surface immersed in $\EE^4$ with U(1)-gauge field as torsion in the sense of the Frenet-Serret relation, which also has data of immersion of the surface in $\EE^4$.s
A description of time-dependent Mechanics in terms of Lagrangian submanifolds of Dirac manifolds (in particular, presymplectic and Poisson manifolds) is presented. Two new Tulczyjew triples are discussed. The first one is adapted to the restricted Hamiltonian formalism and the second one is adapted to the extended Hamiltonian formalism.
We get optimal lower bounds for the eigenvalues of the submanifold Dirac operator on locally reducible Riemannian manifolds in terms of intrinsic and extrinsic expressions. The limiting-cases are also studied. As a corollary, one gets several known results in this direction.
We propose a produre of reduction a locally conformal symplectic structure. This procedure of reduction can be applied to wide class of submanifolds. There are no local obstructions for this procedure. But there are global obstructions. We find a necessary and sufficient condition when this reduction holds in terms of the special kind of de Rham cohomology class (tangent to the characteristic foliation) of the Lee form.
For each submanifold of a stratified group, we find a number and a measure only depending on its tangent bundle, the grading and the fixed Riemannian metric. In two step stratified groups, we show that such number and measure coincide with the Hausdorff dimension and with the spherical Hausdorff measure of the submanifold with respect to the Carnot-Caratheodory distance, respectively. Our main technical tool is an intrinsic blow-up at points of maximum degree. We also show that the intrinsic tangent cone to the submanifold at these points is always a subgroup. Finally, by direct computations i…
We introduce the notion of twisted generalized complex submanifolds and describe an equivalent characterization in terms of Poisson-Dirac submanifolds. Our characterization recovers a result of Vaisman. An equivalent characterization is also given in terms of spinors. As a consequence, we show that the fixed locus of an involution preserving a twisted generalized complex structure is a twisted generalized complex submanifold. We also prove that a twisted generalized complex manifold has a natural Poisson structure. We also discuss generalized Kaehler submanifolds.
This article is one of a series of papers. For this decade, the Dirac operator on a submanifold has been studied as a restriction of the Dirac operator in $n$-dimensional euclidean space $\EE^n$ to a surface or a space curve as physical models. These Dirac operators are identified with operators of the Frenet-Serret relation for a space curve case and of the generalized Weierstrass relation for a conformal surface case and completely represent the submanifolds. For example, the analytic index of Dirac operator of a space curve is identified with its writhing number. As another example, the ope…
For this quarter of century, differential operators in a lower dimensional submanifold embedded or immersed in real $n$-dimensional euclidean space $\EE^n$ have been studied as quantum mechanical models, which are realized as restriction of the operators in $\EE^n$ to the submanifold. For this decade, the Dirac operators in the submanifold have been investigated in such a scheme , which are identified with operators of the Frenet-Serret relation for a space curve case and of the generalized Weierstrass relation for a conformal surface case. These Dirac operators are concerned well in the diffe…
In this note, we prove lower and upper bounds for Dirac operators of submanifolds in certain ambient manifolds in terms of conformal and extrinsic quantities.
We investigate the maximal open domain $\mathscr{E}(M)$ on which the orthogonal projection map $p$ onto a subset $M\subseteq \mathbb{R}^d$ can be defined and study essential properties of $p$. We prove that if $M$ is a $C^1$ submanifold of $\mathbb{R}^d$ satisfying a Lipschitz condition on the tangent spaces, then $\mathscr{E}(M)$ can be described by a lower semi-continuous frontier function. We show that this frontier function is continuous if $M$ is $C^2$ or if the topological skeleton of $M^c$ is closed and we provide an example showing that the frontier function need not be continuous in g…
We study isoparametric submanifolds of rank at least two in a separable Hilbert space, which are known to be homogeneous by a result of Heintze and Liu, and associate to such a submanifold M and a point x in M a canonical homogeneous structure (a certain bilinear map on the tangent space). We prove that the homogeneous structure together with the second fundamental form encodes all the information about M, and deduce from this the rigidity result that M is completely determined by the second fundamental form and its covariant derivative, thereby making such submanifolds accessible to classific…
A nonsingular rational curve $C$ in a complex manifold $X$ whose normal bundle is isomorphic to $${\mathcal O}_{{\mathbb P}^1}(1)^{\oplus p} \oplus {\mathcal O}_{{\mathbb P}^1}^{\oplus q}$$ for some nonnegative integers $p$ and $q$ is called an unbendable rational curve on $X$. Associated with it is the variety of minimal rational tangents (VMRT) at a point $x \in C,$ which is the germ of submanifolds ${\mathcal C}^C_x \subset {\mathbb P} T_x X$ consisting of tangent directions of small deformations of $C$ fixing $x$. Assuming that there exists a distribution $D \subset TX$ such that all small…
In a previous paper, the authors together with L. Vrancken initiated the study of $3$-dimensional CR submanifolds of the nearly K\" ahler homogeneous $\mathbb S^3\times \mathbb S^3$. As is shown by Butruille this is one of only four homogeneous $6$-dimensional nearly Kähler manifolds. Besides its almost complex structure $J$ it also admits a canonical almost product structure $P$. Along a $3$-dimensional CR submanifold the tangent space of $\mathbb S^3\times\mathbb S^3$ can be naturally split as the orthogonal sum of three $2$-dimensional vector bundles $\mathcal D_1$, $\mathcal D_2$ and $\mat…
Submanifolds of Frobenius manifolds are studied. In particular, so-called natural submanifolds are defined and, for semi-simple Frobenius manifolds, classified. These carry the structure of a Frobenius algebra on each tangent space, but will, in general, be curved. The induced curvature is studied, a main result being that these natural submanifolds carry a induced pencil of compatible metrics. It is then shown how one may constrain the bi-Hamiltonian hierarchies associated to a Frobenius manifold to live on these natural submanifolds whilst retaining their, now non-local, bi-Hamiltonian struc…
We consider parallel submanifolds $M$ of a Riemannian symmetric space $N$ and study the question whether $M$ is extrinsically homogeneous in $N$\,, i.e.\ whether there exists a subgroup of the isometry group of $N$ which acts transitively on $M$\,. First, given a "2-jet" $(W,b)$ at some point $p\in N$ (i.e. $W\subset T_pN$ is a linear space and $b:W\times W\to W^\bot$ is a symmetric bilinear form)\,, we derive necessary and sufficient conditions for the existence of a parallel submanifold with extrinsically homogeneous tangent holonomy bundle which passes through $p$ and whose 2-jet at $p$ is …
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 (…
We propose a general procedure to construct noncommutative deformations of an embedded submanifold $M$ of $\mathbb{R}^n$ determined by a set of smooth equations $f^a(x)=0$. We use the framework of Drinfel'd twist deformation of differential geometry of [Aschieri et al., Class. Quantum Gravity 23 (2006), 1883]; the commutative pointwise product is replaced by a (generally noncommutative) $\star$-product determined by a Drinfel'd twist. The twists we employ are based on the Lie algebra $Ξ_t$ of vector fields that are tangent to all the submanifolds that are level sets of the $f^a$; the twisted C…
We show that, in round spheres of dimension $n\geq3$, for any given collection of codimension 2 smooth submanifolds $\mathfrak{S}:=\{Σ_1,...,Σ_N\}$ of arbitrarily complicated topology ($N$ being the complex dimension of the spinor bundle), there is always an eigenfunction $ψ=(ψ_1,...,ψ_N)$ of the Dirac operator such that each submanifold $Σ_a$, modulo ambient diffeomorphism, is a structurally stable nodal set of the spinor component $ψ_a$. The result holds for any choice of trivialization of the spinor bundle. The emergence of these structures takes place at small scales and sufficiently high …
In this paper, we explore dynamics of the nonholonomic system called vakonomic mechanics in the context of Lagrange-Dirac dynamical systems using a Dirac structure and its associated Hamilton-Pontryagin variational principle. We first show the link between vakonomic mechanics and nonholonomic mechanics from the viewpoints of Dirac structures as well as Lagrangian submanifolds. Namely, we clarify that Lagrangian submanifold theory cannot represent nonholonomic mechanics properly, but vakonomic mechanics instead. Second, in order to represent vakonomic mechanics, we employ the space $TQ\times V^…
In this paper we define and study pseudoholomorphic vector bundles structures, particular cases of which are tangent and normal bundle almost complex structures. These are intrinsically related to the Gromov D-operator. As an application we deduce normal forms of 1-jets of almost complex structures along a submanifold. In dimension four we relate these normal forms to the problem of pseudoholomorphic foliation of a neighborhood of a curve and the question of non-deformation and persistence of pseudoholomorphic curves.
We show that certain submanifolds of generalized complex manifolds ("weak branes") admit a natural quotient which inherits a generalized complex structure. This is analog to quotienting coisotropic submanifolds of symplectic manifolds. In particular Gualtieri's generalized complex submanifolds ("branes") quotient to space-filling branes. Along the way we perform reductions by foliations (i.e. no group action is involved) for exact Courant algebroids - interpreting the reduced Ševera class - and for Dirac structures.
We consider the evolution of a compact segment of an analytic curve on the unit tangent bundle of a finite volume hyperbolic $n$-manifold under the geodesic flow. Suppose that the curve is not contained in a stable leaf of the flow. It is shown that under the geodesic flow, the normalized parameter measure on the curve gets asymptotically equidistributed with respect to the normalized natural Riemannian measure on the unit tangent bundle of a closed totally geodesically immersed submanifold. Moreover, if this immersed submanifold is a proper subset, then a lift of the curve to the universal 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…
A membrane technique, in which the symplectic and Ricci forms are integrated over surfaces in a complexification of the phase space, as well a ``creation" connection with zero curvature over lagrangian submanifolds, is used to obtain a unified quantization including a noncommutative algebra of functions, its representations, the Dirac axioms, coherent integral transformations for solutions of spectral and Cauchy problems, and trace formulas. (To be published in Russian Journal of Mathematical Physics,1995,v.3,n.3)
This article investigates local properties of the further generalized Weierstrass relations for a spin manifold $S$ immersed in a higher dimensional spin manifold $M$ from viewpoint of study of submanifold quantum mechanics. We show that kernel of a certain Dirac operator defined over $S$, which we call submanifold Dirac operator, gives the data of the immersion. In the derivation, the simple Frobenius reciprocity of Clifford algebras $S$ and $M$ plays important roles.
We construct a pair of compact, eight-dimensional, two-step Riemannian nilmanifolds $M$ and $M'$ which are isospectral for the Laplace operator on functions and such that $M$ has completely integrable geodesic flow in the sense of Liouville, while $M'$ has not. Moreover, for both manifolds we analyze the structure of the submanifolds of the unit tangent bundle given by to maximal continuous families of closed geodesics with generic velocity fields. The structure of these submanifolds turns out to reflect the above (non)integrability properties. On the other hand, their dimension is larger than…
Deformations of a Courant Algebroid E and its Dirac subbundle A have been widely considered under the assumption that the pseudo-Euclidean metric is fixed. In this paper, we attack the same problem in a setting that allows the pseudo-Euclidean metric to deform. Thanks to Roytenberg, a Courant algebroid is equivalent to a symplectic graded Q-manifold of degree 2. From this viewpoint, we extend the notions of graded Q-manifold, DGLA and L_\infty-algebra all to "blended" version so that Poisson manifold, Lie algebroid and Courant algebroid are unified as blended Q-manifolds; and define a submanio…
We derive upper eigenvalue bounds for the Dirac operator of a closed hypersurface in a manifold with Killing spinors such as Euclidean space, spheres or hyperbolic space. The bounds involve the Willmore functional. Relations with the Willmore inequality are briefly discussed. In higher codimension we obtain bounds on the eigenvalues of the Dirac operator of the submanifold twisted with the spinor bundle of the normal bundle.
