Konzolový kroužek - Bracket ring

v matematika, konzolový kroužek je podřízený z prsten z polynomy k[X11,...,Xdn] generované d-podle-d nezletilí a obecný d-podle-n matice (Xij).

Kroužek závorky lze považovat za kruh polynomů na obraz a Grassmannian pod Plücker vkládání.[1]

Za dané dn definujeme jako formální proměnné závorky1 λ2 ... λd] s λ převzatým z {1, ...,n}, s výhradou [λ1 λ2 ... λd] = - [λ2 λ1 ... λd] a podobně pro ostatní transpozice. The soubor Λ (n,d) velikosti generuje polynomiální kruh K.[Λ (n,d)] přes pole K.. Tady je homomorfismus Φ (n,d) z K.[Λ (n,d)] do polynomického kruhu K.[Xi,j] v nd neurčitosti dané mapováním [λ1 λ2 ... λd] do určující z d podle d matice skládající se ze sloupců Xi,j indexováno pomocí λ. The konzolový kroužek B(n,d) je obrazem Φ. The jádro (n,d) z Φ kóduje vztahy nebo syzygies které existují mezi nezletilými generiky n podle d matice. Projektivní rozmanitost definovaná ideál je (nd)d rozměrná odrůda Grassmann, jejíž body odpovídají d-dimenzionální podprostory z n-rozměrný prostor.[2]

Pro výpočet pomocí závorek je nutné určit, kdy výraz leží v ideálu (n,d). Toho je dosaženo pomocí a rovnací zákon kvůli Youngovi (1928).[3]

Viz také

Reference

  1. ^ Björner, Anders; Las Vergnas, Michel; Sturmfels, Bernd; White, Neil; Ziegler, Günter (1999), Orientované matroidyEncyklopedie matematiky a její aplikace 46 (2. vyd.), Cambridge University Press, str. 79, ISBN  0-521-77750-X, Zbl  0944.52006
  2. ^ Sturmfels (2008), str. 78–79
  3. ^ Sturmfels (2008) str.80