Return to Answer

Let me elaborate on Torstens comment.

The map $GL_n(B) \to i_*F$ in your example is an fppf $D^\times$-torsor over $i_*F$, a fact which can be checked easily directly from the definition of torsor which you can find in any of the referenced texts. A priori it is a torsor for the fppf topology, but it can be shown that any $D^\times$-torsor for the fppf topology is also a torsor for the Zariski-topology.

There are only a few groups with this property. They were studied by Serre and Grothendieck [GS58] who classified all such groups over algebraically closed fields. They called them "special groups" (probably because of the joy of saying things like: "the general linear group is special" or better still: "the special orthogonal group is not special"). If I recall correctly, the complete list is $SL_n$, $Sp_{2n}$, all connected affine solvable groups and extensions thereof (in particular, $GL_n$ is special). Your group is defined over a more general base, so the result doesn't apply directly. However, specialness for $D^\times$ can be proven with exactly the same methods as for instance for $GL_n$.

This seems to be a folklore result, and I don't know of any reference for a proof (although it is mentioned for instance in [Joy07, Definition 2.1]), but the idea is as follows. The key is to use flat descent for quasi-coherent sheaves. The group $D^\times$ is the automorphism group for $D$ viewed as a module over itself. Given any module $M$ which is locally isomorphic to $D$, i.e. a locally free $D$-module of rank 1, you get a corresponding $D^\times$-torsor by taking the sheaf of $D$-module isomorphisms $Isom(M, D)$. Note that this sheaf has a natural action on the right by $Aut(D) \simeq D^\times$. This establishes a one-to-one correspondance between isomorphism classes of locally free $D$-modules of rank 1 and isomorphism classes of torsors [Gir70 III 2.5]. Since any $D$-module, being quasi-coherent, allows a Zariski-trivialisation, so does any $D^\times$-torsor.

[GS58] Séminaire C. Chevalley; 2e année: 1958. Anneaux de Chow et applications

[Gir70] J. Giraud, Cohomologie non abélienne

[Vis05] Fantechi et al. FGA explained, Part 1

[Mil80] Milne, Étale cohomology

[Joy07] D. Joyce, Motivic invariants of Artin stacks and 'stack functions'. http://xxx.lanl.gov/abs/math.AG/0509722

Let me elaborate on Torstens comment.

The map $GL_n(B) \to i_*F$ in your example is an fppf $D^\times$-torsor over $i_*F$, a fact which can be checked easily directly from the definition of torsor which you can find in any of the referenced texts. A priori it is a torsor for the fppf topology, but it can be shown that any $D^\times$-torsor for the fppf topology is also a torsor for the Zariski-topology.

There are only a few groups with this property. They were studied by Serre and Grothendieck [GS58] who classified all such groups over algebraically closed fields. They called them "special groups" (probably because of the joy of saying things like: "the general linear group is special" or better still: "the special orthogonal group is not special"). If I recall correctly, the complete list is $SL_n$, $Sp_{2n}$, all connected affine solvable groups and extensions thereof (in particular, $GL_n$ is special). Your group is defined over a more general base, so the result doesn't apply directly. However, specialness for $D^\times$ can be proven with exactly the same methods as for instance for $GL_n$.

This seems to be a folklore result, and I don't know of any reference for a proof (although it is mentioned for instance in [Joy07, Definition 2.1]), but the idea is as follows. The key is to use flat descent for quasi-coherent sheaves. The group $D^\times$ is the automorphism group for $D$ viewed as a module over itself. Given any module $M$ which is fppf-locally isomorphic to $D$, which is the same as locally free of rank 1 by flat descent, you get a corresponding $D^\times$-torsor by taking the sheaf of $D$-module isomorphisms $Isom(M, D)$. Note that this sheaf has a natural action on the right by $Aut(D) \simeq D^\times$. This establishes a one-to-one correspondance between isomorphism classes of locally free $D$-modules of rank 1 and isomorphism classes of torsors [Gir70 III 2.5]. Since any locally free $D$-module allows a Zariski-trivialisation, so does any $D^\times$-torsor.

[GS58] Séminaire C. Chevalley; 2e année: 1958. Anneaux de Chow et applications

[Gir70] J. Giraud, Cohomologie non abélienne

[Vis05] Fantechi et al. FGA explained, Part 1

[Mil80] Milne, Étale cohomology

[Joy07] D. Joyce, Motivic invariants of Artin stacks and 'stack functions'. http://xxx.lanl.gov/abs/math.AG/0509722

Let me elaborate on Torstens comment.

The map $GL_n(B) \to i_*F$ in your example is an fppf $D^\times$-torsor over $i_*F$, a fact which can be checked easily directly from the definition of torsor which you can find in any of the referenced texts. A priori it is a torsor for the fppf topology, but it can be shown that any $D^\times$-torsor for the fppf topology is also a torsor for the Zariski-topology.

There are only a few groups with this property. They were studied by Serre and Grothendieck [GS58] who classified all such groups over algebraically closed fields. They called them "special groups" (probably because of the joy of saying things like: "the general linear group is special" or better still: "the special orthogonal group is not special"). If I recall correctly, the complete list is $GL_n$, $SL_n$, $Sp_{2n}$, all connected affine solvable groups and extensions thereof. Your group is defined over a more general base, so the result doesn't apply directly. However, specialness for $D^\times$ can be proven with exactly the same methods as for instance for $GL_n$.

This seems to be a folklore result, and I don't know of any reference for a proof (although it is mentioned for instance in [Joy07, Definition 2.1]), but the idea is as follows. The key is to use flat descent for quasi-coherent sheaves. The group $D^\times$ is the automorphism group for $D$ viewed as a module over itself. Given any module $M$ which is locally isomorphic to $D$, i.e. a locally free $D$-module of rank 1, you get a corresponding $D^\times$-torsor by taking the sheaf of $D$-module isomorphisms $Isom(M, D)$. Note that this sheaf has a natural action on the right by $Aut(D) \simeq D^\times$. This establishes a one-to-one correspondance between isomorphism classes of locally free $D$-modules of rank 1 and isomorphism classes of torsors [Gir70 III 2.5]. Since any $D$-module, being quasi-coherent, allows a Zariski-trivialisation, so does any $D^\times$-torsor.

[GS58] Séminaire C. Chevalley; 2e année: 1958. Anneaux de Chow et applications

[Gir70] J. Giraud, Cohomologie non abélienne

[Vis05] Fantechi et al. FGA explained, Part 1

[Mil80] Milne, Étale cohomology

[Joy07] D. Joyce, Motivic invariants of Artin stacks and 'stack functions'. http://xxx.lanl.gov/abs/math.AG/0509722

Let me elaborate on Torstens comment.

The map $GL_n(B) \to i_*F$ in your example is an fppf $D^\times$-torsor over $i_*F$, a fact which can be checked easily directly from the definition of torsor which you can find in any of the referenced texts. A priori it is a torsor for the fppf topology, but it can be shown that any $D^\times$-torsor for the fppf topology is also a torsor for the Zariski-topology.

There are only a few groups with this property. They were studied by Serre and Grothendieck [GS58] who classified all such groups over algebraically closed fields. They called them "special groups" (probably because of the joy of saying things like: "the general linear group is special" or better still: "the special orthogonal group is not special"). If I recall correctly, the complete list is $SL_n$, $Sp_{2n}$, all connected affine solvable groups and extensions thereof (in particular, $GL_n$ is special). Your group is defined over a more general base, so the result doesn't apply directly. However, specialness for $D^\times$ can be proven with exactly the same methods as for instance for $GL_n$.

This seems to be a folklore result, and I don't know of any reference for a proof (although it is mentioned for instance in [Joy07, Definition 2.1]), but the idea is as follows. The key is to use flat descent for quasi-coherent sheaves. The group $D^\times$ is the automorphism group for $D$ viewed as a module over itself. Given any module $M$ which is locally isomorphic to $D$, i.e. a locally free $D$-module of rank 1, you get a corresponding $D^\times$-torsor by taking the sheaf of $D$-module isomorphisms $Isom(M, D)$. Note that this sheaf has a natural action on the right by $Aut(D) \simeq D^\times$. This establishes a one-to-one correspondance between isomorphism classes of locally free $D$-modules of rank 1 and isomorphism classes of torsors [Gir70 III 2.5]. Since any $D$-module, being quasi-coherent, allows a Zariski-trivialisation, so does any $D^\times$-torsor.

[GS58] Séminaire C. Chevalley; 2e année: 1958. Anneaux de Chow et applications

[Gir70] J. Giraud, Cohomologie non abélienne

[Vis05] Fantechi et al. FGA explained, Part 1

[Mil80] Milne, Étale cohomology

[Joy07] D. Joyce, Motivic invariants of Artin stacks and 'stack functions'. http://xxx.lanl.gov/abs/math.AG/0509722

Let me elaborate on Torstens comment.

The map $GL_n(B) \to i_*F$ in your example is an fppf $D^\times$-torsor over $i_*F$, a fact which can be checked easily directly from the definition of torsor which you can find in any of the referenced texts. A priori it is a torsor for the fppf topology, but it can be shown that any $D^\times$-torsor for the fppf topology is also a torsor for the Zariski-topology.

There are only a few groups with this property. They were studied by Serre and Grothendieck [GS58] who classified all such groups over algebraically closed fields. They called them "special groups" (probably because of the joy of saying things like: "the general linear group is special" or better still: "the special orthogonal group is not special"). If I recall correctly, the complete list is $GL_n$, $SL_n$, $Sp_{2n}$, all connected affine solvable groups and extensions thereof. Your group is defined over a more general base, so the result doesn't apply directly. However, specialness for $D^\times$ can be proven with exactly the same methods as for instance for $GL_n$.

This seems to be a folklore result, and I don't know of any reference for a proof (I'll return with a reference to an article where the result is mentioned), but the idea is as follows. The key is to use flat descent for quasi-coherent sheaves. The group $D^\times$ is the automorphism group for $D$ viewed as a module over itself. Given any module $M$ which is locally isomorphic to $D$, i.e. a locally free $D$-module of rank 1, you get a corresponding $D^\times$-torsor by taking the sheaf of $D$-module isomorphisms $Isom(M, D)$. Note that this sheaf has a natural action on the right by $Aut(D) \simeq D^\times$. This establishes a one-to-one correspondance between isomorphism classes of $D$-modules and isomorphism classes of torsors [Gir70 III 2.5]. Since any $D$-module, being quasi-coherent, allows a Zariski-trivialisation, so does any $D^\times$-torsor.

[GS58] Séminaire C. Chevalley; 2e année: 1958. Anneaux de Chow et applications

[Gir70] J. Giraud, Cohomologie non abélienne

[Vis05] Fantechi et al. FGA explained, Part 1

[Mil80] Milne, Étale cohomology

Let me elaborate on Torstens comment.

The map $GL_n(B) \to i_*F$ in your example is an fppf $D^\times$-torsor over $i_*F$, a fact which can be checked easily directly from the definition of torsor which you can find in any of the referenced texts. A priori it is a torsor for the fppf topology, but it can be shown that any $D^\times$-torsor for the fppf topology is also a torsor for the Zariski-topology.

There are only a few groups with this property. They were studied by Serre and Grothendieck [GS58] who classified all such groups over algebraically closed fields. They called them "special groups" (probably because of the joy of saying things like: "the general linear group is special" or better still: "the special orthogonal group is not special"). If I recall correctly, the complete list is $GL_n$, $SL_n$, $Sp_{2n}$, all connected affine solvable groups and extensions thereof. Your group is defined over a more general base, so the result doesn't apply directly. However, specialness for $D^\times$ can be proven with exactly the same methods as for instance for $GL_n$.

This seems to be a folklore result, and I don't know of any reference for a proof (although it is mentioned for instance in [Joy07, Definition 2.1]), but the idea is as follows. The key is to use flat descent for quasi-coherent sheaves. The group $D^\times$ is the automorphism group for $D$ viewed as a module over itself. Given any module $M$ which is locally isomorphic to $D$, i.e. a locally free $D$-module of rank 1, you get a corresponding $D^\times$-torsor by taking the sheaf of $D$-module isomorphisms $Isom(M, D)$. Note that this sheaf has a natural action on the right by $Aut(D) \simeq D^\times$. This establishes a one-to-one correspondance between isomorphism classes of locally free $D$-modules of rank 1 and isomorphism classes of torsors [Gir70 III 2.5]. Since any $D$-module, being quasi-coherent, allows a Zariski-trivialisation, so does any $D^\times$-torsor.

[GS58] Séminaire C. Chevalley; 2e année: 1958. Anneaux de Chow et applications

[Gir70] J. Giraud, Cohomologie non abélienne

[Vis05] Fantechi et al. FGA explained, Part 1

[Mil80] Milne, Étale cohomology

[Joy07] D. Joyce, Motivic invariants of Artin stacks and 'stack functions'. http://xxx.lanl.gov/abs/math.AG/0509722