The paper shows examples of geodesics switching infinitely often on certain manifolds.
problem Understanding geodesics with infinitely many switches on Finsler and sub-Finsler manifolds.
method Provided examples and explicit structures on Carnot groups, presented a sufficient condition for chattering.
result Geodesics on certain manifolds can exhibit a countable number of switches in arbitrarily small time intervals.
This paper provides some partial regularity results for geodesics (i.e., isometric images of intervals) in arbitrary sub-Riemannian and sub-Finsler manifolds. Our strategy is to study infinitesimal and asymptotic properties of geodesics in Carnot groups equipped with arbitrary sub-Finsler metrics. We show that tangents…
We consider control-linear left-invariant time-optimal problems on step 2 Carnot groups with strictly convex set of control parameters (in particular, sub-Finsler problems). We describe all linear-in-momenta Casimirs on the dual of the Lie algebra. In the case of rank 3 Lie groups we describe the symplectic foliation o…
Proves rectifiability for specific metric spaces with unique tangents.
problem Rectifiability of CD(K,N) and MCP(K,N) spaces with unique tangents. method Failure of CD condition in sub-Finsler Carnot groups, new result on MCP spaces, recent breakthrough by Bate. result Proves rectifiability for CD(K,N) and MCP(K,N) spaces under specific conditions. In this paper we study a sub-Finsler geometric problem on the free-nilpotent group of rank 2 and step 3. Such a group is also called Cartan group and has a natural structure of Carnot group, which we metrize considering the ℓ∞ norm on its first layer. We adopt the point of view of time-optimal control theory…
Study proves existence of regions minimizing perimeter in specific geometric structures.
problem Existence of isoperimetric regions in sub-Finsler nilpotent groups.
method Analyzes nilpotent Lie groups with a bracket-generating distribution and asymmetric norms.
result Proves existence of minimizers of perimeter under volume constraint.
The book explores Lie groups and Carnot-Carathéodory spaces, highlighting their applications in metric geometry and geometric group theory.
problem Exploring non-smooth geometries on Lie groups and their applications.
method Study of left-invariant metrics on Lie groups, focusing on nilpotent and Carnot groups.
result Illustrates the role of metric Lie groups, particularly Carnot groups, in various mathematical contexts.
The notion of curvature discussed in this paper is a far going generalization of the Riemannian sectional curvature. It was first introduced by Agrachev, Barilari and Rizzi in arXiv:1306.5318, and it is defined for a wide class of optimal control problems: a unified framework including geometric structures such as Riem…
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 ar…
Study on curvature exponent of sub-Finsler Heisenberg groups, proving N_min ≥ 5.
problem Determining the curvature exponent of sub-Finsler Heisenberg groups.
method Analyzing the measure contraction property and constructing sub-Finsler structures.
result Proved that curvature exponent N_min ≥ 5, with equality if sub-Riemannian.
Researchers find optimal paths on a specific geometric group.
problem Finding optimal paths on a Cartan group with a sub-Finsler quasimetric.
method Using the Pontryagin Maximum Principle in coordinates of the first kind.
result They found extremals for arbitrary left-invariant sub-Finsler quasimetrics.
We study left-invariant distances on Lie groups for which there exists a one-parameter family of homothetic automorphisms. The main examples are Carnot groups, in particular the Heisenberg group with the standard dilations. We are interested in criteria implying that, locally and away from the diagonal, the distance is…
The paper examines curvature-dimension bounds on sub-Finsler Heisenberg groups.
problem Investigating synthetic curvature-dimension bounds in sub-Finsler Heisenberg groups.
method Study of measure contraction property (MCP) and curvature-dimension condition (CD).
result Sub-Finsler Heisenberg groups do not satisfy MCP or CD for any parameters.
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 ha…
The study proves surfaces in a specific Heisenberg group must be simple planes.
problem Characterizing surfaces in a sub-Finsler Heisenberg group.
method Analyzes (X,Y)-Lipschitz surfaces in H1 with a sub-Finsler structure. result Complete, oriented, stable (X,Y)-Lipschitz surfaces are vertical planes. Researchers found abnormal extremals on specific Lie groups.
problem Identifying abnormal extremals on four-dimensional Lie groups.
method Using left-invariant sub-Finsler quasimetrics and seminorms on Lie algebra.
result Established a criterion for strict abnormality of extremals.
The curvature discussed in this paper is a rather far going generalization of the Riemannian sectional curvature. We define it for a wide class of optimal control problems: a unified framework including geometric structures such as Riemannian, sub-Riemannian, Finsler and sub-Finsler structures; a special attention is p…
Study finds abnormal paths on specific Lie groups using algebraic structures.
problem Identifying abnormal extremals on Lie groups with quasimetrics.
method Analyzing Lie algebras and seminorms to determine abnormal extremals.
result Established criterion for strong abnormality of extremals.
Study on curvature bounds and geodesic dimension in sub-Finsler Heisenberg groups.
problem Investigate synthetic curvature-dimension bounds in sub-Finsler geometry.
method Examine measure contraction property and geodesic dimension on Heisenberg groups with ℓp-sub-Finsler norms. result For p∈(2,∞], ℓp-Heisenberg group fails to satisfy any measure contraction property. For p∈(1,2), it satisfies MCP(K,N) under specific conditions. Study normal curves in sub-Finsler Lie groups with specific norms, focusing on branching and face stability.
problem Analyzing normal curves in sub-Finsler Lie groups with different norms.
method Using tools from convex analysis, the Pontryagin Maximum Principle is revisited to express the normal equation as a differential inclusion involving the subdifferential of the dual norm.
result Normal curves in polyhedral norms have controls that locally take values in a single face of a sphere with respect to the norm.
Study on curvature equation in Heisenberg group with convex boundary.
problem Existence of solutions to prescribed mean curvature equation in sub-Finsler Heisenberg group.
method Finsler approximation scheme to prove existence of Lipschitz solutions.
result Existence of a Lipschitz solution for the Dirichlet problem.
The curvature-dimension condition fails in sub-Finsler geometry, extending previous results in sub-Riemannian geometry.
problem The failure of the curvature-dimension condition in sub-Finsler geometry.
method Non-trivial adaptation of Juillet's work, introduction of new tools and ideas.
result The CD(K,N) condition does not hold in sub-Finsler geometry for various norms and measures. 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, d…
The paper derives explicit geodesic equations for a specific type of group structure.
problem Finding geodesics in left-invariant sub-Finsler problems on Heisenberg groups.
method Using convex trigonometry and generalizations of spherical coordinates.
result Explicit formulae for geodesics in Heisenberg groups are derived.
Optimally regularizes boundaries in the Heisenberg group with prescribed curvature.
problem Optimizing boundaries with prescribed sub-Finsler mean curvature in the Heisenberg group.
method Analyzes critical sets of the prescribed mean curvature functional in the Heisenberg group.
result Characteristic curves of critical sets are C2-regular, optimal in the Heisenberg group. The authors found extremals of arbitrary left-invariant sub-Finsler metric on the Engel group defined by a distribution of rank two. They use for this the Pontryagin Maximum Principle for the corresponding time-optimal problem in coordinates of the first kind. The obtained results are applied to the case of left-invari…
Smooth C1 contact maps are always smooth in rigid Carnot groups.
problem Smoothness of C1 contact maps in rigid Carnot groups. method Analyzing C∞-rigid Carnot groups to show C1-contact maps are smooth. result Smooth C1 contact maps are always smooth in rigid Carnot groups. This paper is a sequel of arxiv:1709.09045 and deals with privileged coordinates and nilpotent approximation of Carnot manifolds. By a Carnot manifold it is meant a manifold equipped with a filtration by subbundles of the tangent bundle which is compatible with the Lie bracket of vector fields. In this paper, we single…
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 L…
This paper studies the infinitesimal structure of Carnot manifolds. By a Carnot manifold we mean a manifold together with a subbundle filtration of its tangent bundle which is compatible with the Lie bracket of vector fields. We introduce a notion of differential, called Carnot differential, for Carnot manifolds maps (…
Study on mappings between nonrigid Carnot groups, proving quasisymmetric rigidity.
problem Quasisymmetric homeomorphisms in nonrigid Carnot groups.
method Use pullback theorem from previous work to show reducibility and rigidity.
result Quasisymmetric homeomorphisms are reducible in nonrigid Carnot groups, except for specific cases.
Carnot groups can be polarized if they have specific coordinate systems.
problem Understanding when Carnot groups can be polarized.
method Proving Carnot groups with certain coordinate systems are polarizable.
result Carnot groups with suitable horizontal polar coordinates are polarizable.
We prove that H-type Carnot groups of rank k and dimension n satisfy the MCP(K,N) if and only if K≤0 and N≥k+3(n−k). The latter integer coincides with the geodesic dimension of the Carnot group. The same result holds true for the larger class of generalized H-type Carnot groups introduced in…
Improved Sobolev mappings in Carnot groups with weaker assumptions.
problem Improving Sobolev mappings in Carnot groups with weaker conditions.
method Using Buser-Karcher center-of-mass and polynomial expressions in moments.
result Rigidity and structural results hold under weaker Sobolev exponents.
Curves in Carnot groups avoid compact sets, growing at least t1/s.
problem Existence of periodic normal geodesics in subFinsler Carnot groups.
method Analysis of curves satisfying Pontryagin Maximum Principle.
result Normal curves in subFinsler Carnot groups leave every compact set.
New bounds on geodesic dimension and curvature exponent in Carnot groups.
problem Characterizing geodesic dimension and curvature exponent in Carnot groups.
method Characterization and lower bound calculation for geodesic dimension and curvature exponent.
result Found an example where curvature exponent is greater than geodesic dimension.
Compact currents and charges in Carnot groups proved.
problem Compactness of normal currents in Carnot groups.
method Dual compactness argument for Rumin forms using pseudo-differential calculus.
result Compactness of normal currents in Carnot groups in flat topology.
ODE trajectories become abnormal curves in Carnot groups.
problem Understanding abnormal curves in Carnot groups.
method Explicit construction of covectors for abnormal curves.
result Polynomial ODE trajectories lift to abnormal curves in Carnot groups.
Maps in Carnot groups are equivalent to solutions of a PDE system.
problem Understanding maps in Carnot groups of step 2.
method Equivalence between intrinsic Lipschitz maps and solutions to a PDE system.
result Intrinsic Lipschitz maps are equivalent to weak solutions of a PDE system.
Maps commuting with sub-Laplacians on Carnot groups are conformal.
problem Characterizing maps preserving sub-Laplacians on sub-Riemannian Lie groups.
method Analyzing smooth maps between sub-Riemannian Lie groups that commute with sub-Laplacians.
result Sub-Laplacian determines the sub-Riemannian structure in Carnot groups.
The study solves the isoperimetric problem for Heisenberg group norms.
problem Solving the isoperimetric problem for anisotropic norms in the Heisenberg group.
method Representation formula for perimeter, foliation property, differential equation characterization, approximation procedure.
result Characterization of isoperimetric sets as sub-Finsler analogues of Pansu's bubbles.
The paper explores the Rumin complex and spectral sequence on Carnot groups.
problem Understanding the relationship between Rumin complex and spectral sequence on Carnot groups.
method Investigates the Rumin complex and spectral sequence on Carnot groups, focusing on the filtration by homogeneous weights.
result Provides a detailed insight into the relationship between the Rumin complex and the spectral sequence on Carnot groups.
This paper studies rectifiability in Carnot groups and proves geometric area formulas.
problem The study of rectifiability in Carnot groups and related geometric properties.
method Analysis of rectifiable measures in Carnot groups, geometric area formulas, and rectifiability of geodesic spheres.
result Geometric area formula for the centered Hausdorff measure restricted to intrinsically differentiable graphs in Carnot groups.
We characterize the rigidity of Carnot groups in the class of C2 contact maps in terms of complex characteristics. Furthermore, we obtain a Liouville type theorem for Carnot groups which states that 1-quasiconformal maps form finite dimensional Lie groups.
Commutes Pansu pullback with spectral complexes in Carnot groups.
problem Understanding the relationship between Pansu pullback and spectral complexes in Carnot groups.
method Proving commutativity between Pansu pullback and differentials in spectral complexes.
result Commutes Pansu pullback with spectral complexes in Carnot groups.
Study on mappings in Carnot groups, proving rigidity results.
problem Understanding mappings in Carnot groups and proving rigidity.
method Structural results for Sobolev mappings, proving rigidity or regularity.
result Establishes partial rigidity and partial regularity theorems.
Study shows a specific Carnot group violates a curvature exponent bound.
problem Understanding the curvature exponent in step-two Carnot groups.
method Examined convergence of Lie algebra structure constants.
result Found a Carnot group where curvature exponent bound is violated.
This paper characterizes semigenerated Carnot groups and applies it to rectifiability of perimeter sets.
problem Characterizing semigenerated Carnot groups and their applications to rectifiability.
method Algebraic approach focusing on semigroup generation and Engel-type quotients.
result Complete characterization of semigeneration in Carnot groups of step 3 and sufficient criteria for semigeneration in Carnot groups of arbitrary step.