Cohomological invariant

Last updated September 27, 2024

In mathematics, a cohomological invariant of an algebraic group G over a field is an invariant of forms of G taking values in a Galois cohomology group.

Definition

Suppose that G is an algebraic group defined over a field K, and choose a separably closed field K containing K. For a finite extension L of K in K let Γ_L be the absolute Galois group of L. The first cohomology H¹(L, G) = H¹(Γ_L, G) is a set classifying the G-torsors over L, and is a functor of L.

A cohomological invariant of G of dimension d taking values in a Γ_K-module M is a natural transformation of functors (of L) from H¹(L, G) to H^d(L, M).

In other words, a cohomological invariant associates an element of an abelian cohomology group to elements of a non-abelian cohomology set.

More generally, if A is any functor from finitely generated extensions of a field to sets, then a cohomological invariant of A of dimension d taking values in a Γ-module M is a natural transformation of functors (of L) from A to H^d(L, M).

The cohomological invariants of a fixed group G or functor A, dimension d and Galois module M form an abelian group denoted by Inv^d(G,M) or Inv^d(A,M).

Examples

Suppose A is the functor taking a field to the isomorphism classes of dimension n etale algebras over it. The cohomological invariants with coefficients in Z/2Z is a free module over the cohomology of k with a basis of elements of degrees 0, 1, 2, ..., m where m is the integer part of n/2.
The Hasse−Witt invariant of a quadratic form is essentially a dimension 2 cohomological invariant of the corresponding spin group taking values in a group of order 2.
If G is a quotient of a group by a smooth finite central subgroup C, then the boundary map of the corresponding exact sequence gives a dimension 2 cohomological invariant with values in C. If G is a special orthogonal group and the cover is the spin group then the corresponding invariant is essentially the Hasse−Witt invariant.
If G is the orthogonal group of a quadratic form in characteristic not 2, then there are Stiefel–Whitney classes for each positive dimension which are cohomological invariants with values in Z/2Z. (These are not the topological Stiefel–Whitney classes of a real vector bundle, but are the analogues of them for vector bundles over a scheme.) For dimension 1 this is essentially the discriminant, and for dimension 2 it is essentially the Hasse−Witt invariant.
The Arason invariant e₃ is a dimension 3 invariant of some even dimensional quadratic forms q with trivial discriminant and trivial Hasse−Witt invariant. It takes values in Z/2Z. It can be used to construct a dimension 3 cohomological invariant of the corresponding spin group as follows. If u is in H¹(K, Spin(q)) and p is the quadratic form corresponding to the image of u in H¹(K, O(q)), then e₃(p−q) is the value of the dimension 3 cohomological invariant on u.
The Merkurjev−Suslin invariant is a dimension 3 invariant of a special linear group of a central simple algebra of rank n taking values in the tensor square of the group of nth roots of unity. When n=2 this is essentially the Arason invariant.
For absolutely simple simply connected groups G, the Rost invariant is a dimension 3 invariant taking values in Q/Z(2) that in some sense generalizes the Arason invariant and the Merkurjev−Suslin invariant to more general groups.

Related Research Articles

In mathematics, class field theory (CFT) is the fundamental branch of algebraic number theory whose goal is to describe all the abelian Galois extensions of local and global fields using objects associated to the ground field.

In mathematics, the étale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological space, introduced by Grothendieck in order to prove the Weil conjectures. Étale cohomology theory can be used to construct ℓ-adic cohomology, which is an example of a Weil cohomology theory in algebraic geometry. This has many applications, such as the proof of the Weil conjectures and the construction of representations of finite groups of Lie type.

In mathematics, the Brauer group of a field K is an abelian group whose elements are Morita equivalence classes of central simple algebras over K, with addition given by the tensor product of algebras. It was defined by the algebraist Richard Brauer.

In algebraic geometry, motives is a theory proposed by Alexander Grothendieck in the 1960s to unify the vast array of similarly behaved cohomology theories such as singular cohomology, de Rham cohomology, etale cohomology, and crystalline cohomology. Philosophically, a "motif" is the "cohomology essence" of a variety.

In mathematics, an algebraic torus, where a one dimensional torus is typically denoted by $,, or, is a type of commutative affine algebraic group commonly found in projective algebraic geometry and toric geometry. Higher dimensional algebraic tori can be modelled as a product of algebraic groups . These groups were named by analogy with the theory of tori in Lie group theory. For example, over the complex numbers the algebraic torus is isomorphic to the group scheme, which is the scheme theoretic analogue of the Lie group . In fact, any -action on a complex vector space can be pulled back to a -action from the inclusion as real manifolds.$

In mathematics, a group scheme is a type of object from algebraic geometry equipped with a composition law. Group schemes arise naturally as symmetries of schemes, and they generalize algebraic groups, in the sense that all algebraic groups have group scheme structure, but group schemes are not necessarily connected, smooth, or defined over a field. This extra generality allows one to study richer infinitesimal structures, and this can help one to understand and answer questions of arithmetic significance. The category of group schemes is somewhat better behaved than that of group varieties, since all homomorphisms have kernels, and there is a well-behaved deformation theory. Group schemes that are not algebraic groups play a significant role in arithmetic geometry and algebraic topology, since they come up in contexts of Galois representations and moduli problems. The initial development of the theory of group schemes was due to Alexander Grothendieck, Michel Raynaud and Michel Demazure in the early 1960s.

In mathematics, a reductive group is a type of linear algebraic group over a field. One definition is that a connected linear algebraic group G over a perfect field is reductive if it has a representation that has a finite kernel and is a direct sum of irreducible representations. Reductive groups include some of the most important groups in mathematics, such as the general linear group GL(n) of invertible matrices, the special orthogonal group SO(n), and the symplectic group Sp(2n). Simple algebraic groups and (more generally) semisimple algebraic groups are reductive.

In mathematics, Galois cohomology is the study of the group cohomology of Galois modules, that is, the application of homological algebra to modules for Galois groups. A Galois group G associated with a field extension L/K acts in a natural way on some abelian groups, for example those constructed directly from L, but also through other Galois representations that may be derived by more abstract means. Galois cohomology accounts for the way in which taking Galois-invariant elements fails to be an exact functor.

This is a glossary of arithmetic and diophantine geometry in mathematics, areas growing out of the traditional study of Diophantine equations to encompass large parts of number theory and algebraic geometry. Much of the theory is in the form of proposed conjectures, which can be related at various levels of generality.

In mathematics, a Witt group of a field, named after Ernst Witt, is an abelian group whose elements are represented by symmetric bilinear forms over the field.

In mathematics, a class formation is a topological group acting on a module satisfying certain conditions. Class formations were introduced by Emil Artin and John Tate to organize the various Galois groups and modules that appear in class field theory.

Markus Rost is a German mathematician who works at the intersection of topology and algebra. He was an invited speaker at the International Congress of Mathematicians in 2002 in Beijing, China. He is a professor at the University of Bielefeld.

In mathematics, an Albert algebra is a 27-dimensional exceptional Jordan algebra. They are named after Abraham Adrian Albert, who pioneered the study of non-associative algebras, usually working over the real numbers. Over the real numbers, there are three such Jordan algebras up to isomorphism. One of them, which was first mentioned by Pascual Jordan, John von Neumann, and Eugene Wigner and studied by Albert (1934), is the set of 3×3 self-adjoint matrices over the octonions, equipped with the binary operation

In abstract algebra, cohomological dimension is an invariant of a group which measures the homological complexity of its representations. It has important applications in geometric group theory, topology, and algebraic number theory.

In mathematics, an octonion algebra or Cayley algebra over a field F is a composition algebra over F that has dimension 8 over F. In other words, it is a 8-dimensional unital non-associative algebra A over F with a non-degenerate quadratic form N such that

In mathematics, essential dimension is an invariant defined for certain algebraic structures such as algebraic groups and quadratic forms. It was introduced by J. Buhler and Z. Reichstein and in its most generality defined by A. Merkurjev.

In mathematics, Jean-Pierre Serre conjectured the following statement regarding the Galois cohomology of a simply connected semisimple algebraic group. Namely, he conjectured that if G is such a group over a perfect field F of cohomological dimension at most 2, then the Galois cohomology set H¹(F, G) is zero.

Aleksandr Sergeyevich Merkurjev is a Russian-American mathematician, who has made major contributions to the field of algebra. Currently Merkurjev is a professor at the University of California, Los Angeles.

In mathematics, the Arason invariant is a cohomological invariant associated to a quadratic form of even rank and trivial discriminant and Clifford invariant over a field k of characteristic not 2, taking values in H³(k,Z/2Z). It was introduced by (Arason 1975, Theorem 5.7).

In mathematics, the Rost invariant is a cohomological invariant of an absolutely simple simply connected algebraic group G over a field k, which associates an element of the Galois cohomology group H³(k, Q/Z(2)) to a principal homogeneous space for G. Here the coefficient group Q/Z(2) is the tensor product of the group of roots of unity of an algebraic closure of k with itself. Markus Rost (1991) first introduced the invariant for groups of type F₄ and later extended it to more general groups in unpublished work that was summarized by Serre (1995).

References

Garibaldi, Skip; Merkurjev, Alexander; Serre, Jean-Pierre (2003), Cohomological invariants in Galois cohomology, University Lecture Series, vol. 28, Providence, RI: American Mathematical Society, ISBN 0-8218-3287-5, MR 1999383
Knus, Max-Albert; Merkurjev, Alexander; Rost, Markus; Tignol, Jean-Pierre (1998), The book of involutions, Colloquium Publications, vol. 44, Providence, RI: American Mathematical Society, ISBN 0-8218-0904-0, Zbl 0955.16001
Serre, Jean-Pierre (1995), "Cohomologie galoisienne: progrès et problèmes", Astérisque, Séminaire Bourbaki, Vol. 1993/94. Exp. No. 783, 227: 229–257, MR 1321649

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

Cohomological invariant

Contents

Definition

Examples

Related Research Articles

References