Macaulay2 » Documentation
Packages » SchurRings :: schurLevel
next | previous | forward | backward | up | index | toc

schurLevel -- Number of SchurRings the ring is a tensor product of.

Description

For the representation ring R of a product of lev general linear and/or symmetric groups, the function returns lev. If R is not a representation ring, the function returns 0.

i1 : R = schurRing(QQ,r,3);
i2 : S = schurRing(R,s,5);
i3 : T = schurRing(S,t,2);
i4 : schurLevel R

o4 = 1
i5 : schurLevel S

o5 = 2
i6 : schurLevel T

o6 = 3
i7 : schurLevel QQ

o7 = 0

A three-level tower mixing GL-factors with an S_n-factor counts each layer, regardless of which group is acting:

i8 : A = schurRing(QQ,a,3);
i9 : B = schurRing(A,b,4);
i10 : C = schurRing(B,c,2,GroupActing => "Sn");
i11 : schurLevel C

o11 = 3

A Symmetric ring (produced by symmetricRing) sits over a single tower slot and reports schurLevel equal to 1, while an ordinary polynomial ring or the base field report 0:

i12 : schurLevel(symmetricRing(QQ,5))

o12 = 1
i13 : schurLevel(QQ[x,y,z])

o13 = 0
i14 : schurLevel ZZ

o14 = 0

Ways to use schurLevel:

  • schurLevel(Ring)

For the programmer

The object schurLevel is a method function.


The source of this document is in /build/reproducible-path/macaulay2-1.26.05+ds/M2/Macaulay2/packages/SchurRings.m2:6708:0.