arXiv:2102.09982v2 [math.CO] 7 Sep 2021 sato ncmiaoilrpeetto hoyta promo that theory representation combinatorial in tool a is k fiette ewe h ubro arcswt eti cy certain with matrices of number the ( between identities of ntne ftiylcseigadqarcci ivn ph sieving quadracyclic and sieving tricyclic of instances nt set finite where ( xiisthe exhibits xlctcmiaoilfruafrte( the proved for is formula polynomials combinatorial Macdonald of explicit positivity Schur the and group polynomials. ubro xdpit f( of points fixed of number C oiiiyo hm h adnl oyoilhsbe n of one Mac been for formula has combinatorial polynomial a though Macdonald Even the combinatorics. them, of positivity oyoilin polynomial qa oteeaainof evalation the to equal fteMcoadplnma.I hsppr edsussm e some discuss we paper, this In polynomial. ( Macdonald the of as ivn hnmnn(CSP) phenomenon sieving ,t q, q ,t q, k 4. = 1 h anto eue opoeorrslsi h hoyo orbi of theory the is results our prove to used we tool main The ic adnl [ Macdonald Since oegnrly let generally, More e od n phrases. and words Key obgn edfietecci evn hnmn.Let phenomena. seiving cyclic the define we begin, To o each For . c q , Let . -otaplnmasa oto nt,ucvrn atof part a uncovering unity, of root a at polynomials )-Kostka -otaplnmasi h od fcci ivn phenome sieving cyclic of words the in polynomials )-Kostka 2 q , . . . , C ζ oadplnma.Temto fobthroispooe a promotes harmonics orbit of method The polynomial. donald arcsta r nain ne eti ylcrwadcol and row cyclic sieving certain cyclic under invariant provide are we that module, matrices grou Garsia–Haiman siev cyclic the cyclic finite to prove of idea to structure applied fixed-point be the can encapsulates harmonics orbit The ring. Abstract. i i generator a Fix . X saro fuiyhvn h aemlilctv re as order multiplicative same the having unity of root a is X
X ( k oagae cinof action graded a to q ( = ) ( -r-ylcseigpeoeo (k-ari-CSP) phenomenon sieving k-ary-cyclic ) c i k ADNL OYOIL N YLCSIEVING CYCLIC AND POLYNOMIALS MACDONALD 1 r ∈ 1 1 = aibe.Floig[ Following variables. ,c Z 2 r ζ h asaHia ouei bigraded a is module Garsia–Haiman The 2 [ 1 , r ,...,c q 1 2 eaplnma in polynomial a be ] Mac88 ζ , k , . . . , X k r 2 r k asaHia oue otaplnma,cci sieving, cyclic polynomial, Kostka module, Garsia–Haiman 2 eastwt nato fadrc rdc of product direct a of action an with set a be ) ζ , . . . , X
c = ( endMcoadpolynomials Macdonald defined ] xagenerator a fix , of c q [ 1 r
RSW04 at )
{ 1 X C c , x k r k c 2 r ∈ r ,i.e. ), n let and 2 S q
c , . . . , X = = n ffrayinteger any for if ] BRS08 naplnma igqoin,b viewing by quotient, ring polynomial a on |{ ζ ( : r x 1. i.e. , ,t q, k r c ζ ∈ k q 1 r ASOGOH JAESEONG 1 in ) esyta h rpe( triple the that say We . Introduction earo fuiyhvn h aemlilctv order multiplicative same the having unity of root a be -otaplnmas hc r h cu coefficients Schur the are which polynomials, )-Kostka c , X ,w a h rpe( triple the say we ], c 2 r i 2 : for c , . . . , X c 1 r seult h vlto of evalation the to equal is C · x i Let . k r S = k n ) r mdl hs rbnu mg saMac- a is image Frobenius whose -module cino nt e.B pligthis applying By set. finite a on action p x · m oainadtasaino entries. of translation and rotation umn }| x nmn,i.e. enomena, h ubro xdpit of points fixed of number the n hnmn hc santo that notion a is which phenomena ing X = X eut eadn h nmrto of enumeration the regarding results = e n(nrdd cinof action (ungraded) an tes n ( H ffrayintegers any for if oadplnmasi ie [ given is polynomials donald [ e q Hai01 x X S ,C X, eastwt nato facyclic a of action an with set a be 1 µ } lcsmere n vlainof evaluation and symmetries clic q , n ( (
amnc.Teobtharmonics orbit The harmonics. t x -set ζ ueaierslsivligthe involving results numerative = 2 h eta bet nalgebraic in objects central the h ytr fte( the of mystery the ; r q , . . . , a hswl rvd series a provide will This na. 1 ,t q, ) ,ntmc skonaotan about known is much not ], ,C X C, X, X . k c × X i ( n ojcue h Schur the conjectured and ) nti ae,w provide we paper, this In . ylcgroups cyclic C oagae polynomial graded a to ζ 1 r k 2 k 1 ayCPfor -ary-CSP ri harmonics. orbit ) × · · · × ζ , ( ∈ 2 r q 2 )ehbt the exhibits )) Z ζ , . . . , X [ X q ( 1 r C q q , 1 san as 1 r , k C q , k 2 r X , k q , . . . , 1 2 2 ) r , . . . , ,t q, × q , . . . , , k ( c S q C r )-Kostka 1 S and 3 = 2 n HHL05 q , in k ···× · ×· -stable n ea be ] cyclic 2 k k q , . . . , na on X at ) the is ] k )) 2 JAESEONG OH point locus in Cn. The idea goes as follows. Let X ⊆ Cn be a finite set which is closed under the action of Sn × C, where n • a symmetric group Sn acts on C by permuting coordinates, and • C is a finite cyclic group acting on Cn by scaling a root of unity.
Let I(X) be the ideal of polynomials in C[xn] := C[x1,...,xn] which vanish on X. Then we have an isomorphism
(1.1) C[X] =∼ C[xn]/I(X), where C[X] is the algebra of all functions X → C. We further define a homogeneous ideal
T(X) := hτ(f) : f ∈ I(X) \ {0}i ⊆ C[xn], where τ(f) denote the top degree homogeneous part of f. Then the isomorphism (1.1) extends to an isomorphism
(1.2) C[X] =∼ C[xn]/I(X) =∼ C[xn]/T(X).
Note that C[xn]/T(X) admits an additional structure of a graded Sn-module. Using the isomorphism (1.2), the author and Rhoades provided a ‘generating theorem’ for sieving results [OR21, Theorem 3.4]. By varying the choice of combinatorial locus X, one can obtain various sieving results concerning X. The associated polynomial is given by a variant of the graded Frobenius image grFrob(C[xn]/T(X); q). In this paper, we adopt orbit harmonics to the diagonal orbit harmonics to obtain a ‘generating theorem’ (Theorem 3.1) for sieving results of the combinatorial locus X ⊆ C2n with a diagonal action of Sn on X. A precise explanation of the diagonal orbit harmonics is given in Section 3.1. To prove the Macdonald positivity conjecture, Garsia and Haiman [GH93] suggested a bigraded Sn-module Hµ (called the Garsia–Haiman module) for a partition µ whose Frobenius image is the Macdonald polynomial of µ. This module is defined as the C-span of a variant of the Vandermonde determinant and its partial derivatives (See Section 2.4 for detail). Garsia and Haiman defined another module Rµ via orbit harmonics which is later shown to be isomorphic to the original n Garsia–Haiman module Hµ. Therefore by taking µ = (m ), we can apply Theorem 3.1 to this mn module Rµ to obtain triCSP for n × m matrices of content (1 ) (each of 1, 2,...,mn appears once) and biCSP for n × m matrices of given content ν (i appears νi times). This relates roots of unity specializations of (q,t)-Kostka polynomials with enumerations of matrices invariant under certain rotation of row index and column index and translation of entries. mn Theorem 1.1. Let X(mn) be the set of n×m matrices of content (1 ). A product of cyclic groups Zn × Zm × Zmn acts on X(mn) by row rotation, column rotation, and adding 1 modulo mn to each entry. In addition for a composition ν |= mn, let X(mn),ν be the set of n × m matrices of content ν where a product of cyclic groups Zn × Zm acts on X(mn),ν by row and column rotation. Then we have the followings.
• X(mn), Zn × Zm × Zmn, X(mn)(q,t,z) exhibits triCSP, where λ X(mn)(q,t,z)= Kλ,(mn)(q,t)f (z). λX⊢mn e • X(mn),ν, Zn × Zm, X(mn),ν(q,t) exhibits biCSP, where X(mn),ν(q,t)= Kλ,(mn)(q,t)Kλ,ν . λX⊢mn e Here, Kλ,µ(q,t) (Kλ,µ, respectively) denotes the modified (q,t)-Kostka polynomial (Kostka number, respectively) and f λ(z) := zmaj(T ) is the fake degree polynomial, where SYT(λ) is the e T ∈SYT(λ) set of standard tableaux of shapeP λ and maj is the major index. MACDONALDPOLYNOMIALSANDCYCLICSIEVING 3
We generalize Theorem 1.1 in two directions. First direction is to generalize biCSP in the second bullet point of Theorem 1.1 to triCSP. We say a composition ν has a cyclic symmetry of order a if νi = νi+a always, where the subscripts are interpreted modulo the length l(ν) of ν. In the second bullet point of the above theorem, if ν has a cyclic symmetry of order a dividing l(ν), the set X(mn),ν possesses an additional action of a cyclic group Zl(ν)/a by adding a modulo l(ν) to each entry. Then one might ask if there is natural z-analogue of X(mn),ν(q,t) to give triCSP for X(mn),ν. We give an answer of this question in the following theorem. Theorem 1.2. Let ν |= mn be a composition with a cyclic symmetry of order a dividing l(ν). Let X(mn),ν be the set of n × m matrices of content ν. A product of cyclic groups Zn × Zm × Zl(ν)/a acts on X(mn),ν by row rotation, column rotation, and adding a modulo l(ν) to each entry. Then the triple X(mn),ν, Zn × Zm × Zl(ν)/a, X(mn),ν(q,t,z) exhibits the triCSP, where X(mn),ν(q,t,z)= Kλ,(mn)(q,t)Kλ,ν(z). λX⊢mn e e Here, Kλ,µ(q,t) (Kλ,µ(z), respectively) denotes the modified (q,t)-Kostka polynomial (z-Kostka polynomial, respectively). e e The second generalization starts from rephrasing Theorem 1.1. For a mn × mn permutation matrix M, we associate a n × m matrix φ(M) of content (1mn) by letting k be the (i, j)-entry if the (n(i − 1) + j, k)-entry of M is 1. For example, if we set m = 2,n = 2, then the following permutation matrix M in the left corresponds to a 2 × 2 matrix φ(M) in the right.
0 01 0 1 00 0 3 1 M = φ(M)= 0 10 0 2 4 0 00 1 Under this correspondence, the row rotation, column rotation, and adding 1 modulo mn to each entry of φ(M) corresponds to ‘external’ row rotation (of order m), ‘internal’ row rotation (of order n), and column rotation of M. Here, by external row rotation, we mean sending the kth n rows (from n(k − 1) + 1-th to nk-th row) to the next n rows (from nk + 1-th to n(k + 1)-th row). Here the row numbers are interpreted modulo mn. By internal row rotation, we mean sending each row to the next row except for the nk-th row for k = 1, 2,...,m. For the nk-th row we send this row to the n(k − 1) + 1-th row. In our running example, if we apply a row rotation and a column rotation 2 4 1 3 to φ(M), we get and . Each of these corresponds to the matrix 3 1 4 2 01 00 1 000 00 01 0 010 and . 00 10 0 001 10 00 0 100 The first matrix can also be obtained from M by sending the first two rows to the third and the fourth row and sending the third and the fourth row to the first and the second row which is an external row rotation (of order 2). Similarly, the second matrix can be obtained from M by applying an internal row rotation (of order 2). Now we can understand Theorem 1.1 as a tricyclic sieving result concerning mn×mn matrices under external row rotation, internal row rotation, and column rotation. One might ask if we could get a quadracyclic sieving result concerning external and internal rotation to both columns and rows. The following theorem gives a positive answer.
Theorem 1.3. Let l = mn = ab be a positive integer with two factorizations. Let Sl be the set of l × l permutation matrices. A product of cyclic groups Zn × Zm × Zb × Za acts on Sl by external 4 JAESEONG OH row rotation, internal row rotation, external column rotation, and internal column rotation. Then the triple (Sl, Zn × Zm × Zb × Za, Sl(q, t, z, w)) exhibits the quadraCSP, where
S l(q, t, z, w)= Kλ,(mn)(q,t)Kλ,(ab)(z, w). Xλ⊢l e e Here, Kλ,µ(q,t) denotes the modified (q,t)-Kostka polynomial. There havee been similar results discovered which relate root of unity specializations of q-Kostka polynomials or Macdonald polynomials and fixed point enumerations of matrices or fillings of tableaux (see [Rho10, AU20, BRS08] for example). We remark some results which are especially close to our results. First of all, the set X(mn),ν in Theorem 1.2 bijects with the set of 0, 1-matrices with column content µ and row content (1mn). If we specialize n = 1, then Theorem 1.2 recovers [Rho10, Theorem 1.2]. In addition, Barcelo, Reiner and Stanton considered biCSP concerning row and column rotation of permutation matrices ([BRS08, Theorem 1.4], in the case W = Sn). Theorem 1.3 specializes to their result if we take n = 1, b = 1. In [Rho10, Theorem 1.3], using Hall–Littlewood polynomial, Rhoades showed that N-matrices with fixed column content µ and row content ν exhibits biCSP. It should be mentioned that we modify the argument of Rhoades to prove Theorem 1.2 and Theorem 1.3 in Section 4.2. The remainder of this paper is organized as follows. In Section 2 we give background on combi- natorics, symmetric functions, the representation theory of Sn, and the Garsia–Haiman modules. In Section 3, we illustrate the diagonal orbit harmonics and how to obtain sieving results from orbit harmonics. We then present a combinatorial locus that gives a graded module isomorphic to Garsia–Haiman module via orbit harmonics. In Section 4, we provide proofs of Theorem 1.1, Theorem 1.2 and Theorem 1.3. We conclude this paper with some remarks in Section 5.
2. Preliminaries 2.1. Combinatorics. A weak composition of n is a sequence of non-negative integers which sum to n. A composition is a weak composition which consists of positive integers. A partition of n is a composition of n which is weakly decreasing. We denote µ |= n and λ ⊢ n for a composition µ and a partition λ of n. For a composition µ = (µ1,...,µk), the length l(µ) of µ is k. For a partition λ ⊢ n we abbuse our notation so that a partition λ also denotes for its Young diagram. We draw Young diagrams in French style:
λ = {(i, j) ∈ Z≥0 × Z≥0 : i < λj+1}. The elements of Young diagram are called cells. For example, λ = (4, 3, 1) = {(0, 0), (1, 0), (2, 0), (3, 0), (0, 1), (1, 1), (2, 1), (0, 2)}
= We define the conjugate λ′ to be the partition obtained by reflecting λ with respect to the diagonal line x = y in the plane. A tableau of a partition λ is a filling T : λ → Z>0. In this case, we call the shape of T is λ. The content of a tableau T of λ is a weak composition (T1, T2,... ) of n, where Ti is the number of i’s appearing in T . A tableau T is called semistandard if the entries in each row are weakly increasing (left to right) and the entries in each column are strictly increasing (bottom to top). The Kostka number Kλ,µ is the number of semistandard tableaux of shape λ and content µ. A semistandard tableau is called standard if its content is (1, 1,... ). The set of standard tableaux of shape λ is MACDONALDPOLYNOMIALSANDCYCLICSIEVING 5 denoted by SYT(λ). Examples of semistandard tableau and standard tableau of shape (4, 3, 1) are shown in the left and the right below, respectively. 4 5 2 2 4 2 4 7 1 1 2 3 1 3 6 8 For a standard tableau T , a descent is an index i such that i + 1 is in the upper row than i. The major index maj(T ) of T is defined as the sum of all descents in T . For the standard tableau given in the right above, 1, 3, 4 and 6 are descents (descents of the tableau are written in bold), so the major index of the tableau is 1 + 3 + 4 + 6 = 14. The fake degree polynomial of a partition λ is defined by the major index generating function for the standard tableaux of shape λ, i.e., f λ(q) := qmaj(T ). T ∈SYT(X λ)
2.2. Symmetric functions. Let Λ = d≥0 Λd be the ring of symmetric functions in an infinite number of variables x = (x1,x2,... ) overLC(q,t). Here Λd denotes the subspace of Λ consisting of symmetric functions of homogeneous degree d. Bases of Λn are indexed by partitions λ ⊢ n. Among various bases of Λn, one of the most important basis is given by Schur functions. The Schur function sλ of a partition λ is defined by T sλ(x) := x , XT T T1 T2 where the sum is over all semistandard tableaux of shape λ and x = x1 x2 · · · . We write h·, ·i for the Hall inner product
hsλ,sµi = δλ,µ, where δλ,µ is the Kronecker delta. The (modified) Macdonald polynomials Hλ(x; q,t) indexed by partitions λ ⊢ n form another basis of Λ . They are defined by the unique family satisfying the n e following triangulation and normalization axioms [HHL05],
• Hλ[x(1 − q); q,t]= λ≥µ aλ,µ(q,t)sλ, P ′ • Heλ[x(1 − t); q,t]= λ≥µ bλ,µ(q,t)sλ, P • heHµ,s(n)i = 1, for suitablee coefficients aλ,µ, bλ,µ′ ∈ Q(q,t). Here, a partial order ≤ called dominance order of partitions of n is defined by
λ ≤ µ if λ1 + · · · + λk ≤ µ1 + · · · µk for all k, and [·] denotes the plethystic substitution. These axioms are equivalent with Macdonald’s triangu- larity and orthogonality axioms. Expanding the Macdonald polynomial with Schur functions, we may write
Hµ(x; q,t)= Kλ,µ(q,t)sλ(x), Xλ e e where the sum is over partitions λ of n. The coefficients Kλ,µ(q,t) are called the (modified) (q,t)- Kostka polynomials. A combinatorial description of general (q,t)-Kostka polynomials is unknown, e and it is one of the most important open problems in algebraic combinatorics. Since Kλ,µ(1, 1) = |SYT(λ)|, the most desirable form of the combinatorial formula would be a generating function for e the standard tabelaux. The (modified) Hall–Littlewood polynomial Qµ(X; q) and q-Kostka polynomial Kλ,µ(q) can be obtained by specializing t = 0 to the Macdonalde polynomial Hµ(X; q,t) and thee (q,t)-Kostka polynomial K (q,t). The q-Kostka polynomial K (q) can also be defined as the generating λ,µ λ,µ e e e 6 JAESEONG OH function of the cocharge statistics for the semistandard tableaux of shape λ and content µ (see [Rho10] for a definition of cocharge statistics).
2.3. Representation theory of Sn. Irreducible representations of the symmetric group Sn are in one to one correspondence with partitions λ of n. We let Sλ be the corresponding irreducible representation. If V is a finite dimensional Sn-module, there is a unique way of decomposing V λ into irreducibles as V = λ⊢n cλS . The Frobenius image of V is the symmetric function defined by L Frob(V ) := cλsλ. Xλ⊢n S If V is graded (or bigraded) n-module as V = d≥0 Vd (or V = d,e≥0 Vd,e) the graded Frobenius image is the symmetric function over C(q) (or CL(q,t)) given by L
d grFrob(V ; q) := Frob(Vd)q Xd≥0
d e (or grFrob(V ; q,t) := Frob(Vd,e)q t ). d,eX≥0
If V = d≥0 Vd (or V = d,e≥0 Vd,e is any graded (or bigraded) vector space, its Hilbert series is
L L d Hilb(V ; q)= dim(Vd)q Xd≥0
d e (or Hilb(V ; q,t) := dim(Vd,e)q t ). d,eX≥0 We recall two facts that we use in the proof of the main results. The first one is the theorem of Springer. Note that the original result of Springer deals with the action of a regular element of an arbitrary complex reflection group. For simplicity, we focus only on the action of a long cycle in a symmetric group Sn. λ Theorem 2.1. ([Spr74]) Let c = (1, 2,...,n) be a long cycle of Sn and χ : Sn → C be the λ irreducible character associated to the Sn-representation S . Then we have χλ(cr)= f λ(ζr), where f λ(q) ∈ C[q] is the fake degree polynomial and ζ is a (primitive) n-th root of unity.
The second fact we need is about the Kronecker coefficients. For Sn-modulues V and W , define the inner tensor product V ⊗W to be the the usual tensor product of vector spaces with Sn-module structure given by σ · (v ⊗ w) = (σ · v) ⊗ (σ · w). λ λ For given partitions λ, µ and ν of n, the Kronecker coefficients gµ,ν is the multiplicity of S in the inner tensor product Sµ ⊗ Sν, i.e. µ ν ∼ λ λ S ⊗ S = gµ,ν S . M Although giving an explicit combinatorial description of general Kronecker coefficients is difficult in general (it is one of the major open problems in algebraic combinatorics), we have the following identity for the special case when λ is a single row.
(n) Proposition 2.2. For partitions µ,ν of n, the Kronecker coefficient gµ,ν = δµ,ν , where δµ,ν is the Kronecker delta. MACDONALDPOLYNOMIALSANDCYCLICSIEVING 7
2.4. Modules of Garsia and Haiman. To each partition µ of n, let (a1, b1),..., (an, bn) be the cells of µ, taken in some arbitrary order. Then we define
aj bj ∆µ := det(xi yi )1≤i,j≤n.
The Sn-module Hµ is the smallest vector space over C that contains the determinant ∆µ and its partial derivatives with respect to any of the variables xi’s and yi’s for 1 ≤ i ≤ n. For example, for a partition µ = (3, 2), the cells of µ are (0, 0), (1, 0), (2, 0), (0, 1) and (1, 1) and the corresponding determinant is given by 2 1 x1 x1 y1 x1y1 2 1 x2 x2 y2 x3y3 2 ∆µ := det 1 x3 x3 y3 x3y3 . 2 1 x4 x4 y4 x4y4 2 1 x5 x y5 x5y5 5 Then the module Hµ is given by the C-span
C{∂xI ∂yJ ∆µ}I,J where ∂ := ∂ ...∂ for a multiset I = {i , · · · , i } and ∂ is defined similarly. The symmetric xI xi1 xik 1 k yJ group Sn acts on Hµ diagonally i.e. permuting x and y coordinates simultaneously. Since the action of Sn preserves the degree of xn and yn, the module Hµ is bigraded Sn-module, where the bigrade is given by degree of xn and yn. This is called the Garsia–Haiman module. Haiman [Hai01] proved the n! conjecture which asserts that this module is of dimension n! regardless of µ, and moreover, the graded Frobenius image of Hµ is the Macdonald polynomial of µ:
(2.1) grFrob(Hµ; q,t)= Hµ(x; q,t)= Kλ,µ(q,t)sλ(x), Xλ e e which proves the Schur positivity of the Macdonald polynomials.
3. Sieving generating theorem and diagonal orbit harmonics 3.1. Orbit harmonics and cyclic sieving. In this section, we introduce a systematic way to generate sieving results using orbit harmonics. The author and Rhoades provided a ‘generating theorem’ for sieving results [OR21, Theorem 3.4] by exploiting orbit harmonics applied to a locus n X ⊆ C with Sn acting on X by permuting coordinates. To modify this idea for our purpose, we first explain the diagonal orbit harmonics (see [GH96] for more details). Consider a finite set 2n X ⊆ C which is closed under Sn × C1 × C2-action where 2n • a symmetric group Sn acts on C by permuting coordinates diagonally, i.e.
σ(x1,...,xn,y1,...,yn) = (xσ(1),...,xσ(n),yσ(1),...,yσ(n)), n • a finite cyclic group C1 is acts on C by scaling x-coordinates by a root of unity, and n • a finite cyclic group C2 is acts on C by scaling y-coordinates by a root of unity. Then the method of orbit harmonics gives us an isomorphism of Sn × C1 × C2-modules:
(3.1) C[X] =∼ C[xn, yn]/I(X). We further define homogeneous ideal
T(X) := hτx ◦ τy(f) : f ∈ I(X) \ {0}i ⊆ C[xn], where τx and τy is the map taking top degree homogeneous part with respect to xn and yn, respectively. Then the isomorphism (3.1) extends to an isomorphism
C[X] =∼ C[xn, yn]/I(X) =∼ C[xn, yn]/T(X), where the last item C[xn, yn]/T(X) has an additional structure of graded Sn × C1 × C2-module on which C1 and C2 acts by scaling in each fixed (bi)degree. Thanks to this isomorphism, we 8 JAESEONG OH can provide a generating theorem for sieving results in diagonal orbit harmonics whose proof is analogous to the proof of Theorem 3.4 in [OR21].
Theorem 3.1. Let C be the subgroup of Sn generated by a long cycle c = (1, 2,...,n). Fix positive × ∼ integers k1 and k2. For j = 1, 2, let ζj := exp(2πi/kj ) ∈ C and Cj = hcji = Zkj be a cyclic group 2n of order kj. Consider the action of Sn × C1 × C2 on C where c1 scales x-coordinates by ζ1, c2 scales y-coordinates by ζ2 and Sn acts by permuting coordinates diagonally. 2n Let X ⊆ C be a finite point set which is closed under the action of Sn × C1 × C2.
(1) Suppose that for d, e ≥ 0, the isomorphism type of the degree (d, e)-piece of C[xn, yn]/T(X) is given by ∼ λ (C[xn, yn]/T(X))d,e = cλ,d,eS . Mλ⊢n
The triple (X,C1 × C2 × C, X(q,t,z)) exhibits the tricyclic sieving phenomenon where λ X(q,t,z)= cλ(q,t)f (z). Xλ⊢n d e where cλ(q,t) := d,e≥0 cλ,d,eq t . (2) Let G ⊆ Sn be aP subgroup. The set X/G of G-orbits in X carries a natural C1 × C2-action and the triple (X/G, C1 × C2, X/G(q,t)) exhibits the bicyclic sieving phenomenon where G X/G(q,t) = Hilb((C[xn, yn]/T(X)) ; q,t).
Proof. Applying orbit harmonics to the action of Sn × C1 × C2 on X yields an isomorphism of ungraded Sn × C1 × C2-modules
(3.2) C[X] =∼ C[xn, yn]/T(X). Let ζ := exp(2πi/n). To prove (1), apply Theorem 2.1 to obtain that for any integers r, s, k, the r s k ′ trace of (c1, c2, c ) ∈ C1 × C2 × C acting on C[xn, yn]/T(X) is given by r s λ k r s k cλ(ζ1 ,ζ2)f (ζ )= X(ζ ,ζ2,ζ ). Xλ⊢n r s k By the isomorphism (3.2), this coincides with the trace of (c1, c2, c ) which is the number of fixed r s k points of (c1, c2, c ) acting on X, completing the proof of (1). For (2), we take G-invariants of both sides of the isomorphism (3.2) to get an isomorphism of C1 × C2-modules G (3.3) C[X/G] =∼ (C[xn, yn]/T(X)) . G Since C1 × C2 acts on the graded vector space (C[xn, yn]/T(X)) by a root of unity scaling for r s each x and y variables, the trace of (c1, c2) on the right hand side of the isomorphism (3.3) is given by
G r s r s [Hilb((C[xn, yn]/T(X)) ; q,t)]q=ζ1 ,t=ζ2 = X/G(ζ1 ,ζ2 ). r s The trace of (c1, c2) on the left hand side of the isomorphism (3.3) coincides with the number of r s G-orbits in X/G fixed by (c1, c2). Remark 3.2. In order to obtain a sieving result involving a combinatorial set X with a cyclic group action using Theorem 3.1, we must • realize X (or its quotient X/G) and the relevant action on it as a point locus in C2n and the compatible action, • calculate the graded Frobenius image of C[xn, yn]/T(X) or the Hilbert series of the quotient G Hilb (C[xn, yn]/T(X)) ; q,t . MACDONALDPOLYNOMIALSANDCYCLICSIEVING 9
3.2. Orbit harmonics and Garsia–Haiman module. There is a way to understand the Garsia– ′ ′ Haiman module Hµ via orbit harmonics. Let µ be a partition of n with l(µ)= l and l(µ )= l . Let {α0,...,αl−1} and {β0,...,βl′−1} be two sets of distinct complex numbers. Recall that a injective tableau T of shape µ ⊢ n is a filling of cells of µ by integers 1, 2,...,n without repetition. The collection of such tableaux will be denoted by IT(µ). For each T ∈ IT(µ), we assign a point 2n pT ∈ C by letting the i-th and the (n + i)-th coordinates of pT record the position of i in T :
pT = (αyT (1),...,αyT (n), βxT (1),...,βxT (n)), where xT (i) and yT (i) are x and y coordinates of the cell which contains i in T . For example, 2 for a partition µ = (2, 1) and an injective tableau T = 3 1 of shape µ, the point assigned for T is pT = (α0, α1, α0, β1, β0, β0). Let us denote the collection of points associated to the injective tableaux by 2n Xµ = {pT ∈ C : T ∈ IT(µ)}. Note that there are exactly n! points in Xµ. The point locus Xµ possesses a natural diagonal action of Sn: For σ ∈ Sn,
σ(x1,...,xn,y1,...,yn) = (xσ(1),...,xσ(n),yσ(1),...,yσ(n)).
Using orbit harmonics, one can promote the ungraded Sn-module C[Xµ] to the bigraded Sn- module. As usual, let I(Xµ) be the ideal of polynomials in C[xn, yn] which vanish on X and define a homogeneous ideal
T(Xµ) := hτx ◦ τy(f) : f ∈ I(Xµ) \ {0}i ⊆ C[xn, yn].
Then the module Rµ := C[xn, yn]/T(Xµ) has an additional structure of (bi)graded Sn-module. Garsia and Haiman [GH96] proved that the Garsia–Haiman module Hµ embedds into this graded module Rµ. Thanks to the n!-conjecture, we can conclude the following isomorphism between Rµ and Hµ.
Theorem 3.3. We have an isomorphism as bigraded Sn-modules:
Rµ =∼ C [Xµ] =∼ Hµ. 4. Proofs of main theorems
4.1. A proof of Theorem 1.1. We first construct a point locus X(mn) associated to a rectangular n 2n partition µ = (m ). Following Section 3.2, to consider X(mn) as a point locus in C , we choose two sets of distinct complex numbers {α0,...,αn−1} and {β0,...,βm−1}. For our purpose, let 2πi 2πi j k ζ1 = exp( n ) and ζ2 = exp( m ), then set αj = ζ1 for 0 ≤ j ≤ n − 1 and βk = ζ2 for 0 ≤ k ≤ m − 1. Then the corresponding locus Xµ possesses • diagonal action of Sn, • action of a cyclic group C1 of order n acting by scaling a root of unity ζ1 to each x- coordinates, and • action of a cyclic group C2 of order m acting by scaling a root of unity ζ2 to each y- coordinates.
Now we can present a proof of Theorem 1.1. By the construction above, X(mn) has Sn × C1 × C2 action which corresponds to permutation of letters, row rotation, and column rotation on IT(µ), respectively. Combining an isomorphism between Rµ and Hµ (Theorem 3.3), the fraded Frobenius image of Hµ (Equation (2.1)) and the sieving generating theorem (Theorem 3.1), the first bullet point of Theorem 1.1 immediately follows. To proceed to the second bullet point, consider a composition ν of mn. For the Young subgroup S S S G = ν = ν1 × ν2 · · · of ν, the G-orbits of X(mn) are in one-to-one correspondence with the set of n × m matrices with content equal to ν. 10 JAESEONG OH
To obtain a sieving result for X(mn)/G, we must calculate the Hilbert series of G-fixed subspace of Rµ. Let 1 be the trivial representation of Sν . It is a standard fact that the induction of 1 from Sν to Sn can be written as 1 Sn ∼ λ ↑Sν = Kλ,νS , Mλ where Kλ,ν denotes a Kostka number. Applying Frobenius reciprocity, it follows that the dimension λ of the Sν -fixed subspace of the Sn-irreducible S is given by the character inner product:
λ S λ Sn Sn λ ν 1 S 1 S dim(S ) = h ,S ↓Sν i ν = h ↑Sν ,S i n = Kλ,ν .
Correspondingly, if V is any bigraded Sn-module with Frobenius image λ grFrob(V ; q,t)= cλ(q,t)S , Xλ⊢n the Hilbert series of Sν fixed subspace will be
Sν Hilb(V ; q,t)= cλ(q,t)Kλ,ν . Xλ⊢n By (2) of Theorem 3.1, this concludes the second bullet point.
4.2. A proof of Theorem 1.2 and Theorem 1.3. In previous section, we proved that for a composition ν of mn, the triple X(mn),ν, Zn × Zm, λ Kλ,µ(q,t)Kλ,ν exhibits biCSP. Suppose, furthermore, ν has a cyclic symmetry of order a. ThenP e the set X(mn),ν possesses another cyclic group action by adding a modulo l(ν) to each entry. Therefore, it is natural to seek for a sieving result that reflects this additional cyclic group action. Before we begin, we recall the Tanisaki locus. For a composition ν |= d, let Wν be the set of 2πi length d words w = (w1, . . . , wd) of content ν (i appears νi times). Let ζ = exp l(ν) . We assign d d a point pw in C so that we can realize Wν as a point locus Yν (called the Tanisaki locus) in C as follows: w1 wd pw = (ζ ,...,ζ ). Garsia and Procesi [GP92] proved that the T-ideal corresponding to the Tanisaki locus is given by the ideal generated by elementary symmetric polynomials with extra conditions (for precise definition of this ‘Tanisaki ideal’, we refer [GP92]). By orbit harmonics, there is an isomorphism ∼ (4.1) C[Yν] = Lν := C[xd]/T(Yν). Moreover, they showed that the graded Frobenius image coincides with the Hall–Littlewood sym- metric function,
grFrob(Lν; q)= Qν(x; q).
Furthermore, if a composition ν has a cyclic symmetrye of order a, the set Wν has additional cyclic group action given by adding a modulo l(ν) to each letter. This action corresponds with the action a of scaling a root of unity ζ in each coordinates in Yν. In this setting, the isomorphism (4.1) extends to an isomorphism as graded Sd × C-modules, where C is a cyclic group of order l(ν)/a. Now let µ = (mn) be a rectangular partition and ν be a composition of mn with a cyclic symmetry of order a. Then the product Xµ × Yν carries an Smn × Zn × Zm × Zl(ν)/a-action, where Smn acts diagonally on Xµ and Yν and the cyclic groups Zn, Zm and Zl(ν)/a acts by row rotation on Xµ, column rotation on Xµ and translation on the entries on Yν, respectively. By Theorem 3.3 and the isomorphism (4.1), we have an isomorphism
(4.2) C[Xµ × Yν] =∼ Rµ ⊗ Lν MACDONALDPOLYNOMIALSANDCYCLICSIEVING 11 as Smn × Zn × Zm × Zl(ν)/a-modules. Since the graded Frobenius image of the module Rµ is given by the Macdonald polynomial and the graded Frobenius image of the Garsia–Procesi module Lν is given by the Hall–Littlewood polynomial, the Frobenius image is given by
′ ρ grFrob (C[Xµ × Yν]; q,t,z)= Kλ,µ(q,t)Kλ ,ν(z)gλ,λ′ sρ, ρ,λ,λX′⊢mn e e ρ where gλ,λ′ denotes a Kronecker coefficient. By taking isotypic components for a trivial represen- (mn) tation S of Smn on both sides of equation (4.2), we have
Smn Smn (4.3) C[Xµ × Yν] =∼ [Rµ ⊗ Lν] .
Smn There is a natural basis of C[Xµ ×Yν] indexed by Smn-orbits of Xµ ×Yν, given by the sum of elements in each orbit. Note that each of these orbits corresponds to a n × m matrix with content equal to ν. It is clear that the cyclic groups Zn, Zm and Zl(ν)/a act on these matrices by row rotation, column rotation, and translation of the entries. For an element g ∈ Zn × Zm × Zl(ν)/a, we can count the number of fixed points of g in (Xµ × Yν)/Smn is given by the trace of g acting on the left hand side of the isomorphism (4.3). On the other hand, this can be calculated by trigraded Hilbert series S (mn) mn ′ (4.4) Hilb [Rµ ⊗ Lν] ; q,t,z = Kλ,(mn)(q,t)Kλ ,ν(z)gλ,λ′ , λ,λX′⊢mn e e Smn of [Rµ ⊗C Lν] at roots of unity. By Proposition 2.2, taking the coefficient of the Schur function s(mn) in Equation (4.4), we have the following polynomial
Smn Hilb [Rµ ⊗ Lν] ; q,t,z = Xµ,ν(q,t,z) := Kλ,(mn)(q,t)Kλ,ν (z) λX⊢mn e e for sieving result. This proves Theorem 1.2. Example 4.1. Take µ = (2, 2) and ν = (2, 2). We have six 2 × 2 matrices with content equal to ν listed in the following.
1 1 1 2 1 2 2 1 2 1 2 2 2 2 1 2 2 1 1 2 2 1 1 1
Fixed points of (0, 1, 1) ∈ Z2 × Z2 × Z2 correspond to the following four matrices and there is no fixed point of (0, 0, 1) ∈ Z2 × Z2 × Z2
1 2 1 2 2 1 2 1 1 2 2 1 1 2 2 1
The polynomial X(q,t,z) is given by
X(q,t,z)= Kλ,(2,2)(q,t)Kλ,(2,2)(z) Xλ⊢4 e e = K(4),(2,2)(q,t)K(4),(2,2)(z)+ K(3,1),(2,2)(q,t)K(3,1),(2,2)(z)+ K(2,2),(2,2)(q,t)K(2,2),(2,2)(z) 2 2 2 ≡ 3+e qz + tz + eqtz mode (q − 1,t − 1,e z − 1). e e Note that X(−1, 1, −1) =4 and X(1, 1, −1) = 0, which agrees with Theorem 1.2. To keep this paper concise, instead of providing a precise proof of Theorem 1.3, we rather sketch a proof that is very similar to the proof of Theorem 1.2. Let l = mn = ab be a positive integer with two factorizations. Following the argument in the proof of Theorem 1.2, we consider point 12 JAESEONG OH locus X(mn) to the l × l permutation matrices by the map φ defined in Section 1. We also consider X(ab) as the set of l × l permutation matrices in the same way. A product of groups Sl ×Zn×Zm acts on X(mn) by permuting columns, external row rotation and S internal row rotation, while a product of groups l × Zb × Za acts on X(ab) by permuting columns, S external row rotation and internal column rotation. Each l-orbits of X(mn) × X(ab) corresponds to a l × l permutation matrix. One can see that there is a natural action of Zn × Zm × Zb × Za S on orbits in [X(mn) × X(ab)]/ l by external and internal row rotation, and external and internal column rotation. On the other hand, let R(mn) and R(ab) be two bigraded ring obtained from point loci X(mn) and X(ab) by orbit harmonics. Since their graded Frobenius images are Macdonald polynomials, by Proposition 2.2, we have S l (mn) Hilb R n ⊗ R b ; q, t, z, w = K n (q,t)K ′ b (z, w)g ′ (m ) (a ) λ,(m ) λ ,(a ) λ,λ h i λ,λX′⊢l e e = Kλ,(mn)(q,t)Kλ,(ab)(z, w). Xλ⊢l e e By applying orbit harmonics, we have an isomorphism S S l ∼ l C X(mn) × X(ab) = R(mn) ⊗ R(ab) . h i h i Therefore, we can conclude that the triple (Sl, Zn × Zm × Zb × Za, Sl(q, t, z, w)) exhibits the quadra- cyclic sieving phenomenon, where S l(q, t, z, w)= Kλ,(mn)(q,t)Kλ,(ab)(z, w). Xλ⊢l e e 5. Concluding remarks 5.1. Other combinatorial loci. Recall that we obtained Theorem 1.2 and Theorem 1.3 by tak- ing the tensor product of modules of Garsia–Haiman and Garsia–Procesi, and then taking Smn- invariant part. We could replace one of those modules to obtain various sieving results. One way to do this is replacing one of the modules with the module Rn,k defined in [HRS18]. They defined this module to construct a graded Sn-module for the Delta conjecture at t = 0. The module Rn,k can also be obtained by applying orbit harmonics to the locus corresponding to the set of surjective functions from [k] to [n]. For mn ≤ k by taking Smn invariant part of R(mn) ⊗ Rmn,k, we could obtain a triCSP for n times m matrices (or fillings of a rectangular partition) with entries given by nonempty set partitions of [k] into [mn] parts (which may be called the surjective tableaux). This process can be applied to a broad class of modules obtained via orbit harmonics. One of the interesting modules which we did not consider in this paper is the module Rµ,k defined by Griffin [Gri21]. This module is a common generalization of the Garsia–Procesi module and the module Rn,k of Haglund–Rhoades–Shimozono and it is possible to obtain this module via orbit harmonics.
5.2. Combinatorial proof of main theorems. Rhoades used two facts to prove cyclic sieving results involving q-Kostka polynomials [Rho10]. The first one is about the evaluation of the Hall– Littlewood polynomial at a root of unity due to Lascoux, Leclerc and Thibbon [LLT94, LLT97]. The second one is the rim hook correspondence of Stanton and White [SW85]. For the evaluation of the Macdonald polynomials of a rectangular partition at a root of unity, Descouens, and Morita gave a formula [DM08]. If one can provide a counterpart for rim hook correspondence of Stanton–White in the setting of Theorem 1.1, Theorem 1.2 or Theorem 1.3, it would give more combinatorial proof of those. MACDONALDPOLYNOMIALSANDCYCLICSIEVING 13
6. Acknowledgements The author is grateful to Brendon Rhoades for helpful conversations about orbit harmonics. The author also thanks anonymous referees for their careful reading and valuable comments. In partic- ular, the author thanks a referee’s suggestion to clearly spell out the connections and differences between the results in this paper and known CSP. References [AU20] Per Alexandersson and Joakim Uhlin. Cyclic sieving, skew Macdonald polynomials and Schur positivity. Algebraic Combinatorics, 3(4):913–939, 2020. [BRS08] H´elene Barcelo, Victor Reiner, and Dennis Stanton. Bimahonian distributions. Journal of the London Mathematical Society, 77(3):627–646, 2008. [DM08] Fran¸cois Descouens and Hideaki Morita. Factorization formulas for Macdonald polynomials. European Jour- nal of Combinatorics, 29(2):395–410, 2008. [GH93] Adriano M Garsia and Mark Haiman. A graded representation model for Macdonald’s polynomials. Pro- ceedings of the National Academy of Sciences, 90(8):3607–3610, 1993. [GH96] Adriano M Garsia and Mark Haiman. Some natural bigraded Sn-modules. The Electronic Journal of Combinatorics (The Foata Festschrift volume), 3(2), 1996. [GP92] Adriano M Garsia and Claudio Procesi. On certain graded Sn-modules and the q-Kostka polynomials. Advances in Mathematics, 94(1):82–138, 1992. [Gri21] Sean Griffin. Ordered set partitions, Garsia-Procesi modules, and rank varieties. Transactions of the Amer- ican Mathematical Society, 374(4):2609–2660, 2021. [Hai01] Mark Haiman. Hilbert schemes, polygraphs and the Macdonald positivity conjecture. Journal of the Amer- ican Mathematical Society, 14(4):941–1006, 2001. [HHL05] Jim Haglund, Mark Haiman, and Nick Loehr. A combinatorial formula for Macdonald polynomials. Journal of the American Mathematical Society, 18(3):735–761, 2005. [HRS18] James Haglund, Brendon Rhoades, and Mark Shimozono. Ordered set partitions, generalized coinvariant algebras, and the Delta conjecture. Advances in Mathematics, 329:851–915, 2018. [LLT94] Alain Lascoux, Bernard Leclerc, and Jean-Yves Thibon. Green polynomials and Hall-Littlewood functions at roots of unity. European Journal of Combinatorics, 15(2):173–180, 1994. [LLT97] Alain Lascoux, Bernard Leclerc, and Jean-Yves Thibon. Ribbon tableaux, Hall–Littlewood functions, quan- tum affine algebras, and unipotent varieties. Journal of Mathematical Physics, 38(2):1041–1068, 1997. [Mac88] Ian G Macdonald. A new class of symmetric functions. S´eminaire Lotharingien de Combinatoire [electronic only], 20:B20a–41, 1988. [OR21] Jaeseong Oh and Brendon Rhoades. Cyclic sieving and orbit harmonics. Mathematische Zeitschrift, pages 1–22, 2021. [Rho10] Brendon Rhoades. Hall–Littlewood polynomials and fixed point enumeration. Discrete mathematics, 310(4):869–876, 2010. [RSW04] Victor Reiner, Dennis Stanton, and Dennis White. The cyclic sieving phenomenon. Journal of Combinatorial Theory, Series A, 108(1):17–50, 2004. [Spr74] Tonny Albert Springer. Regular elements of finite reflection groups. Inventiones mathematicae, 25(2):159– 198, 1974. [SW85] Dennis W Stanton and Dennis E White. A Schensted algorithm for rim hook tableaux. Journal of Combi- natorial Theory, Series A, 40(2):211–247, 1985.
Department of Mathematical Sciences Seoul National University 1 Gwanak-ro, Gwanak-gu, Seoul, 08826, South Korea Email address: jaeseong [email protected]