On embedding polynomial functors in symmetric powers (Q1314266): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Piotr Krasoń / rank | |||
Property / author | |||
Property / author: Piotr Krasoń / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1006/jabr.1994.1018 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2064224979 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 20:48, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On embedding polynomial functors in symmetric powers |
scientific article |
Statements
On embedding polynomial functors in symmetric powers (English)
0 references
14 February 1996
0 references
Let \(V\) be a finite-dimensional vector space over the prime field \({\mathbf F}_p\), and let \(S^*(V)\) be the symmetric algebra on \(V\), with components \(S^d(V)=V^{\otimes d}/\Sigma_d\) for \(d \geq 0\). It is not hard to prove the following embedding results: (1.1) Every finitely generated \({\mathbf F}_p [GL(V)]\)-module embeds in a sum of the form \(\bigoplus_j S^{d_j} (V)\). There is a significantly stronger generic version of this. As in [the second author, Am. J. Math. 116, No. 2, 327-360 (1994; Zbl 0813.20049)], let \({\mathcal F}(p)\) be the category with objects the functors \(F:\) finite \({\mathbf F}_p\)-vector spaces \(\to {\mathbf F}_p\)-vector spaces, and with morphisms the natural transformations. This is an abelian category in the obvious way; for example, \(F \to G\) is monic if \(F(V) \to G(V)\) is monic for all vector spaces \(V\). We call \(F \in {\mathcal F} (p)\) simple if it has no nontrivial subobjects and finite if it has a finite composition series with simple subquotients. As an example, \(S^d\) is a finite functor. A main theorem of [loc. cit.] is a version of (1.1) holding in \({\mathcal F}(p)\): (1.2) Every finite \(F \in {\mathcal F}(p)\) embeds in a sum of the form \(\bigoplus S^{d_j}\). The purpose of this note is to give some numerical bounds on the \(d_j\)'s needed in (1.2).
0 references
finitely generated modules
0 references
symmetric algebras
0 references
abelian categories
0 references
vector spaces
0 references
finite functors
0 references