[Paper Review] Parking Spaces

Drew Armstrong, Victor Reiner+1 more|arXiv (Cornell University)|Apr 8, 2012

Advanced Combinatorial Mathematics42 references4 citations

TL;DR

This paper introduces two new $W$-parking spaces—noncrossing and algebraic—defined for real reflection groups, extending the standard $W$-parking space to include $W \times C$-actions where $C$ is the cyclic group generated by a Coxeter element. The main contribution is a conjecture that these two new parking spaces are isomorphic as permutation representations of $W \times C$, unifying key aspects of Catalan combinatorics in reflection group theory.

ABSTRACT

Let $W$ be a Weyl group with root lattice $Q$ and Coxeter number $h$. The elements of the finite torus $Q/(h+1)Q$ are called the $W$-{\sf parking functions}, and we call the permutation representation of $W$ on the set of $W$-parking functions the (standard) $W$-{\sf parking space}. Parking spaces have interesting connections to enumerative combinatorics, diagonal harmonics, and rational Cherednik algebras. In this paper we define two new $W$-parking spaces, called the {\sf noncrossing parking space} and the {\sf algebraic parking space}, with the following features: 1) They are defined more generally for real reflection groups. 2) They carry not just $W$-actions, but $W imes C$-actions, where $C$ is the cyclic subgroup of $W$ generated by a Coxeter element. 3) In the crystallographic case, both are isomorphic to the standard $W$-parking space. Our Main Conjecture is that the two new parking spaces are isomorphic to each other as permutation representations of $W imes C$. This conjecture ties together several threads in the Catalan combinatorics of finite reflection groups. We provide evidence for the conjecture, proofs of some special cases, and suggest further directions for the theory.

Motivation & Objective

• To generalize the standard $W$-parking space beyond Weyl groups to all real reflection groups.
• To define new $W$-parking spaces with enhanced $W \times C$-symmetry, where $C$ is the cyclic group generated by a Coxeter element.
• To unify structural features of Catalan combinatorics in finite reflection groups through a conjectured isomorphism between the noncrossing and algebraic parking spaces.
• To provide a framework connecting parking functions, rational Cherednik algebras, and diagonal harmonics in a broader reflection group context.

Proposed method

• Define the noncrossing parking space as a $W \times C$-set using noncrossing partitions associated with the reflection group.
• Define the algebraic parking space as a $W \times C$-set via the action on the finite torus $Q/(h+1)Q$, where $Q$ is the root lattice and $h$ the Coxeter number.
• Establish that both new parking spaces restrict to the standard $W$-parking space in the crystallographic case.
• Use representation-theoretic techniques to compare the $W \times C$-actions on the two new spaces.
• Leverage known results on rational Cherednik algebras and diagonal harmonics to support the conjectured isomorphism.
• Prove special cases of the main conjecture using explicit constructions and symmetry arguments.

Experimental results

Research questions

• RQ1 Are the noncrossing and algebraic $W$-parking spaces isomorphic as permutation representations of $W \times C$ for all real reflection groups?
• RQ2 How do the $W \times C$-actions on the noncrossing and algebraic parking spaces relate to the standard $W$-parking space in the crystallographic case?
• RQ3 What structural properties of the finite torus $Q/(h+1)Q$ underlie the $W \times C$-symmetry in the algebraic parking space?
• RQ4 In what ways do the new parking spaces unify existing results in Catalan combinatorics of reflection groups?
• RQ5 What further algebraic or geometric structures might explain the conjectured isomorphism between the two parking spaces?

Key findings

• The noncrossing and algebraic parking spaces are defined for all real reflection groups, not just Weyl groups.
• Both new parking spaces carry a natural $W \times C$-action, extending the standard $W$-action on the finite torus $Q/(h+1)Q$.
• In the crystallographic case, both the noncrossing and algebraic parking spaces are isomorphic to the standard $W$-parking space as $W$-representations.
• The authors provide proofs of the main conjecture in several special cases, supporting its validity.
• The conjectured isomorphism between the noncrossing and algebraic parking spaces as $W \times C$-sets unifies diverse threads in Catalan combinatorics of reflection groups.
• The framework suggests deeper connections to rational Cherednik algebras and diagonal harmonics through the enhanced $W \times C$-symmetry.