# Schedule for: 18w5021 - Affine Algebraic Groups, Motives and Cohomological Invariants

Arriving in Banff, Alberta on Sunday, September 16 and departing Friday September 21, 2018

Sunday, September 16 | |
---|---|

16:00 - 17:30 | Check-in begins at 16:00 on Sunday and is open 24 hours (Front Desk - Professional Development Centre) |

17:30 - 19:30 |
Dinner ↓ A buffet dinner is served daily between 5:30pm and 7:30pm in the Vistas Dining Room, the top floor of the Sally Borden Building. (Vistas Dining Room) |

20:00 - 22:00 | Informal gathering (Corbett Hall Lounge (CH 2110)) |

Monday, September 17 | |
---|---|

07:00 - 08:45 |
Breakfast ↓ Breakfast is served daily between 7 and 9am in the Vistas Dining Room, the top floor of the Sally Borden Building. (Vistas Dining Room) |

08:45 - 09:00 |
Introduction and Welcome by BIRS Staff ↓ A brief introduction to BIRS with important logistical information, technology instruction, and opportunity for participants to ask questions. (TCPL 201) |

09:00 - 09:45 |
Alexander Vishik: The notion of anisotropy taken to the limit ↓ The importance of the notion of anisotropy was noticed for quite a while, most notably, in the theory of quadratic forms. I will discuss the “anisotropic motivic category” which embodies this notion. This category introduced originally with the aim of studying the Picard group of Voevodsky's category appeared to have many interesting and unexpected connections. (TCPL 201) |

10:00 - 10:45 |
Olivier Haution: Involutions and the algebraic cobordism ring ↓ We discuss relations between the geometry of a smooth
projective variety equipped with an involution and the geometry of its
fixed locus, using Chern numbers. (TCPL 201) |

10:45 - 11:05 | Coffee Break (TCPL Foyer) |

11:05 - 11:50 |
Mathieu Florence: Lifting Witt vector bundles ↓ Let $p$ be a prime number, and let $S$ be a scheme of characteristic $p>0$.
For any integer $n>1$, one can build the scheme of Witt vectors of length $n$ of $S$, denoted by $W_n(S)$. It is a natural thickening of characteristic $p^n$ of $S$.
Let us say "$W_n$-bundle" (or Witt vector bundle if $n$ is understood) for "vector bundle over $W_n(S)$".
In this talk, we consider the following Question.
Let $V$ be a vector bundle over $S$.
$Q(n,V)$: Does $V$ extend to a $W_n$-bundle?
I will first give precise (hopefully elementary) definitions, and basic properties of Witt vector bundles. I will then show that the answer to question $Q$ is positive,
when $V$ is the tautological vector bundle of the projective space of a vector bundle, defined over an affine base. I will discuss counterexamples in the general setting -- in a Galois-theoretic way.
If time permits, I plan to discuss the main motivation for raising question $Q$: lifting Galois representations.
This is joint work, with Charles De Clercq and Giancarlo Lucchini Arteche. (TCPL 201) |

11:50 - 12:05 |
Group Photo ↓ Meet in foyer of TCPL to participate in the BIRS group photo. The photograph will be taken outdoors, so dress appropriately for the weather. Please don't be late, or you might not be in the official group photo! (TCPL 201) |

12:05 - 13:30 |
Lunch ↓ Lunch is served daily between 11:30am and 1:30pm in the Vistas Dining Room, the top floor of the Sally Borden Building. (Vistas Dining Room) |

14:00 - 15:00 | Coffee Break (TCPL Foyer) |

15:00 - 15:45 |
Skip Garibaldi: Generically free representations ↓ The 2007 determination of the essential dimension of spin groups over the complex numbers exploited knowledge of which representations of algebraic groups are generically free, showing the value of proving an analogue of that classification for algebraically closed fields of prime characteristic. Changing the characteristic adds extra complications because the representation theory is more complicated and also because generic stabilizers need not be smooth. In a series of joint papers with Bob Guralnick and Ross Lawther, we have determined the generic stabilizers for all irreducible representations of simple algebraic groups. This work has applications to essential dimension, to proving the existence of a stabilizer in general position, and to determining rings of invariants. (TCPL 201) |

16:00 - 16:45 |
Philippe Gille: Semi-simple groups that are quasi-split over a tamely-ramified extension ↓ Let $K$ be a discretly henselian field whose residue field is
separably closed. Answering a question raised by G. Prasad, we show that a
semisimple $K$-group $G$ is quasi-split if and only if it quasi–splits after
a finite tamely ramified extension of $K$. (TCPL 201) |

17:00 - 17:45 |
Igor Rapinchuk: Algebraic groups with good reduction and unramified cohomology ↓ Let $G$ be an absolutely almost simple algebraic group over a field $K$, which we assume to be equipped with a natural set $V$ of discrete valuations. In this talk, our focus will be on the $K$-forms of $G$ that have good reduction at all $v$ in $V$ . When $K$ is the fraction field of a Dedekind domain, a similar question was considered by G. Harder; the case where $K=\mathbb{Q}$ and $V$ is the set of all $p$-adic places was analyzed in detail by B.H. Gross and B. Conrad. I will discuss several emerging results in the higher-dimensional situation, where $K$ is the function field $k(C)$ of a smooth geometrically irreducible curve $C$ over a number field $k$, or even an arbitrary finitely generated field. These problems turn out to be closely related to finiteness properties of unramified cohomology, and I will present available results over various classes of fields. I will also highlight some connections with other questions involving the genus of $G$ (i.e., the set of isomorphism classes of $K$-forms of $G$ having the same isomorphism classes of maximal $K$-tori as $G$), Hasse principles, etc. The talk will be based in part on joint work with V. Chernousov and A. Rapinchuk. (TCPL 201) |

17:45 - 19:30 |
Dinner ↓ A buffet dinner is served daily between 5:30pm and 7:30pm in the Vistas Dining Room, the top floor of the Sally Borden Building. (Vistas Dining Room) |

Tuesday, September 18 | |
---|---|

07:00 - 09:00 | Breakfast (Vistas Dining Room) |

09:00 - 09:45 |
Asher Auel: Isotropy of quadratic forms over function fields ↓ The Hasse-Minkowski theorem says that a quadratic form over a global field admits a nontrivial zero if it admits a nontrivial zero everywhere locally. Over more general fields of arithmetic and geometric interest, the failure of the local-global principle is often controlled by auxiliary structures of interest: 2-torsion points of the Jacobian and elements of Tate-Shafarevich groups for quadratic forms over function fields of curves, and the Brauer group over function fields of surfaces. I will explain recent work with V. Suresh on constructing failures of the local-global principle for quadratic forms over function fields of higher dimension varieties. These counterexamples are controlled by higher unramified cohomology groups and involves the study of certain Calabi-Yau varieties of generalized Kummer type that originally arose from number theory. (TCPL 201) |

10:00 - 10:45 |
Detlev Hoffmann: The quadratic Zariski problem over global fields ↓ QZP asks if two quadrics of the same dimension over a field that
are stably birationally equivalent are in fact birationally equivalent.
This is a notoriously difficult problem in the algebraic theory of
quadratic forms. Only partial results are known (quadrics of small
dimension or quadrics associated to certain subforms of multiples of
Pfister forms). In this talk we present progress towards the solution
of QZP for certain types of ground fields including global fields. (TCPL 201) |

10:45 - 11:05 | Coffee Break (TCPL Foyer) |

11:05 - 11:50 |
Venapally Suresh: The degree three cohomology group of function field of curves over number fields ↓ Let $k$ be a number field or a $p$-adic field and $\ell$ a prime. The class field theory asserts that every
element in $H^2(k, \mu_\ell)$ is a symbol. Let $F$ be the function field of a curve over $k$. Suppose that $K$ contains a
primitive $\ell^{\mathrm{th}}$ root of unity. If $\ell = 2$, then assume that $K$ is a totally imaginary number field. We show that
every element in $H^3(F, \mu_\ell^{\otimes 3})$
is a symbol. This leads to the finite generation of the Chow group of zero-cycles
on a quadric fibration of a curve over a totally imaginary number field. (TCPL 201) |

11:50 - 13:30 | Lunch (Vistas Dining Room) |

14:00 - 15:00 | Coffee Break (TCPL Foyer) |

15:00 - 15:45 |
Alexander Duncan: Exceptional collections on arithmetic toric varieties ↓ An "arithmetic toric variety" is a normal variety with a faithful action
of an algebraic torus having a dense open orbit. When the base field is
algebraically closed, there is only one torus in every dimension and one
can identify the torus with its orbit. Over a general field, there may
be many non-isomorphic tori of the same dimension. Moreover, it is no
longer possible to identify the torus with its orbit since there may not
exist any rational points.
Exceptional collections are one way of describing the bounded derived
categories of coherent sheaves on a variety. The existence of
exceptional collection is a very strong condition but, nevertheless,
Kawamata showed that all smooth projective toric varieties possess
exceptional collections when the ground field is algebraically closed.
For a general field, this immediately fails even in dimension 1.
However, if one allows an arithmetic generalization of the "usual"
notion of exceptional object, then the theory is again interesting. (TCPL 201) |

16:00 - 16:45 |
Boris Kunyavskii: Bracket width of simple Lie algebras ↓ For an element of a group $G$ representable as a product of commutators,
one can define its commutator length as the smallest number of commutators
needed for such a representation, by definition the other elements
are of infinite length. The commutator width of $G$ is defined
as supremum of the lengths of its elements. Recently it was proven
that all finite simple groups have commutator width one. On the other hand,
there are examples of infinite simple groups of arbitrary finite width
and of infinite width.
In a similar manner, one can define the bracket width of a Lie algebra.
It is known that all finite-dimensional simple Lie algebras over an
algebraically closed field have bracket width one. Our goal is to present
first examples of simple Lie algebras of bracket width greater than one.
This talk is based on a work in progress, joint with A. Regeta. (TCPL 201) |

17:00 - 17:45 |
Kirill Zainoulline: Twisted quadratic foldings of root systems ↓ We introduce and study twisted foldings of root systems which generalize usual involutive foldings corresponding to automorphisms of Dynkin diagrams. Our motivating example is the celebrated projection of the root system of type E8 onto the subring of icosians of the quaternion algebra which gives the root system of type H4. Using moment graph techniques we show that such a twisted folding induces a surjective map at the equivariant cohomology level. This is a joint project with Martina Lanini. (TCPL 201) |

17:45 - 19:30 | Dinner (Vistas Dining Room) |

Wednesday, September 19 | |
---|---|

07:00 - 09:00 | Breakfast (Vistas Dining Room) |

09:00 - 09:45 |
Vladimir Popov: Affine algebraic groups and Cremona groups ↓ Although the Cremona groups are infinite-dimensional, there are many
striking
analogies between them and affine algebraic groups. The talk is aimed
to discuss their similarities, differences, and problems related to this
phenomenon. (TCPL 201) |

10:00 - 10:45 |
Anastasia Stavrova: Simple algebraic groups and structurable algebras ↓ In our previous joint work with L. Boelaert and T. De Medts, we have
constructed a categorical equivalence between simple structurable
division algebras over a field $k$ up to isotopy, and simple algebraic
groups of $k$-rank 1 up to isogeny. In the present talk we explain how
this equivalence extends to all simple structurable algebras and all
isotropic simple algebraic groups over a field. (TCPL 201) |

10:45 - 11:05 | Coffee Break (TCPL Foyer) |

11:05 - 11:50 |
Nicole Lemire: Schubert cycles and subvarieties of twisted projective homogeneous varieties ↓ Twisted projective homogeneous varieties for algebraic
groups are projective varieties which are isomorphic to a given projective
homogeneous variety after extension to the separable closure
of the field. Important examples include Severi Brauer varieties,
which are twisted forms of projective space; generalised Severi
Brauer varieties, which are twisted forms of Grassmannians. We
investigate conditions under which generalised Severi Brauer varieties
have rational subvarieties which are forms of given Schubert
subvarieties of the associated Grassmannian. For regular Grassmannians,
and more generally for any projective homogeneous variety
for an algebraic group, the classes of the Schubert subvarieties
of a given codimension give a basis for the Chow groups of that
codimension. The Chow groups, even in codimension 2, for twisted
projective homogeneous varieties, are less well understood. We use
our results as well as an analysis of the Chow motive and the topological
filtration of the Grothendieck group of generalised Severi
Brauer varieties to show that the codimension 2 Chow groups of
certain generalised Severi Brauer varieties are torsion free. This is
joint work with Caroline Junkins and Danny Krashen.
In joint work with Caroline Junkins and Jasmin Omanovic, we
investigate the analogous problem for Lagrangian involution varieties,
twisted forms of Lagrangian Grassmannians. We determine
conditions under which Lagrangian involution varieties have rational
subvarieties which are forms of given Schubert subvarieties of
the associated Lagrangian Grassmannian. We also investigate the
torsion in the codimension 2 Chow groups of certain Lagrangian
involution varieties. (TCPL 201) |

11:50 - 13:30 | Lunch (Vistas Dining Room) |

13:30 - 17:30 | Free Afternoon (Banff National Park) |

17:30 - 19:30 | Dinner (Vistas Dining Room) |

Thursday, September 20 | |
---|---|

07:00 - 09:00 | Breakfast (Vistas Dining Room) |

09:00 - 09:45 |
Eva Bayer-Fluckiger: Lines on cubic surfaces and Witt invariants ↓ Let $k$ be a field of characteristic not $2$, and let $k_s$ be a separable
closure of $k$. Let $S$ be a cubic surface over $k$. It is well-known that
$S$ has $27$ lines over $k_s$. Let $E$ be the corresponding rank $27$ etale $k$-algebra,
and let $q_E$ be its trace form. The aim of this talk is to describe the
quadratic form $q_E$; the proofs use Serre's Witt invariants of the
group $W(E_6)$.
The invariants of $q_E$ (determinant, signature...) provide some information
concerning the lines of $S$. For instance, when $k$ is the field of real numbers,
we recover the classical result that a cubic surface over $R$ has $27$, $15$, $7$ or $3$
lines over $R$. (TCPL 201) |

10:00 - 10:45 |
Nicolas Garrel: Mixed Witt rings and cohomological invariants of algebras with involutions ↓ Appropriately chosen combinations of the lambda-operations defined
on the Gothendieck-Witt ring of a field allow to construct cohomological
invariants of Witt classes. To transpose such methods to algebras with
involutions, we are led to define a "mixed" Grothendieck-Witt ring, which
contains both bilinear spaces over the base field and hermitian modules
over the algebra with involution. One can then show that this ring has natural
lambda-operations, and a natural filtration by powers of an ideal which is
the equivalent of the fundamental ideal for quadratic forms. In this setting
we construct invariants with values in the graded ring associated to the filtration,
which in particular contains the mod 2 cohomology ring. This way we obtain
various relative and absolute cohomological invariants of arbitrarily high degree
for algebras with involutions, with especially nice behaviour in index 2. (TCPL 201) |

10:45 - 11:05 | Coffee Break (TCPL Foyer) |

11:05 - 11:50 |
Rostislav Devyatov: Multiplicity-free products of Schubert divisors ↓ Let G/B be a flag variety over C, where G is a simple algebraic group
with a simply laced Dynkin diagram, and B is a Borel subgroup. The
Bruhat decomposition of G defines subvarieties of G/B called Schubert
subvarieties. The codimension 1 Schubert subvarieties are called
Schubert divisors. The Chow ring of G/B is generated as an abelian
group by the classes of all Schubert varieties, and is "almost"
generated as a ring by the classes of Schubert divisors. More
precisely, an integer multiple of each element of G/B can be written
as a polynomial in Schubert divisors with integer coefficients. In
particular, each product of Schubert divisors is a linear combination
of Schubert varieties.
I am going to talk about the coefficients of these linear
combinations. In particular, I am going to explain how to check if a
coefficient of such a linear combination equals 1. Also, I am going to
talk about possible applications of my result to the computation of
so-called canonical dimension of flag varieties and groups over
non-algebraically-closed fields. (TCPL 201) |

11:50 - 13:30 | Lunch (Vistas Dining Room) |

13:45 - 14:30 |
Nikita Semenov: Applications of the Morava K-theory to algebraic groups and quadrics ↓ For a prime number $p$ and a non-negative integer $n$ we consider a Morava $K$-theory $K(n)$ with the coefficient ring
$\mathbb{Z}_{(p)}$. This is a universal oriented cohomology theory in the sense of Levine-Morel with a $p^n$-typical formal group law which has height $n$ modulo $p$. It turns out that $K(n)$ is strongly related to cohomological invariants of algebraic groups in the sense of Serre. This is our starting point to compute the Chow groups of quadrics from the powers $I^{m+2}$ of the fundamental ideal of the Witt ring up to codimension $2^m$. Moreover, the Morava $K$-theory gives a conceptual explanation of the nature of the obtained answer. This is a joint work with Pavel Sechin. (TCPL 201) |

14:30 - 15:00 | Coffee Break (TCPL Foyer) |

15:00 - 15:45 |
Maksim Zhykhovich: Hasse principle for Rost motives ↓ We prove a Hasse principle for binary direct summands of the Chow motive of a smooth projective quadric $Q$ over a number field $F$.
Besides, we show that such summands are twists of Rost motives.
In the case when $F$ has at most one real embedding we describe a complete motivic decomposition of $Q$.
This is a joint work with M. Borovoi and N. Semenov. (TCPL 201) |

16:00 - 16:45 |
Viktor Petrov: Symmetric space of type EIII as a Grassmannian for Brown algebra ↓ It is known that the group of type G2 can be constructed as the automorphism group of the octave algebra, while its symmetric space of type G turns out to be the variety of the quaternion subalgebras in the octave algebra. Brown has constructed a 56-dimensional non-associative algebra with involution whose automorphism group is of type E6. We consider the variety of quaternion subalgebras in this algebra and show that, on the one hand, it is the 32-dimensional symmetric space of type EIII, and, on the other hand, is an open subvariety in the complexified Cayley plane (the latter reflects the fact that EIII is a "Rosenfeld plane" over complexified octaves). The structure of the projective plane and Witt extension theorem for Hermitian forms allow to give a description of the orbits of the action of a twisted form of EIII. In terms of Galois cohomology, the orbits are the fibers of the map $H^1(F,{}^2D_5)\to H^1(F,{}^2E_6)$ (the latter map is surjective up to cubic extensions of the base field). (TCPL 201) |

17:00 - 17:45 |
Mark MacDonald: Automorphism groups of triple systems and their generic subsystems ↓ A vector space $V$ with a symmetric trilinear map $V\times V \times V \to V$ will be called a triple system. Freudenthal introduced and studied a certain type of triple system on a 56-dimensional vector space whose automorphism group is a simply connected group of type E$_7$. If $S$ is a subsystem generated by $n$ generic elements in a triple system $V$, then (in some situations) we can use the slice method to deduce a surjection from $\mathrm{Aut}(V,S)$-torsors to $\mathrm{Aut}(V)$-torsors. In this talk I will describe some examples of this procedure for triple systems of varying dimensions; in one example we will deduce the upper bound on essential dimension
$\mathrm{ed}(\mathrm{HSpin}_{12}) \leq 6$ for characteristic not 2 (beating the previously best known bound of 26 from Garibaldi and Guralnick). (TCPL 201) |

17:45 - 19:30 | Dinner (Vistas Dining Room) |

Friday, September 21 | |
---|---|

07:00 - 09:00 | Breakfast (Vistas Dining Room) |

09:00 - 09:45 |
Nivedita Bhaskhar: The norm principle for type D$_n$ groups over complete discretely valued fields ↓ (Joint work with A. Merkurjev and V. Chernousov.)
Norm principles examine the behaviour of the images of group morphisms over field extensions from a linear algebraic group into a commutative one with respect to the norm map. The classical norm principles attributed to Scharlau and Knebusch can be reformulated as a special case of norm principles for certain group homomorphisms. Norm principles have been previously studied by Merkurjev-Gille, especially in conjunction with the rationality or the R-triviality of the algebraic group in question. However a result of Merkurjev and Barquero shows that norm principle holds in general for all reductive groups of classical type without D$_n$ components, the question still remaining open for groups with type D$_n$ components.
In this talk, we investigate the D$_n$ case over an arbitrary complete discretely valued field $K$ with residue field $k$ (of characteristic not 2) restricting ourselves to type D groups arising from quadratic forms. We show that if the norm principle holds for such groups defined over all finite extensions of the residue field $k$, then it holds for such groups defined over $K$. This yields examples of complete discretely valued fields with residue fields of virtual cohomological dimension 2 over which the norm principle holds for the groups under consideration. As a further application, we also relate the possible failure of the norm principle to the non-triviality of certain Tate-Shaferevich sets. (TCPL 201) |

10:00 - 10:45 |
Sanghoon Baek: Unramified cohomology of classifying spaces for semisimple groups of type C ↓ A generalized version of Noether's problem asks whether the classifying space BG of an algebraic group is stably rational or retract rational and it is still open for a connected group G over an algebraically closed field. It is well known that the nonrationality of BG can be detected by means of unramified cohomology groups and the cohomology groups of degree at most 2 are trivial. Recently, Merkurjev showed that the degree 3 unramified cohomology group of BG is trivial if G is a semisimple group of type A. Using a complete description of cohomological invariants we show that the same result holds if G is a semisimple group of type C. (TCPL 201) |

10:45 - 11:05 | Coffee Break (TCPL Foyer) |

11:05 - 11:50 |
Stefan Gille: Purity for hermitian Witt groups of Azumaya algebras over regular local rings of dimension $\leq 2$ ↓ Let $R$ be a discrete valuation ring with $2$ a unit in $R$,
and $A$ be an $R$-Azumaya algebra with involution $\tau$
(of any kind). Denote by $k$ the residue field, by $K$
the fraction field of $R$, set $A_{S}:=S\otimes_{R}A$ for an
$R$-algebra $S$. We show that there is an exact sequence of
$\epsilon$-hermitian Witt groups ($\epsilon\in\pm 1$)
$$
0\longrightarrow W_{\epsilon}(A,\tau)\,\longrightarrow\, W_{\epsilon}(A_{K},\tau_{K})\,\xrightarrow{\;\partial\;}\,
W_{\epsilon}(A_{k},\tau_{k})\longrightarrow 0\, ,
$$
where $\tau_{K}$ and $\tau_{k}$ denote the by $\tau$ induced involutions. This implies
purity of hermitian Witt groups of Azumaya algebras over regular local rings of dimension $\leq 2$. (TCPL 201) |

11:50 - 12:00 |
Checkout by Noon ↓ 5-day workshop participants are welcome to use BIRS facilities (BIRS Coffee Lounge, TCPL and Reading Room) until 3 pm on Friday, although participants are still required to checkout of the guest rooms by 12 noon. (Front Desk - Professional Development Centre) |

12:00 - 13:30 | Lunch (Vistas Dining Room) |