Questions tagged [lie-groupoids]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
6
votes
1answer
110 views

Notions of Lie 2-groupoids

The term Lie $2$-groupoid is used in the literature in more than one context. Some examples are given below: Ginot and Stiénon's paper $G$-gerbes, principal $2$-group bundles and characteristic ...
2
votes
0answers
52 views

Models for computing cohomology of Lie groupoids

Given a Lie groupoid $\mathcal{G}=[\mathcal{G}_1\rightrightarrows \mathcal{G}_0]$, let $\mathcal{G}_\bullet$ be the associated simplicial manifold. Let $\Omega^\bullet(\mathcal{G}_\bullet)$ be the ...
8
votes
0answers
135 views

What are the Newton groupoids from Drinfeld's paper on the Grinberg-Kazhdan theorem?

The paper the Grinberg-Kazhdan formal arc theorem and the Newton groupoids by Drinfeld seems to contain many interesting things which are beyond me. For now, I am trying to get some intuition for the ...
5
votes
3answers
265 views

Why the third stage of Cech nerve a Lie 2-groupoid?

In the page https://ncatlab.org/nlab/show/Lie+2-groupoid the Lie 2-groupoid is defined as the 2 truncated $\infty$-Lie groupoid. I am not much comfortable with the language of higher category theory ...
3
votes
0answers
47 views

Reference request : Quotient manifold theorem for Lie groupoid action on a manifold

Let $G$ be a Lie group and $M$ be a smooth manifold. Let $G\times M\rightarrow M$ be a smooth map giving a free, proper action of $G$ On $M$. Then, by quotient manifold theorem, we see that there ...
2
votes
0answers
54 views

Lie group (topological group) action on differentiable stack (topological stack)

Let $G$ be a Lie group and $\mathcal{D}$ be a differentiable stack (I am also ok to start with a topological group and topological stack). I have seen someone mentioning somewhere that the notion of ...
4
votes
1answer
116 views

Lie groupoids being homotopy equivalent

Let $M,N$be two smooth manifolds. Let $f,g:M\rightarrow N$ be two smooth maps. We have the notion of a homotopy (smooth homotopy) from the maps $f$ to the map $g$. Is there a similar concept for ...
1
vote
3answers
285 views

Lie groupoids in practice

I am familiar with the notion of Lie groupoids. But, only easy examples of Lie groupoids I am familiar with are the following: Lie groupoids coming from manifolds; that are of the form $(M\...
9
votes
0answers
181 views

Holonomy as a right adjoint, monodromy as a left adjoint

This question about the difference between holonomy and monodromy has an interesting answer by Ronnie Brown. An excerpt: So holonomy comes out as a kind of right adjoint, and monodromy as a kind ...
3
votes
0answers
198 views

First thoughts about fundamental group of a topological (Lie) groupoid

I am reading the paper Chern-Weil map for principal bundles over groupoids. In page number $13$, authors say let us recall the definition of fundamental group of a topological groupoid. But, they ...
5
votes
1answer
208 views

De Rham cohomology of Lie groupoid

Let $G$ be a Lie group acting on a manifold $M$. Consider the transformation groupoid $\mathcal{G}=(G\times M\rightrightarrows M)$. We have the notion of de Rham cohomology of a Lie groupoid by ...
2
votes
1answer
205 views

Simplicial manifold associated to Lie groupoid

Let $\Gamma=(\Gamma_1\rightrightarrows \Gamma_0), \Gamma’=(\Gamma’_1\rightrightarrows \Gamma’_0)$ be Lie groupoids and $\Gamma_{\bullet} ,\Gamma’_{\bullet}$ be the simplicial manifolds associated to $\...
4
votes
2answers
254 views

Automorphisms of which structure form a Lie groupoid

Given a manifold $M$, the collection of all automorphisms of $M$, denoted by $\text{Aut}(M)$ forms a Lie group. Do we have similar setting in case of Lie groupoid? Is there "a structure" whose "...
4
votes
1answer
141 views

Isotropy subgroupoid of a regular Lie groupoid

Let $(G\rightrightarrows M)$ be a Lie groupoid (i.e. a groupoid with source map $s$ and target map $t$ such that $G,M$ are smooth manifolds and the structural maps are all smooth (and $s$,$t$ are ...
2
votes
0answers
127 views

Condition on a Lie groupoid to be represented by manifold/group or an action groupoid

Let $\mathcal{G}$ be a Lie groupoid. I am thinking of following questions. When do we know $\mathcal{G}$ is weakly/Morita equivalent to a Lie groupoid of the form $(G\rightrightarrows *)$ for some ...
2
votes
1answer
283 views

Requirement for weak pullback to be a Lie groupoid (Moerdijk)

Let $\phi:\mathcal{G}\rightarrow \mathcal{K}$ and $\psi:\mathcal{H}\rightarrow \mathcal{K}$ be morphisms of Lie groupoids. We define weak pullback/2-fibre product corresponding to $\phi:\mathcal{G}\...
0
votes
1answer
96 views

Requirement that source and target maps are surjective submersions

Definition I am aware of for Lie groupoid is that (among other things) the source and target maps $s,t:\mathcal{G}_1\rightarrow \mathcal{G}_0$ are submersions. On page 9 of Du Li's thesis Higher ...
1
vote
2answers
412 views

Yoneda Embedding and pull back

Given a manifold $M$ we have a geometric stack associated to it namely $\underline{M}$ whose objects are smooth maps to $M$. For the sake of consistency I am writing $BM$ for $\underline{M}$. Given a ...
1
vote
2answers
349 views

Fibered product of stacks comes from a Lie groupoid

I am adding some context here. I am reading Introduction to Differentiable Stacks by Gregory Ginot. In page no $7$, just before the remark $2.2$ he says the following. One shall be careful that ...
4
votes
1answer
206 views

unit element under map of stacks $B\mathcal{G}\rightarrow B\mathcal{H}$

Let $\mathcal{G}$ be a Lie groupoid. The target map $t:\mathcal{G}_1\rightarrow \mathcal{G}_0$ is a principal $\mathcal{G}$ bundle. This article Orbifolds as Stacks? by Eugene Lerman calls (in page $...
1
vote
1answer
210 views

Composition of bibundles

I am reading Orbifolds as stacks? Given Lie groupoids $\mathcal{G}$ and $\mathcal{H}$ there is a notion of what is called a bibundle from $\mathcal{G}$ to $\mathcal{H}$ which is supposed to be a ...
5
votes
1answer
235 views

In what sense bibundles are called as generalized morphisms

Definition : Let $\mathcal{G}$ and $\mathcal{H}$ be Lie groupoids. A bibundle from $\mathcal{G}$ to $\mathcal{H}$ is a manifold $P$ together with two maps $a_L:P\rightarrow \mathcal{G}_0,a_R:P\...
1
vote
0answers
112 views

Idea behind definition of classifying space over an orbifold

Today I was explaining to some one the notion of $\mathcal{G}$ spaces, covering spaces over orbifolds from Orbifolds as Groupoids: an Introduction. Definition : Let $X$ be a locally compact ...
3
votes
1answer
223 views

Proper and etale groupoid is locally a translation groupoid

I am reading Orbifolds as Groupoids: an Introduction by Ieke Moerdijk. In page $8$ when explaining local charts, it says the following : Let $\mathcal{G}$ be a Lie groupoid. For an open set $U\...
0
votes
2answers
590 views

Why study orbifolds? [closed]

Question is as in the title. Why study orbifolds? I study orbifolds as locally compact Hausdorff spaces $X$ having an orbifold structure, i.e., there exists an orbifold groupoid (proper foliatio. ...
2
votes
2answers
218 views

Necessity/Motivation for generalised homomorpisms

I am reading Ieke Moerdijk's article "Orbifolds as Groupoids : an Introduction". In that notes author defines a notion of generalized map between Lie groupoids. Let $\mathcal{G}$ and $\mathcal{H}$...
3
votes
1answer
241 views

Isotropy group of a Lie groupoid is a Lie group

I am trying to see that Isotropy group/object group/vertex group of a Lie groupoid is a Lie group. Let $\mathcal{G}$ be a Lie groupoid and $x$ be an object in $\mathcal{G}$ i.e., $x\in \mathcal{G}_0$...
3
votes
0answers
383 views

Morita Equivalence of Lie groupoids

I am trying to understand what exactly is the Morita equivalence of Lie groupoids. I am reading Ieke Moerdijk’s notes Orbifolds as Groupoids. A homomorphism $\phi:\mathcal{H}\rightarrow \mathcal{G}...
4
votes
4answers
847 views

What are Lie groupoids intuitively?

I am trying to understand about Lie groupoids but not able to get feeling for what it actually is. So, question here is, What are Lie groupoids? How similar are they to Lie groups, Groupoids and ...
3
votes
1answer
149 views

Lie Groupoid of a Transitive Lie algebroid

If A is an integrable and transitive Lie Algebroid, and G is a corresponding Lie groupoid, then: is G necessarily transitive too? I guess it is not generally true, but I wonder under which conditions ...
16
votes
2answers
756 views

Is every singular foliation induced by a Lie algebroid?

Let $M$ be a smooth manifold. A smooth distribution $D$ on $M$ is the union of a family $\{D_p \leq T_p M : p\in M\}$ of vector spaces such that there is a family $\mathcal C $ of smooth vector ...
2
votes
0answers
122 views

Action of a Lie groupoid on a Lie Algebroid?

Let $\pi:E\longrightarrow M$ be a vector bundle. Then we can associate a Lie groupoid $\mathsf{Gl}(E)\rightrightarrows M$ where $$\mathsf{Gl}(E):=\{E_x\stackrel{lin. isom.}{\longrightarrow} E_y: x, y\...
5
votes
1answer
288 views

What is the relation between the holonomy groupoid of a foliation and the corresponding Haefliger groupoid?

Given a foliation, there is a holonomy groupoid and a classifying map to the Haefliger classifying space via the Haefliger groupid. What is the relation between these groupids?
4
votes
1answer
194 views

Gluing together together differentiable stacks

I am trying to figure out the conditions under which you can glue together a collection of (differentiable) stacks by equivalences, and get a differentiable stack. More precisely, I have a collection ...
4
votes
1answer
154 views

A-Paths as morphisms of Lie Algebroids $TI\longrightarrow A$?

In the paper Integrability of Lie Brackets Marius Crainic and Rui Fernandes describe obstructions to integrate a Lie algebroid to a Lie groupoid. The process of integration relies on the construction ...
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 ...
8
votes
0answers
328 views

Differentiation of Lie $\infty$-groupoids

I've been trying to understand how to differentiate Lie $\infty$-groupoids to get a Lie $\infty$-algebroid. First of all, I will state the definitions that I'm assuming. A Lie $\infty$-groupoid is a ...
1
vote
0answers
154 views

adjoint representation of 2-Lie groups

Baez and Crans in their paper on Lie 2-algebras refer to adjoint representations of Lie 2-groups but don't say much, as far as I can tell, except to say that such a representation acts on a 2-Lie ...
14
votes
1answer
1k views

Construction of the Lie functor: left vs. right invariant vector fields on Lie groups and Lie groupoids

When constructing the Lie algebra $L(G)$ of a Lie group $G$, one usually uses the identification of the tangent space $T_1 G$ with left invariant vector fields $\mathcal{V}^l(G)$ to construct the Lie ...
3
votes
0answers
117 views

Properties of the induced map between inertia stacks

Let $\mathcal X$ and $\mathcal Y$ be (separated) Deligne-Mumford stacks. A morphism of stacks $f:\mathcal X \to \mathcal Y$ induces a morphism between inertia stacks $\tilde f:I\mathcal X \to I\...
7
votes
1answer
395 views

Integrating representations of Lie algebroids

If $A \to M$ is a Lie algebroid over a smooth manifold $M$ then a representation of $A$ is a vector bundle $E \to M$ with a flat $A$-connection $$ \nabla : \Gamma(E) \to \Gamma(E\otimes A^*). $$ If $G$...
4
votes
0answers
134 views

Is this groupoid a model for the derived fixed-point locus of the free loop space?

In this paper, John Baez and Urs Schreiber define (see Definition 2.16) a Lie groupoid (there called a '2-space') associated to any manifold $M$. In fact it is a bundle of Lie groups over $M$ thought ...
1
vote
1answer
177 views

étalé space of sheaves on a differentiable stack

If $F$ is a sheaf on a topological space $X$, the well-known étalé space contruction gives rise to a bundle $\Gamma F$ on $X$ such that $F$ is isomorphic to the sheaf of sections of $\Gamma F$. On ...
5
votes
0answers
341 views

KK-witnesses of Gysin maps between differentiable stacks

In 1982 Alain Connes gave the construction of a KK-element $f! \in KK(C(X), C(Y))$ that "witnesses" the fiber integration/Gysin/Umkehr/wrong-way map on topological $K$-theory along a K-orientable map ...
1
vote
1answer
375 views

When are $k$-sectors of a Lie groupoid a manifold?

Let ${\mathcal{G} = \lbrace s,t:G_1 \to G_0 \rbrace}$ be a Lie groupoid. Define $$(\mathcal{G}^k)_0:=\lbrace (a_1,\dots,a_k) \in G_1^k\mid s(a_1)=t(a_1)=\dots=s(a_k)=t(a_k) \rbrace$$ (This is the ...
2
votes
2answers
366 views

What are the possible symplectic structures on a given Lie groupoid?

Recall the definition of a symplectic groupoid. Roughly this is a Lie groupoid such that the object manifold is Poisson, and the arrow manifold is symplectic such that the symplectic form is ...
6
votes
3answers
698 views

Internal equivalence implies weak equivalence for Frechet Lie groupoids?

It is a known theorem that an internal equivalence of Lie groupoids (finite dimensional manifolds!) - that is an equivalence in the 2-category of Lie groupoids, smooth functors and transformations - ...
2
votes
0answers
232 views

Which makes Lie groupoids so nice?

This is a continuation of my previous question. A) Morphisms in (1') are basically internal anafunctors, their compositions heavily use (and only) pullback/limit. B) Bibundles in (2) are basically ...
5
votes
1answer
429 views

Compare three 2-categories of (Lie) groupoids

Lie groupoids are groupoids with smooth structures. There is a nature 2-category of Lie groupoids: Lie groupoids, smooth functors of Lie groupoids, smooth natural transformations of smooth functors. ...
1
vote
1answer
355 views

Why is the base manifold of a Lie groupoid required to be second-countable?

I wonder why one requires that the base manifold of a Lie groupoid is second-countable?