Heisenberg groups, Carnot groups and contact forms
$begingroup$
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 horizontal distribution in any Carnot group in terms of kernels of some $1$-forms?
I believe the answer should be in the positive and I am looking for references for explicit constructions of such forms so that in the case of the Heisenberg group these constructions would give the contact form.
lie-groups sub-riemannian-geometry heisenberg-groups
$endgroup$
add a comment |
$begingroup$
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 horizontal distribution in any Carnot group in terms of kernels of some $1$-forms?
I believe the answer should be in the positive and I am looking for references for explicit constructions of such forms so that in the case of the Heisenberg group these constructions would give the contact form.
lie-groups sub-riemannian-geometry heisenberg-groups
$endgroup$
add a comment |
$begingroup$
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 horizontal distribution in any Carnot group in terms of kernels of some $1$-forms?
I believe the answer should be in the positive and I am looking for references for explicit constructions of such forms so that in the case of the Heisenberg group these constructions would give the contact form.
lie-groups sub-riemannian-geometry heisenberg-groups
$endgroup$
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 horizontal distribution in any Carnot group in terms of kernels of some $1$-forms?
I believe the answer should be in the positive and I am looking for references for explicit constructions of such forms so that in the case of the Heisenberg group these constructions would give the contact form.
lie-groups sub-riemannian-geometry heisenberg-groups
lie-groups sub-riemannian-geometry heisenberg-groups
asked 5 hours ago
Piotr HajlaszPiotr Hajlasz
8,57142867
8,57142867
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
The distribution on any Carnot group is left invariant, so pick any set of differential forms at the origin that annihilates the distribution at that point, then left translate it to give a global set of one forms whose kernel is the distribution.
On the Heisenberg group this procedures gives a scalar multiple of the standard contact form.
$endgroup$
$begingroup$
Thank, you that was very simple.
$endgroup$
– Piotr Hajlasz
4 hours ago
$begingroup$
At the origin this are just linear forms on the tangent space. You get (left-invariant) differential forms once you translate.
$endgroup$
– YCor
2 hours ago
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "504"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f322906%2fheisenberg-groups-carnot-groups-and-contact-forms%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The distribution on any Carnot group is left invariant, so pick any set of differential forms at the origin that annihilates the distribution at that point, then left translate it to give a global set of one forms whose kernel is the distribution.
On the Heisenberg group this procedures gives a scalar multiple of the standard contact form.
$endgroup$
$begingroup$
Thank, you that was very simple.
$endgroup$
– Piotr Hajlasz
4 hours ago
$begingroup$
At the origin this are just linear forms on the tangent space. You get (left-invariant) differential forms once you translate.
$endgroup$
– YCor
2 hours ago
add a comment |
$begingroup$
The distribution on any Carnot group is left invariant, so pick any set of differential forms at the origin that annihilates the distribution at that point, then left translate it to give a global set of one forms whose kernel is the distribution.
On the Heisenberg group this procedures gives a scalar multiple of the standard contact form.
$endgroup$
$begingroup$
Thank, you that was very simple.
$endgroup$
– Piotr Hajlasz
4 hours ago
$begingroup$
At the origin this are just linear forms on the tangent space. You get (left-invariant) differential forms once you translate.
$endgroup$
– YCor
2 hours ago
add a comment |
$begingroup$
The distribution on any Carnot group is left invariant, so pick any set of differential forms at the origin that annihilates the distribution at that point, then left translate it to give a global set of one forms whose kernel is the distribution.
On the Heisenberg group this procedures gives a scalar multiple of the standard contact form.
$endgroup$
The distribution on any Carnot group is left invariant, so pick any set of differential forms at the origin that annihilates the distribution at that point, then left translate it to give a global set of one forms whose kernel is the distribution.
On the Heisenberg group this procedures gives a scalar multiple of the standard contact form.
edited 4 hours ago
answered 5 hours ago
RazielRaziel
2,08411425
2,08411425
$begingroup$
Thank, you that was very simple.
$endgroup$
– Piotr Hajlasz
4 hours ago
$begingroup$
At the origin this are just linear forms on the tangent space. You get (left-invariant) differential forms once you translate.
$endgroup$
– YCor
2 hours ago
add a comment |
$begingroup$
Thank, you that was very simple.
$endgroup$
– Piotr Hajlasz
4 hours ago
$begingroup$
At the origin this are just linear forms on the tangent space. You get (left-invariant) differential forms once you translate.
$endgroup$
– YCor
2 hours ago
$begingroup$
Thank, you that was very simple.
$endgroup$
– Piotr Hajlasz
4 hours ago
$begingroup$
Thank, you that was very simple.
$endgroup$
– Piotr Hajlasz
4 hours ago
$begingroup$
At the origin this are just linear forms on the tangent space. You get (left-invariant) differential forms once you translate.
$endgroup$
– YCor
2 hours ago
$begingroup$
At the origin this are just linear forms on the tangent space. You get (left-invariant) differential forms once you translate.
$endgroup$
– YCor
2 hours ago
add a comment |
Thanks for contributing an answer to MathOverflow!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f322906%2fheisenberg-groups-carnot-groups-and-contact-forms%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown