5
$\begingroup$

Let $k$ be a field, let $G$ be an algebraic group scheme over $k$ and let $T = \textrm{Spec } k[x, x^{-1}]$ be a one-dimensional torus. Does there exist

  • a scheme $X$ over $k$,
  • an algebraic $T$-action on $X$,
  • and a principal $G$-bundle on $X$ which cannot be $T$-equivariantly trivalized in the fppf topology?

In other words, a principal $G$-bundle $P \to X$ such that there does not exist a scheme $U$ over $k$ with a $T$-action and a $T$-equivariant fppf morphism $U \to X$ such that the pull-back bundle $P \times_X U \to U$ is trivial? Here "fppf" means faithfully flat and finite presentation.

$\endgroup$
2
  • 1
    $\begingroup$ Are there ever nontrivial principal $G$-bundles on $T$ (in the Zariski topology)? $\endgroup$ May 13, 2011 at 3:09
  • $\begingroup$ @Tom, the simplest one is the double covering of $T$ by itself, a nontrivial ${\Bbb Z}/2{\Bbb Z}$-bundle. $\endgroup$ May 16, 2011 at 21:52

0

Your Answer

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