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 rigidity.
We consider the biharmonicity condition for maps between Riemannian manifolds (see [BK]), and study the non-geodesic biharmonic curves in the Heisenberg group H_3. First we prove that all of them are helices, and then we obtain explicitly their parametric equations.
We consider Heisenberg groups equipped with a sub-Finsler metric. Using methods of optimal control theory we prove that in this geometric setting the infinite geodesics are horizontal lines under the assumption that the sub-Finsler metric is defined by a strictly convex norm. This answers a question posed in [5] and has applications in the characterisation of isometric embeddings into Heisenberg groups.
In this paper we study the non-geodesic non-null biharmonic curves in 3-dimensional hyperbolic Heisenberg group. We prove that all of the non-geodesic non-null biharmonic curves in 3-dimensional hyperbolic Heisenberg group are helices. Moreover, we obtain explicit parametric equations for non-geodesic non-null biharmonic curves and non-geodesic spacelike horizontal biharmonic curves in 3-dimensional hyperbolic Heisenberg group, respectively. We also show that there do not exist non-geodesic timelike horizontal biharmonic curves in 3-dimensional hyperbolic Heisenberg group.
In this note we prove that the Heisenberg group with a left-invariant pseudo-Riemannian metric admits a completely integrable totally geodesic distribution of codimension 1. This is on the contrary to the Riemannian case, as it was proved by T. Hangan.
In this paper we study the notion of geodesic curvature of smooth horizontal curves parametrized by arc lenght in the Heisenberg group, that is the simplest sub-Riemannian structure. Our goal is to give a metric interpretation of this notion of geodesic curvature as the first corrective term in the Taylor expansion of the distance between two close points of the curve.
We prove that the horizontal and vertical distributions of the tangent bundle with the Sasaki metric are isocline, the distributions given by the kernels of the horizontal and vertical lifts of the contact form $ω$ from the Heisenberg manifold $(H_3,g)$ to $(TH_3,g^S)$ are not totally geodesic, and the distributions $F^H=L(E_1^H,E_2^H)$ and $F^V=L(E_1^V,E_2^V)$ are totally geodesic, but they are not isocline. We obtain that the horizontal and natural lifts of the curves from the Heisenberg manifold $(H_3,g)$, are geodesics in the tangent bundle endowed with the Sasaki metric $(TH_3,g^s)$, if a…
This paper is part of an undergraduate research project. We discuss the Heisenberg group H1, the three-dimensional space R3 equipped with one of two equivalent metrics, the Koranyi- and Carnot- Caratheodory metric. We show that the notion of length of curves for both metrics coincide, and that shortest curves, so-called geodesics, exist.
The space of $k$-jets of $n$ real function of one real variable $x$ admits the structure of a Carnot group, which then has an associated Hamiltonian geodesic flow. As in any Hamiltonian flow, a natural question is the existence of periodic solutions. Does the space of $k$-jets have periodic geodesics? This study will demonstrate the integrability of subRiemannian geodesic flow, characterize and classify the subRiemannian geodesics in the space of $k$-jets, and show that they are never periodic.
In this paper, We present the geometry three dimensional Heisenberg group (H_3,g) and its geodesics curves. After, we study the Killing magnetic curves and some geodesic Killing magnetic curves with its explicit formulas for such curves.
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.
For strong exact magnetic fields the action functional (i.e., the length plus the linear magnetic term) is not bounded from below on the space of closed contractible curves and the lower estimates for critical levels are derived by using the principle of throwing out cycles. It is proved that for almost every energy level the principle of throwing out cycles gives periodic magnetic geodesics on the critical levels defined by the "thrown out" cycles.
The author shows that equicontinuous geodesic flows on surfaces are periodic. A similar result for flows on 3-manifolds is also proven. The idea of the proof is to show that the return map is recurrent and therefore periodic.
In this paper, on the first, we prove $Δr=2H$ where $Δ$ is the Laplacian operator, $r=\left( r_{1},r_{2},r_{3}\right) $ the position vector field and $H$ is the mean curvature vector field of a surface $\mathcal{S}$ in the 3-dimensional Heisenberg group $H_{3}.$ In the second, we classify the ruled surfaces by straight geodesic lines, which are of finite type in $H_{3}.$ The straight geodesic lines belong to $\ker ω,$ where $ω$ is the Darboux form.
We study the geodesics problem in Heisenberg group H (case SR and riemannian). The sheaf of infinitesimal automorphisms of the (2n,2n+1) distribution D over H is an infinite, transitive Lie algebra sheaf.
We prove the equidistribution of (weighted) periodic orbits of the geodesic ow on noncompact negatively curved manifolds toward equilibrium states in the narrow topology, i.e. in the dual of bounded continuous functions. We deduce an exact asymptotic counting for periodic orbits (weighted or not), which was previously known only for geometrically nite manifolds.
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.
The goal of this paper is to study periodic geodesics for sub-Riemannian metrics on a contact 3D-manifold.We develop two rather independent subjects:1) The existence of closed geodesics spiraling around periodic Reeb orbits for a generic metric.2) The precise study of the periodic geodesics for a right invariant metric on a quotient of SL2(R)
We survey some results on the existence (and non-existence) of periodic Reeb orbits on contact manifolds, both in the open and closed case. We place these statements in the context of Finsler geometry by including a proof of the folklore theorem that the Finsler geodesic flow can be interpreted as a Reeb flow. As a mild extension of previous results we present existence statements on periodic Reeb orbits on contact manifolds with suitable supporting open books.
We study the geometry and the periodic geodesics of a compact Lorentzian manifold that has a Killing vector field which is timelike somewhere. Using a compactness argument for subgroups of the isometry group, we prove the existence of one timelike non self-intersecting periodic geodesic. If the Killing vector field is never vanishing, then there are at least two distinct periodic geodesics; as a special case, compact stationary manifolds have at least two periodic timelike geodesics. We also discuss some properties of the topology of such manifolds. In particular, we show that a compact manifo…
Let $M$ be a Riemannian $2$-sphere. A classical theorem of Lyusternik and Shnirelman asserts the existence of three distinct simple non-trivial periodic geodesics on $M$. In this paper we prove that there exist three simple periodic geodesics with lengths that do not exceed $20d$, where $d$ is the diameter of $M$. We also present an upper bound that depends only on the area and diameter for the lengths of the three simple periodic geodesics with positive indices that appear as minimax critical values in the classical proofs of the Lyusternik-Shnirelman theorem. Finally, we present better bound…
We give existence results for simple closed curves with prescribed geodesic curvature on $S^{2}$, which correspond to periodic orbits of a charge in a magnetic field.
Let $M^n$ be a closed Riemannian manifold of dimension $n\geq 2$, with Ricci curvature $Ric \geq n-1$. We will show that any sphere of dimension $m$ in the space of closed loops on $M^n$ is homotopic to the sphere in the space of closed loops of length at most $8 πm$. It follows that the length of a shortest periodic geodesic on $M^n$ is bounded from above by $8 π(n-1)$.
It is shown that parts of planes, helicoids and hyperbolic paraboloids are the only minimal surfaces ruled by geodesics in the three dimensional Riemannian Heisenberg group. It is also shown that they are the only surfaces in the three dimensional Heisenberg group whose mean curvature is zero with respect to both of the standard Riemannian metric and the standard Lorentzian metric.
The main focus of the paper is the investigation of moduli space of left invariant pseudoRiemannian metrics on the cotangent bundle of Heisenberg group. Consideration of orbits of the automorphism group naturally acting on the space of the left invariant metrics allows us to use the algebraic approach. However, the geometrical tools, such as classification of hyperbolic plane conics, will often be required. For metrics that we obtain in the classification, we investigate geometrical properties: curvature, Ricci tensor, sectional curvature, holonomy and parallel vector fields. The classificatio…
We characterize convex isoperimetric sets in the Heisenberg group endowed with horizontal perimeter. We first prove Sobolev regularity for a certain class of vector fields in the plane with bounded variation, related to the curvature equations. Then, by an approximation-reparameterization argument, we show that the boundary of convex isoperimetric sets is foliated by geodesics of the Carnot-Caratheodory distance.
We use a Riemannnian approximation scheme to define a notion of $\textit{sub-Riemannian Gaussian curvature}$ for a Euclidean $C^{2}$-smooth surface in the Heisenberg group $\mathbb{H}$ away from characteristic points, and a notion of $\textit{sub-Riemannian signed geodesic curvature}$ for Euclidean $C^{2}$-smooth curves on surfaces. These results are then used to prove a Heisenberg version of the Gauss-Bonnet theorem. An application to Steiner's formula for the Carnot-Carathéodory distance in $\mathbb{H}$ is provided.
We establish a precise asymptotic formula for the number of homotopy classes of periodic orbits for the geodesic flow on rank one manifolds of nonpositive curvature. This extends a celebrated result of G. A. Margulis to the nonuniformly hyperbolic case and strengthens previous results by G. Knieper. We also establish some useful properties of the measure of maximal entropy.
In this paper, we compute sub-Riemannian limits of Gaussian curvature associated to two kinds of Schouten-Van Kampen affine connections and the adapted connection for a Euclidean $C^2$-smooth surface in the Heisenberg group away from characteristic points and signed geodesic curvature associated to two kinds of Schouten-Van Kampen affine connections and the adapted connection for Euclidean $C^2$-smooth curves on surfaces. We get Gauss-Bonnet theorems associated to two kinds of Schouten-Van Kampen affine connections in the Heisenberg group.
We give a basic treatment of lattices $Γ$ in these groups. Certain tori $T_F$ and $T_B$ provide the model fiber and the base for a submersion of $Γ\backslash N$. This submersion may not be pseudoriemannian in the usual sense, because the tori may be degenerate. We then begin the study of periodic geodesics in these compact nilmanifolds, obtaining a complete calculation of the period spectrum of certain flat spaces.
By adapting a technique of Molchanov, we obtain the heat kernel asymptotics at the sub-Riemannian cut locus, when the cut points are reached by an $r$-dimensional parametric family of optimal geodesics. We apply these results to the bi-Heisenberg group, that is, a nilpotent left-invariant sub-Rieman\-nian structure on $\mathbb{R}^{5}$ depending on two real parameters $α_{1}$ and $α_{2}$. We develop some results about its geodesics and heat kernel associated to its sub-Laplacian and we illuminate some interesting geometric and analytic features appearing when one compares the isotropic ($α_{1}=…
Given a negatively curved geodesic metric space M, we study the asymptotic penetration behaviour of geodesic lines of M in small neighbourhoods of closed geodesics and of other compact convex subsets of M. We define a spiraling spectrum which gives precise information on the asymptotic spiraling lengths of geodesic lines around these objects. We prove analogs of the theorems of Dirichlet, Hall and Cusick in this context. As a consequence, we obtain Diophantine approximation results of real numbers, complex numbers, or elements of the Heisenberg group by irrational quadratic ones.
Given a simply connected, closed four manifold, we associate to it a simply connected, closed, spin five manifold. This leads to several consequences : the stable and unstable homotopy groups of such a four manifold is determined by its second Betti number, and the ranks of the homotopy groups can be explicitly calculated. We show that for a generic metric on such a smooth four manifold with second Betti number at least three, the number of geometrically distinct periodic geodesics of length at most l grow exponentially as a function of l. The number of closed Reeb orbits of length at most l o…
We construct most symmetric Saddle towers in Heisenberg space i.e. periodic minimal surfaces that can be seen as the desingularization of vertical planes intersecting equiangularly. The key point is the construction of a suitable barrier to ensure the convergence of a family of bounded minimal disks. Such a barrier is actually a periodic deformation of a minimal plane with prescribed asymptotic behavior. A consequence of the barrier construction is that the number of disjoint minimal graphs suppoerted on domains is not bounded in Heisenberg space.
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 classify all self-dual Einstein four-manifolds invariant under a principal action of the three-dimensional Heisenberg group with non-degenerate orbits. The metrics are explicit and we find, in particular, that the Einstein constant can take any value. Then we study when the corresponding (Riemannian or neutral-signature) metrics are (geodesically) complete. Finally, we exhibit the solutions of non-zero Ricci-curvature as different branches of one-loop deformed universal hypermultiplets in Riemannian and neutral signature.
We study the classical action functional $\SMC_V$ on the free loop space of a closed, finite dimensional Riemannian manifold $M$ and the symplectic action $\AMC_V$ on the free loop space of its cotangent bundle. The critical points of both functionals can be identified with the set of perturbed closed geodesics in $M$. The potential $V\in C^\infty(M\times S^1,\R)$ serves as perturbation and we show that both functionals are Morse for generic $V$. In this case we prove that the Morse index of a critical point $x$ of $\SMC_V$ equals minus its Conley-Zehnder index when viewed as a critical point …
We introduce the notion of spectral flow along a periodic semi-Riemannian geodesic, as a suitable substitute of the Morse index in the Riemannian case. We study the growth of the spectral flow along a closed geodesic under iteration, determining its asymptotic behavior.
For the ``Hopf bundle'' $S^1\to S^{2n,1} \to {\mathbb H}^n$, horizontal lifts of simple closed curves are studied. Let $γ$ be a piecewise smooth, simple closed curve on a complete totally geodesic surface $S$ in the base space. Then the holonomy displacement along $γ$ is given by $$ V(γ)=e^{λA(γ) i} $$ where $A(γ)$ is the area of the region on the surface $S$ surrounded by $γ$; $λ=1/2 $ or 0 depending on whether $S$ is a complex submanifold or not. We also carry out a similar investigation for the complex Heisenberg group ${\mathbb R} \to {\mathcal H}^{2n+1} \to {\mathbb C}^n$.
In the infinite dimensional Heisenberg group, we construct a left invariant weak Riemannian metric that gives a degenerate geodesic distance. The same construction yields a degenerate sub-Riemannian distance. We show how the standard notion of sectional curvature adapts to our framework, but it cannot be defined everywhere and it is unbounded on suitable sequences of planes. The vanishing of the distance precisely occurs along this sequence of planes, so that the degenerate Riemannian distance appears in connection with an unbounded sectional curvature. In the 2005 paper by Michor and Mumford,…
We show that if K: P \to R is an autonomous Hamiltonian on a symplectic manifold (P,Ω) which attains 0 as a Morse-Bott nondegenerate minimum along a symplectic submanifold M, and if c_1(TP)|_M vanishes in real cohomology, then the Hamiltonian flow of K has contractible periodic orbits with bounded period on all sufficiently small energy levels. As a special case, if the geodesic flow on the cotangent bundle of M is twisted by a symplectic magnetic field form, then the resulting flow has contractible periodic orbits on all low energy levels. These results were proven by Ginzburg and Gürel when …
We initiate the study of X-ray tomography on sub-Riemannian manifolds, for which the Heisenberg group exhibits the simplest nontrivial example. With the language of the group Fourier Transform, we prove an operator-valued incarnation of the Fourier Slice Theorem, and apply this new tool to show that a sufficiently regular function on the Heisenberg group is determined by its line integrals over sub-Riemannian geodesics. We also consider the family of taming metrics $g_ε$ approximating the sub-Riemannian metric, and show that the associated X-ray transform is injective for all $ε>0$. This resul…
In this work we investigate families of compact Lorentzian manifolds in dimension four. We show that every lightlike geodesic on such spaces is periodic, while there are closed and non-closed spacelike and timelike geodesics. Their isometry groups are computed. We also show that there is a non trivial action by isometries of $\Heis_3(\RR)$ on the nilmanifold $S^1\times (Γ_k \bsh \Heis_3(\RR))$ for $Γ_k$ a lattice of $\Heis_3(\RR)$.
The X-ray transform on the periodic slab $[0,1]\times\mathbb T^n$, $n\geq0$, has a non-trivial kernel due to the symmetry of the manifold and presence of trapped geodesics. For tensor fields gauge freedom increases the kernel further, and the X-ray transform is not solenoidally injective unless $n=0$. We characterize the kernel of the geodesic X-ray transform for $L^2$-regular $m$-tensors for any $m\geq0$. The characterization extends to more general manifolds, twisted slabs, including the Möbius strip as the simplest example.
