Ordered set partitions, generalized coinvariant algebras, and the delta conjecture

DOI10.1016/J.AIM.2018.01.028MaRDI QIDQ1744565zbMATH OpenOpenAlexWikidataFDO

Authors J. Haglund, Brendon Rhoades, Mark Shimozono

Publication date 23 April 2018

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1609.07575

zbMATH Keywords

symmetric function coinvariant algebra ordered set partition

Mathematics Subject Classification ID

Partitions of sets (05A18) Symmetric functions and generalizations (05E05)

Abstract: The symmetric group

m a t h f r a k S_{n}

acts on the polynomial ring

m a t h b b Q [m a t h b f x_{n}] = m a t h b b Q [x_{1}, d o t s, x_{n}]

by variable permutation. The invariant ideal

I_{n}

is the ideal generated by all

m a t h f r a k S_{n}

-invariant polynomials with vanishing constant term. The quotient

R_{n} = f r a c m a t h b b Q [m a t h b f x_{n}] I_{n}

is called the coinvariant algebra. The coinvariant algebra

R_{n}

has received a great deal of study in algebraic and geometric combinatorics. We introduce a generalization

I_{n, k} s u b s e t e q m a t h b b Q [m a t h b f x_{n}]

of the ideal

I_{n}

indexed by two positive integers

k l e q n

. The corresponding quotient

R_{n, k} := f r a c m a t h b b Q [m a t h b f x_{n}] I_{n, k}

carries a graded action of

m a t h f r a k S_{n}

and specializes to

R_{n}

when

k = n

. We generalize many of the nice properties of

R_{n}

to

R_{n, k}

. In particular, we describe the Hilbert series of

R_{n, k}

, give extensions of the Artin and Garsia-Stanton monomial bases of

R_{n}

to

R_{n, k}

, determine the reduced Gr"obner basis for

I_{n, k}

with respect to the lexicographic monomial order, and describe the graded Frobenius series of

R_{n, k}

. Just as the combinatorics of

R_{n}

are controlled by permutations in

m a t h f r a k S_{n}

, we will show that the combinatorics of

R_{n, k}

are controlled by ordered set partitions of

1, 2, d o t s, n

with

k

blocks. The {em Delta Conjecture} of Haglund, Remmel, and Wilson is a generalization of the Shuffle Conjecture in the theory of diagonal coinvariants. We will show that the graded Frobenius series of

R_{n, k}

is (up to a minor twist) the

t = 0

specialization of the combinatorial side of the Delta Conjecture. It remains an open problem to give a bigraded

m a t h f r a k S_{n}

-module

V_{n, k}

whose Frobenius image is even conjecturally equal to any of the expressions in the Delta Conjecture; our module

R_{n, k}

solves this problem in the specialization

t = 0

.

Recommendations

Cites work

Cited in

(54)

This page was built for publication: Ordered set partitions, generalized coinvariant algebras, and the delta conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1744565)