Let $S^{n}$ be the $n$-sphere of constant positive curvature. For $n \geq 2$, we will show that a measure on the unit tangent bundle of $S^{2n}$, which is even and invariant under the geodesic flow, is not uniquely determined by its projection to $S^{2n}$.
We extend the Besicovitch-Federer projection theorem to transversal families of mappings. As an application we show that on a certain class of Riemann surfaces with constant negative curvature and with boundary, there exist natural 2-dimensional measures invariant under the geodesic flow having 2-dimensional supports such that their projections to the base manifold are 2-dimensional but the supports of the projections are Lebesgue negligible. In particular, the union of complete geodesics has Hausdorff dimension 2 and is Lebesgue negligible.
We show that on any compact Riemann surface with variable negative curvature there exists a measure which is invariant and ergodic under the geodesic flow and whose projection to the base manifold is 2-dimensional and singular with respect to the 2-dimensional Lebesgue measure.
We describe the geometry of geodesics on a Lorentz ellipsoid: give explicit formulas for the first integrals (pseudo-confocal coordinates), curvature, geodesically equivalent Riemannian metric, the invariant area-forms on the time- and space-like geodesics and invariant 1-form on the space of null geodesics. We prove a Poncelet-type theorem for null geodesics on the ellipsoid: if such a geodesic close up after several oscillations in the "pseudo-Riemannian belt", so do all other null geodesics on this ellipsoid.
We provide an easy approach to the geodesic distance on the general linear group GL(n) for left-invariant Riemannian metrics which are also right-O(n)-invariant. The parametrization of geodesic curves and the global existence of length minimizing geodesics are deduced using simple methods based on the calculus of variations and classical analysis only. The geodesic distance is discussed for some special cases and applications towards the theory of nonlinear elasticity are indicated.
We study the geodesics on an invariant surface of a three dimensional Riemannian manifold. The main results are: the characterization of geodesic orbits; a Clairaut's relation and its geometric interpretation in some remarkable three dimensional spaces; the local description of the geodesics; the explicit description of geodesic curves on an invariant surface with constant Gauss curvature.
We consider the problem $\mathbf{P_{curve}}$ of minimizing $\int \limits_0^L \sqrt{ξ^2 + κ^2(s)} \, {\rm d}s$ for a curve $\mathbf{x}$ on $\mathbb R$ with fixed boundary points and directions. Here the total length $L\geq 0$ is free, $s$ denotes the arclength parameter, $κ$ denotes the absolute curvature of $\mathbf{x}$, and $ξ>0$ is constant. We lift problem $\mathbf{P_{curve}}$ on $\mathbb R^3$ to a sub-Riemannian problem $\mathbf{P_{mec}}$ on $\operatorname{SE(3)}\nolimits/(\{\mathbf{0}\}\times \operatorname{SO(2)}\nolimits)$. Here, for admissible boundary conditions, the spatial projection…
We propose a special deformation of the Sasaki metric on tangent and unit tangent bundle of a Hermitian locally symmetric manifold. Geodesics of this deformed metric have different projections on a base manifold for tangent or unit tangent bundle cases in contrast to usual Sasaki metric. Nevertheless, the projections of geodesics of the unit tangent bundle still preserve the property to have all geodesic curvatures constant.
In this paper, we study the set of homogeneous geodesics of a leftinvariant Finsler metric on Lie groups. We first give a simple criterion that characterizes geodesic vectors. As an application, we study some geometric properties of bi-invariant Finsler metrics on Lie groups. In particular a necessary and sufficient condition that left-invariant Randers metrics are of Berwald type is given. Finally a correspondence of homogeneous geodesics to critical points of restricted Finsler metrics is given. Then results concerning the existence homogeneous geodesics are obtained.
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.
We establish an equivalence principle between the solenoidal injectivity of the geodesic ray transform acting on symmetric $m$-tensors and the existence of invariant distributions or smooth first integrals with prescribed projection over the set of solenoidal $m$-tensors. We work with compact simple manifolds, but several of our results apply to non-trapping manifolds with strictly convex boundary.
We study the dynamics of magnetic flows on Heisenberg groups. Let $H$ denote the three-dimensional simply connected Heisenberg Lie group endowed with a left-invariant Riemannian metric and an exact, left-invariant magnetic field. Let $Γ$ be a lattice subgroup of $H,$ so that $Γ\backslash H$ is a closed nilmanifold. We first find an explicit description of magnetic geodesics on $H$, then determine all closed magnetic geodesics and their lengths for $Γ\backslash H$. We then consider two applications of these results: the density of periodic magnetic geodesics and marked magnetic length spectrum …
We prove that on any closed Riemannian manifold $(M_1\times M_2,g)$, with $\rank\Hom_1(M_1)\neq0$ and $\dim(M_2)\geq2$, every isometry homotopic to the identity admits infinitely many isometry-invariant geodesics.
The theory of slow invariant manifolds (SIMs) is the foundation of various model-order reduction techniques for dissipative dynamical systems with multiple time-scales, e.g. in chemical kinetic models. The construction of SIMs and many approximation methods exploit the restrictive requirement of an explicit time-scale separation parameter. Most of those methods are also not formulated covariantly, i.e. in terms of tensorial constructions. We propose an intrinsically coordinate-free differential geometric approximation criterion approximating normally attracting invariant manifolds (NAIMs). We …
In this paper we show that for an invariant $(α,β)-$metric $F$ on a homogeneous Finsler manifold $\frac{G}{H}$, induced by an invariant Riemannian metric $\tilde{a}$ and an invariant vector field $\tilde{X}$, the vector $X=\tilde{X}(H)$ is a geodesic vector of $F$ if and only if it is a geodesic vector of $\tilde{a}$. Then we give some conditions such that under them, an arbitrary vector is a geodesic vector of $F$ if and only if it is a geodesic vector of $\tilde{a}$. Finally we give an explicit formula for the flag curvature of bi-invariant $(α,β)-$metrics on connected Lie groups.
In this paper we study the geodesic flow on nilmanifolds equipped with a left-invariant metric. We write the underlying definitions and find general formulas for the Poisson involution. As an example we develop the Heisenberg Lie group equipped with its canonical metric. We prove that a family of first integrals giving the complete integrability can be read off at the Lie algebra of the isometry group. We also explain the complete integrability on compact quotients and for any invariant metric.
On the ground of origins of the theory of Lie groups and Lie algebras, their (co)adjoint representations, and the Pontryagin maximum principle for the time-optimal problem are given an independent foundation for methods of geodesic vector field to search for normal geodesics of left-invariant (sub-)Finsler metrics on Lie groups and to look for the corresponding locally optimal controls in (sub-)Riemannian case, as well as some their applications.
In this paper we prove that the compact Lie group $G_2$ admits a left-invariant Einstein metric that is not geodesic orbit. In order to prove the required assertion, we develop some special tools for geodesic orbit Riemannian manifolds. It should be noted that a suitable metric is discovered in a recent paper by I. Chrysikos and Y. Sakane, where the authors proved also that this metric is not naturally reductive.
We study the generic invariant probability measures for the geodesic flow on connected complete nonpositively curved manifolds. Under a mild technical assumption, we prove that ergodicity is a generic property in the set of probability measures defined on the unit tangent bundle of the manifold and supported by trajectories not bounding a flat strip. This is done by showing that Dirac measures on periodic orbits are dense in that set. In the case of a compact surface, we get the following sharp result: ergod- icity is a generic property in the space of all invariant measures defined on the uni…
In the present paper we show that the geodesic flows of a sub-Riemannian metric and that of a Riemannian extension commute if and only if the extended metric is parallel with respect to a certain connection. This helps us to describe the geodesic flow of sub-Riemannian metrics on totally geodesic Riemannian submersions. As a consequence we can characterize sub-Riemannian geodesics as the horizontal lifts of projections of Riemannian geodesics.
We use a result of J. Mather on the existence of connecting orbits for compositions of monotone twist maps of the cylinder to prove the existence of connecting geodesics on the unit tangent bundle $ST^2$ of the 2-torus in regions without invariant tori.
We give a complete list of those left invariant unit vector fields on three-dimensional Lie groups with the left-invariant metric that generate a totally geodesic submanifold in the unit tangent bundle of a group with the Sasaki metric. As a result, each class of three-dimensional Lie groups admits the totally geodesic unit vector field. From geometrical viewpoint, the field is either parallel or characteristic vector field of a natural almost contact structure on the group.
We prove that on closed Riemannian manifolds with infinite abelian, but not cyclic, fundamental group, any isometry that is homotopic to the identity possesses infinitely many invariant geodesics. We conjecture that the result remains true if the fundamental group is infinite cyclic. We also formulate a generalization of the isometry-invariant geodesics problem, and a generalization of the celebrated Weinstein conjecture: on a closed contact manifold with a selected contact form, any strict contactomorphism that is contact-isotopic to the identity possesses an invariant Reeb orbit.
We study the geodesic distance induced by right-invariant metrics on the group $\operatorname{Diff}_\text{c}(M)$ of compactly supported diffeomorphisms, for various Sobolev norms $W^{s,p}$. Our main result is that the geodesic distance vanishes identically on every connected component whenever $s<\min\{n/p,1\}$, where $n$ is the dimension of $M$. We also show that previous results imply that whenever $s > n/p$ or $s \ge 1$, the geodesic distance is always positive. In particular, when $n\ge 2$, the geodesic distance vanishes if and only if $s<1$ in the Riemannian case $p=2$, contrary to a conj…
We show that on a closed Riemannian manifold with fundamental group isomorphic to $\mathbb{Z}$, other than the circle, every isometry that is homotopic to the identity possesses infinitely many invariant geodesics. This completes a recent result of the second author.
The authors found geodesics, shortest arcs, cut loci, and conjugate sets for left-invariant sub-Riemannian matric on the Lie group $SL(2)$, which is right-invariant relative to the Lie subgroup $SO(2)\subset SL(2)$ (in other words, for invariant sub-Riemannian metric on weakly symmetric space $(SL(2)\times SO(2))/SO(2)$).
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.
This article considers inverse problems on closed Riemannian surfaces whose geodesic flow is Anosov. We prove spectral rigidity for any Anosov surface and injectivity of the geodesic ray transform on solenoidal 2-tensors. We also establish surjectivity results for the adjoint of the geodesic ray transform on solenoidal tensors. The surjectivity results are of independent interest and imply the existence of many geometric invariant distributions on the unit sphere bundle. In particular, we show that on any Anosov surface $(M,g)$, given a smooth function $f$ on $M$ there is a distribution in the…
We study the geodesic distance induced by right-invariant metrics on the group $\operatorname{Diff}_c(M)$ of compactly supported diffeomorphisms of a manifold $M$, and show that it vanishes for the critical Sobolev norms $W^{s,n/s}$, where $n$ is the dimension of $M$ and $s\in(0,1)$. This completes the proof that the geodesic distance induced by $W^{s,p}$ vanishes if $sp\le n$ and $s<1$, and is positive otherwise. The proof is achieved by combining the techniques of two recent papers --- [JM19] by the authors, which treated the sub-critical case, and [BHP18] of Bauer, Harms and Preston, which …
The geodesic distance vanishes on the group of compactly supported diffeomorphisms of a Riemannian manifold $M$ of bounded geometry, for the right invariant weak Riemannian metric which is induced by the Sobolev metric $H^s$ of order $0\le s<\tfrac12$ on the Lie algebra $\mathfrak X_c(M)$ of vector fields with compact support.
A conformal structure on a manifold $M^n$ induces natural second order conformally invariant operators, called Möbius and Laplace structures, acting on specific weight bundles of $M$, provided that $n\ge 3$. By extending the notions of Möbius and Laplace structures to the case of surfaces and curves, we develop here the theory of extrinsic conformal geometry for submanifolds, find tensorial invariants of a conformal embedding, and use these invariants to characterize various forms of geodesic submanifolds.
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.
We construct differential invariants that vanish if and only if the geodesic flow of a 2-dimensional metric admits an integral of 3rd degree in momenta with a given Birkhoff-Kolokoltsov 3-codifferential.
Normal geodesic flows flows of Carnot-Caratheodory are discussed from the point of view of the theory of Hamiltonian systems. The geodesic flows corresponding to left-invariant metrics and left- and -right-invariant rank 2 distributions on the three-dimensional Heisenberg group are analysed as integrable systems. The flows corresponding to left-invariant metrics and left-invariant distributions on Lie groups are reduced to Euler equations on Lie groups. Relation of these constructions to problems of analytical mechanics is discussed.
We introduce a new class of zero-dimensional weighted complete intersections, by abstracting the essential features of rational cohomology algebras of equal rank homogeneous spaces of compact connected Lie groups. We prove that, on a 1-connected closed manifold M whose rational cohomology algebra belongs to this class, every isometry has a non-trivial invariant geodesic, for any metric on M. We use rational surgery to construct large classes of new examples for which the above result may be applied.
In this paper, by modifying the argument shift method,we prove Liouville integrability of geodesic flows of normal metrics (invariant Einstein metrics) on the Ledger-Obata $n$-symmetric spaces $K^n/\diag(K)$, where $K$ is a semisimple (respectively, simple) compact Lie group.
We provide the first known family of examples of integrable homogeneous sub-Riemannian structures admitting strictly abnormal geodesics. These examples were obtained through the analysis of the equivalence problem for sub-Riemannian Engel structures. We formulate a criterion of strict abnormality in terms of structure functions of a canonical frame on a sub-Riemannian Engel manifold as well as estimates on conjugate times.
In this paper, we present strongly geodesic preinvexity on Riemannian manifolds (RM) and strongly η-invexity of order m on RM. Furthermore, we define strongly invariant η-monotonicity of order m on RM. Under Condition C, an important characterization of these functions are studied. We construct several non-trivial examples in support of these definitions. Afterwords, an important and significant characterization of a strict η-minimizers (η-minimizers)of order m for MOP and a solution to the variational like-inequality problem (VVLIP) has been derived.
In the present paper, we obtain explicit formulae for geodesics in some left-invariant sub-Finsler problems on Heisenberg groups $\mathbb{H}_{2n+1}$. Our main assumption is the following: the compact convex set of unit velocities at identity admits a generalization of spherical coordinates. This includes convex hulls and sums of coordinate 2-dimensional sets, all left-invariant sub-Riemannian structures on $\mathbb{H}_{2n+1}$, and unit balls in $L_p$-metric for $1\le p\le\infty$. In the last case, extremals are obtained in terms of incomplete Euler integral of the first kind.
We investigate certain natural connections between subriemannian geometry and hyperbolic dynamical systems. In particular, we study dynamically defined horizontal distributions which split into two integrable ones and ask: how is the energy of a subriemannian geodesic shared between its projections onto the integrable summands? We show that if the horizontal distribution is the sum of the strong stable and strong unstable distributions of a special type of a contact Anosov flow in three dimensions, then for any short enough subriemannian geodesic connecting points on the same orbit of the Anos…
In this paper, we investigate left-invariant geodesic orbit metrics on connected simple Lie groups, where the metrics are formed by the structures of generalized flag manifolds. We prove that all these left-invariant geodesic orbit metrics on simple Lie groups are naturally reductive.
We construct point invariants of ordinary differential equations that generalise the Cartan invariants of equations of order two and three. The vanishing of the invariants is equivalent to the existence of a totally geodesic paraconformal structure which consist of a paraconformal structure, an adapted $GL(2,\R)$-connection and a two-parameter family of totally geodesic hypersurfaces on the solution space. The structures coincide with the projective structures in dimension 2 and with the Einstein-Weyl structures of Lorentzian signature in dimension 3. We show that the totally geodesic paraconf…
In this paper two metric properties on geodesic length spaces are introduced by means of the metric projection, studying their validity on Alexandrov and Busemann NPC spaces. In particular, we prove that both properties characterize the non-positivity of the sectional curvature on Riemannian manifolds. Further results are also established on reversible/non-reversible Finsler-Minkowski spaces.
This paper is devoted to geodesic completeness of left-invariant metrics for real and complex Lie groups. We start by establishing the Euler-Arnold formalism in the holomorphic setting. We study the real Lie group $\mathrm{SL}(2, \mathbb{R})$ and reobtain the known characterization of geodesic completeness and, in addition, present a detailed study where we investigate the maximum domain of definition of every single geodesic for every possible metric. We investigate completeness and semicompleteness of the complex geodesic flow for left-invariant holomorphic metrics and, in particular, establ…
We describe the invariant metrics on real flag manifolds and classify those with the following property: every geodesic is the orbit of a one-parameter subgroup. Such a metric is called g.o. (geodesic orbit). In contrast to the complex case, on real flag manifolds the isotropy representation can have equivalent submodules, which makes invariant metrics depend on more parameters and allows us to find more cases in which non-trivial g.o. metrics exist.
For smooth test configurations, there always exist C^{1,1} geodesic rays in Kahler metric space parallel to the algebraic ray. The $\yen$ invariant agrees with Futaki invariant, at least under nice assumptions. Explicit examples in Toric cases are calculated. On simple test configurations, Donaldson's correspondence between HCMA solution and holomorphic disc family is extended.
We show that an invariant surface allows to construct the Jacobi vector field along a geodesic and construct the formula for the normal component of the Jacobi field. If a geodesic is the transversal intersection of two invariant surfaces (such situation we have, for example, if the geodesic is hyperbolic), then we can construct a fundamental solution of the the Jacobi-Hill equation. This is done for quadratically integrable geodesic flows.
We bring together those systems of hydrodynamical type that can be written as geodesic equations on diffeomorphism groups or on extensions of diffeomorphism groups with right invariant $L^2$ or $H^1$ metrics. We present their formal derivation starting from Euler's equation, the first order equation satisfied by the right logarithmic derivative of a geodesic in Lie groups with right invariant metrics.