Locks fit into keys: a crystal analysis of lock polynomials

TL;DR

This paper explores the relationship between lock and key polynomials, demonstrating their differences are monomial positive and establishing crystal structures on lock Kohnert tableaux, with implications for symmetry and combinatorial models.

Contribution

It introduces a crystal-like structure on lock Kohnert tableaux and constructs an injective map to key tableaux, advancing combinatorial understanding of lock polynomials.

Findings

Difference of key and lock polynomials is monomial positive

Crystal structure exists on lock Kohnert tableaux

Injective map intertwines crystal operators between lock and key tableaux

Abstract

Lock polynomials and lock Kohnert tableaux are natural analogues to key polynomials and key Kohnert tableaux, respectively. In this paper, we compare lock polynomials to the much-studied key polynomials and show that the difference of a key polynomial and lock polynomial for the same composition is monomial positive. We also examine the conditions for which key and lock polynomials are symmetric or quasisymmetric. We accomplish these goals combinatorially using key Kohnert tableaux and lock Kohnert tableaux. In particular, for the difference of a key minus a lock, we focus on the behavior of crystal operators on Kohnert tableaux. The Type A Demazure crystal can be realized on the vertex set of key Kohnert tableaux, and we show with an explicit combinatorial definition that a similar crystal-like structure exists on the vertex set of lock Kohnert tableaux. Finally, we construct an injective, weight-preserving map from lock Kohnert tableaux to key Kohnert tableaux that intertwines the crystal operators.