-
A-upper motives
Authors:
Charles De Clercq,
Nikita Karpenko,
Anne Quéguiner-Mathieu
Abstract:
Let $E/F$ be a finite field extension with every intermediate field being Galois over $F$. Given a reductive group $G$ over $F$ such that $G_E$ is of inner type, we define its A-upper motives. These motives are indecomposable and naturally related with the indecomposable summands in the motives of spectra of intermediate fields in $E/F$. We show that motives of projective homogeneous varieties und…
▽ More
Let $E/F$ be a finite field extension with every intermediate field being Galois over $F$. Given a reductive group $G$ over $F$ such that $G_E$ is of inner type, we define its A-upper motives. These motives are indecomposable and naturally related with the indecomposable summands in the motives of spectra of intermediate fields in $E/F$. We show that motives of projective homogeneous varieties under $G$ are isomorphic to direct sums of Tate shifts of A-upper motives. Based on that, we get a classification of the motives of projective homogeneous varieties under absolutely simple groups of type not $^6\!D_4$, by means of their higher Artin-Tate traces. We also show how Tits indexes over suitable field extensions determine motivic equivalence classes for these algebraic groups.
△ Less
Submitted 16 March, 2024;
originally announced March 2024.
-
Triality over fields with $I^3=0$
Authors:
Fatma Kader Bingöl,
Anne Quéguiner-Mathieu
Abstract:
We characterize isotropic trialitarian triples in terms of the Schur indices of the underlying algebras over a base field $F$ of arbitrary characteristic satisfying $I_q^3 F=0$. We also construct anisotropic trialitarian triples over such fields.
We characterize isotropic trialitarian triples in terms of the Schur indices of the underlying algebras over a base field $F$ of arbitrary characteristic satisfying $I_q^3 F=0$. We also construct anisotropic trialitarian triples over such fields.
△ Less
Submitted 16 December, 2023;
originally announced December 2023.
-
Witt groups of Severi-Brauer varieties and of function fields of conics
Authors:
Anne Quéguiner-Mathieu,
Jean-Pierre Tignol
Abstract:
The Witt group of skew hermitian forms over a division algebra $D$ with symplectic involution is shown to be canonically isomorphic to the Witt group of symmetric bilinear forms over the Severi-Brauer variety of $D$ with values in a suitable line bundle. In the special case where $D$ is a quaternion algebra we extend previous work by Pfister and by Parimala on the Witt group of conics to set up tw…
▽ More
The Witt group of skew hermitian forms over a division algebra $D$ with symplectic involution is shown to be canonically isomorphic to the Witt group of symmetric bilinear forms over the Severi-Brauer variety of $D$ with values in a suitable line bundle. In the special case where $D$ is a quaternion algebra we extend previous work by Pfister and by Parimala on the Witt group of conics to set up two five-terms exact sequences relating the Witt groups of hermitian or skew-hermitian forms over $D$ with the Witt groups of the center, of the function field of the Severi-Brauer conic of $D$, and of the residue fields at each closed point of the conic.
△ Less
Submitted 17 March, 2024; v1 submitted 7 April, 2023;
originally announced April 2023.
-
Higher Tate traces of Chow motives
Authors:
Charles De Clercq,
Anne Quéguiner-Mathieu
Abstract:
We establish the complete classification of Chow motives of projective homogeneous varieties for $p$-inner semi-simple algebraic groups, with coefficients in $\mathbb{Z}/p\mathbb{Z}$. Our results involve a new motivic invariant, the Tate trace of a motive, defined as a pure Tate summand of maximal rank. They apply more generally to objects of the Tate subcategory generated by upper motives of irre…
▽ More
We establish the complete classification of Chow motives of projective homogeneous varieties for $p$-inner semi-simple algebraic groups, with coefficients in $\mathbb{Z}/p\mathbb{Z}$. Our results involve a new motivic invariant, the Tate trace of a motive, defined as a pure Tate summand of maximal rank. They apply more generally to objects of the Tate subcategory generated by upper motives of irreducible, geometrically split varieties satisfying the nilpotence principle. Using Chernousov-Gille-Merkurjev decompositions and their interpretation through Bialynicki-Birula-Hesselink-Iversen filtrations due to Brosnan, we then generalize the characterization of the motivic equivalence of inner semi-simple groups through the higher Tits $p$-indexes. We also define the motivic splitting pattern and the motivic splitting towers of a summand of the motive of a projective homogeneous variety, which correspond for quadrics to the classical splitting pattern and Knebusch tower of the underlying quadratic form.
△ Less
Submitted 1 July, 2024; v1 submitted 23 February, 2023;
originally announced February 2023.
-
Degree $3$ relative invariant for unitary involutions
Authors:
Demba Barry,
Alexandre Masquelein,
Anne Quéguiner-Mathieu
Abstract:
Using the Rost invariant for non split simply connected groups, we define a relative degree $3$ cohomological invariant for pairs of orthogonal or unitary involutions having isomorphic Clifford or discriminant algebras. The main purpose of this paper is to study general properties of this invariant in the unitary case, that is for torsors under groups of outer type ${\sf A}$. If the underlying alg…
▽ More
Using the Rost invariant for non split simply connected groups, we define a relative degree $3$ cohomological invariant for pairs of orthogonal or unitary involutions having isomorphic Clifford or discriminant algebras. The main purpose of this paper is to study general properties of this invariant in the unitary case, that is for torsors under groups of outer type ${\sf A}$. If the underlying algebra is split, it can be reinterpreted in terms of the Arason invariant of quadratic forms, using the trace form of a hermitian form. When the algebra with unitary involution has a symplectic or orthogonal descent, or a symplectic or orthogonal quadratic extension, we provide comparison theorems between the corresponding invariants of unitary and orthogonal or symplectic types. We also prove the relative invariant is classifying in degree $4$, at least up to conjugation by the non-trivial automorphism of the underlying quadratic extension. In general, choosing a particular base point, the relative invariant also produces absolute Arason invariants, under some additional condition on the underlying algebra. Notably, if the algebra has even co-index, so that it admits a hyperbolic involution, which is unique up to isomorphism, we get a so-called {\em hyperbolic} Arason invariant. Assuming in addition the algebra has degree $8$, we may also define a {\em decomposable} Arason invariant. It generally does not coincide with the hyperbolic Arason invariant, as the hyperbolic involution need not be totally decomposable.
△ Less
Submitted 18 July, 2022;
originally announced July 2022.
-
Minimal quadratic forms for the function field of a conic in characteristic $2$
Authors:
Adam Chapman,
Anne Quéguiner-Mathieu
Abstract:
In this note, we construct explicit examples of $F_Q$-minimal quadratic forms of dimension $5$ and $7$, where $F_Q$ is the function field of a conic over a field $F$ of characteristic $2$. The construction uses the fact that any set of $n$ cyclic $p$ algebras over a field of characteristic $p$ can be described using only $n+1$ elements of the base field. It also uses a general result that provides…
▽ More
In this note, we construct explicit examples of $F_Q$-minimal quadratic forms of dimension $5$ and $7$, where $F_Q$ is the function field of a conic over a field $F$ of characteristic $2$. The construction uses the fact that any set of $n$ cyclic $p$ algebras over a field of characteristic $p$ can be described using only $n+1$ elements of the base field. It also uses a general result that provides an upper bound on the Witt index of an orthogonal sum of two regular anisotropic quadratic forms over a henselian valued field.
△ Less
Submitted 13 December, 2022; v1 submitted 30 November, 2021;
originally announced November 2021.
-
Decomposability of orthogonal involutions in degree 12
Authors:
Anne Quéguiner-Mathieu,
Jean-Pierre Tignol
Abstract:
A theorem of Pfister asserts that every $12$-dimensional quadratic form with trivial discriminant and trivial Clifford invariant over a field of characteristic different from $2$ decomposes as a tensor product of a binary quadratic form and a $6$-dimensional quadratic form with trivial discriminant. The main result of the paper extends Pfister's result to orthogonal involutions: every central simp…
▽ More
A theorem of Pfister asserts that every $12$-dimensional quadratic form with trivial discriminant and trivial Clifford invariant over a field of characteristic different from $2$ decomposes as a tensor product of a binary quadratic form and a $6$-dimensional quadratic form with trivial discriminant. The main result of the paper extends Pfister's result to orthogonal involutions: every central simple algebra of degree $12$ with orthogonal involution of trivial discriminant and trivial Clifford invariant decomposes into a tensor product of a quaternion algebra and a central simple algebra of degree $6$ with orthogonal involutions. This decomposition is used to establish a criterion for the existence of orthogonal involutions with trivial invariants on algebras of degree $12$, and to calculate the $f_3$-invariant of the involution if the algebra has index $2$.
△ Less
Submitted 5 November, 2019;
originally announced November 2019.
-
The canonical quadratic pair on a Clifford algebra and triality
Authors:
Andrew Dolphin,
Anne Quéguiner-Mathieu
Abstract:
We define a canonical quadratic pair on the Clifford algebra of an algebra with quadratic pair over a field. This allows us to extend to the characteristic 2 case the notion of trialitarian triples, from which we derive a characterization of totally decomposable quadratic pairs in degree 8. We also describe trialitarian triples involving algebras of small Schur index.
We define a canonical quadratic pair on the Clifford algebra of an algebra with quadratic pair over a field. This allows us to extend to the characteristic 2 case the notion of trialitarian triples, from which we derive a characterization of totally decomposable quadratic pairs in degree 8. We also describe trialitarian triples involving algebras of small Schur index.
△ Less
Submitted 29 May, 2019;
originally announced May 2019.
-
Orthogonal involutions on central simple algebras and function fields of Severi-Brauer varieties
Authors:
Anne Quéguiner-Mathieu,
Jean-Pierre Tignol
Abstract:
An orthogonal involution $σ$ on a central simple algebra $A$, after scalar extension to the function field $\mathcal{F}(A)$ of the Severi--Brauer variety of $A$, is adjoint to a quadratic form $q_σ$ over $\mathcal{F}(A)$, which is uniquely defined up to a scalar factor. Some properties of the involution, such as hyperbolicity, and isotropy up to an odd-degree extension of the base field, are encod…
▽ More
An orthogonal involution $σ$ on a central simple algebra $A$, after scalar extension to the function field $\mathcal{F}(A)$ of the Severi--Brauer variety of $A$, is adjoint to a quadratic form $q_σ$ over $\mathcal{F}(A)$, which is uniquely defined up to a scalar factor. Some properties of the involution, such as hyperbolicity, and isotropy up to an odd-degree extension of the base field, are encoded in this quadratic form, meaning that they hold for the involution $σ$ if and only if they hold for $q_σ$. As opposed to this, we prove that there exists non-totally decomposable orthogonal involutions that become totally decomposable over $\mathcal{F}(A)$, so that the associated form $q_σ$ is a Pfister form. We also provide examples of nonisomorphic involutions on an index $2$ algebra that yield similar quadratic forms, thus proving that the form $q_σ$ does not determine the isomorphism class of $σ$, even when the underlying algebra has index $2$. As a consequence, we show that the $e_3$ invariant for orthogonal involutions is not classifying in degree $12$, and does not detect totally decomposable involutions in degree $16$, as opposed to what happens for quadratic forms.
△ Less
Submitted 18 July, 2018;
originally announced July 2018.
-
Critical varieties and motivic equivalence for algebras with involution
Authors:
Charles De Clercq,
Anne Quéguiner-Mathieu,
Maksim Zhykhovich
Abstract:
Motivic equivalence for algebraic groups was recently introduced in [9], where a characterization of motivic equivalent groups in terms of higher Tits indexes is given. As a consequence, if the quadrics associated to two quadratic forms have the same Chow motives with coefficients in F_2, this remains true for any two projective homogeneous varieties of the same type under the orthogonal groups of…
▽ More
Motivic equivalence for algebraic groups was recently introduced in [9], where a characterization of motivic equivalent groups in terms of higher Tits indexes is given. As a consequence, if the quadrics associated to two quadratic forms have the same Chow motives with coefficients in F_2, this remains true for any two projective homogeneous varieties of the same type under the orthogonal groups of those two quadratic forms. Our main result extends this to all groups of classical type, and to some exceptional groups, introducing a notion of critical variety. On the way, we prove that motivic equivalence of the automorphism groups of two involutions can be checked after extending scalars to some index reduction field, which depends on the type of the involutions. In addition, we describe conditions on the base field which guarantee that motivic equivalent involutions actually are isomorphic, extending a result of Hoffmann on quadratic forms.
△ Less
Submitted 11 February, 2018;
originally announced February 2018.
-
Outer automorphisms of classical algebraic groups
Authors:
Anne Quéguiner-Mathieu,
Jean-Pierre Tignol
Abstract:
The so-called Tits class, associated to an adjoint absolutely almost simple algebraic group, provides a cohomological obstruction for this group to admit an outer automorphism. If the group has inner type, this obstruction is the only one. In this paper, we prove this is not the case for classical groups of outer type, except for groups of type $^2\mathsf{A}_n$ with $n$ even, or $n=5$. More precis…
▽ More
The so-called Tits class, associated to an adjoint absolutely almost simple algebraic group, provides a cohomological obstruction for this group to admit an outer automorphism. If the group has inner type, this obstruction is the only one. In this paper, we prove this is not the case for classical groups of outer type, except for groups of type $^2\mathsf{A}_n$ with $n$ even, or $n=5$. More precisely, we prove a descent theorem for exponent $2$ and degree $6$ algebras with unitary involution, which shows that their automorphism groups have outer automorphisms. In all other relevant classical types, namely $^2\mathsf{A}_n$ with $n$ odd, $n\geq3$ and $^2\mathsf{D}_n$, we provide explicit examples where the Tits class obstruction vanishes, and yet the group does not have outer automorphism. As a crucial tool, we use "generic" sums of algebras with involution.
△ Less
Submitted 17 October, 2016;
originally announced October 2016.
-
Symplectic Involutions, quadratic pairs and function fields of conics
Authors:
Andrew Dolphin,
Anne Quéguiner-Mathieu
Abstract:
In this paper we study symplectic involutions and quadratic pairs that become hyperbolic over the function field of a conic. In particular, we classify them in degree 4 and deduce results on 5 dimensional minimal quadratic forms, thus extending to arbitrary fields some results of [24], which were only known in characteristic different from 2.
In this paper we study symplectic involutions and quadratic pairs that become hyperbolic over the function field of a conic. In particular, we classify them in degree 4 and deduce results on 5 dimensional minimal quadratic forms, thus extending to arbitrary fields some results of [24], which were only known in characteristic different from 2.
△ Less
Submitted 16 April, 2016;
originally announced April 2016.
-
The Arason invariant of orthogonal involutions of degree 12 and 8, and quaternionic subgroups of the Brauer group
Authors:
Anne Quéguiner-Mathieu,
Jean-Pierre Tignol
Abstract:
Using the Rost invariant for torsors under Spin groups one may define an analogue of the Arason invariant for certain hermitian forms and orthogonal involutions. We calculate this invariant explicitly in various cases, and use it to associate to every orthogonal involution with trivial discriminant and trivial Clifford invariant over a central simple algebra of even co-index a cohomology class…
▽ More
Using the Rost invariant for torsors under Spin groups one may define an analogue of the Arason invariant for certain hermitian forms and orthogonal involutions. We calculate this invariant explicitly in various cases, and use it to associate to every orthogonal involution with trivial discriminant and trivial Clifford invariant over a central simple algebra of even co-index a cohomology class $f_3$ of degree 3 with $μ_2$ coefficients. This invariant $f_3$ is the double of any representative of the Arason invariant; it vanishes when the algebra has degree at most 10, and also when there is a quadratic extension of the center that simultaneously splits the algebra and makes the involution hyperbolic. The paper provides a detailed study of both invariants, with particular attention to the degree 12 case, and to the relation with the existence of a quadratic splitting field.
△ Less
Submitted 6 February, 2015; v1 submitted 30 June, 2014;
originally announced June 2014.
-
Involutions, odd-degree extensions and generic splitting
Authors:
Jodi Black,
Anne Quéguiner-Mathieu
Abstract:
Let $q$ be a quadratic form over a field $F$ and let $L$ be a field extension of $F$ of odd degree. It is a classical result that if $q_L$ is isotropic (resp. hyperbolic) then $q$ is isotropic (resp. hyperbolic). In turn, given two quadratic forms $q, q^\prime$ over $F$, if $q_L \cong q^\prime_L$ then $q \cong q^\prime$. It is natural to ask whether similar results hold for algebras with involutio…
▽ More
Let $q$ be a quadratic form over a field $F$ and let $L$ be a field extension of $F$ of odd degree. It is a classical result that if $q_L$ is isotropic (resp. hyperbolic) then $q$ is isotropic (resp. hyperbolic). In turn, given two quadratic forms $q, q^\prime$ over $F$, if $q_L \cong q^\prime_L$ then $q \cong q^\prime$. It is natural to ask whether similar results hold for algebras with involution. We give a survey of the progress on these three questions with particular attention to the relevance of hyperbolicity, isotropy and isomorphism over some {appropriate} function field. Incidentally, we prove the anisotropy property in some {new} low degree cases.
△ Less
Submitted 3 July, 2014; v1 submitted 5 October, 2013;
originally announced October 2013.
-
The J-invariant, Tits algebras and Triality
Authors:
Anne Quéguiner-Mathieu,
Nikita Semenov,
Kirill Zainoulline
Abstract:
In the present paper we set up a connection between the indices of the Tits algebras of a simple linear algebraic group $G$ and the degree one parameters of its motivic $J$-invariant. Our main technical tool are the second Chern class map and Grothendieck's $γ$-filtration.
As an application we recover some known results on the $J$-invariant of quadratic forms of small dimension; we describe all…
▽ More
In the present paper we set up a connection between the indices of the Tits algebras of a simple linear algebraic group $G$ and the degree one parameters of its motivic $J$-invariant. Our main technical tool are the second Chern class map and Grothendieck's $γ$-filtration.
As an application we recover some known results on the $J$-invariant of quadratic forms of small dimension; we describe all possible values of the $J$-invariant of an algebra with orthogonal involution up to degree 8 and give explicit examples; we establish several relations between the $J$-invariant of an algebra $A$ with orthogonal involution and the $J$-invariant of the corresponding quadratic form over the function field of the Severi-Brauer variety of $A$.
△ Less
Submitted 27 November, 2011; v1 submitted 6 April, 2011;
originally announced April 2011.
-
Quadratic forms of dimension 8 with trivial discrimiand and Clifford algebra of index 4
Authors:
Alexandre Masquelein,
Anne Quéguiner-Mathieu,
Jean-Pierre Tignol
Abstract:
Izhboldin and Karpenko proved in 2000 that any quadratic form of dimension 8 with trivial discriminant and Clifford algebra of index 4 is isometric to the transfer, with respect to some quadratic étale extension, of a quadratic form similar to a 2-fold Pfister form. We give a new proof of this result, based on a theorem of decomposability for degree 8 and index 4 algebras with orthogonal involut…
▽ More
Izhboldin and Karpenko proved in 2000 that any quadratic form of dimension 8 with trivial discriminant and Clifford algebra of index 4 is isometric to the transfer, with respect to some quadratic étale extension, of a quadratic form similar to a 2-fold Pfister form. We give a new proof of this result, based on a theorem of decomposability for degree 8 and index 4 algebras with orthogonal involution.
△ Less
Submitted 6 February, 2009;
originally announced February 2009.
-
Algebras with involution that become hyperbolic over the fonction field of a conic
Authors:
Anne Quéguiner-Mathieu,
Jean-Pierre Tignol
Abstract:
We study central simple algebras with involution of the first kind that become hyperbolic over the function field of the conic associated to a given quaternion algebra $Q$. We classify these algebras in degree~4 and give an example of such a division algebra with orthogonal involution of degree~8 that does not contain $Q$ with its canonical involution, even though it contains $Q$ and is totally…
▽ More
We study central simple algebras with involution of the first kind that become hyperbolic over the function field of the conic associated to a given quaternion algebra $Q$. We classify these algebras in degree~4 and give an example of such a division algebra with orthogonal involution of degree~8 that does not contain $Q$ with its canonical involution, even though it contains $Q$ and is totally decomposable into a tensor product of quaternion algebras with involution.
△ Less
Submitted 27 May, 2008;
originally announced May 2008.
-
Pfister's Theorem for orthogonal involutions of degree 12
Authors:
Skip Garibaldi,
Anne Quéguiner-Mathieu
Abstract:
We use the fact that a projective half-spin representation of $Spin_{12}$ has an open orbit to generalize Pfister's result on quadratic forms of dimension 12 in $I^3$ to orthogonal involutions.
We use the fact that a projective half-spin representation of $Spin_{12}$ has an open orbit to generalize Pfister's result on quadratic forms of dimension 12 in $I^3$ to orthogonal involutions.
△ Less
Submitted 8 February, 2008;
originally announced February 2008.
-
A generic characterization of direct summands for orthogonal involutions
Authors:
Anne Quéguiner-Mathieu
Abstract:
The `transcendental methods' in the algebraic theory of quadratic forms are based on two major results, proved in the 60's by Cassels and Pfister, and known as the representation and the subform theorems. A generalization of the representation theorem was proven by Jean-Pierre Tignol in 1996, in the setting of central simple algebras with involution. This paper studies the subform question for o…
▽ More
The `transcendental methods' in the algebraic theory of quadratic forms are based on two major results, proved in the 60's by Cassels and Pfister, and known as the representation and the subform theorems. A generalization of the representation theorem was proven by Jean-Pierre Tignol in 1996, in the setting of central simple algebras with involution. This paper studies the subform question for orthogonal involutions. A generic characterization of direct summands is given; an analogue of the subform theorem is proven for division algebras and algebras of index at most 2.
△ Less
Submitted 5 September, 2006;
originally announced September 2006.
-
Restricting the Rost Invariant to the Center
Authors:
Skip Garibaldi,
Anne Quéguiner-Mathieu
Abstract:
For simple simply connected algebraic groups of classical type, Merkurjev, Parimala, and Tignol gave a formula for the restriction of the Rost invariant to torsors induced from the center of the group. We complete their results by proving formulas for exceptional groups. Our method is somewhat different and recovers also their formula for classical groups.
For simple simply connected algebraic groups of classical type, Merkurjev, Parimala, and Tignol gave a formula for the restriction of the Rost invariant to torsors induced from the center of the group. We complete their results by proving formulas for exceptional groups. Our method is somewhat different and recovers also their formula for classical groups.
△ Less
Submitted 28 July, 2006;
originally announced July 2006.
-
Pfister involutions
Authors:
E Bayer-Fluckiger,
R Parimala,
A Queguiner-Mathieu
Abstract:
The question of the existence of an analogue, in the framework of central simple algebras with involution, of the notion of Pfister form is raised. In particular, algebras with orthogonal involution which split as a tensor product of quaternion algebras with involution are studied. It is proven that, up to degree 16, over any extension over which the algebra splits, the involution is adjoint to…
▽ More
The question of the existence of an analogue, in the framework of central simple algebras with involution, of the notion of Pfister form is raised. In particular, algebras with orthogonal involution which split as a tensor product of quaternion algebras with involution are studied. It is proven that, up to degree 16, over any extension over which the algebra splits, the involution is adjoint to a Pfister form. Moreover, cohomological invariants of those algebras with involution are discussed.
△ Less
Submitted 4 June, 2004;
originally announced June 2004.