Value functions and associated graded rings for semisimple algebras

• Published in: Transactions of the American Mathematical Society 2010-02, Vol.362 (2), p.687-726
• Main Authors: TIGNOL, J.-P., WADSWORTH, A. R.
• Format: Article
• Language: English
• Subjects: Algebra; Armatures; Automorphisms; Exact sciences and technology; Functional analysis; Homomorphisms; Mathematical analysis; Mathematical functions; Mathematical rings; Mathematical theorems; Mathematics; Nonassociative rings and algebras; Sciences and techniques of general use; Tensors; Vector spaces
• ISSN: 0002-9947; 1088-6850
• DOI: 10.1090/S0002-9947-09-04681-9

We introduce a type of value function y called a {\it gauge} on a finite-dimensional semisimple algebra A over a field F with valuation v. The filtration on A induced by y yields an associated graded ring \textsl {gr}_y(A) which is a graded algebra over the graded field \textsl {gr}_v(F). Key requirements for y to be a gauge are that \textsl {gr}_y(A) be graded semisimple and that \dim _{\textsl {gr}_v(F)}(\textsl {gr}_y(A)) = \dim _F(A). It is shown that gauges behave well with respect to scalar extensions and tensor products. When v is Henselian and A is central simple over F, it is shown that \textsl {gr}_y(A) is simple and graded Brauer equivalent to \textsl {gr}_w(D), where D is the division algebra Brauer equivalent to A and w is the valuation on D extending v on F. The utility of having a good notion of value function for central simple algebras, not just division algebras, and with good functorial properties, is demonstrated by giving new and greatly simplified proofs of some difficult earlier results on valued division algebras.