Skip to main content
1 of 2
Chris Schommer-Pries
  • 27.5k
  • 3
  • 91
  • 171

What does the moduli space of torsors over the multiplicative group look like?

I am an algebraic topologist and am trying to understand some computations related to p-adic complex K-theory and equivariant K-theory. However this has led me into the work of algebraic geometry over $\mathbb{Z}_p$ and I need some help with some basic computations.

I would like to understand the moduli stack of G-torsors over the scheme underlying the multiplicative group $\mathbb{G}_m$ where we are working with schemes over the p-adic integers $\mathbb{Z}_p$ and $G$ is a finite group. I would even be happy to know the cases where $G = \mathbb{Z}/p$ and $G= \mathbb{Z}/q$ with $q \neq p$ are cyclic groups.

Sometimes it is useful to use the heuristic that $\mathbb{G}_m$ is like the circle $S^1 = \mathbb{R}/\mathbb{Z}$. For the circle the stack of G-torsors looks like $[G/G]$ for the conjugation action. Perhaps the $G$-torsors on $\mathbb{G}_m$ hava a similar description? A simple description of this type would be very useful to me. I need this for explicit calculations and so certainly need the description to be as explicit as possible.

A good start would even be computing the set of isomorphism classes of $G$-torsors over $\mathbb{G}_m$. I tried to compute this by finding some nice cover of $\mathbb{G}_m$, but it is getting late here and I haven't found something that works yet.

I have tried googling around and have come up short. Most of the stuff I have found is either about $\mathbb{G}_m$-torsors, or about $G$-torsors for groups related to $\mathbb{G}_m$, or only work over a field.

If this question is too basic, I would be happy even for a reference with some examples carefully worked out so I can learn explicitly how to do this kind of calculation.

Chris Schommer-Pries
  • 27.5k
  • 3
  • 91
  • 171