A family of polynomial endofunctors on vector spaces (or on modules) indexed by partitions that produce the Schur modules S^λ(V); they construct the irreducible polynomial representations of GL(V) in characteristic zero and organize symmetrizations determined by Young symmetrizers.

Principle

Given a partition λ, one applies a prescribed combination of tensor powers, symmetrizations and antisymmetrizations (encoded by Young idempotents) to a vector space V to produce the Schur functor S^λ(V); this process respects functoriality and intertwines with the symmetric group action on tensor powers.

Demonstration

For λ = (n) the Schur functor yields the nth symmetric power Sym^n(V); for λ = (1^n) it yields the nth exterior power ∧^n V; for λ = (2,1) it produces a mixed symmetry module obtained by Young symmetrizers acting on V^{⊗3} giving a concrete GL(V)-module with specified highest weight.

Misapplication

Treating Schur functors as if their constructions commute with arbitrary limits, or ignoring base field characteristic, can produce incorrect decompositions (for example assuming the same irreducibility and dimension formulas in small positive characteristic where representation theory behaves differently).

Consequence

They provide a uniform combinatorial method to generate all polynomial irreducible representations of general linear groups (over suitable fields), clarify weight and highest‑weight structures, and serve as building blocks in plethysm, Schur–Weyl duality, and cohomological computations.

Reversal

One can invert perspective by decomposing tensor representations into Schur functor summands via Schur–Weyl duality: instead of building modules from partitions, one analyzes a given tensor power by its partition‑indexed constituents and corresponding symmetric‑group modules.

Boundary

Schur functor constructions are standard over fields of characteristic zero and many nice characteristics; in small positive characteristic they may fail to be irreducible or to satisfy naive dimension formulas, and over infinite‑dimensional spaces care is needed about polynomial degree and finiteness assumptions.

Semantic Tension

Closely related to but distinct from Weyl functors and general polynomial functors: Schur functors are the specific partition‑indexed constructions giving the classical Schur modules, while broader polynomial functors may not decompose into single partition pieces without extra structure.

Synthesis

Schur functors translate combinatorial data (partitions and Young symmetrizers) into concrete polynomial representations of GL(V): by applying prescribed symmetrization and antisymmetrization procedures to tensor powers they produce the standard irreducible modules S^λ(V) that underpin much of classical representation theory.