# Questions tagged [lie-groupoids]

The lie-groupoids tag has no usage guidance.

39 questions

**1**

vote

**2**answers

156 views

### Yoneda Embedding and Homotopy pull back (or Homotopy Limit)

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

**3**answers

214 views

+100

### 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

**2**answers

172 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 $...

**0**

votes

**0**answers

59 views

### Lie groupoid with non trivial automorphisms does not come from genuine space

This question came from comments of this question.
Suppose $\mathcal{G}$ is a Lie groupoid, we consider the category $B\mathcal{G}$ whose objects are principal $\mathcal{G}$ bundles and morphisms are ...

**1**

vote

**4**answers

187 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 ...

**4**

votes

**2**answers

197 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

**0**answers

83 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 ...

**4**

votes

**1**answer

141 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

**2**answers

418 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

**3**answers

188 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}$...

**2**

votes

**1**answer

144 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

**0**answers

258 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}...

**2**

votes

**4**answers

534 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

**1**answer

127 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 ...

**13**

votes

**2**answers

525 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

**0**answers

97 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

**1**answer

194 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

**1**answer

165 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

**1**answer

125 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 ...

**5**

votes

**0**answers

135 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

**0**answers

258 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

**0**answers

140 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

**1**answer

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

**0**answers

104 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

**1**answer

347 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

**0**answers

113 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 ...

**0**

votes

**1**answer

156 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

**0**answers

339 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

**1**answer

359 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

**2**answers

356 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

**3**answers

685 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

**0**answers

230 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

**1**answer

420 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

**1**answer

344 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?

**6**

votes

**2**answers

538 views

### Is there a “geometric” language that describes the equivalence groupoid of a foliated manifold?

Sitting on the couch in my office is a certain groupoid. It's waiting for me to say something to it. My problem is that I don't know its language. My question here is for some suggestions.
Here, ...

**4**

votes

**1**answer

459 views

### Intrinsic Characterization of when an orbifold (or more general stack) is effective?

Recall that an orbifold is an etale and proper differentiable stack $X$. Etale means that it admits an etale atlas $M \to X$ from a manifold $M$ (which is to say it is represented by an etale Lie ...

**16**

votes

**4**answers

785 views

### What is the 2-category whose 0-objects are Lie algebroids?

Recall the notion of Lie algebroid (n Lab, Wikipedia). One motivation for studying Lie algebroids is that they are infinitesimal versions of Lie groupoids, and Lie groupoids present stacks. In ...

**21**

votes

**3**answers

1k views

### Applications of topological and diferentiable stacks

What are some examples of theorems about topology or differential geometry that have been proven using topological/differentiable stacks, or, some examples of proofs made easier by them? I'm well ...

**19**

votes

**1**answer

1k views

### How difficult is Morse theory on stacks?

The title is a little tongue-in-cheek, since I have a very particular question, but I don't know how to condense it into a pithy title. If you have suggestions, let me know.
Suppose I have a Lie ...