Friday, 7 March 2008

ag.algebraic geometry - Division Algebras as Algebraic Groups

Suppose D splits over a finite extension K/F, i.e., the tensor product of D with K over F is isomorphic to Mn(K). Then Dx is the group of F-points of an algebraic group over F that exists as a direct factor (along with all other F-division algebras that split over K, and GLn,F) in the restriction of scalars ResKF GLn,K.



I don't know an explicit presentation in general (say, starting from a Brauer class), although if K/F is a cyclic Galois extension, there is a nice cyclic algebra construction. I think more details can be found in Serre's Local Fields and Cornell-Silverman.

No comments:

Post a Comment