2
votes
0answers
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
1answer
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
1answer
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
4answers
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 ...