Lemma 100.3.2. Let $\mathcal{X}$ be an algebraic stack. Let $T$ be a scheme and let $x, y$ be objects of the fibre category of $\mathcal{X}$ over $T$. Then

1. $\mathit{Isom}_\mathcal {X}(y, y)$ is a group algebraic space over $T$, and

2. $\mathit{Isom}_\mathcal {X}(x, y)$ is a pseudo torsor for $\mathit{Isom}_\mathcal {X}(y, y)$ over $T$.

Proof. See Groupoids in Spaces, Definitions 77.5.1 and 77.9.1. The lemma follows immediately from the fact that $\mathcal{X}$ is a stack in groupoids. $\square$

There are also:

• 4 comment(s) on Section 100.3: Properties of diagonals

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).