Differentiable stacks and morita morphism
$begingroup$
I heard that if $[X_0/G_0]$ and $[X_1/G_1]$ are differentiable stacks, then any morphism between them is naturally equivalent to
$$(G_0 rightrightarrows X_0) xleftarrow{simeq} (G_2 rightrightarrows X_2) xrightarrow{F} (G_1 rightrightarrows X_1)$$
where the left arrow is morita morphism and the right one is a Lie groupoid morphism.
I can't find a proof of this. Where can I find a detailed proof of this proposition?
differential-geometry reference-request category-theory groupoids topological-stacks
$endgroup$
add a comment |
$begingroup$
I heard that if $[X_0/G_0]$ and $[X_1/G_1]$ are differentiable stacks, then any morphism between them is naturally equivalent to
$$(G_0 rightrightarrows X_0) xleftarrow{simeq} (G_2 rightrightarrows X_2) xrightarrow{F} (G_1 rightrightarrows X_1)$$
where the left arrow is morita morphism and the right one is a Lie groupoid morphism.
I can't find a proof of this. Where can I find a detailed proof of this proposition?
differential-geometry reference-request category-theory groupoids topological-stacks
$endgroup$
$begingroup$
where did you see this? I am also working on stacks/Lie groupoids..
$endgroup$
– Praphulla Koushik
Jan 12 at 18:20
$begingroup$
@PraphullaKoushik theory.fi.infn.it/seminara/Geometry_of_Strings_and_Fieds/… Page 11
$endgroup$
– WWK
Jan 12 at 20:59
$begingroup$
Do you know that any morphism $Bmathcal{G}rightarrow Bmathcal{H}$ is given by a $mathcal{G}-mathcal{H}$ bibundle??? Any $mathcal{G}-mathcal{H}$ bibundle is given by a map that you have mentioned above... is that ok?
$endgroup$
– Praphulla Koushik
Jan 13 at 1:55
$begingroup$
I don't know that. Please write it as an answer below if you know how to prove the above proposition.
$endgroup$
– WWK
Jan 13 at 4:02
$begingroup$
Did you get to see my answe??
$endgroup$
– Praphulla Koushik
Jan 14 at 4:57
add a comment |
$begingroup$
I heard that if $[X_0/G_0]$ and $[X_1/G_1]$ are differentiable stacks, then any morphism between them is naturally equivalent to
$$(G_0 rightrightarrows X_0) xleftarrow{simeq} (G_2 rightrightarrows X_2) xrightarrow{F} (G_1 rightrightarrows X_1)$$
where the left arrow is morita morphism and the right one is a Lie groupoid morphism.
I can't find a proof of this. Where can I find a detailed proof of this proposition?
differential-geometry reference-request category-theory groupoids topological-stacks
$endgroup$
I heard that if $[X_0/G_0]$ and $[X_1/G_1]$ are differentiable stacks, then any morphism between them is naturally equivalent to
$$(G_0 rightrightarrows X_0) xleftarrow{simeq} (G_2 rightrightarrows X_2) xrightarrow{F} (G_1 rightrightarrows X_1)$$
where the left arrow is morita morphism and the right one is a Lie groupoid morphism.
I can't find a proof of this. Where can I find a detailed proof of this proposition?
differential-geometry reference-request category-theory groupoids topological-stacks
differential-geometry reference-request category-theory groupoids topological-stacks
asked Feb 21 '16 at 15:38
WWKWWK
1,020722
1,020722
$begingroup$
where did you see this? I am also working on stacks/Lie groupoids..
$endgroup$
– Praphulla Koushik
Jan 12 at 18:20
$begingroup$
@PraphullaKoushik theory.fi.infn.it/seminara/Geometry_of_Strings_and_Fieds/… Page 11
$endgroup$
– WWK
Jan 12 at 20:59
$begingroup$
Do you know that any morphism $Bmathcal{G}rightarrow Bmathcal{H}$ is given by a $mathcal{G}-mathcal{H}$ bibundle??? Any $mathcal{G}-mathcal{H}$ bibundle is given by a map that you have mentioned above... is that ok?
$endgroup$
– Praphulla Koushik
Jan 13 at 1:55
$begingroup$
I don't know that. Please write it as an answer below if you know how to prove the above proposition.
$endgroup$
– WWK
Jan 13 at 4:02
$begingroup$
Did you get to see my answe??
$endgroup$
– Praphulla Koushik
Jan 14 at 4:57
add a comment |
$begingroup$
where did you see this? I am also working on stacks/Lie groupoids..
$endgroup$
– Praphulla Koushik
Jan 12 at 18:20
$begingroup$
@PraphullaKoushik theory.fi.infn.it/seminara/Geometry_of_Strings_and_Fieds/… Page 11
$endgroup$
– WWK
Jan 12 at 20:59
$begingroup$
Do you know that any morphism $Bmathcal{G}rightarrow Bmathcal{H}$ is given by a $mathcal{G}-mathcal{H}$ bibundle??? Any $mathcal{G}-mathcal{H}$ bibundle is given by a map that you have mentioned above... is that ok?
$endgroup$
– Praphulla Koushik
Jan 13 at 1:55
$begingroup$
I don't know that. Please write it as an answer below if you know how to prove the above proposition.
$endgroup$
– WWK
Jan 13 at 4:02
$begingroup$
Did you get to see my answe??
$endgroup$
– Praphulla Koushik
Jan 14 at 4:57
$begingroup$
where did you see this? I am also working on stacks/Lie groupoids..
$endgroup$
– Praphulla Koushik
Jan 12 at 18:20
$begingroup$
where did you see this? I am also working on stacks/Lie groupoids..
$endgroup$
– Praphulla Koushik
Jan 12 at 18:20
$begingroup$
@PraphullaKoushik theory.fi.infn.it/seminara/Geometry_of_Strings_and_Fieds/… Page 11
$endgroup$
– WWK
Jan 12 at 20:59
$begingroup$
@PraphullaKoushik theory.fi.infn.it/seminara/Geometry_of_Strings_and_Fieds/… Page 11
$endgroup$
– WWK
Jan 12 at 20:59
$begingroup$
Do you know that any morphism $Bmathcal{G}rightarrow Bmathcal{H}$ is given by a $mathcal{G}-mathcal{H}$ bibundle??? Any $mathcal{G}-mathcal{H}$ bibundle is given by a map that you have mentioned above... is that ok?
$endgroup$
– Praphulla Koushik
Jan 13 at 1:55
$begingroup$
Do you know that any morphism $Bmathcal{G}rightarrow Bmathcal{H}$ is given by a $mathcal{G}-mathcal{H}$ bibundle??? Any $mathcal{G}-mathcal{H}$ bibundle is given by a map that you have mentioned above... is that ok?
$endgroup$
– Praphulla Koushik
Jan 13 at 1:55
$begingroup$
I don't know that. Please write it as an answer below if you know how to prove the above proposition.
$endgroup$
– WWK
Jan 13 at 4:02
$begingroup$
I don't know that. Please write it as an answer below if you know how to prove the above proposition.
$endgroup$
– WWK
Jan 13 at 4:02
$begingroup$
Did you get to see my answe??
$endgroup$
– Praphulla Koushik
Jan 14 at 4:57
$begingroup$
Did you get to see my answe??
$endgroup$
– Praphulla Koushik
Jan 14 at 4:57
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Given a Lie groupoid $mathcal{G}=(mathcal{G}_1rightrightarrows mathcal{G}_0)$ we have what is called $Bmathcal{G}$ the stack associated to $mathcal{G}$ which is collection of principal $mathcal{G}$ bundles. This in your notation is $[mathcal{G}_0/mathcal{G}_1]$.
Let $F:Bmathcal{G}rightarrow Bmathcal{H}$ be a morphism of stacks. This stack $Bmathcal{G}$ has a special object $t:mathcal{G}_1rightarrow mathcal{G}_0$, the target map.
Consider image of $t$ under $F$, you get a principal $mathcal{H}$ bundle $F(t:mathcal{G}_1rightarrow mathcal{G}_0)$ of the form $Prightarrow mathcal{G}_0$ (as $F$ is fibre preserving, base manifold of $t$ and that of $F(t)$ has to be same).
As $t:mathcal{G}_1rightarrow mathcal{G}_0$ has a left action of $mathcal{G}$ and as $F$ is a functor, $F(t):Prightarrow mathcal{G}_0$ would also have a left action.
This gives a $mathcal{G}-mathcal{H}$ bibundle $$(mathcal{G}_1rightrightarrows mathcal{G}_0)leftarrow Prightarrow (mathcal{H}_1rightrightarrows mathcal{H}_0)$$
This bibundle is also called as generalzied morphism and this comes from
$$(mathcal{G}_1rightrightarrows mathcal{G}_0)leftarrow (Prightrightarrows M )rightarrow (mathcal{H}_1rightrightarrows mathcal{H}_0)$$
You can look at Orbifolds as Stacks by Eugene Lerman. Do not think this notes is about orbifolds. The word orbifold occurs only once in the note and that too in last but one line of the paper.
$endgroup$
$begingroup$
I was reading some notes about the bibundle. For the relation between HS bibundles and generalised morphisms of Lie groupoids, see the PhD thesis (Theorem 1.73) arxiv.org/pdf/1512.04209.pdf
$endgroup$
– WWK
Jan 14 at 5:50
$begingroup$
I do not understand what you are saying. I understand that there is a correspondence. Is that your thesis?
$endgroup$
– Praphulla Koushik
Jan 14 at 5:58
$begingroup$
Not my thesis. I add this remark for people who read this post in the future.
$endgroup$
– WWK
Jan 14 at 15:05
$begingroup$
@WWK Oh.. That is nice :) You still work on stacks/Lie groupoids? Are you interested in discussing about these?
$endgroup$
– Praphulla Koushik
Jan 14 at 15:28
$begingroup$
Not working on these now...
$endgroup$
– WWK
Jan 14 at 15:55
|
show 3 more comments
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: "69"
};
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%2fmath.stackexchange.com%2fquestions%2f1665674%2fdifferentiable-stacks-and-morita-morphism%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$
Given a Lie groupoid $mathcal{G}=(mathcal{G}_1rightrightarrows mathcal{G}_0)$ we have what is called $Bmathcal{G}$ the stack associated to $mathcal{G}$ which is collection of principal $mathcal{G}$ bundles. This in your notation is $[mathcal{G}_0/mathcal{G}_1]$.
Let $F:Bmathcal{G}rightarrow Bmathcal{H}$ be a morphism of stacks. This stack $Bmathcal{G}$ has a special object $t:mathcal{G}_1rightarrow mathcal{G}_0$, the target map.
Consider image of $t$ under $F$, you get a principal $mathcal{H}$ bundle $F(t:mathcal{G}_1rightarrow mathcal{G}_0)$ of the form $Prightarrow mathcal{G}_0$ (as $F$ is fibre preserving, base manifold of $t$ and that of $F(t)$ has to be same).
As $t:mathcal{G}_1rightarrow mathcal{G}_0$ has a left action of $mathcal{G}$ and as $F$ is a functor, $F(t):Prightarrow mathcal{G}_0$ would also have a left action.
This gives a $mathcal{G}-mathcal{H}$ bibundle $$(mathcal{G}_1rightrightarrows mathcal{G}_0)leftarrow Prightarrow (mathcal{H}_1rightrightarrows mathcal{H}_0)$$
This bibundle is also called as generalzied morphism and this comes from
$$(mathcal{G}_1rightrightarrows mathcal{G}_0)leftarrow (Prightrightarrows M )rightarrow (mathcal{H}_1rightrightarrows mathcal{H}_0)$$
You can look at Orbifolds as Stacks by Eugene Lerman. Do not think this notes is about orbifolds. The word orbifold occurs only once in the note and that too in last but one line of the paper.
$endgroup$
$begingroup$
I was reading some notes about the bibundle. For the relation between HS bibundles and generalised morphisms of Lie groupoids, see the PhD thesis (Theorem 1.73) arxiv.org/pdf/1512.04209.pdf
$endgroup$
– WWK
Jan 14 at 5:50
$begingroup$
I do not understand what you are saying. I understand that there is a correspondence. Is that your thesis?
$endgroup$
– Praphulla Koushik
Jan 14 at 5:58
$begingroup$
Not my thesis. I add this remark for people who read this post in the future.
$endgroup$
– WWK
Jan 14 at 15:05
$begingroup$
@WWK Oh.. That is nice :) You still work on stacks/Lie groupoids? Are you interested in discussing about these?
$endgroup$
– Praphulla Koushik
Jan 14 at 15:28
$begingroup$
Not working on these now...
$endgroup$
– WWK
Jan 14 at 15:55
|
show 3 more comments
$begingroup$
Given a Lie groupoid $mathcal{G}=(mathcal{G}_1rightrightarrows mathcal{G}_0)$ we have what is called $Bmathcal{G}$ the stack associated to $mathcal{G}$ which is collection of principal $mathcal{G}$ bundles. This in your notation is $[mathcal{G}_0/mathcal{G}_1]$.
Let $F:Bmathcal{G}rightarrow Bmathcal{H}$ be a morphism of stacks. This stack $Bmathcal{G}$ has a special object $t:mathcal{G}_1rightarrow mathcal{G}_0$, the target map.
Consider image of $t$ under $F$, you get a principal $mathcal{H}$ bundle $F(t:mathcal{G}_1rightarrow mathcal{G}_0)$ of the form $Prightarrow mathcal{G}_0$ (as $F$ is fibre preserving, base manifold of $t$ and that of $F(t)$ has to be same).
As $t:mathcal{G}_1rightarrow mathcal{G}_0$ has a left action of $mathcal{G}$ and as $F$ is a functor, $F(t):Prightarrow mathcal{G}_0$ would also have a left action.
This gives a $mathcal{G}-mathcal{H}$ bibundle $$(mathcal{G}_1rightrightarrows mathcal{G}_0)leftarrow Prightarrow (mathcal{H}_1rightrightarrows mathcal{H}_0)$$
This bibundle is also called as generalzied morphism and this comes from
$$(mathcal{G}_1rightrightarrows mathcal{G}_0)leftarrow (Prightrightarrows M )rightarrow (mathcal{H}_1rightrightarrows mathcal{H}_0)$$
You can look at Orbifolds as Stacks by Eugene Lerman. Do not think this notes is about orbifolds. The word orbifold occurs only once in the note and that too in last but one line of the paper.
$endgroup$
$begingroup$
I was reading some notes about the bibundle. For the relation between HS bibundles and generalised morphisms of Lie groupoids, see the PhD thesis (Theorem 1.73) arxiv.org/pdf/1512.04209.pdf
$endgroup$
– WWK
Jan 14 at 5:50
$begingroup$
I do not understand what you are saying. I understand that there is a correspondence. Is that your thesis?
$endgroup$
– Praphulla Koushik
Jan 14 at 5:58
$begingroup$
Not my thesis. I add this remark for people who read this post in the future.
$endgroup$
– WWK
Jan 14 at 15:05
$begingroup$
@WWK Oh.. That is nice :) You still work on stacks/Lie groupoids? Are you interested in discussing about these?
$endgroup$
– Praphulla Koushik
Jan 14 at 15:28
$begingroup$
Not working on these now...
$endgroup$
– WWK
Jan 14 at 15:55
|
show 3 more comments
$begingroup$
Given a Lie groupoid $mathcal{G}=(mathcal{G}_1rightrightarrows mathcal{G}_0)$ we have what is called $Bmathcal{G}$ the stack associated to $mathcal{G}$ which is collection of principal $mathcal{G}$ bundles. This in your notation is $[mathcal{G}_0/mathcal{G}_1]$.
Let $F:Bmathcal{G}rightarrow Bmathcal{H}$ be a morphism of stacks. This stack $Bmathcal{G}$ has a special object $t:mathcal{G}_1rightarrow mathcal{G}_0$, the target map.
Consider image of $t$ under $F$, you get a principal $mathcal{H}$ bundle $F(t:mathcal{G}_1rightarrow mathcal{G}_0)$ of the form $Prightarrow mathcal{G}_0$ (as $F$ is fibre preserving, base manifold of $t$ and that of $F(t)$ has to be same).
As $t:mathcal{G}_1rightarrow mathcal{G}_0$ has a left action of $mathcal{G}$ and as $F$ is a functor, $F(t):Prightarrow mathcal{G}_0$ would also have a left action.
This gives a $mathcal{G}-mathcal{H}$ bibundle $$(mathcal{G}_1rightrightarrows mathcal{G}_0)leftarrow Prightarrow (mathcal{H}_1rightrightarrows mathcal{H}_0)$$
This bibundle is also called as generalzied morphism and this comes from
$$(mathcal{G}_1rightrightarrows mathcal{G}_0)leftarrow (Prightrightarrows M )rightarrow (mathcal{H}_1rightrightarrows mathcal{H}_0)$$
You can look at Orbifolds as Stacks by Eugene Lerman. Do not think this notes is about orbifolds. The word orbifold occurs only once in the note and that too in last but one line of the paper.
$endgroup$
Given a Lie groupoid $mathcal{G}=(mathcal{G}_1rightrightarrows mathcal{G}_0)$ we have what is called $Bmathcal{G}$ the stack associated to $mathcal{G}$ which is collection of principal $mathcal{G}$ bundles. This in your notation is $[mathcal{G}_0/mathcal{G}_1]$.
Let $F:Bmathcal{G}rightarrow Bmathcal{H}$ be a morphism of stacks. This stack $Bmathcal{G}$ has a special object $t:mathcal{G}_1rightarrow mathcal{G}_0$, the target map.
Consider image of $t$ under $F$, you get a principal $mathcal{H}$ bundle $F(t:mathcal{G}_1rightarrow mathcal{G}_0)$ of the form $Prightarrow mathcal{G}_0$ (as $F$ is fibre preserving, base manifold of $t$ and that of $F(t)$ has to be same).
As $t:mathcal{G}_1rightarrow mathcal{G}_0$ has a left action of $mathcal{G}$ and as $F$ is a functor, $F(t):Prightarrow mathcal{G}_0$ would also have a left action.
This gives a $mathcal{G}-mathcal{H}$ bibundle $$(mathcal{G}_1rightrightarrows mathcal{G}_0)leftarrow Prightarrow (mathcal{H}_1rightrightarrows mathcal{H}_0)$$
This bibundle is also called as generalzied morphism and this comes from
$$(mathcal{G}_1rightrightarrows mathcal{G}_0)leftarrow (Prightrightarrows M )rightarrow (mathcal{H}_1rightrightarrows mathcal{H}_0)$$
You can look at Orbifolds as Stacks by Eugene Lerman. Do not think this notes is about orbifolds. The word orbifold occurs only once in the note and that too in last but one line of the paper.
answered Jan 13 at 4:20
Praphulla KoushikPraphulla Koushik
29817
29817
$begingroup$
I was reading some notes about the bibundle. For the relation between HS bibundles and generalised morphisms of Lie groupoids, see the PhD thesis (Theorem 1.73) arxiv.org/pdf/1512.04209.pdf
$endgroup$
– WWK
Jan 14 at 5:50
$begingroup$
I do not understand what you are saying. I understand that there is a correspondence. Is that your thesis?
$endgroup$
– Praphulla Koushik
Jan 14 at 5:58
$begingroup$
Not my thesis. I add this remark for people who read this post in the future.
$endgroup$
– WWK
Jan 14 at 15:05
$begingroup$
@WWK Oh.. That is nice :) You still work on stacks/Lie groupoids? Are you interested in discussing about these?
$endgroup$
– Praphulla Koushik
Jan 14 at 15:28
$begingroup$
Not working on these now...
$endgroup$
– WWK
Jan 14 at 15:55
|
show 3 more comments
$begingroup$
I was reading some notes about the bibundle. For the relation between HS bibundles and generalised morphisms of Lie groupoids, see the PhD thesis (Theorem 1.73) arxiv.org/pdf/1512.04209.pdf
$endgroup$
– WWK
Jan 14 at 5:50
$begingroup$
I do not understand what you are saying. I understand that there is a correspondence. Is that your thesis?
$endgroup$
– Praphulla Koushik
Jan 14 at 5:58
$begingroup$
Not my thesis. I add this remark for people who read this post in the future.
$endgroup$
– WWK
Jan 14 at 15:05
$begingroup$
@WWK Oh.. That is nice :) You still work on stacks/Lie groupoids? Are you interested in discussing about these?
$endgroup$
– Praphulla Koushik
Jan 14 at 15:28
$begingroup$
Not working on these now...
$endgroup$
– WWK
Jan 14 at 15:55
$begingroup$
I was reading some notes about the bibundle. For the relation between HS bibundles and generalised morphisms of Lie groupoids, see the PhD thesis (Theorem 1.73) arxiv.org/pdf/1512.04209.pdf
$endgroup$
– WWK
Jan 14 at 5:50
$begingroup$
I was reading some notes about the bibundle. For the relation between HS bibundles and generalised morphisms of Lie groupoids, see the PhD thesis (Theorem 1.73) arxiv.org/pdf/1512.04209.pdf
$endgroup$
– WWK
Jan 14 at 5:50
$begingroup$
I do not understand what you are saying. I understand that there is a correspondence. Is that your thesis?
$endgroup$
– Praphulla Koushik
Jan 14 at 5:58
$begingroup$
I do not understand what you are saying. I understand that there is a correspondence. Is that your thesis?
$endgroup$
– Praphulla Koushik
Jan 14 at 5:58
$begingroup$
Not my thesis. I add this remark for people who read this post in the future.
$endgroup$
– WWK
Jan 14 at 15:05
$begingroup$
Not my thesis. I add this remark for people who read this post in the future.
$endgroup$
– WWK
Jan 14 at 15:05
$begingroup$
@WWK Oh.. That is nice :) You still work on stacks/Lie groupoids? Are you interested in discussing about these?
$endgroup$
– Praphulla Koushik
Jan 14 at 15:28
$begingroup$
@WWK Oh.. That is nice :) You still work on stacks/Lie groupoids? Are you interested in discussing about these?
$endgroup$
– Praphulla Koushik
Jan 14 at 15:28
$begingroup$
Not working on these now...
$endgroup$
– WWK
Jan 14 at 15:55
$begingroup$
Not working on these now...
$endgroup$
– WWK
Jan 14 at 15:55
|
show 3 more comments
Thanks for contributing an answer to Mathematics Stack Exchange!
- 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%2fmath.stackexchange.com%2fquestions%2f1665674%2fdifferentiable-stacks-and-morita-morphism%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$
where did you see this? I am also working on stacks/Lie groupoids..
$endgroup$
– Praphulla Koushik
Jan 12 at 18:20
$begingroup$
@PraphullaKoushik theory.fi.infn.it/seminara/Geometry_of_Strings_and_Fieds/… Page 11
$endgroup$
– WWK
Jan 12 at 20:59
$begingroup$
Do you know that any morphism $Bmathcal{G}rightarrow Bmathcal{H}$ is given by a $mathcal{G}-mathcal{H}$ bibundle??? Any $mathcal{G}-mathcal{H}$ bibundle is given by a map that you have mentioned above... is that ok?
$endgroup$
– Praphulla Koushik
Jan 13 at 1:55
$begingroup$
I don't know that. Please write it as an answer below if you know how to prove the above proposition.
$endgroup$
– WWK
Jan 13 at 4:02
$begingroup$
Did you get to see my answe??
$endgroup$
– Praphulla Koushik
Jan 14 at 4:57