Questions tagged [sub-riemannian-geometry]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
4 votes
1 answer
134 views

Conformal equivalence degenerate metric tensors

Assume that $g$ and $g'$ are metric tensors with one dimensional kernel and the same signature. Does the classical results of Weyl (dim >3) or of Cotton (dim=3) generalise to that case, i.e. $g$ ...
user avatar
  • 143
6 votes
1 answer
341 views

Relationship between doubling constant of a metric space and of a metric measure space

Let $(X,d,m)$ be a metric measure space. We say that it is doubling in the sense of metric spaces if for every: $x\in X$ and every $r>0$ there exists some (metric) doubling constant $C_d\geq 0$ ...
user avatar
7 votes
1 answer
148 views

Currents in sub-Riemannian geometry

Federer and Fleming's notion of "currents" is well established so far, and starting from the seminal work of Ambrosio and Kirchheim, the notion of metric currents is well studied also. The ...
user avatar
  • 215
3 votes
0 answers
89 views

Homogeneous Carnot group, its Lie algebra and Carnot-Carathéodory ball

Background: Let the smooth vector fields $X=(X_1,\cdots,X_m)$ define on $\mathbb{R}^n$ and they satisfy the following assumption: (H1): There is a dilation structure $$\delta_{t}:\mathbb{R}^n\to \...
user avatar
  • 409
7 votes
2 answers
256 views

How to find equations of a sub-Riemannian problem

I am working on sub-Riemannian geometry and try to understand what are the tools to find the equations of a sub-Riemannian problem. Here is an example: Let us consider the system defined by a ...
user avatar
  • 137
5 votes
3 answers
814 views

Proof of Rashevskii-Chow theorem

I'm looking for a good quotation and comprehensive explaination of the theorem of Chow-Rashewski. I'm writing my thesis on sub-Riemannian Geometry and a special control problem. Therefore I want to ...
user avatar
2 votes
1 answer
150 views

A metric naturally arise from the Euclidean symplectic structure?

For $n>1$ let $\omega=\sum_{i=1}^n dx_i\wedge dy_i$ be the standard symplectic structure on $\mathbb{R}^{2n}=\mathbb{R}^n \times \mathbb{R}^n$. We define the following distribution $D$ on $\mathbb{...
user avatar
0 votes
1 answer
97 views

Signature Map From $p$-Geometric Rough Paths to $T(\mathbb{R})$

Let $f:[0,T]\rightarrow \mathbb{R}^d$ be a p-geometric rough path and let $\mathcal{G}_p^d$ be the collection of all such paths. Does the Lyons signature map define a continuous bijection between $\...
user avatar
  • 4,997
8 votes
1 answer
280 views

Is $C^{\infty}(M)$ dense in weighted Sobolev space $W_{X}^{1}(M)$?

Let $M$ be a compact manifold without boudary and let $X_{1},\ldots,X_{m}$ be smooth vector fields on $M$. Consider the following weighted Sobolev space: $$ W_{X}^{1}(M)=\{f\in L^{2}(M)|X_{j}f\in L^2(...
user avatar
  • 203
7 votes
0 answers
169 views

On the diameter of left-invariant sub-Riemannian structures on a compact Lie group

Let $G$ be a compact connected Lie group with Lie algebra $\mathfrak g$ of dimension $m$. We fix an inner product $\langle\cdot,\cdot\rangle$ on $\mathfrak g$. We may assume (in case is necessary) ...
user avatar
  • 2,148
1 vote
1 answer
95 views

When are Carnot groups negatively curved and homeomorphic to Euclidean space

When are Carnot groups complete and negatively curved (in the sense of $CAT(\kappa)$ spaces)?
user avatar
  • 4,997
1 vote
1 answer
134 views

Doubling constant of Carnot group

This post shows that every Carnot group is a doubling metric space. However, what is its doubling constant?
user avatar
  • 4,997
21 votes
1 answer
794 views

Carnot-Carathéodory metric

The metric in sub-Riemannian geometry is often called the Carnot-Carathéodory metric. Question 1. What is the origin of this name? Who was the first to introduce it? I believe that the "...
user avatar
4 votes
1 answer
255 views

Heisenberg groups, Carnot groups and contact forms

The horizontal distribution in the Heisenberg group is the kernel of the standard contact form: $$ \alpha = dt + 2 \sum_{j=1}^n (x_j \, dy_j - y_j \, dx_j). $$ Question. Can one describe ...
user avatar
2 votes
0 answers
71 views

Solution of lift spinor

Let $\pi:M\to X$ be a fibration map between two spin manifolds, i.e. the fiber $\pi^{-1}(x)$ is a manifold, suppose $s:X\to M$ is an embedding. Let $\Phi$ be a solution of Dirac equation, i.e. $D^X\...
user avatar
  • 1,875
3 votes
0 answers
205 views

A question about a paper of Bismut and Lebeau

Let $X$ be a Riemannian manifold, and $Y\hookrightarrow X$ be a closed submanifold of $X$ with normal bundle $N$ with the induced metric. Then near $Y$, we have $$dv_X(y,Z)=k(y,Z)dv_Y(y)dv_{N_y}(Z),$$...
user avatar
  • 1,875
1 vote
0 answers
91 views

"Quasiconformal" projections from Heisenberg group to the plane

Let $G$ be the 3-dimensional Heisenberg group equipped with its Carnot-Caratheodory subriemannian metric $d_{G}$. Let $U$ be a domain in $G$ of the form $V \times I$, where $V$ is an open subset of $\...
user avatar
  • 179
1 vote
1 answer
173 views

A possible sub-Riemannian structure associated to a non-symmetric matrix

Let $A=(a_{ij})$ be an invertible matrix with real entries $a_{ij}$. We associate to $A$ the $1$-form $\alpha=\sum_i (\sum_j a_{ij}x_j)dx_i$. The distribution $\ker \alpha$ is integrable if and ...
user avatar
1 vote
0 answers
64 views

Ahlfors regular path metric defined by a continuous plane field in $\mathbb{R}^{3}$

Suppose I have a uniformly Holder continuous plane field $H$ on $\mathbb{R}^{3}$. I will assume that this plane field $H$ has many special properties, all of which are completely unreasonable to ...
user avatar
  • 179
1 vote
0 answers
98 views

Asymptotic cone of discrete group of Heisenberg group $\mathbb{H}^3$

Note that $(\mathbb{Z}^2,d_W)$ where $d_W$ is word metric has asymptotic cone $$(\mathbb{R}^2,\| \ \|_1)=\lim_{t>0\rightarrow 0}\ t(\mathbb{Z}^2,d_W)$$ And Heisenberg group $\mathbb{H}^3$ has an ...
user avatar
  • 1,018
13 votes
3 answers
867 views

Explicit formulas for Carnot-Carathéodory distances on Carnot groups

Let $G$ be a Carnot group (aka stratified group), so that $G$ is a connected and simply connected finite-dimensonal Lie group, whose Lie algebra $\mathfrak{g}$ admits a decomposition $\mathfrak{g} = ...
user avatar
2 votes
1 answer
108 views

Integrability of direct sum of some integrable distributions

Let $M$ be a smooth manifold and let $\Delta _i$ for $i=1,...,k$ be distributions of $TM$ which are integrable such that $\Delta_i \cap \Delta _j$ is zero distribution for $i \neq j$. Suppose $\Delta ...
user avatar
3 votes
1 answer
533 views

how to use the sobolev inequality to obtain the embedding theorem

I am reading Luca Capogna's article An Embedding theorem and the Harnack inequalitiy for nonlinear subelliptic equations. In this article, the authors proved the following theorem (Theorem 2.3) Let ...
user avatar
  • 203
2 votes
1 answer
264 views

The relationship about sub-unit ball and sub-elliptic ball

Let $\Omega$ be a bounded open domain in $\mathbb{R}^{n}$ with smooth boundary.$\{X_{1},\cdots,X_{m}\}$ be smooth real vector fields on $\Omega$ Which satisfy the Hormander condition. If $\gamma$ is ...
user avatar
  • 203
4 votes
0 answers
146 views

Estimation on Carnot-Carathéodory metric induced on $\mathbb{R}^3$ by Martinet vector fields

At page 763 of Trace theorems for vector fields - R. Monti, D. Morbidelli the Carnot-Carathéodory metric $d$ induced on $\mathbb{R}^2$ by the vector fields $$X_1 = \partial_x \ \text{ and } \ X_2 = |...
user avatar
0 votes
1 answer
73 views

quasi-conformal embedding of Carnot group into euclidean space

By Pansu's theorem, there are no bi-Lipschitz embeddings of Carnot groups (with exception of the Euclidean space itself) into Euclidean space. Do there exist quasi-conformal embeddings (into Eucl. sp.)...
user avatar
7 votes
1 answer
294 views

Horizontal distribution of a totally geodesic foliation

Let $\mathbb{M}$ be a $n+m$ dimensional manifold. Consider on $\mathbb{M}$ a rank $n$ sub-bundle $\mathcal{H}$ of the tangent bundle. We assume that $\mathcal{H}$ is endowed with a fiber wise inner ...
user avatar
6 votes
2 answers
296 views

Are rays in Carnot groups straight?

A famous open problem in Geometric Control Theory and in the study of sub-Riemannian manifolds is whether constant-speed length minimizers in a sub-Riemannian manifold are always smooth (see also this ...
user avatar
  • 2,976
2 votes
1 answer
127 views

Volume of the subelliptic ball

Let $\Omega \in \mathbb{R}^n$ a bounded open set when $n\geq 2$, and let $X_{1},X_{2},\cdots,X_{m}$ be real smooth vector fields that satisfy Hormander condition on $\Omega$. If we denote $Q(x)$ as ...
user avatar
4 votes
2 answers
197 views

Is $\mathbb{P}T^*M$ a sub-Riemannian manifold if $M$ is Riemannian?

(this question is about a particular aspect of a previous question, which was not duly stressed) Let $(M,g)$ a Riemannian $n$-dimensional manifold, and let $$ \widetilde{M}:=\mathbb{P}T^*M $$ be the $...
user avatar
6 votes
1 answer
2k views

Difference between the Laplacian and the sub-Laplacian of a Lie group

Given a Lie group $G$, what is the difference between the Laplacian $\Delta$ and the sub-Laplacian $\Delta_{sub}$ of $G$. And what are the properties that we lose when going from sub-Laplace to ...
user avatar
  • 630
5 votes
0 answers
246 views

Regularity of the distance from the boundary in singular riemannian manifolds

I am looking for references related with the regularity of the distance from the boundary in singular Riemannian manifolds. I assume the following setting. $(M,g)$ is a Riemannian manifold, with ...
user avatar
  • 3,033
4 votes
1 answer
438 views

Is this distribution completely non integrable?

We consider the usual Riemannian metric on $S^{n}$. Its corresponding LC connection gives us a distribution on $TS^{n}$. Is this distribution completely nonintegrable? In general, what type of ...
user avatar
4 votes
1 answer
191 views

dirichlet problem in the heisenberg group

Good morning everybody. I was looking just for a quick reference to know whether the Dirichlet problem has a solution in the Heisenberg group, that is $\mathbb R^3$ endowed with coordinates $(x,y,z)$ ...
user avatar
6 votes
0 answers
195 views

On Holonomy in (regular) Riemannian Foliations

Right now, I am trying to understanding the role of holonomy fields on Riemannian foliations, which lead me to the following (probably topological) groupoid: Let $\mathcal{F}\subset M$ be a ...
user avatar
  • 369
1 vote
2 answers
327 views

Principal bundles and Subriemannian Geometry

In sub-Riemannian geometry, one considers manifolds $P$ equipped with a subbundle $\mathcal{H}$ of $TP$, the horizontal distribution. One then has a Riemannian metric only on this distribution $\...
user avatar
4 votes
1 answer
257 views

Horizontal Sobolev space on Carnot group

This question is connected with my previous: Heisenberg group: function without vertical derivative. Here I am trying to look from another side: what is a difference between Sobolev space and ...
user avatar
8 votes
0 answers
379 views

Heisenberg group: function without vertical derivative

Let $\mathbb H$ be Heisenberg group with vector fields $$ X=\partial_x - \frac12y\partial_t,\quad Y=\partial_y + \frac12x\partial_t,\quad T=\partial_t $$ and $U\subset\mathbb H$ is an open set. I am ...
user avatar
15 votes
1 answer
343 views

bi-Lipschitz gluing

Let $H$ be the Heisenberg group with left invariant sub-Riemannian metric and $\varepsilon>0$ is small. Let us denote by $|x-y|_H$ the distance from $x$ to $y$ in $H$. I have a bi-Lipschitz ...
user avatar
3 votes
2 answers
281 views

Length of non-horizontal curve

Let $M$ be a sub-Riemannian space. Consider a smooth curve $\gamma:[0,1]\to M$ such that $\dot\gamma(t)\not\in H_{\gamma(t)}$, where $H_{\gamma(t)}$ is the horizontal subbundle ( i.e. $\gamma$ is ...
user avatar
9 votes
2 answers
647 views

Why is proving $C^{\infty}$ regularity of sub Riemannian geodesics so hard?

In Montgomery's A Tour of Subriemannian Geometries, Their Geodesics and Applications, problem 10.1 in Chapter 10 asks "Is every minimizing geodesic smooth ?". Can someone explain what are the major ...
user avatar
6 votes
0 answers
166 views

The Tangent Bundle of the Space of CR Structures on S^(2n+1)

Let $M$ be a smooth compact $n$-manifold without boundary, $g$ some choice of Riemannian metric on $M$, and $\omega_g$ the volume form gotten from $g$. Say you're interested in finding extrema for ...
user avatar
4 votes
2 answers
328 views

Converse to Chow's theorem in sub-riemannian geometry

Chow's theorem is the statement that if $M$ is a connected smooth manifold endowed with a distribution $\mathcal{D}$ which is completely non integrable (i.e. iterated commutators of smooth sections of ...
user avatar
4 votes
3 answers
957 views

Ball-Box Theorem and Sequence of Distributions

Let $(e^k,g^k)$ be a sequence of 2d smooth distributions in $R^3$ (with Euclidean metric) s.t $e^k,g^k$ are orthogonal. Let $f^k$ normal direction to this distribution. Suppose $[e^k,g^k] \neq 0 $ on ...
user avatar
  • 419
7 votes
3 answers
1k views

Open problems in sub-Riemannian geometry

What are some open problems in sub-Riemannian geometry? I am interested especially in problems concerning connections and curvature, but any contribution is welcomed.
user avatar