# Tagged Questions

**2**

votes

**0**answers

37 views

### From the representation category of a Lie group and the representation on a homogeneous space, can we reconstruct the stabiliser subgroup reps?

Given a Lie group $G$ and a transitive action $- \triangleright - : G \times X \to X$ on a homogeneous space, we can recover the stabiliser subgroup $H_x$ of a point $x \in X$. It is the subgroup of ...

**3**

votes

**1**answer

213 views

### Iterating Monad-Comonads structures

Let $(T, \mu , \eta )$ a monad on the category $\mathscr{C}$ , with the usual EM (Eilenberg-Moore) adjunction $\langle F_T, U_T, \eta_Y, \epsilon_T \rangle: \mathscr{C}^T \to \mathscr{C}$ where ...

**3**

votes

**1**answer

472 views

### Abstract definition of properly discontinuous action

A discrete group $G$ acts properly discontinuously on a manifold $M$ if the set $\{g\in G\mid gK\cap K\neq \emptyset \}$ is finite for every compact $K\subset M$.
Is there a more abstract ...

**4**

votes

**4**answers

943 views

### What about the empty torsor?

Let $G$ be a group. A $G$-torsor is a set $X$ together with an action of $G$ such that for all $x,y \in X$ there is exactly one $g \in G$ such that $gx=y$. This looks like a group which has forgotten ...