# Questions tagged [sub-riemannian-geometry]

The sub-riemannian-geometry tag has no usage guidance.

41
questions

**7**

votes

**2**answers

223 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 ...

**4**

votes

**3**answers

616 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 ...

**2**

votes

**1**answer

148 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{...

**0**

votes

**1**answer

87 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
$\...

**8**

votes

**1**answer

212 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(...

**7**

votes

**0**answers

161 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) ...

**1**

vote

**1**answer

90 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)?

**1**

vote

**1**answer

104 views

### Doubling constant of Carnot group

This post shows that every Carnot group is a doubling metric space. However, what is its doubling constant?

**17**

votes

**1**answer

596 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 "...

**3**

votes

**1**answer

219 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 ...

**2**

votes

**0**answers

69 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\...

**3**

votes

**0**answers

202 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),$$...

**1**

vote

**0**answers

88 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 $\...

**1**

vote

**1**answer

167 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 ...

**1**

vote

**0**answers

62 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 ...

**1**

vote

**0**answers

90 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 ...

**12**

votes

**3**answers

716 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} = ...

**2**

votes

**1**answer

101 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 ...

**3**

votes

**1**answer

511 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 ...

**2**

votes

**1**answer

195 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 ...

**4**

votes

**0**answers

142 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 = |...

**0**

votes

**1**answer

72 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.)...

**7**

votes

**1**answer

285 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 ...

**6**

votes

**2**answers

279 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 ...

**2**

votes

**1**answer

119 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 ...

**4**

votes

**2**answers

196 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 $...

**6**

votes

**1**answer

1k 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 ...

**5**

votes

**0**answers

241 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 ...

**4**

votes

**1**answer

399 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 ...

**3**

votes

**1**answer

181 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)$ ...

**6**

votes

**0**answers

173 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 ...

**1**

vote

**2**answers

309 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 $\...

**4**

votes

**1**answer

248 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 ...

**8**

votes

**0**answers

373 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 ...

**15**

votes

**1**answer

327 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 ...

**3**

votes

**2**answers

278 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 ...

**8**

votes

**2**answers

624 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 ...

**6**

votes

**0**answers

164 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 ...

**3**

votes

**2**answers

308 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 ...

**4**

votes

**3**answers

847 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 ...

**5**

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.