Automorphisms of which structure form a Lie groupoidWhat is the local structure of a Lie groupoid?Is there a “geometric” language that describes the equivalence groupoid of a foliated manifold?What are the possible symplectic structures on a given Lie groupoid?When are $k$-sectors of a Lie groupoid a manifold?Integrating representations of Lie algebroidsIsotropy group of a Lie groupoid is a Lie groupCondition on a Lie groupoid to be represented by manifold/group or an action groupoidStack associated to Lie group and manifoldLie groupoid cohomologyIsotropy subgroupoid of a regular Lie groupoid
Automorphisms of which structure form a Lie groupoid
What is the local structure of a Lie groupoid?Is there a “geometric” language that describes the equivalence groupoid of a foliated manifold?What are the possible symplectic structures on a given Lie groupoid?When are $k$-sectors of a Lie groupoid a manifold?Integrating representations of Lie algebroidsIsotropy group of a Lie groupoid is a Lie groupCondition on a Lie groupoid to be represented by manifold/group or an action groupoidStack associated to Lie group and manifoldLie groupoid cohomologyIsotropy subgroupoid of a regular Lie groupoid
$begingroup$
Given a manifold $M$, the collection of all automorphisms of $M$, denoted by $textAut(M)$ forms a Lie group.
Do we have similar setting in case of Lie groupoid?
Is there "a structure" whose "automorphisms" forms a Lie groupoid?
dg.differential-geometry lie-groupoids
$endgroup$
|
show 5 more comments
$begingroup$
Given a manifold $M$, the collection of all automorphisms of $M$, denoted by $textAut(M)$ forms a Lie group.
Do we have similar setting in case of Lie groupoid?
Is there "a structure" whose "automorphisms" forms a Lie groupoid?
dg.differential-geometry lie-groupoids
$endgroup$
$begingroup$
I have checked examples from some books and some online notes.. I could not find any thing related to "automorphisms" of "a structure" forming a Lie groupoid...
$endgroup$
– Praphulla Koushik
May 24 at 6:29
$begingroup$
what is a manifold, and an automorphism of a manifold? Do you mean specifically smooth manifolds and self-diffeomorphisms?
$endgroup$
– user140765
May 24 at 6:51
$begingroup$
Well, automorphisms are by definition self-maps, i.e. maps from something to itself, while somehow the notion of groupoid is precisely designed to encodes isomorphisms between different things as well. So you might want to look e.g. at a collection of manifolds instead.
$endgroup$
– Adrien
May 24 at 6:53
$begingroup$
@kartop_man I think Adrien answers about self maps.. I mean smooth manifold...
$endgroup$
– Praphulla Koushik
May 24 at 6:57
2
$begingroup$
Automorphisms will always form a group. To get a groupoid, you should consider isomorphisms between various objects and not a single structure.
$endgroup$
– YCor
May 24 at 7:03
|
show 5 more comments
$begingroup$
Given a manifold $M$, the collection of all automorphisms of $M$, denoted by $textAut(M)$ forms a Lie group.
Do we have similar setting in case of Lie groupoid?
Is there "a structure" whose "automorphisms" forms a Lie groupoid?
dg.differential-geometry lie-groupoids
$endgroup$
Given a manifold $M$, the collection of all automorphisms of $M$, denoted by $textAut(M)$ forms a Lie group.
Do we have similar setting in case of Lie groupoid?
Is there "a structure" whose "automorphisms" forms a Lie groupoid?
dg.differential-geometry lie-groupoids
dg.differential-geometry lie-groupoids
edited May 24 at 15:19
Praphulla Koushik
asked May 24 at 6:28
Praphulla KoushikPraphulla Koushik
1,2241626
1,2241626
$begingroup$
I have checked examples from some books and some online notes.. I could not find any thing related to "automorphisms" of "a structure" forming a Lie groupoid...
$endgroup$
– Praphulla Koushik
May 24 at 6:29
$begingroup$
what is a manifold, and an automorphism of a manifold? Do you mean specifically smooth manifolds and self-diffeomorphisms?
$endgroup$
– user140765
May 24 at 6:51
$begingroup$
Well, automorphisms are by definition self-maps, i.e. maps from something to itself, while somehow the notion of groupoid is precisely designed to encodes isomorphisms between different things as well. So you might want to look e.g. at a collection of manifolds instead.
$endgroup$
– Adrien
May 24 at 6:53
$begingroup$
@kartop_man I think Adrien answers about self maps.. I mean smooth manifold...
$endgroup$
– Praphulla Koushik
May 24 at 6:57
2
$begingroup$
Automorphisms will always form a group. To get a groupoid, you should consider isomorphisms between various objects and not a single structure.
$endgroup$
– YCor
May 24 at 7:03
|
show 5 more comments
$begingroup$
I have checked examples from some books and some online notes.. I could not find any thing related to "automorphisms" of "a structure" forming a Lie groupoid...
$endgroup$
– Praphulla Koushik
May 24 at 6:29
$begingroup$
what is a manifold, and an automorphism of a manifold? Do you mean specifically smooth manifolds and self-diffeomorphisms?
$endgroup$
– user140765
May 24 at 6:51
$begingroup$
Well, automorphisms are by definition self-maps, i.e. maps from something to itself, while somehow the notion of groupoid is precisely designed to encodes isomorphisms between different things as well. So you might want to look e.g. at a collection of manifolds instead.
$endgroup$
– Adrien
May 24 at 6:53
$begingroup$
@kartop_man I think Adrien answers about self maps.. I mean smooth manifold...
$endgroup$
– Praphulla Koushik
May 24 at 6:57
2
$begingroup$
Automorphisms will always form a group. To get a groupoid, you should consider isomorphisms between various objects and not a single structure.
$endgroup$
– YCor
May 24 at 7:03
$begingroup$
I have checked examples from some books and some online notes.. I could not find any thing related to "automorphisms" of "a structure" forming a Lie groupoid...
$endgroup$
– Praphulla Koushik
May 24 at 6:29
$begingroup$
I have checked examples from some books and some online notes.. I could not find any thing related to "automorphisms" of "a structure" forming a Lie groupoid...
$endgroup$
– Praphulla Koushik
May 24 at 6:29
$begingroup$
what is a manifold, and an automorphism of a manifold? Do you mean specifically smooth manifolds and self-diffeomorphisms?
$endgroup$
– user140765
May 24 at 6:51
$begingroup$
what is a manifold, and an automorphism of a manifold? Do you mean specifically smooth manifolds and self-diffeomorphisms?
$endgroup$
– user140765
May 24 at 6:51
$begingroup$
Well, automorphisms are by definition self-maps, i.e. maps from something to itself, while somehow the notion of groupoid is precisely designed to encodes isomorphisms between different things as well. So you might want to look e.g. at a collection of manifolds instead.
$endgroup$
– Adrien
May 24 at 6:53
$begingroup$
Well, automorphisms are by definition self-maps, i.e. maps from something to itself, while somehow the notion of groupoid is precisely designed to encodes isomorphisms between different things as well. So you might want to look e.g. at a collection of manifolds instead.
$endgroup$
– Adrien
May 24 at 6:53
$begingroup$
@kartop_man I think Adrien answers about self maps.. I mean smooth manifold...
$endgroup$
– Praphulla Koushik
May 24 at 6:57
$begingroup$
@kartop_man I think Adrien answers about self maps.. I mean smooth manifold...
$endgroup$
– Praphulla Koushik
May 24 at 6:57
2
2
$begingroup$
Automorphisms will always form a group. To get a groupoid, you should consider isomorphisms between various objects and not a single structure.
$endgroup$
– YCor
May 24 at 7:03
$begingroup$
Automorphisms will always form a group. To get a groupoid, you should consider isomorphisms between various objects and not a single structure.
$endgroup$
– YCor
May 24 at 7:03
|
show 5 more comments
2 Answers
2
active
oldest
votes
$begingroup$
Here is a construction due to Ehresmann, and covered in detail by Mackenzie in either of his Lie groupoids books.
Take a principal $G$-bundle, $picolon Pto M$, everything here in smooth manifolds. Then there is a Lie groupoid with object manifold $M$ and and a morphism from $m_1$ to $m_2$ is a triple $(m_1,m_2,phi)$ where $phi$ is an isomorphism $phicolon P_m_1 stackrelsimeqto P_m_2$. This collection of morphisms has the structure of a smooth manifold, and the functions $(m_1,m_2,phi) mapsto m_i$ are surjective submersions. Composition is smooth, and inversion is $(m_1,m_2,phi)mapsto (m_2,m_1,phi^-1)$. This gives a Lie groupoid.
In slightly more detail, the collection of all isomorphisms $P_m_1 stackrelsimeqto P_m_2$ forms a manifold diffeomorphic to the underlying manifold of $G$. The only hard part is to see how these are collected up into a single manifold. One can look locally around $m_1$ and $m_2$, where $P$ is trivial, and then you are looking at isomorphisms of trivial bundles, which are essentially parametrised collections of automorphisms of $G$ as a $G$-space (so, not as a group). The arrow manifold of this Lie groupoid is isomorphic to the quotient of $Ptimes P$ by the diagonal action of $G$, namely $(p_1,p_2) mapsto (p_1g,p_2g)$. The source and target maps are given by $[p_1,p_2]mapsto pi(p_i)$. (Edited to confirm and correct this definition).
The automorphisms $Xstackrelsimeqto X$ of a single object $X$ will never give rise to a Lie groupoid that has more than one object, since you somehow need to break being able to always compose automorphisms.
$endgroup$
$begingroup$
Thanks. So, you are not considering the collection of automorphisms of the fibre bundle.. You are considering the collection of isomorphism of fibres $E_xxrightarrow cong E_y$.. This is not what I expected but I am ok with this... This seems to be reasonable version of automorphisms
$endgroup$
– Praphulla Koushik
May 24 at 8:04
$begingroup$
You might also wish to look at the Lie groupoids of germes of semigroups of local diffeomorphisms, say arising from foliations, eg math.toronto.edu/mein/teaching/MAT1341_LieGroupoids/…
$endgroup$
– David Roberts
May 25 at 0:20
$begingroup$
Thanks thanks... I will see that also..
$endgroup$
– Praphulla Koushik
May 25 at 5:58
add a comment |
$begingroup$
Just some quick addenda to David's comments:
You can see that the automorphisms of a Lie groupoid do not form a richer (groupoid) structure in some more specialised examples. It is well known that proper etale Lie groupoids are a Lie groupoid formulation of orbifolds (they are often called orbifold groupoids). Now their automorphisms corresponds to the group of orbifold diffeomorphisms and these can be turned into an infinite dimensional Lie group (this was the whole point of my PhD thesis, see The diffeomorphism group of a non-compact orbifold). The point is that these objects really form a group and not some higher structure like a groupoid or a $2$-Lie group.
In the literature people have considered groups of smooth maps on the arrow space of a Lie groupoid. Basically you look at diffeomorphisms $operatornameDiff(G)$ which preserve source and target fibres. Again this yields groups not groupoids and has the advantage that the bisection group of the Lie groupoid identifies a subgroup of the automorphism group, called the inner automorphisms (by sending a bisection to the associated left translation). To my knowledge no smooth structure has yet been constructed on this automorphism group in general (though it seems to be an interesting question if there is one).
For more references let me sneak in my recent paper The Lie group of vertical bisections of a regular Lie groupoid. The references can be found in the introduction together with an explanation of how this is related to the automorphism group.
$endgroup$
$begingroup$
Thanks.. I will see the paper :)
$endgroup$
– Praphulla Koushik
May 24 at 8:10
add a comment |
Your Answer
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%2f332354%2fautomorphisms-of-which-structure-form-a-lie-groupoid%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Here is a construction due to Ehresmann, and covered in detail by Mackenzie in either of his Lie groupoids books.
Take a principal $G$-bundle, $picolon Pto M$, everything here in smooth manifolds. Then there is a Lie groupoid with object manifold $M$ and and a morphism from $m_1$ to $m_2$ is a triple $(m_1,m_2,phi)$ where $phi$ is an isomorphism $phicolon P_m_1 stackrelsimeqto P_m_2$. This collection of morphisms has the structure of a smooth manifold, and the functions $(m_1,m_2,phi) mapsto m_i$ are surjective submersions. Composition is smooth, and inversion is $(m_1,m_2,phi)mapsto (m_2,m_1,phi^-1)$. This gives a Lie groupoid.
In slightly more detail, the collection of all isomorphisms $P_m_1 stackrelsimeqto P_m_2$ forms a manifold diffeomorphic to the underlying manifold of $G$. The only hard part is to see how these are collected up into a single manifold. One can look locally around $m_1$ and $m_2$, where $P$ is trivial, and then you are looking at isomorphisms of trivial bundles, which are essentially parametrised collections of automorphisms of $G$ as a $G$-space (so, not as a group). The arrow manifold of this Lie groupoid is isomorphic to the quotient of $Ptimes P$ by the diagonal action of $G$, namely $(p_1,p_2) mapsto (p_1g,p_2g)$. The source and target maps are given by $[p_1,p_2]mapsto pi(p_i)$. (Edited to confirm and correct this definition).
The automorphisms $Xstackrelsimeqto X$ of a single object $X$ will never give rise to a Lie groupoid that has more than one object, since you somehow need to break being able to always compose automorphisms.
$endgroup$
$begingroup$
Thanks. So, you are not considering the collection of automorphisms of the fibre bundle.. You are considering the collection of isomorphism of fibres $E_xxrightarrow cong E_y$.. This is not what I expected but I am ok with this... This seems to be reasonable version of automorphisms
$endgroup$
– Praphulla Koushik
May 24 at 8:04
$begingroup$
You might also wish to look at the Lie groupoids of germes of semigroups of local diffeomorphisms, say arising from foliations, eg math.toronto.edu/mein/teaching/MAT1341_LieGroupoids/…
$endgroup$
– David Roberts
May 25 at 0:20
$begingroup$
Thanks thanks... I will see that also..
$endgroup$
– Praphulla Koushik
May 25 at 5:58
add a comment |
$begingroup$
Here is a construction due to Ehresmann, and covered in detail by Mackenzie in either of his Lie groupoids books.
Take a principal $G$-bundle, $picolon Pto M$, everything here in smooth manifolds. Then there is a Lie groupoid with object manifold $M$ and and a morphism from $m_1$ to $m_2$ is a triple $(m_1,m_2,phi)$ where $phi$ is an isomorphism $phicolon P_m_1 stackrelsimeqto P_m_2$. This collection of morphisms has the structure of a smooth manifold, and the functions $(m_1,m_2,phi) mapsto m_i$ are surjective submersions. Composition is smooth, and inversion is $(m_1,m_2,phi)mapsto (m_2,m_1,phi^-1)$. This gives a Lie groupoid.
In slightly more detail, the collection of all isomorphisms $P_m_1 stackrelsimeqto P_m_2$ forms a manifold diffeomorphic to the underlying manifold of $G$. The only hard part is to see how these are collected up into a single manifold. One can look locally around $m_1$ and $m_2$, where $P$ is trivial, and then you are looking at isomorphisms of trivial bundles, which are essentially parametrised collections of automorphisms of $G$ as a $G$-space (so, not as a group). The arrow manifold of this Lie groupoid is isomorphic to the quotient of $Ptimes P$ by the diagonal action of $G$, namely $(p_1,p_2) mapsto (p_1g,p_2g)$. The source and target maps are given by $[p_1,p_2]mapsto pi(p_i)$. (Edited to confirm and correct this definition).
The automorphisms $Xstackrelsimeqto X$ of a single object $X$ will never give rise to a Lie groupoid that has more than one object, since you somehow need to break being able to always compose automorphisms.
$endgroup$
$begingroup$
Thanks. So, you are not considering the collection of automorphisms of the fibre bundle.. You are considering the collection of isomorphism of fibres $E_xxrightarrow cong E_y$.. This is not what I expected but I am ok with this... This seems to be reasonable version of automorphisms
$endgroup$
– Praphulla Koushik
May 24 at 8:04
$begingroup$
You might also wish to look at the Lie groupoids of germes of semigroups of local diffeomorphisms, say arising from foliations, eg math.toronto.edu/mein/teaching/MAT1341_LieGroupoids/…
$endgroup$
– David Roberts
May 25 at 0:20
$begingroup$
Thanks thanks... I will see that also..
$endgroup$
– Praphulla Koushik
May 25 at 5:58
add a comment |
$begingroup$
Here is a construction due to Ehresmann, and covered in detail by Mackenzie in either of his Lie groupoids books.
Take a principal $G$-bundle, $picolon Pto M$, everything here in smooth manifolds. Then there is a Lie groupoid with object manifold $M$ and and a morphism from $m_1$ to $m_2$ is a triple $(m_1,m_2,phi)$ where $phi$ is an isomorphism $phicolon P_m_1 stackrelsimeqto P_m_2$. This collection of morphisms has the structure of a smooth manifold, and the functions $(m_1,m_2,phi) mapsto m_i$ are surjective submersions. Composition is smooth, and inversion is $(m_1,m_2,phi)mapsto (m_2,m_1,phi^-1)$. This gives a Lie groupoid.
In slightly more detail, the collection of all isomorphisms $P_m_1 stackrelsimeqto P_m_2$ forms a manifold diffeomorphic to the underlying manifold of $G$. The only hard part is to see how these are collected up into a single manifold. One can look locally around $m_1$ and $m_2$, where $P$ is trivial, and then you are looking at isomorphisms of trivial bundles, which are essentially parametrised collections of automorphisms of $G$ as a $G$-space (so, not as a group). The arrow manifold of this Lie groupoid is isomorphic to the quotient of $Ptimes P$ by the diagonal action of $G$, namely $(p_1,p_2) mapsto (p_1g,p_2g)$. The source and target maps are given by $[p_1,p_2]mapsto pi(p_i)$. (Edited to confirm and correct this definition).
The automorphisms $Xstackrelsimeqto X$ of a single object $X$ will never give rise to a Lie groupoid that has more than one object, since you somehow need to break being able to always compose automorphisms.
$endgroup$
Here is a construction due to Ehresmann, and covered in detail by Mackenzie in either of his Lie groupoids books.
Take a principal $G$-bundle, $picolon Pto M$, everything here in smooth manifolds. Then there is a Lie groupoid with object manifold $M$ and and a morphism from $m_1$ to $m_2$ is a triple $(m_1,m_2,phi)$ where $phi$ is an isomorphism $phicolon P_m_1 stackrelsimeqto P_m_2$. This collection of morphisms has the structure of a smooth manifold, and the functions $(m_1,m_2,phi) mapsto m_i$ are surjective submersions. Composition is smooth, and inversion is $(m_1,m_2,phi)mapsto (m_2,m_1,phi^-1)$. This gives a Lie groupoid.
In slightly more detail, the collection of all isomorphisms $P_m_1 stackrelsimeqto P_m_2$ forms a manifold diffeomorphic to the underlying manifold of $G$. The only hard part is to see how these are collected up into a single manifold. One can look locally around $m_1$ and $m_2$, where $P$ is trivial, and then you are looking at isomorphisms of trivial bundles, which are essentially parametrised collections of automorphisms of $G$ as a $G$-space (so, not as a group). The arrow manifold of this Lie groupoid is isomorphic to the quotient of $Ptimes P$ by the diagonal action of $G$, namely $(p_1,p_2) mapsto (p_1g,p_2g)$. The source and target maps are given by $[p_1,p_2]mapsto pi(p_i)$. (Edited to confirm and correct this definition).
The automorphisms $Xstackrelsimeqto X$ of a single object $X$ will never give rise to a Lie groupoid that has more than one object, since you somehow need to break being able to always compose automorphisms.
edited May 24 at 7:50
answered May 24 at 7:21
David RobertsDavid Roberts
18k464184
18k464184
$begingroup$
Thanks. So, you are not considering the collection of automorphisms of the fibre bundle.. You are considering the collection of isomorphism of fibres $E_xxrightarrow cong E_y$.. This is not what I expected but I am ok with this... This seems to be reasonable version of automorphisms
$endgroup$
– Praphulla Koushik
May 24 at 8:04
$begingroup$
You might also wish to look at the Lie groupoids of germes of semigroups of local diffeomorphisms, say arising from foliations, eg math.toronto.edu/mein/teaching/MAT1341_LieGroupoids/…
$endgroup$
– David Roberts
May 25 at 0:20
$begingroup$
Thanks thanks... I will see that also..
$endgroup$
– Praphulla Koushik
May 25 at 5:58
add a comment |
$begingroup$
Thanks. So, you are not considering the collection of automorphisms of the fibre bundle.. You are considering the collection of isomorphism of fibres $E_xxrightarrow cong E_y$.. This is not what I expected but I am ok with this... This seems to be reasonable version of automorphisms
$endgroup$
– Praphulla Koushik
May 24 at 8:04
$begingroup$
You might also wish to look at the Lie groupoids of germes of semigroups of local diffeomorphisms, say arising from foliations, eg math.toronto.edu/mein/teaching/MAT1341_LieGroupoids/…
$endgroup$
– David Roberts
May 25 at 0:20
$begingroup$
Thanks thanks... I will see that also..
$endgroup$
– Praphulla Koushik
May 25 at 5:58
$begingroup$
Thanks. So, you are not considering the collection of automorphisms of the fibre bundle.. You are considering the collection of isomorphism of fibres $E_xxrightarrow cong E_y$.. This is not what I expected but I am ok with this... This seems to be reasonable version of automorphisms
$endgroup$
– Praphulla Koushik
May 24 at 8:04
$begingroup$
Thanks. So, you are not considering the collection of automorphisms of the fibre bundle.. You are considering the collection of isomorphism of fibres $E_xxrightarrow cong E_y$.. This is not what I expected but I am ok with this... This seems to be reasonable version of automorphisms
$endgroup$
– Praphulla Koushik
May 24 at 8:04
$begingroup$
You might also wish to look at the Lie groupoids of germes of semigroups of local diffeomorphisms, say arising from foliations, eg math.toronto.edu/mein/teaching/MAT1341_LieGroupoids/…
$endgroup$
– David Roberts
May 25 at 0:20
$begingroup$
You might also wish to look at the Lie groupoids of germes of semigroups of local diffeomorphisms, say arising from foliations, eg math.toronto.edu/mein/teaching/MAT1341_LieGroupoids/…
$endgroup$
– David Roberts
May 25 at 0:20
$begingroup$
Thanks thanks... I will see that also..
$endgroup$
– Praphulla Koushik
May 25 at 5:58
$begingroup$
Thanks thanks... I will see that also..
$endgroup$
– Praphulla Koushik
May 25 at 5:58
add a comment |
$begingroup$
Just some quick addenda to David's comments:
You can see that the automorphisms of a Lie groupoid do not form a richer (groupoid) structure in some more specialised examples. It is well known that proper etale Lie groupoids are a Lie groupoid formulation of orbifolds (they are often called orbifold groupoids). Now their automorphisms corresponds to the group of orbifold diffeomorphisms and these can be turned into an infinite dimensional Lie group (this was the whole point of my PhD thesis, see The diffeomorphism group of a non-compact orbifold). The point is that these objects really form a group and not some higher structure like a groupoid or a $2$-Lie group.
In the literature people have considered groups of smooth maps on the arrow space of a Lie groupoid. Basically you look at diffeomorphisms $operatornameDiff(G)$ which preserve source and target fibres. Again this yields groups not groupoids and has the advantage that the bisection group of the Lie groupoid identifies a subgroup of the automorphism group, called the inner automorphisms (by sending a bisection to the associated left translation). To my knowledge no smooth structure has yet been constructed on this automorphism group in general (though it seems to be an interesting question if there is one).
For more references let me sneak in my recent paper The Lie group of vertical bisections of a regular Lie groupoid. The references can be found in the introduction together with an explanation of how this is related to the automorphism group.
$endgroup$
$begingroup$
Thanks.. I will see the paper :)
$endgroup$
– Praphulla Koushik
May 24 at 8:10
add a comment |
$begingroup$
Just some quick addenda to David's comments:
You can see that the automorphisms of a Lie groupoid do not form a richer (groupoid) structure in some more specialised examples. It is well known that proper etale Lie groupoids are a Lie groupoid formulation of orbifolds (they are often called orbifold groupoids). Now their automorphisms corresponds to the group of orbifold diffeomorphisms and these can be turned into an infinite dimensional Lie group (this was the whole point of my PhD thesis, see The diffeomorphism group of a non-compact orbifold). The point is that these objects really form a group and not some higher structure like a groupoid or a $2$-Lie group.
In the literature people have considered groups of smooth maps on the arrow space of a Lie groupoid. Basically you look at diffeomorphisms $operatornameDiff(G)$ which preserve source and target fibres. Again this yields groups not groupoids and has the advantage that the bisection group of the Lie groupoid identifies a subgroup of the automorphism group, called the inner automorphisms (by sending a bisection to the associated left translation). To my knowledge no smooth structure has yet been constructed on this automorphism group in general (though it seems to be an interesting question if there is one).
For more references let me sneak in my recent paper The Lie group of vertical bisections of a regular Lie groupoid. The references can be found in the introduction together with an explanation of how this is related to the automorphism group.
$endgroup$
$begingroup$
Thanks.. I will see the paper :)
$endgroup$
– Praphulla Koushik
May 24 at 8:10
add a comment |
$begingroup$
Just some quick addenda to David's comments:
You can see that the automorphisms of a Lie groupoid do not form a richer (groupoid) structure in some more specialised examples. It is well known that proper etale Lie groupoids are a Lie groupoid formulation of orbifolds (they are often called orbifold groupoids). Now their automorphisms corresponds to the group of orbifold diffeomorphisms and these can be turned into an infinite dimensional Lie group (this was the whole point of my PhD thesis, see The diffeomorphism group of a non-compact orbifold). The point is that these objects really form a group and not some higher structure like a groupoid or a $2$-Lie group.
In the literature people have considered groups of smooth maps on the arrow space of a Lie groupoid. Basically you look at diffeomorphisms $operatornameDiff(G)$ which preserve source and target fibres. Again this yields groups not groupoids and has the advantage that the bisection group of the Lie groupoid identifies a subgroup of the automorphism group, called the inner automorphisms (by sending a bisection to the associated left translation). To my knowledge no smooth structure has yet been constructed on this automorphism group in general (though it seems to be an interesting question if there is one).
For more references let me sneak in my recent paper The Lie group of vertical bisections of a regular Lie groupoid. The references can be found in the introduction together with an explanation of how this is related to the automorphism group.
$endgroup$
Just some quick addenda to David's comments:
You can see that the automorphisms of a Lie groupoid do not form a richer (groupoid) structure in some more specialised examples. It is well known that proper etale Lie groupoids are a Lie groupoid formulation of orbifolds (they are often called orbifold groupoids). Now their automorphisms corresponds to the group of orbifold diffeomorphisms and these can be turned into an infinite dimensional Lie group (this was the whole point of my PhD thesis, see The diffeomorphism group of a non-compact orbifold). The point is that these objects really form a group and not some higher structure like a groupoid or a $2$-Lie group.
In the literature people have considered groups of smooth maps on the arrow space of a Lie groupoid. Basically you look at diffeomorphisms $operatornameDiff(G)$ which preserve source and target fibres. Again this yields groups not groupoids and has the advantage that the bisection group of the Lie groupoid identifies a subgroup of the automorphism group, called the inner automorphisms (by sending a bisection to the associated left translation). To my knowledge no smooth structure has yet been constructed on this automorphism group in general (though it seems to be an interesting question if there is one).
For more references let me sneak in my recent paper The Lie group of vertical bisections of a regular Lie groupoid. The references can be found in the introduction together with an explanation of how this is related to the automorphism group.
edited May 24 at 15:55
LSpice
3,06322630
3,06322630
answered May 24 at 7:57
Alexander SchmedingAlexander Schmeding
1,083710
1,083710
$begingroup$
Thanks.. I will see the paper :)
$endgroup$
– Praphulla Koushik
May 24 at 8:10
add a comment |
$begingroup$
Thanks.. I will see the paper :)
$endgroup$
– Praphulla Koushik
May 24 at 8:10
$begingroup$
Thanks.. I will see the paper :)
$endgroup$
– Praphulla Koushik
May 24 at 8:10
$begingroup$
Thanks.. I will see the paper :)
$endgroup$
– Praphulla Koushik
May 24 at 8:10
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%2f332354%2fautomorphisms-of-which-structure-form-a-lie-groupoid%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
$begingroup$
I have checked examples from some books and some online notes.. I could not find any thing related to "automorphisms" of "a structure" forming a Lie groupoid...
$endgroup$
– Praphulla Koushik
May 24 at 6:29
$begingroup$
what is a manifold, and an automorphism of a manifold? Do you mean specifically smooth manifolds and self-diffeomorphisms?
$endgroup$
– user140765
May 24 at 6:51
$begingroup$
Well, automorphisms are by definition self-maps, i.e. maps from something to itself, while somehow the notion of groupoid is precisely designed to encodes isomorphisms between different things as well. So you might want to look e.g. at a collection of manifolds instead.
$endgroup$
– Adrien
May 24 at 6:53
$begingroup$
@kartop_man I think Adrien answers about self maps.. I mean smooth manifold...
$endgroup$
– Praphulla Koushik
May 24 at 6:57
2
$begingroup$
Automorphisms will always form a group. To get a groupoid, you should consider isomorphisms between various objects and not a single structure.
$endgroup$
– YCor
May 24 at 7:03