Una familia de endofuntores polinomiales sobre espacios vectoriales (o módulos) indexada por particiones que produce los módulos de Schur S^λ(V); construyen las representaciones polinomiales irreducibles clásicas de GL(V) en característica cero y organizan las simetrizaciones dictadas por los simetrizadores de Young.

Principio

Dada una partición λ se aplica una combinación prescrita de potencias tensoriales, simetrizaciones y antisimetrizaciones (codificadas por idempotentes de Young) a un espacio V para obtener el funtor de Schur S^λ(V); el procedimiento es functorial y respeta la acción del grupo simétrico en las potencias tensoriales.

Demostración

Para λ = (n) el funtor de Schur da la potencia simétrica Sym^n(V); para λ = (1^n) da la potencia exterior ∧^n V; para λ = (2,1) produce un módulo de simetría mixta obtenido mediante simetrizadores de Young sobre V^{⊗3}, resultando en un módulo concreto de GL(V) con peso más alto especificado.

Aplicación incorrecta

Tratar los funtores de Schur como si sus construcciones conmutaran con límites arbitrarios, o ignorar la característica del cuerpo, puede provocar descomposiciones incorrectas (por ejemplo asumir las mismas fórmulas de irreducibilidad y dimensión en característica positiva pequeña donde la representación cambia).

Consecuencia

Proporcionan un método combinatorio uniforme para generar todas las representaciones polinomiales irreducibles de los grupos lineales generales (sobre cuerpos adecuados), aclaran la estructura de pesos y pesos más altos y sirven como bloques básicos en plethysm, dualidad Schur–Weyl y cálculos cohomológicos.

Inversión

Invertido el punto de vista, se descomponen productos tensoriales en sumandos indexados por particiones mediante la dualidad Schur–Weyl: en lugar de construir módulos a partir de particiones, se analiza una potencia tensorial dada por sus constituyentes indexados por particiones y los módulos del grupo simétrico correspondientes.

Límite

Las construcciones de funtores de Schur son estándar sobre cuerpos de característica cero y muchas características buenas; en característica positiva pequeña pueden dejar de ser irreducibles o no cumplir fórmulas de dimensión ingenuas, y para espacios de dimensión infinita se requieren condiciones sobre grado polinomial y finitud.

Tensión semántica

Relacionado pero distinto de los funtores de Weyl y de los funtores polinomiales generales: los funtores de Schur son las construcciones indexadas por particiones que dan los módulos de Schur clásicos, mientras que funtores polinomiales más generales pueden no descomponerse en piezas indexadas por una partición sin estructura adicional.

Síntesis

Los funtores de Schur convierten datos combinatorios (particiones y simetrizadores de Young) en representaciones polinomiales concretas de GL(V): aplicando procedimientos prescritos de simetrización y antisimetrización a potencias tensoriales producen los módulos estándar S^λ(V) que sustentan gran parte de la teoría de representaciones clásica.