In the Heisenberg group $\mathbb{H}^1$, equipped with a left-invariant and not necessarily symmetric norm in the horizontal distribution, we provide examples of entire area-minimizing horizontal graphs which are locally Lipschitz in Euclidean sense. A large number of them fail to have further regularity properties. The examples are obtained by prescribing as singular set a horizontal line or a finite union of horizontal half-lines extending from a given point. We also provide examples of families of area-minimizing cones.
In this paper we adopt the pullback approach to global Finsler geometry. We investigate horizontally recurrent Finsler connections. We prove that for each scalar ($π$)1-form $A$, there exists a unique horizontally recurrent Finsler connection whose $h$-recurrence form is $A$. This result generalizes the existence and uniqueness theorem of Cartan connection. We then study some properties of a special kind of horizontally recurrent Finsler connection, which we call special HRF-connection.
The aim of this paper is to construct horizontal Chern forms of a holomorphic vector bundle using complex Finsler structures. Also, some properties of these forms are studied.
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 discuss how to travel along horizontal broken geodesics of a homogenous Finsler submersion, i.e., we study, what in Riemannian geometry was called by Wilking, the dual leaves. More precisely, we investigate the attainable sets $\mathcal{A}_{q}(\mathcal{C})$ of the set of analytic vector fields $\mathcal{C}$ determined by the family of horizontal unit geodesic vector fields $\mathcal{C}$ to the fibers $\mathcal{F}=\{ρ^{-1}(c)\}$ of a homogenous analytic Finsler submersion $ρ: M\to B$. Since reverse of geodesics don't need to be geodesics in Finsler geometry, one can have examp…
Horizontal endomorphisms, almost complex structures, vertical, horizontal and complete lifts on prolongation of a Lie algebroid are considered. Then using exact sequences, semisprays are constructed. Moreover, important geometrical objects such as classical distinguished connections, torsions and partial curvatures are studied on prolongation of Lie algebroids. Considering pullback bundle, covariant derivatives are scrutinized based on anchor map. Several Finsler geometry models on Lie algebroid structures, will organized via recent arguments. Finally, it will be overhaulled some special Finsl…
In this paper, we introduce horizontal and vertical warped product Finsler manifold. We prove that every C-reducible or proper Berwaldian doubly warped product Finsler manifold is Riemannian. Then, we find the relation between Riemmanian curvatures of doubly warped product Finsler manifold and its components, and consider the cases that this manifold is flat or has scalar flag curvature. We define the doubly warped Sasaki-Matsumoto metric for warped product manifolds and find a condition under which the horizontal and vertical tangent bundles are totally geodesic. Also, we obtain some conditio…
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 prove that in the Heisenberg group $\mathbb{H}^1$ with a sub-Finsler structure, an $(X,Y)$-Lipschitz surface which is complete, oriented, connected and stable must be a vertical plane. In particular, the result holds for entire intrinsic graphs of Euclidean Lipschitz functions.
We study maximal horizontal subgroups of Carnot groups of Heisenberg type. We classify those of dimension half of that of the canonical distribution ("lagrangians") and illustrate some notable ones of small dimension. An infinitesimal classification of the arbitrary maximal horizontal submanifolds follows as a consequence.
For a strictly convex set $K\subset \mathbb{R}^2$ of class $C^2$ we consider its associated sub-Finsler $K$-perimeter $|\partial E|_K$ in $\mathbb{H}^1$ and the prescribed mean curvature functional $|\partial E|_K-\int_E f$ associated to a function $f$. Given a critical set for this functional with Euclidean Lipschitz and intrinsic regular boundary, we prove that their characteristic curves are of class $C^2$ and that this regularity is optimal. The result holds in particular when the boundary of $E$ is of class $C^1$.
By using the support function on the $xy$-plane, we show the necessary and sufficient conditions for the existence of envelopes of horizontal lines in the 3D-Heisenberg group. A method to construct horizontal envelopes from the given ones is also derived, and we classify the solutions satisfying the construction.
This work is an investigation of perimeter measures in the metric measure space given by the Heisenberg group with Haar measure and a Carnot-Carathéodory metric, which is in general a sub-Finsler metric. Included is a reduction of Minkowski content in any CC-metric to an integral formula in terms of Lebesgue surface area in $\mathbb{R}^3$. Using this result, I study two perimeter measures that arise from the study of Finsler normed planes, and provide evidence that Pansu's conjecture regarding the isoperimetric problem in the sub-Riemannian case appears to hold in the more general sub-Finsler …
We investigate the notion of H-subdifferential and H-normal map of a function on the Heisenberg group, based on its sub-Riemannian structure. In particular, a characterization of the convexity of a function is given via the nonemptiness of the H-subdifferential at every point.
The aim of this paper is to show that holonomy properties of Finsler manifolds can be very different from those of Riemannian manifolds. We prove that the holonomy group of a positive definite non-Riemannian Finsler manifold of non-zero constant curvature with dimension >2 cannot be a compact Lie group. Hence this holonomy group does not occur as the holonomy group of any Riemannian manifold. In addition, we provide an example of left invariant Finsler metric on the Heisenberg group, so that its holonomy group is not a (finite dimensional) Lie group. These results give a positive answer to the…
Our goal in this paper is to make an attempt to find the largest Lie algebra of vector fields on the indicatrix such that all its elements are tangent to the holonomy group of a Finsler manifold. First, we introduce the notion of the curvature algebra, generated by curvature vector fields, then we define the infinitesimal holonomy algebra by the smallest Lie algebra of vector fields on an indicatrix, containing the curvature vector fields and their horizontal covariant derivatives with respect to the Berwald connection. At the end we introduce the notion of the holonomy algebra of a Finsler ma…
We generalise a result of Garofalo and Pauls: a horizontally minimal smooth surface embedded in the Heisenberg group is locally a (straight) ruled surface, i.e. it consists of straight lines tangent to a horizontal vector field along a smooth curve. We show additionally that any horizontally minimal surface is locally contactomorphic to the complex plane.
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.
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…
We study the horizontally regular curves in the Heisenberg groups $H_n$. We show the fundamental theorem of curves in $H_n$ $(n\geq 2)$ and define the concept of the orders for horizontally regular curves. We also show that the curve $γ$ is of order $k$ if and only if $γ$ lies in $H_k$ but not in $H_{k-1}$ up to a Heisenberg rigid motion; moreover, two curves with the same order differ from a rigid motion if and only if they have the same p-curvatures and contact normality. Thus, combining with our previous work we have completed the classification of horizontally regular curves in $H_n$ for $…
Involutivity is a well known necessary condition for integrability of smooth tangent distributions. We show that this condition is still necessary for integrability with Sobolev surfaces. We specialize our study to the left invariant horizontal distribution of the first Heisenberg group $\H^1$. Here we answer a question raised in a paper by Z.M.Balogh, R.Hoefer-Isenegger, J.T.Tyson.
In this paper we study the sub-Finsler geometry as a time-optimal control problem. In particular, we consider non-smooth and non-strictly convex sub-Finsler structures associated with the Heisenberg, Grushin, and Martinet distributions. Motivated by problems in geometric group theory, we characterize extremal curves, discuss their optimality, and calculate the metric spheres, proving their Euclidean rectifiability.
Our paper is devoted to the study of the holonomy groups of Finsler surfaces using the methods of infinite dimensional Lie theory. The notion of infinitesimal holonomy algebra will be introduced, by the smallest Lie algebra of vector fields on an indicatrix, containing the curvature vector fields and their horizontal covariant derivatives with respect to the Berwald connection. We obtain that the topological closure of the holonomy group contains the exponential image of any tangent Lie algebra of the holonomy group. A class of Randers surfaces is determined, for which the infinitesimal holono…
A new convenient method of describing flat convex compact sets is proposed. It generalizes classical trigonometric functions $\sin$ and $\cos$. Apparently, this method may be very useful for explicit description of solutions of optimal control problems with two-dimensional control. Using this method a series of sub-Finsler problems with two-dimensional control lying in an arbitrary convex set $Ω$ is investigated. Namely, problems on the Heisenberg, Engel, and Cartan groups and also Grushin's and Martinet's cases are considered. A particular attention is paid to the case when $Ω$ is a polygon.
In the previous paper [MR2430243] we computed some geometric quantities such as curvature and flag curvature for a general left invariant Finsler metric on a two-step nilpotent group. In the present paper we give a more complete description of the Chern--Rund connection defined by a left invariant Randers metric on the 3 dimensional Heisenberg group.
We examine the geometry of the level sets of particular horizontally $p$-harmonic functions in the Heisenberg group. We find sharp, natural geometric conditions ensuring that the level sets of the $p$-capacitary potential of a bounded annulus in the Heisenberg group are strictly starshaped.
We study the strong maximum principle for horizontal (p-) mean curvature operator and p-(sub)laplacian operator on subriemannian manifolds including, in particular, Heisenberg groups and Heisenberg cylinders. Under a certain Hormander type condition on vector fields, we show the strong maximum principle holds in higher dimensions for two cases: (a) the touching point is nonsingular; (b) the touching point is an isolated singular point for one of comparison functions. For a background subriemannian manifold with local symmetry of isometric translations, we have the strong maximum principle for …
In this paper we aim at identifying the level sets of the gauge norm in the Heisenberg group $\mathbb{H}^n$ via the prescription of their (non-constant) horizontal mean curvature. We establish a uniqueness result in $\mathbb{H}^1$ under an assumption on the location of the singular set, and in $\mathbb{H}^n$ for $n\geq 2$ in the proper class of horizontally umbilical hypersurfaces
By studying the group of rigid motions, $PSH(1)$, in the 3D-Heisenberg group $H_1$, we define the density and the measure for the sets of horizontal lines. We show that the volume of a convex domain $D\subset H_1$ is equal to the integral of length of chord over all horizontal lines intersecting $D$. As the classical result in integral geometry, we also define the kinematic density for $PSH(1)$ and show the probability of randomly throwing a vector $v$ interesting the convex domain $D\subset D_0$ under the condition that $v$ is contained in $D_0$. Both results show the relationship connecting …
For $n\geq 2$ we define a notion of umbilicity for hypersurfaces in the Heisenberg group $H_{n}$. We classify umbilic hypersurfaces in some cases, and prove that Pansu spheres are the only umbilic spheres with positive constant $p$(or horizontal)-mean curvature in $H_{n}$ up to Heisenberg translations.
We prove that sub-Riemannian manifolds are infinitesimally Hilbertian (i.e., the associated Sobolev space is Hilbert) when equipped with an arbitrary Radon measure. The result follows from an embedding of metric derivations into the space of square-integrable sections of the horizontal bundle, which we obtain on all weighted sub-Finsler manifolds. As an intermediate tool, of independent interest, we show that any sub-Finsler distance can be monotonically approximated from below by Finsler ones. All the results are obtained in the general setting of possibly rank-varying structures.
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 determine necessary conditions for a non-horizontal submanifold of a sub-Riemannian stratified Lie group to be of minimal measure. We calculate the first variation of the measure for a non-horizontal submanifold and find that the minimality condition implies the tensor equation $H+σ=0$, where $H$ is analogous to the mean curvature and $σ$ is the mean torsion. We also discuss new examples of minimal non-horizontal submanifolds in the Heisenberg group, in particular surfaces in $\mathbb H^2$.
We give new examples of entire area-minimizing t-graphs in the subriemannian Heisenberg group H^1. Most of the examples are locally lipschitz in Euclidean sense. Some regular examples have prescribed singular set consisting of either a horizontal line or a finite number of horizontal halflines extending from a given point. Amongst them, a large family of area-minimizing cones is obtained.
We study the uniqueness of generalized $p$-minimal surfaces in the Heisenberg group. The generalized $p$-area of a graph defined by $u$ reads $\int |\nabla u+\vec{F}| + Hu$. If $u$ and $v$ are two minimizers for the generalized $p$-area satisfying the same Dirichlet boundary condition, then we can only get $N_{\vec{F}}(u)$ $=$ $N_{\vec{F}}(v)$ (on the nonsingular set) where $N_{\vec{F}}(w)$ $:=$ $\frac{\nabla w+\vec{F}}{|\nabla w+\vec{F}|}.$ To conclude $u$ $=$ $v$ (or $\nabla u$ $=$ $\nabla v)$, it is not straightforward as in the Riemannian case, but requires some special argument in general…
We study the isoperimetric problem for anisotropic left-invariant perimeter measures on $\mathbb R^3$, endowed with the Heisenberg group structure. The perimeter is associated with a left-invariant norm $ϕ$ on the horizontal distribution. We first prove a representation formula for the $ϕ$-perimeter of regular sets and, assuming some regularity on $ϕ$ and on its dual norm $ϕ^*$, we deduce a foliation property by sub-Finsler geodesics of $\mathrm C^2$-smooth surfaces with constant $ϕ$-curvature. We then prove that the characteristic set of $\mathrm C^2$-smooth surfaces that are locally extremal…
After introducing the sub-Riemannian geometry of the Heisenberg group Hn, n \geq 1, we recall some basics about hypersurfaces endowed with the H-perimeter measure and horizontal Green's formulas. Then, we describe a class of compact closed hypersurfaces of constant horizontal mean curvature called "Isoperimetric Profiles"(they are not CC-balls!); see Section 2.1. Our main purpose is to study a closed eigenvalue problem on Isoperimetric Profiles, i.e. LHS ϕ+ λϕ= 0, where LHS is a 2nd order horizontal tangential operator analogous to the Laplace-Beltrami operator; see Section 1.5. This is done s…
In this paper, we introduce notions of $α$-planes in $5$D complex Heisenberg group and the twistor space as the moduli space of all $α$-planes. So we can define an anti-self-dual (ASD) connection as a connection flat over all $α$-planes. This geometric approach allows us to establish Penrose-Ward correspondence between ASD connections over $5$D complex Heisenberg group and a class of holomorphic vector bundles on the twistor space. By Atiyah-Ward ansätz, we also construct a family of ASD connections on $5$D complex Heisenberg group. When restricted to $5$D real Heisenberg group, the flat model…
In the context of sub-Riemannian Heisenberg groups Hn, n \geq 1, we shall study Isoperimetric Profiles, which are closed compact hypersurfaces having constant horizontal mean curvature, very similar to ellipsoids. Our main goal is to study the stability of Isoperimetric Profiles.
We establish a "low rank property" for Sobolev mappings that pointwise solve a first order nonlinear system of PDEs, whose smooth solutions have the so-called "contact property". As a consequence, Sobolev mappings from an open set of the plane, taking values in the first Heisenberg group and that have almost everywhere maximal rank must have images with positive 3-dimensional Hausdorff measure with respect to the sub-Riemannian distance of the Heisenberg group. This provides a complete solution to a question raised in a paper by Z. M. Balogh, R. Hoefer-Isenegger and J. T. Tyson. Our approach d…
The Hawking and Penrose singularity theorems for low regularity Finsler spacetimes
Dipartimento di Matematica, Università degli Studi di Pisa（比萨大学数学系）；Department of Mathematics, University of Toronto（多伦多大学数学系）；Department of Mathematics, University of Osaka（大阪大学数学系）；RIKEN Center for Advanced Intelligence Project (AIP)（理化学研究所先进智能研究中心）；Department of Mathematics, University of Vienna（维也纳大学数学系）
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 this paper we use the heat equation in a group of Heisenberg type $\mathbb{G}$ to provide a unified treatment of the two very different extension problems for the time independent pseudo-differential operators $\mathscr L^s$ and $\mathscr L_s$, $0< s\leq 1$. Here, $\mathscr L^s$ is the fractional power of the horizontal Laplacian, and $\mathscr L_s$ is the conformal fractional power of the horizontal Laplacian on $\mathbb{G}$. One of our main objective is compute explicitly the fundamental solutions of these nonlocal operators by a new approach exclusively based on partial differential equa…
