Plethysm - Plethysm

V algebře, plethysm je operace na symetrické funkce představil Dudley E. Littlewood,[1] kdo to označil {λ} ⊗ {μ}. Slovo „plethysm“ pro tuto operaci (po řeckém slově πληθυσμός, což znamená „násobení“) bylo později představeno Littlewoodem (1950, str. 289, 1950b, s. 274), který uvedl, že název navrhl M. L. Clark.

Pokud jsou symetrické funkce identifikovány s operacemi v lambda kroužky, pak plethysm odpovídá složení operací.

V teorii reprezentace

Nechat PROTI být vektorový prostor přes komplexní čísla, považováno za a zastoupení z obecná lineární skupina GL (PROTI). Každý Mladý diagram λ odpovídá a Schurův funktor Lλ(-) v kategorii GL (PROTI) -reprezentace. Vzhledem k tomu, dva Youngovy diagramy λ a μ, zvažte rozklad Lλ(L.μ(PROTI)) do přímý součet z neredukovatelné reprezentace skupiny. Podle teorie reprezentace z obecné lineární skupiny víme, že každý součet je izomorfní pro Youngův diagram . Takže pro některé nezáporné multiplicity existuje izomorfismus

The problém (vnějšího) pletysmu je najít výraz pro multiplicitu .[2]

Tato formulace úzce souvisí s klasickou otázkou. The charakter GL (PROTI) - zastoupení Lλ(PROTI) je symetrická funkce v dim (PROTI) proměnné, známé jako Schurův polynom sλ odpovídá Youngovu diagramu λ. Schurovy polynomy tvoří základ v prostoru symetrických funkcí. Proto k pochopení pletysmu dvou symetrických funkcí by stačilo znát jejich výrazy na tomto základě a výraz pro pletyzmus dvou libovolných Schurových polynomů {sλ}⊗{sμ}. Druhá část dat je přesně charakter Lλ(Lμ(PROTI)).

Reference

  1. ^ Littlewood  (1936, str. 52, 1944, str. 329)
  2. ^ Weyman, Jerzy (2003). Cohomology of Vector Bundles and Syzygies. Cambridge University Press. doi:10.1017 / CBO9780511546556. ISBN  9780511546556.