Boundedness properties of automorphism groups of forms of flag varieties

We call a flag variety admissible if its automorphism group is the projective general linear group. (This holds in most cases.) Let $K$ be a field of characteristic $0$, containing all roots of unity. Let the $K$-variety $X$ be a form of an admissible flag variety. We prove that $X$ is either ruled, or the automorphism group of $X$ is bounded, meaning that, there exists a constant $C\in\mathbb{N}$ such that if $G$ is a finite subgroup of $Aut_K(X)$, then the cardinality of $G$ is smaller than $C$.


Introduction
Before stating our main theorem we need to introduce a couple of definitions and notations.
Definition 1.1 (Definition 2.9 in [Po11]). A group G is called bounded if there exists a constant C ∈ N such that every finite subgroup of G has smaller cardinality than C.
Let V be a finite dimensional vector space (over an arbitrary field). A flag is a strictly increasing sequence of linear subspaces of V (with respect to the the containment order). By Fl(d 1 < d 2 < ... < d r , V ) or simply by Fl(d, V ) we denote the flag variety of the sequence of linear subspaces of V (flags) of dimensions determined by the strictly increasing sequence of nonnegative integers d = (d 1 , d 2 , ..., d r ), where d r ≦ dim V . We also use the notation Fl(d < e, V ) governed by similar logic, using the strictly increasing sequence of nonnegative integers d < e = (d 1 , ..., d p , e 1 , ..., e q ) (e q ≦ dim V ). If d 1 ≧ n then the notation d − n stands for the strictly increasing sequence of nonnegative integers d − n = (d 1 − n, ..., d r − n). If no confusion can arise we omit the specification of the vector space or the strictly increasing sequence of nonnegative integers or both of them. When we say Fl(d, V ) is a flag variety, we implicitly assume that V is a vector space over some field and d = (d 1 , ..., d r ) is a strictly increasing sequence of nonnegative integers, where d r ≦ dim V .
Later on we will see that a flag variety is admissible unless it is isomorphic to a flag variety Fl(d 1 < ... < d r , V ), where 0 < d 1 , d r < dim V , dim V ≧ 3 and ∀i = 1, ..., r d i + d r+1−i = dim V . Notice that the conditions 0 < d 1 and d r < dim V are technical assumptions, they do not exclude any isomorphism class of flag varieties. The automorphism group of the non-admissible flag variety Fl(d, V ) is PGL(V ) ⋊ Z/2Z. (See Theorem 2.6 for further details.) Definition 1.3. Let K be a field. The K-variety X is a form of a flag variety if X × Spec K ∼ = Fl(d, V K ) where K is the algebraic closure of K, V K is a finite dimensional K-vector space, and d is a strictly increasing sequence of nonnegative integers. Now we are ready to state the main theorem of the article.
Theorem 1.4. Let K be a field of characteristic 0, containing all roots of unity. Let the K-variety X be a form of an admissible flag variety. Then either the automorphism group Aut K (X) is bounded, or X is birational to a direct product variety Y × P 1 , in other words X is ruled.
Before moving further we introduce another definition from group theory.
Definition 1.5 (Definition 2.1 in [Po11]). A group G is called Jordan if there exists a constant J ∈ N such that for every finite subgroup H ≦ G there exists an Abelian normal subgroup A ≦ H such that |H : A| < J.
In [BZ15b] T. Bandman and Yu. G. Zarhin answered a question of Yu. Prokhorov and C. Shramov ( [PS14]) by showing that the birational automorphism group of a conic bundle over a non-uniruled base is Jordan when it is not birational to the trivial P 1 -bundle over the non-uniruled base. One of the major steps in their proof was to show that the birational (and hence the biregular) automorphism group of a non-trivial Brauer-Severi curve is bounded. This follows from our theorem as a special case. (They also showed that the cardinalities of the finite subgroups of the automorphism group are bounded by four.) The result on the boundedness of the automorphism groups of non-trivial Brauer-Severi curves was also used by Yu. Prokhorov and C. Shramov when they classified three dimensional varieties with non-Jordan birational automorphism groups ( [PS16b]).
Another aspect of our motivation is that, we would like to investigate conditions which imply that the birational automorphism group of a rationally connected variety is bounded. We hope that by regularizing actions of finite subgroups of the birational automorphism groups ( [PS14], Lemma 3.1), and by the help of the Minimal Model Program, this question can be reduced to studying finite subgroups of the automorphism groups of Fano varieties over function fields. As a special case we investigated boundedness properties of automorphism groups of forms of flag varieties.
The definitions of the Jordan and the boundedness properties was introduced by V. L. Popov. They are closely related. Boundedness implies the Jordan property, while a typical strategy for proving that a group is Jordan is to show that the group sits in an exact sequence where the normal subgroup is Jordan and the quotient group is bounded ( [Po11], Lemma 2.11). A survey of results concerning these properties of groups and the relations between them can be found in [Po14] and in Section 2 of [PS14]. Research about investigating Jordan properties for birational and biregular automorphism groups of varieties was initiated by J.-P. Serre in [Se09] and V. L. Popov in [Po11]. Recently many authors have contributed to the subject ( [BZ15a], [BZ15b], [Hu18], [MZ15], [Po11], [Po14], [PS14], [PS16a], [PS16b], [Se09], [Za15]).
The idea of our proof is the following. A form of a flag variety can be viewed as a flag variety equipped with a twisted Galois action. The automorphism group of the form embeds into the automorphism group of the flag variety, and its action commutes with the twisted Galois action. If the automorphism group of the form is not bounded, then the commutation imposes condition on the twisted Galois action. Using this, we may construct a Galois equivariant rational map from the flag variety to a smaller dimensional variety. It turns out that this rational map induces a vector bundle structure on the open subset of the flag variety where the map is defined and the twisted Galois action respects the vector bundle structure. By results of Galois descent, we descend the vector bundle structure to an open subvariety of the form. This proves our theorem.
We use the admissibility hypothesis to construct the Galois equivarant rational map from our flag variety to a smaller dimensional variety. Although the rational map can be constructed anyway, we use the admissibility condition when we endow the target space with a Galois action which makes the rational map equivaraint. For a more detailed discussion see Remark 2.17 and Remark 5.4.
In general, it is a very hard question to decide whether a variety is ruled or not. Amongst forms of (admissible) flag varieties we can find examples to both cases. Indeed, flag varieties are rational, therefore they are ruled. On the other hand nontrivial Brauer-Severi curves and surfaces provide examples of non-ruled forms of admissible flag varieties. Non-trivial Brauer-Severi curves are non-ruled essentially as a consequence of their definition, while the case of non-trivial Brauer-Severi surfaces will be explored in Section 6. Here we only state the corresponding theorem.
Theorem 1.6. Let K be a field of arbitrary characteristic. Let X be a Brauer-Severi surface over K. X is ruled if and only if it is trivial.
The paper is organized in the following way. In Section 2 we recall the necessary knowledge about automorphism groups of flag varieties and Galois descent. In Section 3 we construct the rational maps which will give us the vector bundle structure. It is followed by Section4, where we analyze the effect of the commuting group actions when the automorphism group of the form of the flag variety is not bounded. Finally, Section5 contains the proof of our theorem. We enclose our article with a discussion on Brauer-Severi surfaces in Section 6.
1.1. Conventions. Throughout the article we use the following conventions. Unless explicitly stated otherwise all fields are assumed to be of characteristic 0. For a field K we use K to denote its (fixed) algebraic closure. By a vector space we mean a finite dimensional vector space. Sometimes in the notation of a vector space we make explicit the field over which the vector space is defined. When we say V K is a vector space, we mean that V K is a vector space defined over the field K. Let V be a vector space over a field K. By Lin K (V ) we denote the K-linear automorphism group of V . (During the article we will encounter situations, where V is a vector space over a field L, where K ≦ L, however we need to consider its K-linear automorphism group.) By a variety we mean a separated, integral scheme of finite type over a field. Let X be an arbitrary scheme over a field K. By Aut K (X) we denote the K-scheme automorphism group of X. (During the article we will encounter situations, where X is a variety over a field L, where K ≦ L, and we need to consider its K-scheme automorphism group.) Let X be a variety, by Bir(X) we denote the birational automorphism group of X.

1.2.
Acknowledgements. The author is very grateful to E. Szabó for all the helpful discussions. The author thanks the referees for their valuable comments.

Preliminaries
2.1. Automorphism group of flag varieties. In this subsection we collect results about automorphism groups of flag varieties. First, we recall the definition of the automorphism group scheme.
Definition 2.1. Let X be a scheme over a base scheme S. Consider the assignment T → Aut T (X × T ) between S-schemes and abstract groups. It gives rise to a contravariant functor A X : (Sch/S) op → Gr from the category of S-schemes to the category of groups. ((Sch/S) op denotes the opposite category of the category of S-schemes). If A X can be represented by an S-scheme Y , then we call Y the automorphism group scheme of X, and denote it by Aut S (X) or simply by Aut(X). (In case of S = Spec K, for some field K, we also use the notation Aut K (X).) Remark 2.2. Note that the definition implies that Aut T (X × T ) ∼ = Aut S (X) × T for any S-scheme T (by the adjoint property of restriction and extension of scalars). It is also worth pointing out that an immediate consequence of the definition is the following. For a K-scheme X, if Aut(X) exits, then the group of its K-rational points is isomorphic to the automorphism group of X, in formula (Aut K (X))(K) ∼ = Aut K (X).
The following theorem of H. Matsumura and F. Oort secures the existence of the automorphism group schemes for flag varieties (Theorem 3.7 in [MO67]).
Theorem 2.3. Let K be a field of arbitrary characteristic, and let X be a proper K-scheme. The automorphism group scheme Aut(X) exists and it is of locally finite type over K.
Armed with the concept of automorphism group schemes, we can make our first step towards describing the automorphism groups of flag varieties.
Proposition 2.4. Let K be a field, V be a K-vector space and Fl(d, V ) be a K-flag variety. The group scheme P GL(V ) is a closed subscheme of Aut K (Fl(d, V )).
Proof. Clearly the functor of points of the group scheme of the projective general linear group Hom(−, P GL(V )) is a subfunctor of A Fl(d,V ) defined in Definition 2.1. Therefore we have a morphism of group schemes ϕ : P GL(V ) → Aut K (Fl(d, V )). The kernel of ϕ is trivial. Indeed, PGL(V ⊗ L) embeds into Aut L (Fl(d, V ) × Spec L) ∼ = Aut L (Fl(d, V ⊗ L)) for any field extension L|K. Therefore the kernel has a unique rational point over any field. Since we work in characteristic 0, this implies that the kernel is trivial (by smoothness). Since the kernel is trivial and ϕ is a smooth morphism (as the characteristic is 0), ϕ is a closed immersion (Lemma 38.7.8, [Stack]).
Remark 2.5. Consider flag varieties of the form (Notice that the conditions 0 < d 1 and d r < dim V are technical assumptions, they do not exclude any isomorphism class of flag varieties.) In the next theorem we will show that non-admissible flag varieties are exactly flag varieties of the above form. In this remark we will construct an order two automorphism for them, called τ , which lies outside PGL(V ) and normalizes it. This strengthens the previous proposition, since the existence of τ implies that in case of flag varieties of the above form P GL(V ) ⋊ Z/2Z is a closed subscheme of the automorphism group scheme. The involution τ can be constructed in the following way. For an arbitrary flag variety Fl(e, W ) (not necessarily of the form considered in the beginning of the remark) we can examine the dual map: * : Fl(e 1 < e 2 < ... < e q , W ) → Fl(m − e q < m − e q−1 < ... < m − e 1 , W * ) where m = dim W , W * is the dual space of W and for an arbitrary linear subspace U ≦ W U ⊥ = {ϕ ∈ W * |ϕ| U ≡ 0} is the annihilator subspace. Consider a flag variety Fl(d, V ) of the form introduced in the beginning of the remark, and fix a linear automorphism j 0 : V * → V such that j −1 0 maps a (fixed) basis of V to its dual basis (V * denotes the dual space of V ). j 0 induces an isomorphism j : Fl(d, V * ) → Fl(d, V ). With a little amount of work it can be checked that the automorphism τ = j • * is an involution outside the projective general linear group, and that τ normalizes the projective general linear group. (If dim V = 2, then τ would be an element of the projective general linear group.) Our next tool is the result of H. Tango (Theorem 2 in [Ta76]). By the use of Schubert calculus he gave a description of the automorphism groups of flag varieties over algebraically closed fields (of arbitrary characteristic). Just as in the previous remark, when we state the next theorem we will use the technical assumption that a flag does not contain the trivial linear subspace and the whole vector space (i.e. 0 < d 1 and d r < dim V ).
Theorem 2.6. Let K be a field, V be a K-vector space and let d denote a strictly increasing sequence of integers d 1 < ... < d r , where 0 < d 1 and d r < dim V . The automorphism group of the K-flag variety Fl(d, V ) is PGL(V ) (with its natural action on the variety), except the case when 3 ≦ dim V and d i + d r−i+1 = dim V for all i = 1, ..., r. In this later case the automorphism group is PGL(V ) ⋊ Z/2Z.
Proof. When K is algebraically closed, this is Tango's theorem (Theorem 2 in [Ta76]). As a first step towards describing the case when K is not algebraically closed, we prove a stronger version of the theorem. We prove that the automorphism group scheme has the form which naturally corresponds to the form of the automorphism group described by the theorem, i.e. it is P GL(V ) or a P GL(V ) ⋊ Z/2Z accordingly. Observe that the automorphism group scheme of a complex flag variety has the desired form. Indeed, by Tango's theorem, the automorphism group of a complex flag variety is either PGL(V ) or PGL(V ) ⋊ Z/2Z. Therefore the group of the closed points of the automorphism group scheme of a complex flag variety gives back the groups described by our theorem. Combining this fact with the result of Proposition 2.4, which states that P GL(V ) is a closed subscheme of the automorphism group scheme of a complex flag variety, we can conclude our claim for the automorphism group scheme of an arbitrary C-flag variety. As the next step, note that it is enough to show that the our claim for automorphism group schemes holds for flag varieties over Q. Indeed, let Fl(d, V K ) be an arbitrary flag variety over an arbitrary field K. By choosing a basis of V K , we can find a be an arbitrary flag variety over Q. Since base changing the ground field does not affect dimensions, the group schemes P GL(U Q ) and Aut Q (Fl(d, U Q )) has the same dimension by the complex case. As P GL(U Q ) is connected, and it is a closed group scheme of Aut Q (Fl(d, U Q )) (Proposition 2.4), we conclude that it is the identity component. A similar logic applies to the number of connected components. Indeed, the number of connected components cannot decrease after base changing the ground field. Hence using the case of complex flag varieties and the result of Remark 2.5, our claim for the automorphism group schemes follows. Now we can turn back our attention to the automorphism groups. We conclude our proof by taking rational points of the automorphism group schemes and using Remark 2.2.

Galois descent.
We collect results about Galois descent and fields in general. First we start with a couple of technical claims. The next lemma can be proved by standard techniques using the finiteness condition built in the definition of a variety.
Lemma 2.9. Let K be a field. Let X and Y be K-varieties and ϕ : X → Y be a morphism between them. There exists a finite Galois extension L|K such that X, Y and ϕ are defined over L. More precisely, there exists X ′ , Y ′ L-varieties and Remark 2.10. Let the K-variety X be a form of a flag variety. By Lemma 2.9, we can find a finite Galois extension L|K such that X × Spec L ∼ = Fl(d, W L ). Indeed, applying the lemma to the isomorphism between X × Spec K and Fl(d, V K ) proves the claim.
Remark 2.11. If the K-variety X is a form of a flag variety, then X is projective. Indeed if X × Spec K is projective, then the same holds for X as well (Proposition 14.55 in [GW10]).
Definition 2.12. Let K be a field, and let the K-variety X be a form of a flag variety. If L|K is a field extension such that X × Spec L ∼ = Fl(d, V L ), then we call L a splitting field for X. By Remark 2.10 L|K can chosen to be a finite Galois extension. Now we turn our attention to results about descents. This part of the subsection is mainly based on [Ja00].
Definition 2.13. Let L|K be a Galois extension with Galois group Γ. We call a pair (X, T ) a quasi-projective L-scheme equipped with a twisted Galois action, if X is a quasi-projective L-scheme and T : Γ → Aut K (X) is a group homomorphism satisfying the following commutative diagram (for every σ ∈ Γ): If no confusion can arise we denote the pair (X, T ) simply by X. (Observe that S(σ) is induced by σ −1 since there is an antiequivalence of categories between affine schemes and rings. Therefore using the inverse is necessary to define an action of the Galois group.) The following theorem can be found in [Ja00] (Theorem 2.2.b).
Theorem 2.14. Let L|K be a finite Galois extension with Galois group Γ. There is an equivalence between the category of quasi-projective K-schemes and the category of quasi-projective L-schemes equipped with a twisted Γ-action. The equivalence functor is given by X → X × Spec L.
Remark 2.15. Since the theorem is about equivalence of categories, it also says that Galois equivariant morphisms descends to morphism of the underlying K-schemes.
Definition 2.16. Let L|K be a Galois extension with Galois group Γ and let V L be an n-dimensional vector space over L.
where the α i 's are coefficients from the field L (i = 1, ..., n) and σ ∈ Γ is an arbitrary element of the Galois group. For a flag variety Fl(d, V L ) this induces a twisted Galois action, denoted by It might seem counterintuitive that the diagram contains S(σ), which is induced by σ −1 . However after realizing that this means we pull back functions using σ −1 , we can also realize that it forces us to use σ when we want to 'push forward' scalars. Notice that if T is an arbitrary twisted Galois action on Fl(d, V L ), then for every σ ∈ Γ the morphism T (σ)B b (σ) −1 is an element of the automorphism group of the flag variety, therefore T (σ) can be written as . (Of course a σ also depends on the basis b, although we decided to omit it in the notation.) Remark 2.17. Let L|K be a Galois extension with Galois group Γ, V L be an Lvector space and Fl(d, V L ) be an L-flag variety with a twisted Galois action T : . Choose a basis of V L , denote it by b. We saw in the previous definition that Assume that the flag variety is admissible, then a σ is an element of PGL(V L ), therefore it has a natural action on the set of linear subspaces of V L . B b (σ) can also be endowed with a natural action on the set of linear subspaces of V L (via A b (σ)). This enables us to endow T (σ) with a natural action on the set of linear subspaces of V L . Moreover, this action is compatible with the action of T (σ) on the flags. In formula . Sometimes we use this observation without further notice. If the flag variety is non-admissible then we can also formulate a similar claim.
The existence of these 'dimension-swapping' morphisms can pose problems when we try to construct Galois equivariant morphisms from non-admissible flag varieties.
Remark 2.18. If L|K is a finite Galois extension (such that L ≦ K) with Galois group Γ and V L is an L-vector space, then {σ → a σ } gives an element in the first group cohomology H 1 (Γ, Aut L (Fl(d, V L )). The elements of the first group cohomology are in 1-to-1 correspondence with the forms of Fl(d, For further informations on this, see Theorem 14.88 in [GW10]. Also Theorem 3.6 and Theorem 4.5 in [Ja00] give results of similar flavour in the case of Brauer-Severi varieties. Theorem 2.19. Let L|K be a finite Galois extension with Galois group Γ. Let X, Y be quasi-projective L-schemes equipped with twisted Galois actions, and let φ : X → Y be a Galois equivariant morphism of L-schemes such that the triple (X, Y, φ) forms a vector bundle. Moreover, let the Galois action respect the vector bundle structure (respect the addition and twist the multiplication by scalar operations).
Proof. By Theorem 2.2.c in [Ja00], a locally free sheaf of finite rank E equipped with a Galois action compatible with the Galois action on the underlying quasiprojective L-scheme Y comes from a locally free sheaf (of the same rank) on the Since there is a 1-to-1 canonical correspondence between finite rank vector bundles and locally free sheaves of finite rank, the result follows.

Rational maps of flag varieties
Let K be a field and K be its algebraic closure. Let V be a vector space over K. 1, 2). Consider the strictly increasing sequences of nonnegative integers d = (d 1 , d 2 , ..., d p ) and e = (e 1 , e 2 , ..., e q ), where d p ≦ n 1 < e 1 and e q ≦ n. We are going to investigate the rational maps where pr : V → V 1 is the projection along V 2 , Z i 's (i = 1, ..., p) are the vector spaces forming the flag (dim Z i = d i ), where W j 's (j = 1, ..., q) are the vector spaces forming the flag (dim W j = e j ), where Z i 's (i = 1, ..., p) and W j 's (j = 1, ..., q) are the vector spaces forming the Clearly all of these are rational maps. φ 1 is defined on the open subvariety and ψ is defined on the open subvariety Proposition 3.1. Using the notation introduced in this section, the following holds.
Proof. To see this, first, consider the fiber of φ 1 over an arbitrary flag S 1 < ... < S p ∈ Fl(d, V 1 ). Notice that if Z 1 < ... < Z p is in the fiber, then it is uniquely determined by Z p . Indeed pr induces and isomorphism between Z p and S p , so there is a unique linear subspace of Z p which maps to S i (i = 1, ..., p). The d p -dimensional linear subspaces of V which are mapped to S p are parametrized by Hom(S p , V 2 ). If f ∈ Hom(S p , V 2 ), then the graph of f considered as a linear subspace of V determines Z p . More precisely On the other hand, Z p gives an element in Hom(S p , V 2 ) by the composition pr ′ • t, where t : S p → Z p is the inverse of the linear isomorphism between Z p and S p induced by pr and pr ′ : V → V 2 is the projection along V 1 . These two constructions are inverse to each other, which shows our claim on the fiber. The argument can be globalized. It shows that U 1 is isomorphic to the total space of the vector bundle corresponding to the locally trivial sheaf of finite rank Indeed, again, notice first that an element W 1 < ... < W q ∈ Fl(e, V ), which is in the fiber over T 1 < ... < T q ∈ Fl(e − n 1 , V 2 ), is uniquely determined by W 1 . Since W j should contain both W 1 and T j , moreover W 1 ∩ T j = W 1 ∩ V 2 = T 1 , we have W j = W 1 + T j by dimension counting (j = 1, ..., q).
The e 1 -dimensional linear subspaces W 1 < V , such that W 1 ∩ V 2 = T 1 , are parametrized by Hom(V 1 , V 2 /T 1 ). For g ∈ Hom(V 1 , V 2 /T 1 ) consider the linear subspace ∈ V /T 1 |v ∈ V 1 } of the quotient space V /T 1 , where we use u to denote the quotient morphism u : Conversely, assume W 1 is given. Identify V 1 , V 2 /T 1 and W 1 /T 1 with linear subspaces of V /T 1 . Let p 1 : V /T 1 → V 1 be the projection along V 2 /T 1 , and p 2 : V /T 1 → V 2 /T 1 be the projection along V 1 . p 1 induces an isomorphism q 1 : W 1 /T 1 → V 1 . Let g ∈ Hom(V 1 , V 2 /T 1 ) be g = p 2 • q −1 1 . These two constructions are inverse to each other. The argument globalizes. This proves our claim. For ψ we can use similar constructions. The fiber over (S 1 < ... < S p , T 1 < ... < T q ) is parametrized by a linear subspace E < Hom(S p , V 2 ) × Hom(V 1 , V 2 /T 1 ) for which the constructions, described in the previous paragraphs, yield linear subspaces Z p and W 1 satisfying Z p < W 1 . This condition is equivalent to Z p ≦ W 1 by dimension counting, which in turn is equivalent to Z p + T 1 ≦ W 1 . Using the projection u : V → V /T 1 , our condition is u(Z p ) ≦ u(W 1 ). By the construction of Z p and W 1 from (f, g) ∈ Hom(S p , V 2 ) × Hom(V 1 , V 2 /T 1 ), the condition is equivalent to Let F be the surjective map of linear spaces given by Then E = Ker F . Once again, this construction globalizes. U ⊂ Fl(d < e, V ) is the total space of the vector bundle corresponding to a locally trivial sheaf of finite rank E. (E is the kernel of a surjective morphism of locally trivial sheaves of finite rank, hence it is locally trivial of finite rank.) Remark 3.2. Let A 1 , A 2 and A be the complements of the open subvarieties U 1 , U 2 and U in the appropriate flag varieties and endow them with the reduced scheme structure. A short calculation shows that Hence A 1 , A 2 and A are union of Schubert cells. Recall that an a-dimensional Schubert cell is isomorphic to the a-dimensional affine space A a . (For more details on Schubert cells the interested reader can consult with Chapter 10.2 in [Fu97].) Remark 3.3. By Lemma 2.9 we can find a finite Galois extension L|K (where L ≦ K) such that φ 1 , φ 2 , ψ, U 1 , U 2 , U and A 1 , A 2 , A are defined over L. Moreover we can require that, the decompositions of A 1 , A 2 and A into the union of Schubert cells exist over the field L. In particular, this implies that, the sets of L-rational points are dense in A 1 , A 2 and A (as the same hold for the affine spaces). Furthermore, since a vector bundle structure over a variety can be defined only using finitely many elements from the ground field, we can secure that Proposition 3.1 also holds over L. During Section 5 we will work over a finite Galois extension L|K and use the notation introduced in this section (more precisely its corresponding counterpart which is defined over the field L).

Group actions on forms of flag varieties
We recall some theorems about birational automorphism groups. To start with, we introduce the notion of strongly Jordan groups. It first appeared in [?].
Definition 4.1 (Definition 1.1 in[?]). A group G is called strongly Jordan if it is Jordan, and there exists a constant r ∈ N such that every finite Abelian subgroup A ≦ G can be generated by r elements, in other words the rank of an arbitrary finite Abelian subgroup is smaller than r.
Theorem 4.2. Let X be a variety. If X is either rationally connected or nonuniruled, then the birational automorphism group Bir(X) is strongly Jordan.
Proof. If X is rationally connected then the birational automorphism group is Jordan by Theorem 1.8 of [PS16a] and Theorem 1.1 of [Bi16]. If X is non-uniruled then the birational automorphism group is Jordan by Theorem 1.8 of [PS14]. Furthermore, Remark 6.9 of [PS14] and Theorem 1.1 of [Bi16] shows that the ranks of the finite Abelian subgroups of the birational automorphism group of an arbitrary variety is bounded by a constant depending only on the variety. Putting together these results proves the theorem. Proof. Assume that there exists a constant N ∈ N such that if g ∈ G is an element of finite order, then the order of g is smaller than N . We will show that this implies the boundedness of G. By Proposition 6.2 of [PS14] for an arbitrary variety X (using the MRC-fibration) we can fix a rationally connected variety X rc over some function field and a nonuniruled variety X nu over the ground field such that an arbitrary finite subgroup G 0 ≦ G(≦ Bir(X)) is an extension of finite groups G rc and G nu , where G rc ≦ Bir(X rc ) and G nu ≦ Bir(X nu ). (Note that, if the MRC-fibration is trivial, then either the group G rc or the group G nu is trivial, which does not pose any problem in our argument.) We know that Bir(X rc ) and Bir(X nu ) are strongly Jordan groups. Denote the corresponding Jordan constants by J rc and J nu respectively, and denote the constants bounding the ranks of finite Abelian subgroups by r rc and r nu respectively. Since X rc and X nu only depend on X, J rc , J nu and r rc , r nu only depend on X as well. We will use the following easy observation. Let A be a finite Abelian group. Assume that A can be generated by r elements and the order of an arbitrary element a ∈ A is smaller than N . Then the cardinality of A is smaller than r N . G rc is isomorphic to a finite subgroup of G 0 , therefore the order of an arbitrary element of G rc is smaller than N . G rc has an Abelian subgroup of rank at most r rc and of index smaller than J rc . Hence |G rc | < J rc r N rc . G nu is the homomorphic image of G 0 , therefore the order of an arbitrary element of G nu is smaller than N . G nu has an Abelian subgroup of rank at most r nu and of index smaller than J nu . Hence |G nu | < J nu r N nu . Therefore |G 0 | < J rc J nu (r rc r nu ) N . Since G 0 was an arbitrary finite subgroup of G, and all constants depend only on X, G is bounded. This contradiction finishes the proof.
Remark 4.4. A similar argument proves the following claim. Let X be a variety, then there exists a constant m ∈ N, depending only on X, such that any finite subgroup of the birational automorphism group Bir(X) can be generated by m elements.
Definition 4.5. Let K be a field and let the K-variety X be a form of a flag variety. Let L be a splitting field for X such that L|K is a Galois extension. Fix an isomorphism ϕ : Fl(d, V ) → X × Spec L. Let T : Gal(L|K) → Aut K (Fl(d, V )) be the twisted Galois action defined by T (σ) = ϕ −1 • (id × S(σ)) • ϕ, where σ is an arbitrary element of Gal(L|K) and S(σ) : Spec L → Spec L is induced by σ −1 : L → L. We call T the Galois action corresponding to ϕ.
Let the variety X be a form of an admissible flag variety and assume that its automorphism group is not bounded. In the next lemma we will examine the effect of the commutation of the automorphism group of X (viewed as a subgroup of the automorphism group of the corresponding flag variety) and the corresponding twisted Galois action.
Lemma 4.6. Let K be a field containing all roots of unity. Let the K-variety X be a form of an admissible flag variety. Let L be a splitting field for X such that L|K is a Galois extension. Assume that the automorphism group Aut K (X) is not bounded. Let X × Spec L ∼ = Fl(d, V ) (where V is an L-vector space), and let T : Gal(L|K) → Aut K (Fl(d, V )) be the corresponding twisted Galois action. We can choose a basis b of V such that it splits as b = b 1 ∪ b 2 (b 1 , b 2 = ∅), giving rise to a direct sum decomposition V = V 1 ⊕ V 2 such that ∀σ ∈ Gal(L|K): T (σ) = a σ • B b (σ) (see Definition 2.16), where a σ ∈ Aut L (Fl(d, V )) = PGL(V ) respects this decomposition, i.e. an arbitrary lift c σ ∈ GL(V ) of a σ is contained in GL(V 1 )× GL(V 2 ) < GL(V ).
Proof. The isomorphism X × Spec L ∼ = Fl(d, V ) induces an isomorphism Aut L (X × Spec L) ∼ = Aut L (Fl(d, V )) = PGL(V ). Let n = dim V , and fix a finite order element g ∈ Aut K (X) with order larger than n!. It exists by the previous theorem. g can be viewed as an element in PGL(V ) since Aut K (X) ≦ Aut L (X × Spec L). Let h be a fixed lift of g to GL(V ) such that the order of h is equal to the order of g, it exists since K contains all roots of unity. Notice that h is of finite order, hence it is semisimple (since we are in characteristic 0). Let b be a basis of V consisting of eigenvectors of h. Again, this basis exists as K contains all roots of unity and h is of finite order (hence its eigenvalues are roots of unity). Let V ∼ = V λ1 ⊕ V λ2 ⊕ ... ⊕ V λr be the direct sum decomposition corresponding to the eigenspaces of h n! . Since g n! = 1, the linear transformation h n! cannot be a scalar multiply of the identity, therefore it has at least two distinct eigenspaces, i.e. r ≧ 2. Let V 1 = V λ1 and V 2 = V λ2 ⊕ ... ⊕ V λr . The basis b splits as b 1 ∪ b 2 , where b i is a basis of V i . Indeed, an eigenspace of h n! is a direct sum of the eigenspaces of h. Moreover, since h is chosen to be of finite order: h • A b (σ) = A b (σ) • h, as K contains all roots of unity by assumption.
The action of g on X × Spec L commutes with the natural Galois action. Indeed the action of g derives from a group action on X, while the natural Galois action derives form a group action on Spec L. Using the isomorphism Aut L (X × Spec L) ∼ = PGL(V ), this leads us to g • (a σ • B b (σ)) = (a σ • B b (σ)) • g. Since h and A b (σ) commutes, the same holds for g and B b (σ), hence g • a σ = a σ • g ∈ PGL(V ). Lift this equation to GL(V ): hc σ = ν σ c σ h, where c σ is an arbitrary lift of a σ , and ν σ ∈ L only depends on σ (as we keep h fixed throughout our argument).
Remark 4.7. A similar, but much more technical, statement can be formulated including the case of non-admissible flag varieties. Since we will not use it, we decided only to state the simpler version which applies to admissible flags.

Proof of the Main Theorem
The strategy for the proof is the following. Instead of working with X, we will consider a flag variety equipped with a twisted Galois action. Using the splitting established in Lemma 4.6 and the constructions introduced in Section 3, we will build a Galois equivariant morphism from the flag variety to a lower dimensional variety, which is isomorphic to the Galois equivariant projection morphism of a vector bundle. Finally, by the use of Galois descent, we achieve the desired result.
If Aut K (X) is bounded, then the claim of the main theorem (Theorem 1.4) holds, so in the followings we assume otherwise. 5.1. Setup of the proof of Theorem 1.4. 5.1.1. Notation. Let K be a field of characteristic 0, containing all roots of unity. Let the K-variety X be a form of an admissible flag variety. We will use the notations of φ 1 , φ 2 , ψ and U 1 , U 2 , U introduced in Section 3 (see also Remark 3.3). Let L be a splitting field for X such that L|K is a finite Galois extension (see Definition 2.12). Let X × Spec L ∼ = Fl(d 0 , V ) (where V is an L-vector space), and let T : Gal(L|K) → Aut K (Fl(d 0 , V )) be the corresponding Galois action (see Definition 4.5). Let b be the basis of V established in Lemma 4.6, b = b 1 ∪ b 2 and V = V 1 ⊕ V 2 be the corresponding decompositions. By enlarging L if necessary, we can assume that φ 1 , φ 2 , ψ and U 1 , U 2 , U are defined over L (see Remark 3.3), Proposition 3.1 holds over L, moreover we can require that the sets of L-rational points in the complements of U 1 , U 2 and U are dense (see Remark 3.3). Let be the corresponding twisted Galois actions (see Definition 2.16). Finally, let n = dim V and n i = dim V i (i = 1, 2). There are three different cases depending on the sequence d 0 = (d 0,1 < d 0,2 < ... < d 0,r ) and on dim V 1 = n 1 . Case 1: d 0,r ≦ n 1 , Case 2: n 1 < d 0,1 and Case 3: d 0,1 ≦ n 1 < d 0,r . All of them should be handled similarly.
In the followings we will explicitly deal with Case 3. This contains all the necessary techniques and calculations involved in Case 1 and Case 2. At the end of each step we remark some of the necessary changes to deal with the other cases.

Construction of the Galois actions on the target spaces.
Let's assume Case 3. We will investigate ψ, at the end of the subsection we will note the changes for the other two cases. Split d 0 as d = (d 1 < ... < d p ) and e = (e 1 < ... < e q ), where d p ≦ n 1 < e 1 and d 0 = (d 1 < ... < d p < e 1 ... < e q ). The basis b 1 and b 2 induce the following actions.
By Lemma 4.6 ∀σ ∈ Gal(L|K): T (σ) = a σ •B b (σ) (a σ ∈ PGL(V )), and an arbitrary lift of a σ , denoted by c σ , splits, i.e. c σ ∈ GL(V 1 )× GL(V 2 ). For every σ ∈ Gal(L|K) fix a lift c σ , and let c σ,1 ∈ GL(V 1 ) and c σ,2 ∈ GL(V 2 ) be its components. Let a σ,1 ∈ PGL(V 1 ) and a σ,2 ∈ PGL(V 2 ) be the images of c σ,1 and c σ,2 respectively. Since all steps in our construction was compatible with the decomposition V = V 1 ⊕ V 2 , define twisted Galois actions for Fl(d, V 1 ) and Fl(e − n 1 , V 2 ) respectively. Putting them together defines a twisted Galois action on Fl(d, V 1 ) × Fl(e − n 1 , V 2 ). In Case 1 and Case 2 we do not need to introduce the notations d and e. In Case 1 we need to consider a Q 1 -like action on Fl(d 0 , V 1 ) (we denote it by R 1 ), while in Case 2 we need to consider a Q 2 -like action on Fl(d 0 − n 1 , V 2 ) (we denote it by R 2 ).

5.2.
Steps of the proof of Theorem 1.4.

5.2.1.
Galois equivariance of the rational maps φ 1 , φ 2 and ψ. To show the Galois equivariance of φ 1 , φ 2 and ψ we need to check two things, the invariance of the open subvariety where the rational maps are defined (U 1 , U 2 and U , respectively), and the equivariance of the corresponding morphisms from the open subvarieties to the target spaces. Proof. We consider the case of U , the proof for the other two cases are almost verbatim. Let σ ∈ Gal(L|K) be an arbitrary element of the Galois group. First notice that L-rational points of a flag variety can be identified with the flags of the underlying vector space. We will show that an L-rational point (i.e. a flag) belongs to U if and only if it belongs to T (σ)U . Notice that the L-rational points of the open subvariety U ⊂ Fl(d < e, V ) are given by V 1 , V 2 and V are invariant under the natural actions of c σ and A(σ) by construction. Hence satisfies the defining equation of the L-rational points of U if and only if Z 1 < ... < Z p < W 1 < ... < W q ∈ U . Consider the complements of U and T (σ)U as topological subspaces in the underlying topological space of Fl(d < e, V ). They are homeomorphic Zariski closed sets, moreover they contain exactly the same set of L-rational points. We have chosen the field L in such a way that the L-rational points in the complement of U forms a dense set. Putting these together implies that complement of U and T (σ)U are equal. Hence T (σ)U = U as open subvarieties.
Recall the definitions of the Galois actions R 1 , R 2 and Q from Section 5.1.2.
(1) The morphism φ 1 : U 1 → Fl(d 0 , V 1 ) is equivariant for the twisted Galois actions T and R 1 . Proof. First notice that L-flag varieties can be covered by affine spaces A m L , where m is the appropriate dimension. Therefore the L-rational points form a dense set (as the same holds for A m L ). Hence, to show that two morphisms whose domains and target spaces are built up from open subvarieties of L-flag varieties are equal, it is enough to show that they are equal on L-rational points, which can be identified with flags. (Also note that checking Galois equivariance is equivalent to checking equality of morphisms.) From now on we will deal with the case of ψ and note the necessary changes at the end of the proof for the other two cases. The twisted Galois action T on the L-rational points (i.e. on the flags) is given by the formula where Z 1 < ... < Z p < W 1 < ... < W q is an arbitrary flag of the open subvariety U and σ ∈ Gal(L|K) is an arbitrary element of the Galois group. While the twisted Galois action Q is given by the formula where (S 1 < ... < S p , T 1 < ... < T q ) is an arbitrary L-rational point of the product variety Fl(d, V 1 ) × Fl(e − n 1 , V 2 ) and σ ∈ Gal(L|K) is an arbitrary element of the Galois group. Comparing these equations with the definition of ψ shows that for verifying the Galois equivariance of ψ it is enough to check that the followings hold.
where Z and W are arbitrary linear subspaces of V and pr : V → V 1 is the projection along V 2 . For the first equation, consider an arbitrary vector v ∈ V . It can be written as Hence the first equation is satisfied. For the second one, let W ≦ V be an arbitrary linear subspace.
where we used that V 2 is invariant under c σ • A(σ) and that c σ • A(σ) is a bijection from V to V . Hence the second equation is satisfied too, which shows that ψ is Galois equivariant. For the case of φ 1 we need to perform the steps corresponding to the Z 1 < ... < Z ppart of the above argument, meanwhile for the case of φ 2 we need to perform the steps corresponding to the W 1 < ... < W q -part.
Proof. Again using the fact that L-rational points of L-flag varieties form a dense set, it is enough to check that the vector bundle structure is respected on the Lrational points, i.e. on the flags. As usual we assume the case of (U, Fl(d, V 1 ) × Fl(e − n 1 , V 2 ), ψ) and note the necessary changes for the other two cases at the end of the proof. Let Z 1 < ... < Z p < W 1 < ... < W q ∈ U be an arbitrary flag lying over (S 1 < ... < S p , T 1 < ... < T q ) ∈ Fl(d, V 1 ) × Fl(e − n 1 , V 2 ). As we have seen before, its image under T (σ) (σ ∈ Gal(L|K)) is the flag Using these formulas and the equations (3.1), (3.2) and (3.3) which construct the flag Z 1 < ... < Z p < W 1 < ... < W q ∈ U from (f, g) ∈ E < Hom(S p , V 2 ) × Hom(V 1 , V 2 /T 1 ) (and the corresponding equations for the image of the flag), we can see that the image of the flag corresponds to is the σ-linear homomorphism induced by c σ,2 • A 2 (σ) : V 2 → V 2 . Therefore we have a Galois action on the vector bundle structure which respects the addition and twists the multiplication by scalar operations. (Observe that the formula of the action does not depend on the choice of the lift c σ as both c σ,1 and c σ,2 derives from the same lift.) Again for the other two cases we only need to carry out half of the proof. For the case of (U 1 , Fl(d 0 , V 1 ), φ 1 ) we need the part which corresponds to Z 1 < ... < Z p and f , for the case of (U 2 , Fl(d 0 − n 1 , V 2 ), φ 2 ) we need the other half which corresponds to W 1 < ... < W q and g.

Galois descent.
We can finish our proof by the help of Galois descent.
Proof of Theorem 1.4. For Case 3 we can summarize the results of the previous lemmas in the following way. We constructed a Galois equivariant commutative diagram of L-varieties, where ψ is a Galois equivariant projection of a vector bundle structure. U Generally (including all three cases) we can say that, there is a Galois equivariant commutative diagram of L-varieties Finally, we can use results of Galois descent (Theorem 2.14 and Theorem 2.19) to achieve a commutative diagram over K with the same properties.
is an open subvariety of X, therefore they are birational. Since W * is a vector bundle over Y * , W * is birational to P m × Y * for some m > 0. Putting these together shows that X is birational to P m × Y * .
Remark 5.4. Now we can reflect on the role of the admissibility condition. In the proof above we showed that we can endow Fl(d, V 1 ), Fl(e − n 1 , V 2 ) and Fl(d, V 1 ) × Fl(e − n 1 , V 2 ) with twisted Galois actions which makes the morphism φ 1 , φ 2 and ψ Galois equivariant. If Fl(d, V ) is non-admissible then Fl(d, V 1 ) and Fl(e − n 1 , V 2 ) must be admissible. In this case there exists a pair (T, σ) where T : Gal(L|K) → Aut K (Fl(d, V )) is a twisted Galois actions and σ ∈ Gal(L|K) is such that T (σ) = a σ • B b (σ) is 'dimension-swapping', i.e a σ / ∈ PGL(V ) (see Remark 2.17). Because of this dimension-swap we cannot construct Galois actions on the target spaces which makes the morphisms φ 1 , φ 2 and ψ Galois equivariant.

Brauer-Severi surfaces
We analyze the question of non-ruledness of non-trivial Brauer-Severi surfaces. We need to introduce a couple of new concepts. We will not explain them in full detail, the interested reader is referred to [GS06], [Ja00] and [Ko16] for further information on the subject. During this section we can relax the condition that the ground field is of characteristic zero.
Definition 6.1. Let K be a field, and let X and Y be Brauer-Severi varieties over K with dimensions n and m respectively. Let ϕ : X Y be a rational map. ϕ is called twisted linear if it is linear over K, i.e. the composite map P n ∼ = X × Spec K Y × Spec K ∼ = P m is linear. We call the pair (X, ϕ) a twisted linear subvariety of Y if the composite map is induced by a linear injection. (Notice that in the case of a twisted linear subvariety ϕ can be extended to a morphism of varieties.) If no confusion can arise we denote the pair (X, ϕ) simply by X. We call X a minimal twisted linear subvariety of Y , if it is a twisted linear subvariety and has minimal dimension amongst the twisted linear subvarieties. By Theorem 28 in [Ko16] the isomorphism class of a minimal twisted linear subvariety is well defined. We call the Brauer-Severi variety Y minimal if the only twisted linear subvariety of Y is itself (up to isomorphism). For an arbitrary Brauer-Severi variety P we will denote a fixed minimal twisted linear subvariety by P min .
Lemma 6.2. Let K be a field and let X be a Brauer-Severi curve or a Brauer-Severi surface over K. X is non-trivial if and only if X is minimal.
Proof. If X is a non-minimal Brauer-Severi curve then X has a 0-dimensional twisted linear subvariety, i.e X has a K-rational point. Then by Châtelet's theorem X is trivial (Theorem 5.1.3 in [GS06]).
If X is a non-minimal Brauer-Severi surface then X either has a K-rational point or a one codimensional twisted linear subvariety. In both cases X is trivial by versions of Châtelet's theorem. The other directions are trivial. Definition 6.3 (Definition-Lemma 31 in [Ko16]). We call two Brauer-Severi varieties X and Y similar or Brauer equivalent if X min ∼ = Y min .
Remark 6.4. There is a canonical correspondence between central simple algebras and Brauer-Severi varieties over a given field K (Theorem 5.1 in [Ja00]). We can also introduce the Brauer equivalence relation on the central simple algebras in a natural way. The canonical correspondence between central simple algebras and Brauer-Severi varieties respects these equivalence relations. Furthermore we can endow the central simple algebras with operations (tensor product and taking the opposite algebra), which respects the Brauer equivalence relation and turn the equivalence classes into a commutative group, called the Brauer group (Chapter 2.4 in [GS06]). A similar construction can be carried out purely geometrically.
Theorem 6.5. We can introduce operations on Brauer-Severi varieties which turns the Brauer equivalence classes into a commutative group which is naturally isomorphic to the Brauer group. (For further details see Section 4 and 5 of [Ko16].) Remark 6.6. If X and Y are Brauer-Severi varieties we will use the notation X ⊗ Y for the binary operation introduced in Theorem 6.5. We will use the notation X ⊗m to denote the m-fold 'product' of X with itself (m ∈ Z + ).
Theorem 6.7 (Amitsur's theorem, Proposition 45 in [Ko16]). Let X and Q be Brauer-Severi varieties. The following two conditions are equivalent: Q is similar to X ⊗m for some positive integer m; there is a rational map ϕ : X Q.
Definition 6.8. Let K be a field and X be a projective K-variety. The index of X is the greatest common divisor of the degrees of all 0-cycles on X. It is denoted by ind(X).
Lemma 6.9 (Lemma 51 in [Ko16]). Let X be a Brauer-Severi variety and m be a positive integer, then the index of X ⊗m divides the index of X.
Lemma 6.11. Let K be a field and X be a Brauer-Severi surface over K. If X is ruled then either X is trivial or there exists a rational map ϕ : X Q, where Q is a non-trivial Brauer-Severi curve.
Proof. If X is ruled then it is birational to P 1 K × Q, where Q is a smooth projective curve. Notice that if Q is birational to P 1 K , then X has K-rational points, therefore X is trivial by Châtelet's theorem. So we can assume that Q is not isomorphic to the projective line. Denote Q×Spec K by Q K . Since X is a Brauer-Severi surface, P 1 K ×Q K is rational. Therefore we can take a general rational curve c : P 1 K → P 1 K × Q K (i.e. we can take a general morphism of the projective line to P 1 K × Q K ) and we can compose c with the canonical projection P 1 K → P 1 K × Q K → Q K . Since c is general, the composite is dominant (i.e. the rational curve does not lie in a fiber over Q K ). Hence we get a non-trivial morphism from a projective line to the smooth curve Q K . This implies that Q K is isomorphic to the projective line, i.e. Q is a Brauer-Severi curve. As Q is not isomorphic to the projective line, Q is non-trivial.
The composite X P 1 K × Q → Q, where the first map is the birational isomorphism giving the ruledness and the second is the canonical projection, gives a rational map X Q from X to a non-trivial Brauer-Severi curve.
Proof of Theorem 1.6. If the Brauer-Severi surface X is trivial, then it is ruled.
Assume that X is non-trivial and ruled. By the previous lemma there is a rational map ϕ : X Q, where Q is a non-trivial Brauer-Severi curve. By Amitsur's theorem (Theorem 6.7) Q is similar to X ⊗m for some positive integer m. Hence Q min ∼ = (X ⊗m ) min by the definition of similarity. We can consider indices: 2 = dim Q + 1 = dim Q min + 1 = ind(Q min ) = ind((X ⊗m ) min ) = ind(X ⊗m ), by Lemma 6.2 and by Theorem 6.10. On the other hand ind(X ⊗m ) divides ind(X) by Lemma 6.9, and ind(X) = dim X min + 1 = dim X + 1 = 3, by Theorem 6.10 and Lemma 6.2. Since 2 does not divide 3, we arrived to a contradiction. Hence a non-trivial Brauer-Severi surface cannot be ruled. This finishes the proof.
Remark 6.12. Brauer-Severi surfaces corresponds canonically to degree three central simple algebras (Theorem 5.1 in [Ja00]). (The degree of a central simple algebra is the square root of its dimension, it is a positive integer.) By Wedderburn's theorem degree three central simple algebras are cyclic algebras (Chapter 15.6 in [Pi82]). Moreover, if K is a field of characteristic zero containing all roots of unity, then cyclic algebras over K are given by the following presentation: K < x 1 , x 2 |x m 1 = a, x m 2 = b, x 1 x 2 = ωx 2 x 1 >, where m ∈ Z + , a, b ∈ K * and ω is a primitive m-th root of unity (Corollary 2.5.5 in [GS06]). We call a central simple algebra over K split if it is isomorphic to a matrix ring over K. It is equivalent with the corresponding Brauer-Severi variety being trivial. A cyclic algebra of the above presentation (where K is a field of characteristic zero containing all roots of unity) is split if and only if b is a norm from the field extension K( m √ a)|K (Corollary 4.7.7 in [GS06]). Putting these together, one can show that C(t 1 , t 2 ) < x 1 , x 2 |x 3 1 = t 1 , x 3 2 = t 2 , x 1 x 2 = e 2πi/3 x 2 x 1 > corresponds to a non-trivial Brauer-Severi surface over a field of characteristic zero containing all roots of unity.