Cable Car Algebra Seminar: The power operation in Galois cohomology of reductive groups over number fields.

Cable Car Algebra Seminar: The power operation in Galois cohomology of reductive groups over number fields.

Cable Car Algebra Seminar: The power operation in Galois cohomology of reductive groups over number fields.

Thursday, December 5, 2024
  • Lecturer: Mikhail Borovoi (TAU)
  • Organizer: Max Gurevich, Anton Khoroshkin, Danny Neftin, Howard Nuer
  • Location: Technion, Amado Building, Room 814
Abstract:

Let K be a number field (say, Q) and let G be a connected reductive group over K (say, SO(n)). One needs the first Galois cohomology H^1(K,G) for classification problems in algebraic geometry and linear algebra over K. For a number field K admitting a real embedding (say, K=Q), we show that it is impossible to define a *group structure*, functorial in G, on the Galois cohomology pointed set H^1(K,G) for all connected reductive K-groups G. However, over an arbitrary number field K, we define an *operation of raising to power n* (which we denote by \Diamond) (x,n) \mapsto x^{\Diamond n}: H^1(K,G) \times Z --> H^1(K,G). We show that this new operation has nice functorial properties. When G is a torus (hence an abelian group), the pointed set H^1(K,G) has a natural abelian group structure, and our new operation coincides with the usual power operation (x,n) \mapsto x^n. For a cohomology class x in H^1(K,G), we define the *period* (or order) per(x) to be the least integer n>0 such that the n-th power x^{\Diamond n}=1, and we define the *index* ind(x) to be the greatest common divisor of the degrees [L:K] of finite extensions L/K splitting x. We show that per(x) divides ind(x), but they need not be equal. However, per(x) and ind(x) have the same set of prime factors. All terms will be defined and examples will be given. Based on the joint work with Zinovy Reichstein https://arxiv.org/abs/2403.07659.

Print to PDF