We study a problem of the geometric quantization for the quaternion projective space. First we explain a Kaehler structure on the punctured cotangent bundle of the quaternion projective space, whose Kaehler form coincides with the natural symplectic form on the cotangent bundle and show that the canonical line bundle of this complex structure is holomorphically trivial by explicitly constructing a nowhere vanishing holomorphic global section. Then we construct a Hilbert space consisting of a certain class of holomorphic functions on the punctured cotangent bundle by the method of pairing polarization and incidentally we construct an operator from this Hilbert space to the $L_2$ space of the quaternion projective space. Also we construct a similar operator between these two Hilbert spaces through the Hopf fiberation. We prove that these operators quantize the geodesic flow of the quaternion projective space to the one parameter group of the unitary Fourier integral operators generated by the square root of the Laplacian plus suitable constant. Finally we remark that the Hilbert space above has the reproducing kernel.
We prove that a compact quaternionic-Kähler manifold of dimension $4n\geq 8$ admitting a conformal-Killing 2-form which is not Killing, is isomorphic to the quaternionic projective space, with its standard quaternionic-Kähler structure.
Geodesic orbit spaces (or g.o. spaces) are defined as those homogeneous Riemannian spaces $(M=G/H,g)$ whose geodesics are orbits of one-parameter subgroups of $G$. The corresponding metric $g$ is called a geodesic orbit metric. We study the geodesic orbit spaces of the form $(\Sp(n)/\Sp(n_1)\times \cdots \times \Sp(n_s), g)$, with $0<n_1+\cdots +n_s\leq n$. Such spaces include spheres, quaternionic Stiefel manifolds, Grassmann manifolds and quaternionic flag manifolds. The present work is a contribution to the study of g.o. spaces $(G/H,g)$ with $H$ semisimple.
We classify isometric actions of compact Lie groups on quaternionic-Kähler projective spaces with vanishing homogeneity rank. We also show that they are not in general quaternion-coisotropic.
The Willmore energy for Frenet curves in quaternionic projective space is the generalization of the Willmore functional for immersions into the 4-sphere. Critical points of the Willmore energy are called Willmore curves in quaternionic projective space. Using a Baecklund transformation on Willmore curves, we generalize Bryant's result on Willmore spheres in 3--space: a Willmore sphere in quaternionic projective space has integer Willmore energy, and is given by complex holomorphic data.
In this paper we completely classify the homogeneous two-spheres, especially, the minimal homogeneous ones in the quaternionic projective space $\textbf{HP}^n$. According to our classification, more minimal constant curved two-spheres in $\textbf{HP}^n$ are obtained than Ohnita conjectured in the paper "Homogeneous harmonic maps into projective space, Tokyo J Math, 1990, 13(1): 87-116".
In this article, I classify the totally geodesic submanifolds in the complex 2-Grassmannians and in the quaternionic 2-Grassmannians. It turns out that for both of these spaces, the earlier classification of maximal totally geodesic submanifolds in Riemannian symmetric spaces of rank 2, published by Chen and Nagano (B.-Y. Chen, T. Nagano, "Totally geodesic submanifolds of symmetric spaces, II", Duke Math. J. 45 (1978), 405--425) is incomplete. For example, G_2(H^n) with n >= 7 contains totally geodesic submanifolds isometric to a HP^2, its metric scaled such that the minimal sectional curvatur…
In this paper, we study totally real minimal surfaces in the quaternionic projective space $\mathbb{H}P^n$. We prove that the linearly full totally real flat minimal surfaces of isotropy order $n$ in $\mathbb{H}P^n$ are two surfaces in $\mathbb{C}P^n$, one of which is the Clifford solution, up to symplectic congruence.
We classify irreducible polar foliations of codimension $q$ on quaternionic projective spaces $\mathbb H P^n$, for all $(n,q)\neq(7,1)$. We prove that all irreducible polar foliations of any codimension (resp. of codimension one) on $\mathbb H P^n$ are homogeneous if and only if $n+1$ is a prime number (resp. $n$ is even or $n=1$). This shows the existence of inhomogeneous examples of codimension one and higher.
We construct examples of 2-step Carnot groups related to quaternions and study their fine structure and geometric properties. This involves the Hamiltonian formalism, which is used to obtain explicit equations for geodesics and the computation of the number of geodesics joining two different points on these groups. We able to find the explicit lengths of geodesics. We present the fundamental solutions of the Heat and sub-Laplace equations for these anisotropic groups and obtain some estimates for them, which may be useful.
DeTurck and Yang have shown that in the neighbourhood of every point of a $3$-dimensional Riemannian manifold, there exists a system of orthogonal coordinates (that is, whith respect to which the metric has diagonal form). We show that this property does not generalize to higher dimensions. In particular, the complex projective spaces $\mathbb{CP}^m$ and the quaternionic projective spaces $\mathbb{HP}^q$, endowed with their canonical metrics, do not have local systems of orthogonal coordinates for $m,q\ge 2$.
For homogeneous metrics on the spaces of the title it is shown that the Ricci flow can move a metric of stricly positive sectional curvature to one with some negative sectional curvature and one of positive definite Ricci tensor to one with indefinite signature.
Minimal Submanifolds of The Complex and Quaternionic Projective and Hyperbolic Spaces $\cn P^{2n-1}$, $\hn P^{2n-1}$, $\cn H^{2n-1}$, $\hn H^{2n-1}$ via Harmonic Morphisms
We describe a diagram containing the zero sets of the moment maps associated to the diagonal U(1) and Sp(1) actions on the quaternionic projective space HP^n. These sets are related both to focal sets of submanifolds and to Sasakian-Einstein structures on induced Hopf bundles. As an application, we construct a complex structure on the Stiefel manifolds V_2 (C^{n+1}) and V_4 (R^{n+1}), the one on the former manifold not being compatible with its known hypercomplex structure.
We prove a Milnor-Wood inequality for representations of the fundamental group of a compact complex hyperbolic manifold in the group of isometries of quaternionic hyperbolic space. Of special interest is the case of equality, and its application to rigidity. We show that equality can only be achieved for totally geodesic representations, thereby establishing a global rigidity theorem for totally geodesic representations.
We extend T. Y. Thomas's approach to the projective structures, over the complex analytic category, by involving the $ρ$-connections. This way, a better control of the projective flatness is obtained and, consequently, we have, for example, the following application: if the twistor space of a quaternionic manifold $P$ is endowed with a complex projective structure then $P$ can be locally identified, through quaternionic diffeomorphisms, with the quaternionic projective space.
It is well-known that if a curve is a geodesic line of the tangent (sphere) bundle with Sasaki metric of a locally symmetric Riemannian manifold then the projected curve has all its geodesic curvatures constant. In this paper we consider the case of tangent (sphere) bundle over the real, complex and quaternionic space form and give a unified proof of the following property: all geodesic curvatures of projected curve are zero starting from k_3,k_6 and k_{10} for the real, complex and quaternionic space formes respectively.
We present a uniform framework generalising and extending the classical theories of projective differential geometry, c-projective geometry, and almost quaternionic geometry. Such geometries, which we call \emph{projective parabolic geometries}, are abelian parabolic geometries whose flat model is an R-space $G\cdot\mathfrak{p}$ in the infinitesimal isotropy representation $\mathbb{W}$ of a larger self-dual symmetric R-space $H\cdot\mathfrak{q}$. We also give a classification of projective parabolic geometries with $H\cdot\mathfrak{q}$ irreducible which, in addition to the aforementioned class…
We use the $η$-invariant of Atiyah-Patodi-Singer to compute the Eells-Kuiper invariant for the Eells-Kuiper quaternionic projective plane. By combining with a known result of Bérard-Bergery, it shows that every Eells-Kuiper quaternionic projective plane carries a Riemannian metric such that all geodesics passing through a certain point are simply closed and of the same length.
We consider equitorsion second type almost geodesic mappings of a non-symmetric affine connection space in this article. Using different computational methods, we obtained some invariants of these mappings. Last generalized Thomas projective parameter and Weyl projective tensor as invariants of a second type almost geodesic mapping of a non-symmetric affine connection space are further generalized here.
Geodesics, which play an important role in spray-Finsler geometry, are integral curves of a spray vector field on a manifold. Some comparison theorems and rigidity issues are established on the completeness of geodesics of a spray or a Finsler metric. In this paper, projectively flat sprays with weak Ricci constant (eps. constant curvature) are classified at the level of geodesics. Further, a geodesic method is introduced to determine an $n$-dimensional spray based on a family of curves with $2(n-1)$ free constant parameters as geodesics. Finally, it shows that a spray is projectively complete…
In this paper, it is proved that a connected 3-dimensional Riemannian manifold or a closed connected semi-Riemannian manifold $M^n$($n>1$) admitting a projective vector field with a non-linearizable singularity is projectively flat.
Positive Quaternion Kaehler Manifolds are Riemannian manifolds with holonomy contained in Sp(n)Sp(1) and with positive scalar curvature. Conjecturally, they are symmetric spaces. We prove this conjecture in dimension 20 under additional assumptions and we provide recognition theorems for quaternionic projective spaces (in low dimensions) as well as the real Grassmanian (which is Positive Quaternion Kaehler).
A Liouville classification of a natural Hamiltonian system on the projective plane with a rotation metric and a linear integral is obtained. All Fomenko--Zieschang invariants (i.e., labeled molecules) of the system are calculated.
We provide a classification theorem for compact stable minimal immersions (CSMI) of codimension $1$ or dimension $1$ (codimension $1$ and $2$ or dimension $1$ and $2$) in the product of a complex (quaternionic) projective space with any other Riemannian manifold. We characterize the complex minimal immersions of codimension $2$ or dimension $2$ as the only CSMI in the product of two complex projective spaces. As an application, we characterize the CSMI of codimension $1$ or dimension $1$ (codimension $1$ and $2$ or dimension $1$ and $2$) in the product of a complex (quaternionic) projective sp…
Given two c-projectively equivalent metrics on a Kähler manifold we show that the canoncially constructed, Poisson-commuting integrals of motion of the geodesic flow, linear and quadratic in momenta, also commute as quantum operators. The methods employed here also provide a proof of a similar statement in the case of projective equivalence. We also investigate the addition of potentials, i.e. the generalization to natural Hamiltonian systems. We show that the commuting operators lead to separation of variables for Schrödinger's equation.
We study the inverse spectral problem for weighted projective spaces using wave-trace methods. We show that in many cases one can "hear" the weights of a weighted projective space.
We use the Cartan representations of $SO(3)$ and $SU(3)$, and an irreducible 14-dimensional representation of $Sp(3)$ to construct certain totally geodesic submanifolds in "skew" position in the complex quadrics, the complex 2-Grassmannians and the quaternionic 2-Grassmannians.
We investigate the concept of projective equivalence of connections in supergeometry. To this aim, we propose a definition for (super) geodesics on a supermanifold in which, as in the classical case, they are the projections of the integral curves of a vector field on the tangent bundle: the geodesic vector field associated with the connection. Our (super) geodesics possess the same properties as the in the classical case: there exists a unique (super) geodesic satisfying a given initial condition and when the connection is metric, our supergeodesics coincide with the trajectories of a free pa…
We prove that there do not exist odd-dimensional stable compact minimal immersions in the product of two complex projective spaces. We also prove that the only stable compact minimal immersions in the product of a quaternionic projective space with any other Riemannian manifold are the products of quaternionic projective subspaces with compact stable minimal immersions of the second manifold in the Riemmanian product. These generalize similar results of the second-named author of immersions with low dimensions or codimensions to immersions with arbitrary dimensions. In addition, we prove that …
We classify semi-Riemannian submersions with connected totally geodesic fibres from a real pseudo-hyperbolic space onto a semi-Riemannian manifold under the assumption that the dimension of the fibres is less than or equal to three and the metrics induced on fibres are negative definite. Also, we obtain the classification of semi-Riemannian submersions with connected complex totally geodesic fibres from a complex pseudo-hyperbolic space onto a semi-Riemannian manifold under the assumption that the dimension of the fibres is less than or equal to two and the metric induced on fibres are negativ…
We describe explicitly all quaternionic contact hypersurfaces (qc-hypersurfaces) in the flat quaternion space $\Hnn$ and the quaternion projective space. We show that up to a quaternionic affine transformation a qc-hypersurface in $\Hnn$ is contained in one of the three qc-hyperquadrics in $\Hnn$. Moreover, we show that an embedded qc-hypersurface in a hyper-Kähler manifold is qc-conformal to a qc-Einstein space and the Riemannian curvature tensor of the ambient hyper-Kähler metric is degenerate along the hypersurface.
Projective connections arise from equivalence classes of affine connections under the reparametrization of geodesics. They may also be viewed as quotient systems of the classical geodesic equation. After studying the link between integrals of the (classical) geodesic flow and its associated projective connection, we turn our attention to 2-dimensional metrics that admit one projective vector field, i.e. whose local flow sends unparametrized geodesics into unparametrized geodesics. We review and discuss the classification of these metrics, introducing special coordinates on the linear space of …
The projective Finsler metrizability problem deals with the question whether a projective-equivalence class of sprays is the geodesic class of a (locally or globally defined) Finsler function. In this paper we use Hilbert-type forms to state a number of different ways of specifying necessary and sufficient conditions for this to be the case, and we show that they are equivalent. We also address several related issues of interest including path spaces, Jacobi fields, totally-geodesic submanifolds of a spray space, and the equivalence of path geometries and projective-equivalence classes of spra…
We classify totally geodesic submanifolds of Damek-Ricci spaces and show that they are either homogeneous (such submanifolds are known to be "smaller" Damek-Ricci spaces) or isometric to rank-one symmetric spaces of negative curvature. As a by-product, we obtain that a totally geodesic submanifold of any known harmonic manifold is by itself harmonic. We prove that the Cayley hyperbolic plane admits no Einstein hypersurfaces and that the only Einstein hypersurfaces in the Cayley projective plane are geodesic spheres of a particular radius; this completes the classification of Einstein hypersurf…
We find a necessary condition for the existence of an action of a Lie group $G$ by quaternionic automorphisms on an integrable quaternionic manifold in terms of representations of $\mathfrak{g}$. We check this condition and prove that a Riemannian symmetric space of dimension $4n$ for $n\geq 2$ has an invariant integrable almost quaternionic structure if and only if it is quaternionic vector space, quaternionic hyperbolic space or quaternionic projective space.
The paper shows that the curvature of RP2 is constant iff all geodesics are closed. Therefore RP2 is the first known manifold with only one G-structure. It took quiete a long time to find such a manifold. The author shows only that if all geodesics are closed then there are infinitely many simple closed geodesics. This proof is based on the geodesic return map and the theory of topological dynamics. From important results of Green, Grove and Gromoll one can conclude the theorem.
In this work we show that for the geodesic spray $S$ of a Finsler function $F$ the most natural projective deformation $\widetilde{S}=S -2 λF\mathbb C$ leads to a non-Finsler metrizable spray, for almost every value of $λ\in \mathbb R$. This result shows how rigid is the metrizablility property with respect to certain reparameterizations of the geodesics. As a consequence we obtain that the projective class of an arbitrary spray contains infinitely many sprays that are not Finsler metrizable.
We show that the infinite-dimensional space of Zoll Finsler metrics on the projective plane strongly deformation retracts to the canonical round metric. In particular, this space of Zoll Finsler metrics is connected. Moreover, the strong deformation retraction arises from a deformation of the geodesic flow of every Zoll Finsler projective plane to the geodesic flow of the round metric through a family of smooth free circle actions induced by the curvature flow of the canonical round projective plane. This construction provides a description of the geodesics of the Zoll Finsler metrics along th…
We prove that any planar 4-web defines a unique projective structure in the plane in such a way that the leaves of the foliations are geodesics of this projective structure. We also find conditions for the projective structure mentioned above to contain an affine symmetric connection, and conditions for a planar 4-web to be equivalent to a geodesic 4-web on an affine symmetric surface. Similar results are obtained for planar d-webs, d > 4, provided that additional d-4 second-order invariants vanish.
We studied rules of transformations of Christoffel symbols under third type almost geodesic mappings in this paper. From this research, we obtained some new invariants of these mappings. These invariants are analogies of Thomas projective parameter and Weyl projective tensor.
Here we treat the problem: given a torsion-free connection do its geodesics, as unparametrised curves, coincide with the geodesics of an Einstein metric? We find projective invariants such that the vanishing of these is necessary for the existence of such a metric, and in generic settings the vanishing of these is also sufficient. We also obtain results for the problem of metrisability (without the Einstein condition): We show that the odd Chern type invariants of an affine connection are projective invariants that obstruct the existence of a projectively related Levi-Civita connection. In add…
Properties of the Cauchy-Riemann-Fueter equation for maps between quaternionic manifolds are studied. Spaces of solutions in case of maps from a K3-surface to the cotangent bundle of a complex projective space are computed. A relationship between harmonic spinors of a generalized nonlinear Dirac operator and solutions of the Cauchy-Riemann-Fueter equation are established.
We prove that there is a true asymptotic formula for the number of one sided simple closed curves of length $\leq L$ on any Fuchsian real projective plane with three points removed. The exponent of growth is independent of the hyperbolic structure, and it is noninteger, in contrast to counting results of Mirzakhani for simple closed curves on orientable Fuchsian surfaces.
We consider the moduli space M_r of polygons with fixed side lengths in five-dimensional eucledian space. We analyze the local structure of its singularities and exhibit a real-analytic equivalence between M_r and a weighted quotient of the n-fold product of the quaternionic projective line HP^1 by the diagonal PSL(2,H)-action. We explore the relation between M_r and the fixed point set of an anti-symplectic involution on a GIT quotient Gr(2,4)^n/SL(4,C). We generalize the Gel'fand-MacPherson correspondence to more general complex Grassmannians and to the quaternionic context, and realize our …
We describe all pseudo-Riemannian metrics on closed surfaces whose geodesic flows admit nontrivial integrals quadratic in momenta. As an application, we solve the Beltrami problem on closed surfaces, prove the nonexistence of quadratically-superintegrable metrics of nonconstant curvature on closed surfaces, and prove the two-dimensional pseudo-Riemannian version of the projective Obata conjecture.
A universal lower bound for the first positive eigenvalue of the Dirac operator on a compact quaternionic Kaehler manifold M of positive scalar curvature is calculated. It is shown that it is equal to the first positive eigenvalue on the quaternionic projective space. For this, the horizontal tangent bundle on the canonical SO(3)-bundle over M is equipped with a hyperkaehlerian structure and the corresponding splitting of the horizontal spinor bundle is considered. The desired estimate is obtained by looking at hyperkaehlerian twistor operators on horizontal spinors.
We characterize the first min-max width of real projective spaces of any dimension. The width is the minimum area over the Clifford hypersurfaces. We also compute the Morse index of the Clifford hypersurfaces in the complex and quaternionic projective spaces.
In this paper we study the projective automorphism group of domains in real, complex, and quaternionic projective space and present two new characterizations of the unit ball in terms of the size of the automorphism group and the regularity of the boundary.
A theorem of Lawson and Simons states that the only stable minimal submanifolds in complex projective spaces are complex submanifolds. We generalize their result to the cases of quaternionic and octonionic projective spaces. Our approach gives a unified viewpoint towards conformal and projective geometries.
In this paper, we consider projective deformation of the geodesic system of Finsler spaces by holonomy invariant functions: Starting by a Finsler spray $S$ and a holonomy invariant function $P$, we investigate the metrizability property of the projective deformation $\widetilde{S}=S-2λP C$. We prove that for any holonomy invariant nontrivial function $P$ and for almost every value $λ\in R$, such deformation is not Finsler metrizable. We identify the cases where such deformation can lead to a metrizable spray: in these cases, the holonomy invariant function is necessarily one of the principal c…
The action of the mapping class group of the thrice-punctured projective plane on its $\mathrm{GL}(2,\mathbb{C})$ character variety produces an algorithm for generating the simple length spectra of quasi-Fuchsian thrice-punctured projective planes. We apply this algorithm to quasi-Fuchsian representations of the corresponding fundamental group to prove: a sharp upper-bound for the length of its shortest geodesic, a McShane identity and the surprising result of non-polynomial growth for the number of simple closed geodesic lengths.
We prove that a riemannian metric on the 2-sphere or the projective plane can be C2-approximated by a smooth metric whose geodesic flow has an elliptic closed geodesic.
