arXiv research

A Carnot group $\mathbb{G}$ admits Lusin approximation for horizontal curves if for any absolutely continuous horizontal curve $γ$ in $\mathbb{G}$ and $\varepsilon>0$, there is a $C^1$ horizontal curve $Γ$ such that $Γ=γ$ and $Γ'=γ'$ outside a set of measure at most $\varepsilon$. We verify this property for free Carno…

In Carnot groups, directional pliability allows curve extensions and approximations.

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 Heis…

Study shows horizontal diameter of unit spheres is π for specific foliations.

Study on extending curves in sub-Riemannian manifolds with compatibility conditions.

Researchers define geodesic curvature for 3D sub-Riemannian curves, improving distance calculations.

Study of minimal annuli in hyperbolic space with horizontal ends, showing constraints on boundary curves.

Given a smooth manifold $M$ and a totally nonholonomic distribution $Δ\subset TM$ of rank $d$, we study the effect of singular curves on the topology of the space of horizontal paths joining two points on $M$. Singular curves are critical points of the endpoint map $F:γ\mapstoγ(1)$ defined on the space $Ω$ of horizonta…

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 biharmon…

We deform a map into a Riemannian manifold that is horizontal with respect to a submersion onto a non-positively curved manifold and satisfies a Chow condition into a harmonic one through a horizontal homotopy.

We study pseudoholomorphic curves in the nearly Kalher $\mathbf{CP}^3$. It is shown that a class of curves called null-torsion are in one to one correspondence with the integrals of a holomorphic contact system on the usual Kahler $\mathbb{CP}^3$ studied by Bryant. Browing Bryant's result we get plenty of such curves. …

We prove that a H-surface M in H^2xR, |H| <= 1/2, inherits the symmetries of its boundary when the boundary is either a horizontal curve with curvature greater than one or two parallel horizontal curves with curvature greater than one, whose distance is greater or equal to πFurthermore we prove that the asymptotic boun…

We study some sub-Riemannian objects (such as horizontal connectivity, horizontal connection, horizontal tangent plane, horizontal mean curvature) in hypersurfaces of sub-Riemannian manifolds. We prove that if a connected hypersurface in a contact manifold of dimension more than three is noncharacteristic or with isola…

We analyse the fine convergence properties of one parameter families of hyperbolic metrics, on a fixed underlying surface, that move always in a horizontal direction, i.e. orthogonal to the action of diffeomorphisms.

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 …

Study finds minimal length networks connecting three points in Heisenberg group.

The study finds new constant mean curvature surfaces in curved spaces.

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…

Affine and conformal submersions with horizontal distribution are studied in statistical manifolds.

The Riemannian submersion $π: \text{SO}_0(1,n) \to \mathbb{H}^n$ is a principal bundle and its fiber at $π(e)$ is the imbedding of $\text{SO}(n)$ into $\text{SO}_0(1,n)$, where $e$ is the identity of both $\text{SO}_0(1,n)$ and $\text{SO}(n)$. In this study, we associate a curve, starting from the identity, in $\…

Consider $L$ a regular Lagrangian, $S$ the canonical semispray, and $h$ the horizontal projector of the canonical nonlinear connection. We prove that if the Lagrangian is constant along the integral curves of the Euler-Lagrange equations then it is constant along the horizontal curves of the canonical nonlinear connect…

We study metrics on the shape space of curves that induce a prescribed splitting of the tangent bundle. More specifically, we consider reparametrization invariant metrics $G$ on the space $\operatorname{Imm}(S^1,\mathbb R^2)$ of parametrized regular curves. For many metrics the tangent space $T_c\operatorname{Imm}(S^1,…

This work is a short, self-contained introduction to subriemannian geometry with special emphasis on Chow's Theorem. As an application, a regularity result for the Poincaré Lemma is presented. At the beginning, the definitions of a subriemannian geometry, horizontal vector fields and horizontal curves are given. Then t…

We classify extremal curves in free nilpotent Lie groups. The classification is obtained via an explicit integration of the adjoint equation in Pontryagin Maximum Principle. It turns out that abnormal extremals are precisely the horizontal curves contained in algebraic varieties of a specific type. We also extend the r…

We introduce horizontal holonomy groups, which are groups defined using parallel transport only along curves tangent to a given subbundle $D$ of the tangent bundle. We provide explicit means of computing these holonomy groups by deriving analogues of Ambrose-Singer's and Ozeki's theorems. We then give necessary and suf…

A helical CR structure is a decomposition of a real Euclidean space into an even-dimensional horizontal subspace and its orthogonal vertical complement, together with an almost complex structure on the horizontal space and a marked vector in the vertical space. We prove an equivalence between such structures and step t…

We consider examples of the $\mathbb H$-type groups with the natural horizontal distribution generated by the commutation relations of the group. In the contrast with the previous studies we furnish the horizontal distribution with the Lorentzian metric, which is nondegenerate metric of index 1 instead of a positive de…

Paper proves equivalence of derivatives for maps between Carnot groups.

We consider solutions of Lagrangian variational problems with linear constraints on the derivative. These solutions are given by curves $γ$ in a differentiable manifold $M$ that are everywhere tangent to a smooth distribution $\mathcal D$ on $M$; such curves are called horizontal. We study the manifold structure of the…

Invariant covariant derivatives on homogeneous spaces are characterized.

Paper finds optimal matching between curves on manifolds using geodesics.

Study proves h-principles for curves in bracket-generating distributions.

Extends potential theory to Carnot groups, estimating Hausdorff dimension.

We generalize the concept of sub-Riemannian geometry to infinite-dimensional manifolds modeled on convenient vector spaces. On a sub-Riemannian manifold $M$, the metric is defined only on a sub-bundle $\calH$ of the tangent bundle $TM$, called the horizontal distribution. Similarly to the finite-dimensional case, we ar…

Sharp spectral estimates for negatively curved foliations.

We study metrics on shape space of immersions that have a particularly simple horizontal bundle. More specifically, we consider reparametrization invariant Sobolev metrics $G$ on the space $\operatorname{Imm}(M,N)$ of immersions of a compact manifold $M$ in a Riemannian manifold $(N,\overline{g})$. The tangent space $T…

B. Wilking introduced the dual foliation associated to a metric foliation in a Riemannian manifold with nonnegative sectional curvature, and proved that when the curvature is strictly positive, the dual foliation contains a single leaf, so that any two points in the ambient space can be joined by a horizontal curve. We…

Notes on Frenet-Serret formulas for curves in flat pseudo-hermitian manifolds.

Analytic curves have infinite codimension of singular germs.

This paper studies a specific metric on plane curves that has the property of being isometric to classical manifold (sphere, complex projective, Stiefel, Grassmann) modulo change of parametrization, each of these classical manifolds being associated to specific qualifications of the space of curves (closed-open, modulo…

We study biminimal immersions, that is immersions which are critical points of the bienergy for normal variations with fixed energy. We give a geometrical description of the Euler-Lagrange equation associated to biminimal immersions for: i) biminimal curves in a Riemannian manifold, with particular care to the case of …

Study geodesic curvature in Heisenberg group, interpreting it as distance correction.

The paper extends square root velocity framework to curves in homogeneous spaces.

We consider a $C^{1}$ smooth surface with prescribed $p$(or $H$)-mean curvature in the 3-dimensional Heisenberg group. Assuming only the prescribed $p$-mean curvature $H\in C^{0},$ we show that any characteristic curve is $C^{2}$ smooth and its (line) curvature equals $-H$ in the nonsingular domain$.$ By introducing ch…

We establish lower bounds for the first non-zero eigenvalue for the natural geometric sub-elliptic Laplacian operator defined on sub-Riemannian manifolds of step 2 that satisfy a positive curvature condition. The methods are very general and can be applied even when the sub-Riemannian geometry has considerable torsion.

Methods from the geometry of nonholonomic manifolds and Lagrange-Finsler spaces are applied in fractional calculus with Caputo derivatives and for elaborating models of fractional gravity and fractional Lagrange mechanics. The geometric data for such models are encoded into (fractional) bi-Hamiltonian structures and as…

For a m-tuple a=(a_1,...,a_m) of positive real numbers, the robot arm of type a in R^d is the map f^a:(S^{d-1})^m -> R^d defined by f^a(z_1,...,z_m) to be the sum of the a_jz_j's. Our aim is to attack the inverse problem via the horizontal liftings for the distribution Delta^a orthogonal to the fibers of f^a. One shows…

We introduce a general notion of "genericity" for countable subsets of a space with Borel measure, and apply it to the set of vertices in the curve complex of a surface S, interpreted as subset of the space of projective measured laminations in S, equipped with its natural Lebesgue measure. We prove that, for any 3-man…