[논문 리뷰] A $q$-deformation of an algebra of Klyachko and Macdonald's reduced word formula

Philippe Nadeau, Vasu Tewari|arXiv (Cornell University)|2021. 06. 07.

Advanced Combinatorial Mathematics참고 문헌 35인용 수 4

한 줄 요약

이 논문은 클랴흐코의 작업과 맥도널드의 축소된 단어 공식과 관련된 대수적 구조에 대한 q-변형을 도입하며, 스카우르 함수와 후크 길이를 통해 오일러 수의 q-해석을 수립한다. 주요 결과는 특정 표준 양의 표를 위한 q-생성함수를 q-후크 길이와 주요 지표를 이용해 표현하며, 고전적인 오일러 수 항등식을 조합적 해석이 가능한 표준 양의 표를 통해 q-변형된 설정으로 일반화한다.

ABSTRACT

There is a striking similarity between Macdonald's reduced word formula and the image of the Schubert class in the cohomology ring of the permutahedral variety $\mathrm{Perm}_n$ as computed by Klyachko. Toward understanding this better, we undertake an in-depth study of a $q$-deformation of the $\mathbb{S}_n$-invariant part of the rational cohomology ring of $\mathrm{Perm}_n$, which we call the $q$-Klyachko algebra. We uncover intimate links between expansions in the basis of squarefree monomials in this algebra and various notions in algebraic combinatorics, thereby connecting seemingly unrelated results by finding a common ground to study them. Our main results are as follows. 1) A $q$-analog of divided symmetrization ($q$-DS) using Yang-Baxter elements in the Hecke algebra. It is a linear form that picks up coefficients in the squarefree basis. 2) A relation between $q$-DS and the ideal of quasisymmetric polynomials involving work of Aval--Bergeron--Bergeron. 3) A family of polynomials in $q$ with nonnegative integral coefficients that specialize to Postnikov's mixed Eulerian numbers when $q=1$. We refer to these new polynomials as remixed Eulerian numbers. For $q>0$, their normalized versions occur as probabilities in the internal diffusion limited aggregation (IDLA) stochastic process. 4) A lift of Macdonald's reduced word identity in the $q$-Klyachko algebra. 5) The Schubert expansion of the Chow class of the standard split Deligne--Lusztig variety in type $A$, when $q$ is a prime power.

연구 동기 및 목표

• 고전적인 오일러 수 항등식을 대수적 및 조합적 구조를 활용해 q-변형된 설정으로 확장하는 것.
• q-후크 길이를 포함하는 새로운 생성함수를 통해 맥도널드의 축소된 단어 공식에 대한 q-해석을 제공하는 것.
• 일부 대칭 함수의 평가를 q-파라미터를 포함하도록 일반화하여, 이를 표준 양의 표에서 주요 지표 통계와 연결하는 것.
• 슈부르트 다항식과 쿼asi대칭 함수의 맥락에서 간격 성질의 q-변형된 형태를 수립하는 것.

제안 방법

• 식 (LABEL:eq:awq_formula)에서 제공하는 $ a_w(q) $ 의 대체 표현을 활용하고 이전의 보조정리를 적용하여 주요 항등식을 유도한다.
• 표준 양의 표 $ \mathrm{SYT}(\lambda, m-1) $ 의 합을 주요 지표 $ \mathrm{maj}(T) $ 로 가중치를 두고, $ q $ 의 거듭제곱으로 스케일링한다.
• 각 셀 $ (i,j) \in \lambda $ 에 대해 q-후크 길이 $ h(i,j)_q = [\lambda_i + \lambda_j' - i - j + 1]_q $ 를 포함한다.
• 생성함수를 알려진 q-해석 항등식과 일치시키기 위해 $ q^{-N(\lambda)} $ 변환을 적용한다.
• 결과 [NT20, 보조정리 6.18] 에 기반하여, m-그라스만 수열 순열의 맥락에서 q-파라미터를 포함하도록 그 프레임워크를 확장한다.
• 간격 성질의 정의를 사용하여, $ \pi $ 또는 $ \pi^+ $ 에서의 상이 $ B $ 또는 $ B^+ $ 기저에서만 간격 지원을 갖는 다항식을 특성화한다.

실험 결과

연구 질문

• RQ1 맥도널드의 고전적 축소된 단어 공식은 어떻게 q-파라미터를 포함하도록 일반화될 수 있는가?
• RQ2 주어진 형상의 표준 양의 표에서 주요 지표 생성함수에 기반한 오일러 수의 q-해석은 무엇인가?
• RQ3 슈부르트 다항식에서의 간격 성질은 q-변형된 설정으로 확장될 수 있으며, 이는 쿼아지대칭 함수의 구조에 대해 어떤 함의를 갖는가?
• RQ4 클랴흐코의 대수의 q-변형은 후크 길이 공식과 주요 지표 통계와 어떻게 관련이 있는가?

주요 결과

• 생성함수 $ A_{(c_1,\dots,c_r)}(q) $ 는 $ q^{-N(\lambda)} \sum_{T \in \mathrm{SYT}(\lambda, m-1)} q^{\mathrm{maj}(T)} \prod_{(i,j) \in \lambda} h(i,j)_q $ 로 표현되며, 이는 오일러 수의 q-해석을 제공한다.
• 예시 $ (c_1,\dots,c_5) = (0,1,2,1,1) $ 에서 공식은 $ A_{01211}(q) = q^2(1+q)^2(1+q+q^2)^2(1+q^2) $ 를 도출하여 q-변형의 타당성을 확인한다.
• q-후크 길이 $ h(i,j)_q $ 는 $ [\lambda_i + \lambda_j' - i - j + 1]_q $ 로 정의되며, 이는 고전적 후크 길이를 q-경우로 일반화한다.
• 결과는 m-그라스만 수열 순열, 표준 양의 표, 그리고 q-특수화된 대칭 함수 사이의 강력한 연결 고리를 수립한다.
• 일부 다항식의 $ \pi $ 에서의 상에 대해 간격 성질이 성립함을 보여주며, 쿼아지대칭 함수와 슈부르트 다항식의 더 깊은 구조적 패턴을 시사한다.