Minimal hypersurfaces in a nearly Kaehler 6-sphere

In this paper we show that for a compact minimal hypersurface M$M$ of constant scalar curvature in the unit sphere S⁶$S^6$ with the shape operator A$A$ satisfying ‖A‖²>5${\Vert A\Vert }^2>5$, there exists an eigenvalue λ>10$\lambda >10$ of the Laplace operator of the hypersurface M$M$ such that ‖A‖²=λ−5${\Vert A\Vert }^2=\lambda -5$. This gives the next discrete value of ‖A‖²${\Vert A\Vert }^2$ greater than 0 and 5.     

Bertrand curves in the three-dimensional sphere

A curve α$\alpha$ immersed in the three-dimensional sphere S³${\mathbb{S}}^3$ is said to be a Bertrand curve if there exists another curve β$\beta$ and a one-to-one correspondence between α$\alpha$ and β$\beta$ such that both curves have common principal normal geodesics at corresponding points. The curves α$\alpha$ and β$\beta$ are said to be a pair of Bertrand curves in S³${\mathbb{S}}^3$. One of our main results is a sort of theorem for Bertrand curves in S³${\mathbb{S}}^3$ which formally agrees with the classical one: “Bertrand curves in S³${\mathbb{S}}^3$ correspond to curves for which there exist two constants λ≠0$\lambda \ne 0$ and μ$\mu$ such that λκ+μτ=1$\lambda \kappa +\mu \tau =1$”, where κ$\kappa$ and τ$\tau$ stand for the curvature and torsion of the curve; in particular, general helices in the 3-sphere introduced by M. Barros are Bertrand curves. As an easy application of the main theorem, we characterize helices in S³${\mathbb{S}}^3$ as the only twisted curves in S³${\mathbb{S}}^3$ having infinite Bertrand conjugate curves. We also find several relationships between Bertrand curves in S³${\mathbb{S}}^3$ and (1,3)-Bertrand curves in R⁴${\mathbb{R}}^4$.     

Force free projective motions of the sphere

Suppose that the sphere Sⁿ$S^n$ has initially a homogeneous distribution of mass and let G$G$ be the Lie group of orientation preserving projective diffeomorphisms of Sⁿ$S^n$. A projective motion of the sphere, that is, a smooth curve in G$G$, is called force free if it is a critical point of the kinetic energy functional. We find explicit examples of force free projective motions of Sⁿ$S^n$ and, more generally, examples of subgroups H$H$ of G$G$ such that a force free motion initially tangent to H$H$ remains in H$H$ for all time (in contrast with the previously studied case for conformal motions, this property does not hold for H=S_On+1$H=S{O}_{n+1}$). The main tool is a Riemannian metric on G$G$, which turns out to be not complete (in particular not invariant, as happens with non-rigid motions), given by the kinetic energy.     

Weak mirror symmetry of complex symplectic Lie algebras

A complex symplectic structure on a Lie algebra h$\mathfrak{h}$ is an integrable complex structure J$J$ with a closed non-degenerate (2,0)$(2,0)$-form. It is determined by J$J$ and the real part Ω$\Omega$ of the (2,0)$(2,0)$-form. Suppose that h$\mathfrak{h}$ is a semi-direct product g?V$\mathfrak{g}?V$, and both g$\mathfrak{g}$ and V$V$ are Lagrangian with respect to Ω$\Omega$ and totally real with respect to J$J$. This note shows that g?V$\mathfrak{g}?V$ is its own weak mirror image in the sense that the associated differential Gerstenhaber algebras controlling the extended deformations of Ω$\Omega$ and J$J$ are isomorphic.     

On m-accretive Schrödinger-type operators with singular potentials on Riemannian manifolds

We consider a Schrödinger-type differential expression _HV=∇^∗∇+V$H_V={\nabla }^{\ast }\nabla +V$, where ∇$\nabla$ is a Hermitian connection on a Hermitian vector bundle E$E$ over a complete Riemannian manifold (M,g)$(M,g)$ with metric g$g$ and positive smooth measure dμ$d\mu$, and V$V$ is a locally integrable section of the bundle of endomorphisms of E$E$. We give a sufficient condition for m$m$-accretivity of a realization of _HV$H_V$ in L²(E)$L^2\left(E\right)$.     

The first Chevalley–Eilenberg Cohomology group of the Lie algebra on the transverse bundle of a decreasing family of foliations

In [L. Lebtahi, Lie algebra on the transverse bundle of a decreasing family of foliations, J. Geom. Phys. 60 (2010), 122–133], we defined the transverse bundle V^k$V^k$ to a decreasing family of k$k$ foliations _Fi$F_i$ on a manifold M$M$. We have shown that there exists a (1,1)$(1,1)$ tensor J$J$ of V^k$V^k$ such that J^k≠0$J^k\ne 0$, J^k+1=0$J^{k+1}=0$ and we defined by _LJ(V^k)$L_J\left(V^k\right)$ the Lie Algebra of vector fields X$X$ on V^k$V^k$ such that, for each vector field Y$Y$ on V^k$V^k$, [X,JY]=J[X,Y]$[X,JY]=J[X,Y]$.     

Singular unitarity in “quantization commutes with reduction”

Let M$M$ be a connected compact quantizable Kähler manifold equipped with a Hamiltonian action of a connected compact Lie group G$G$. Let M//G=?⁻¹(0)/G=_M0$M//G={?}^{-1}\left(0\right)/G=M_0$ be the symplectic quotient at value 0 of the moment map ?$?$. The space _M0$M_0$ may in general not be smooth. It is known that, as vector spaces, there is a natural isomorphism between the quantum Hilbert space over _M0$M_0$ and the G$G$-invariant subspace of the quantum Hilbert space over M$M$. In this paper, without any regularity assumption on the quotient _M0$M_0$, we discuss the relation between the inner products of these two quantum Hilbert spaces under the above natural isomorphism; we establish asymptotic unitarity to leading order in Planck’s constant of a modified map of the above isomorphism under a “metaplectic correction” of the two quantum Hilbert spaces.     

On complete spacelike hypersurfaces with two distinct principal curvatures in Lorentz–Minkowski space

We investigate complete spacelike hypersurfaces in Lorentz–Minkowski space with two distinct principal curvatures and constant m$m$th mean curvature. By using Otsuki’s idea, we obtain the global classification result. As their applications, we obtain some characterizations for hyperbolic cylinders. We prove that the only complete spacelike hypersurfaces in Lorentz–Minkowski (n+1)$(n+1)$-spaces (n≥3$n\ge 3$) of nonzero constant m$m$th mean curvature (m≤n−1$m\le n-1$) with two distinct principal curvatures λ$\lambda$ and μ$\mu$ satisfying inf(λ−μ)²>0$inf{(\lambda -\mu )}^2>0$ are the hyperbolic cylinders. We also obtain a global characterization for hyperbolic cylinder Hⁿ⁻¹(c)×R${\mathbb{H}}^{n-1}\left(c\right)\times \mathbb{R}$ in terms of square length of the second fundamental form.     

On the integrability of symplectic Monge–Ampère equations

Let u$u$ be a function of n$n$ independent variables x¹,…,xⁿ$x^1,\dots ,x^n$, and let U=(_uij)$U=\left(u_{ij}\right)$ be the Hessian matrix of u$u$. The symplectic Monge–Ampère equation is defined as a linear relation among all possible minors of U$U$. Particular examples include the equation detU=1$detU=1$ governing improper affine spheres and the so-called heavenly equation, _u13u24−_u23u14=1$u_{13}{u}_{24}-u_{23}{u}_{14}=1$, describing self-dual Ricci-flat 4$4$-manifolds. In this paper we classify integrable symplectic Monge–Ampère equations in four dimensions (for n=3$n=3$ the integrability of such equations is known to be equivalent to their linearisability). This problem can be reformulated geometrically as the classification of ‘maximally singular’ hyperplane sections of the Plücker embedding of the Lagrangian Grassmannian. We formulate a conjecture that any integrable equation of the form F(_uij)=0$F\left(u_{ij}\right)=0$ in more than three dimensions is necessarily of the symplectic Monge–Ampère type.     

Pre-quantization of the moduli space of flat G-bundles over a surface

For a simply connected, compact, simple Lie group G$G$, the moduli space of flat G$G$-bundles over a closed surface Σ$\Sigma$ is known to be pre-quantizable at integer levels. For non-simply connected G$G$, however, integrality of the level is not sufficient for pre-quantization, and this paper determines the obstruction–namely a certain cohomology class in H³(G²;Z)$H^3(G^2;\mathbb{Z})$–that places further restrictions on the underlying level. The levels that admit a pre-quantization of the moduli space are determined explicitly for all non-simply connected, compact, simple Lie groups G$G$.     

On the parallel transport of the Ricci curvatures

Geometrical characterizations are given for the tensor R⋅S$R\cdot S$, where S$S$ is the Ricci tensor   of a (semi-)Riemannian manifold (M,g)$(M,g)$ and R$R$ denotes the curvature operator   acting on S$S$ as a derivation, and of the Ricci Tachibana tensor  _∧g⋅S${\wedge }_g\cdot S$, where the natural metrical operator  _∧g${\wedge }_g$ also acts as a derivation on S$S$. As a combination, the Ricci curvatures   associated with directions on M$M$, of which the isotropy determines that M$M$ is Einstein, are extended to the Ricci curvatures of Deszcz   associated with directions and planes on M$M$, and of which the isotropy determines that M$M$ is Ricci pseudo-symmetric in the sense of Deszcz.     

On the geometry of prequantization spaces

Given a Poisson (or more generally Dirac) manifold P$P$, there are two approaches to its geometric quantization: one involves a circle bundle Q$Q$ over P$P$ endowed with a Jacobi (or Jacobi–Dirac) structure; the other one involves a circle bundle with a (pre)contact groupoid structure over the (pre)symplectic groupoid of P$P$. We study the relation between these two prequantization spaces. We show that the circle bundle over the (pre)symplectic groupoid of P$P$ is obtained from the Lie groupoid of Q$Q$ via an S¹$S^1$ reduction that preserves both the Lie groupoid and the geometric structures.     

Biminimal properly immersed submanifolds in the Euclidean spaces

We consider a complete nonnegative biminimal   submanifold M$M$ (that is, a complete biminimal submanifold with λ≥0$\lambda \ge 0$) in a Euclidean space E^N${\mathbb{E}}^N$. Assume that the immersion is proper  , that is, the preimage of every compact set in E^N${\mathbb{E}}^N$ is also compact in M$M$. Then, we prove that M$M$ is minimal. From this result, we give an affirmative partial answer to Chen’s conjecture. For the case of λ<0$\lambda <0$, we construct examples of biminimal submanifolds and curves.