Azumaya algebras of period 2 with involution

Seminar
Speaker
Dr. Uriya First (University of British Columbia)
Date
19/04/2017 - 11:30 - 10:30Add to Calendar 2017-04-19 10:30:00 2017-04-19 11:30:00 Azumaya algebras of period 2 with involution Albert showed that a central simple algebra A over a field F admits an involution of the first kind, i.e. an F-antiautomorphism of order 2, if and only if the order of the Brauer class of A in the Brauer group of F divides 2. Azumaya algebras are generalizations of central simple algebras, defined over an arbitrary commutative base ring (or scheme), and can be used to define the Brauer group of a commutative ring. They play an important role in the study of classical groups over schemes. Albert's theorem fails in the more general setting where A is an Azumaya algebra over a commutative ring R. However, Saltman showed that in this case there is an Azumaya algebra B that is Brauer equivalent to A and admits an involution of the first kind. Knus, Parimala and Srinivas later showed that one can in fact choose B such that deg(B) = 2*deg(A). I will discuss a joint work with Ben Williams and Asher Auel where we use topological obstructions to show that deg(B) = 2*deg(A) is optimal when deg(A)=4. More precisely, we construct a regular commutative ring R and an Azumaya R-algebra A of degree 4 and period 2 such that the degree of any Brauer equivalent algebra B admitting an involution of the first kind divides 8. If time permits, I will also discuss examples of Azumaya algebras admitting only symplectic involutions and no orthogonal involutions. This stands in contrast to the situation in central simple algebras where the existence of a symplectic involution implies the existence of an orthogonal involution, and vice versa if the degree is even. Third floor seminar room אוניברסיטת בר-אילן - Department of Mathematics mathoffice@math.biu.ac.il Asia/Jerusalem public
Place
Third floor seminar room
Abstract

Albert showed that a central simple algebra A over a field F admits an involution of the first kind, i.e. an F-antiautomorphism of order 2, if and only if the order of the Brauer class of A in the Brauer group of F divides 2.

Azumaya algebras are generalizations of central simple algebras, defined over an arbitrary commutative base ring (or scheme), and can be used to define the Brauer group of a commutative ring. They play an important role in the study of classical groups over schemes.

Albert's theorem fails in the more general setting where A is an Azumaya algebra over a commutative ring R. However, Saltman showed that in this case there is an Azumaya algebra B that is Brauer equivalent to A and admits an involution of the first kind. Knus, Parimala and Srinivas later showed that one can in fact choose B such that deg(B) = 2*deg(A).

I will discuss a joint work with Ben Williams and Asher Auel where we use topological obstructions to show that deg(B) = 2*deg(A) is optimal when deg(A)=4. More precisely, we construct a regular commutative ring R and an Azumaya R-algebra A of degree 4 and period 2 such that the degree of any Brauer equivalent algebra B admitting an involution of the first kind divides 8.

If time permits, I will also discuss examples of Azumaya algebras admitting only symplectic involutions and no orthogonal involutions. This stands in contrast to the situation in central simple algebras where the existence of a symplectic involution implies the existence of an orthogonal involution, and vice versa if the degree is even.

Last Updated Date : 16/04/2017