Hostname: page-component-cd9895bd7-lnqnp Total loading time: 0 Render date: 2024-12-27T12:21:14.112Z Has data issue: false hasContentIssue false

Fields of Definition for Representations of Associative Algebras

Published online by Cambridge University Press:  22 November 2018

Dave Benson
Affiliation:
Institute of Mathematics, University of Aberdeen, King's College, Aberdeen AB24 3UE, UK ([email protected])
Zinovy Reichstein
Affiliation:
Department of Mathematics, University of British Columbia, Vancouver, Canada ([email protected])

Abstract

We examine situations, where representations of a finite-dimensional F-algebra A defined over a separable extension field K/F, have a unique minimal field of definition. Here the base field F is assumed to be a field of dimension ≼1. In particular, F could be a finite field or k(t) or k((t)), where k is algebraically closed. We show that a unique minimal field of definition exists if (a) K/F is an algebraic extension or (b) A is of finite representation type. Moreover, in these situations the minimal field of definition is a finite extension of F. This is not the case if A is of infinite representation type or F fails to be of dimension ≼1. As a consequence, we compute the essential dimension of the functor of representations of a finite group, generalizing a theorem of Karpenko, Pevtsova and the second author.

Type
Research Article
Copyright
Copyright © Edinburgh Mathematical Society 2018 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

1Benson, D. J. and Parker, R. A., The Green ring of a finite group, J. Algebra 87(2) (1984), 290331.Google Scholar
2Berhuy, G. and Favi, G., Essential dimension: a functorial point of view (after A. Merkurjev), Doc. Math. 8 (2003), 279330.Google Scholar
3Biswas, I., Dhillon, A. and Hoffmann, N., On the essential dimension of coherent sheaves, J. Reine Angew. Math. 735 (2018), 265285.Google Scholar
4Curtis, C. W. and Reiner, I., Representation theory of finite groups and associative algebras, Pure and Applied Mathematics, Volume XI (Interscience, a division of John Wiley and Sons, New York-London-Sydney, 1962).Google Scholar
5Curtis, C. W. and Reiner, I., Methods of representation theory, Pure and Applied Mathematics (New York), Volume II (John Wiley and Sons, New York, 1987).Google Scholar
6Hamernik, W., Indecomposable modules with cyclic vertex, Math. Z. 142 (1975), 8790.Google Scholar
7Higman, D. G., Indecomposable representations at characteristic p, Duke Math. J. 21 (1954), 377381.Google Scholar
8Karpenko, N. and Reichstein, Z., A numerical invariant for linear representations of finite groups (with an appendix by J. Pevtsova and Z. Reichstein), Comment. Math. Helv. 90(3) (2015), 667701.Google Scholar
9Lam, T. Y., Introduction to quadratic forms over fields, Graduate Studies in Mathematics, Volume 67 (American Mathematical Society, Providence, RI, 2005).Google Scholar
10Merkurjev, A. S., Essential dimension: a survey, Transform. Groups 18(2) (2013), 415481.Google Scholar
11Merkurjev, A. S., Essential dimension, Astérisque 380(2014/2015) (2016), 423448.Google Scholar
12Reichstein, Z., Essential dimension, Proceedings of the International Congress of Mathematicians, Volume II, pp. 162188 (Hindustan Book Agency, New Delhi, 2010).Google Scholar
13Reichstein, Z., What is…essential dimension, Notices Amer. Math. Soc. 59(10) (2012), 14321434.Google Scholar
14Serre, J.-P., Galois cohomology, translated from the French by Patrick Ion and revised by the author (Springer, Berlin, 1997).Google Scholar
15Tachikawa, H., Quasi-Frobenius rings and generalizations: QF - 3 and QF - 1 rings, Lecture Notes in Mathematics, Volume 351 (Springer, Berlin, 1973).Google Scholar