2
$\begingroup$

Edit: the original question was imprecise, I'm sorry about that. I hope this is better.

Let $k$ be a field, $S/k$ any scheme, $G/k$ be an algebraic group and $X$ an $S$-torsor under $G$ (so $G$ acts simply transitively on the fibers of $G \to S$). Under what (sufficient/necessary/whatever) conditions on the schemes $X$, $G$, $S$, ... do we get an isomorphism $\overline{X} \cong \overline{G} \times_{\overline{k}} \overline{S}$, where the bar denotes base change to the algebraic closure of $\overline{k}$? For example, do we always have this isomorphism if $\text{Pic}\ \overline{S}$ is trivial?

$\endgroup$
8
  • 1
    $\begingroup$ How is the right-hand side different from $\overline{G}$? $\endgroup$ Aug 29, 2011 at 22:59
  • 2
    $\begingroup$ Is $S$ proper over $k$? Otherwise there are counterexamples where $S$ equals the multiplicative group scheme $\mathbb{G}_{m,k}$. $\endgroup$ Aug 29, 2011 at 23:58
  • $\begingroup$ Minor nitpick: you probably want the isomorphism $\bar{X} \to \bar{G}$ to be $\bar{G}$-equivariant. $\endgroup$
    – S. Carnahan
    Aug 30, 2011 at 0:20
  • $\begingroup$ Maybe you mean $Pic^0 \overline{S}$, rather than $Pic \overline{S}$, in your final sentence? $\endgroup$
    – Emerton
    Aug 30, 2011 at 2:44
  • 1
    $\begingroup$ @Moret-Bailly: That was also the counterexample I had in mind. $\endgroup$ Aug 30, 2011 at 17:53

1 Answer 1

1
$\begingroup$

-The following is a general condition for trivialization:

Let $\pi:X\to S$ be the structure map and let $T_G$ be the sheaf of trivialization maps where for $U\subset X$ open we have $T_G(U) := \lbrace \psi: \pi^{-1}(U)\to U\times G, \mbox{an isomorphism such that } \pi = p_1\circ\psi\rbrace$ (you can replace $G$ with any scheme you want) The collection of such trivialization is an $\underline{\mathrm{Aut}}(G)$ torsor. If there exists some $\lbrace U_i\rbrace_{i\in I}$ an open cover of $S$ with $t_i\in T_G(U_i)$ let's define $t_{ij}=t_i\circ t_j^{-1}\in \underline{\mathrm{Aut}}(G)(U_{ij})$ so that we get a (well-defined) cohomology class $$\eta\in \check{H}^1(S,\underline{\mathrm{Aut}}(G))$$ One can show that $\eta$ is trivial if and only if $X\cong S\times G$.

-The statement as you have it will never work since the dimensions don't match if $\dim_{\bar{k}}(S_{\bar k})>0$ since the relative dimension of a torsor and its group scheme are the same. Am I missing something here?

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.