Questions tagged [sub-riemannian-geometry]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2
votes
1answer
142 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{...
1
vote
1answer
67 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
1answer
167 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
0answers
157 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
1answer
88 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
1answer
91 views

Doubling constant of Carnot group

This post shows that every Carnot group is a doubling metric space. However, what is its doubling constant?
16
votes
1answer
464 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
1answer
199 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
0answers
68 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
0answers
196 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
0answers
87 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
1answer
162 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
0answers
61 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
0answers
82 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
3answers
607 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
1answer
92 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
1answer
491 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 ...
3
votes
1answer
161 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
0answers
132 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
1answer
63 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
1answer
283 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
2answers
264 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
1answer
116 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
2answers
191 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
1answer
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
0answers
230 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
1answer
358 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
1answer
173 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
0answers
164 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
2answers
287 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
1answer
233 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
0answers
362 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
1answer
296 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
2answers
272 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
2answers
599 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 ...
5
votes
0answers
159 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
2answers
295 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
3answers
766 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
3answers
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.