[논문 리뷰] The Kazhdan-Lusztig polynomial of a matroid

Ben Elias, Nicholas Proudfoot외 1명|arXiv (Cornell University)|2014. 12. 23.

Advanced Combinatorial Mathematics참고 문헌 19인용 수 6

한 줄 요약

이 논문은 매트로이드의 칸자단-루스티그 다항식을 도입하며, 매트로이드의 특성 다항식을 포함하는 재귀 공식으로 정의된다. 이는 표현 가능한 매트로이드의 경우 교차 호모로지 Poincaré 다항식으로 해석함으로써 비음수 정수 계수를 증명하며, $q$-데오퍼메이션된 모비우스 대수의 구조 상수에 대해 유사한 비음수성에 대해 추측한다.

ABSTRACT

We associate to every matroid M a polynomial with integer coefficients, which we call the Kazhdan-Lusztig polynomial of M, in analogy with Kazhdan-Lusztig polynomials in representation theory. We conjecture that the coefficients are always non-negative, and we prove this conjecture for representable matroids by interpreting our polynomials as intersection cohomology Poincare polynomials. We also introduce a q-deformation of the Mobius algebra of M, and use our polynomials to define a special basis for this deformation, analogous to the canonical basis of the Hecke algebra. We conjecture that the structure coefficients for multiplication in this special basis are non-negative, and we verify this conjecture in numerous examples.

연구 동기 및 목표

• 코xeter 군에 대한 것과 유사한 매트로이드에 대한 칸자단-루스티그 이론을 개발하기 위해.
• 각 매트로이드에 대해 칸자단-루스티그 다항식과 유사한 다항식 불변량을 정의하기 위해.
• 기하적 실현을 사용하여 표현 가능한 매트로이드의 경우 이 다항식의 계수들이 비음수임을 증명하기 위해.
• 모비우스 대수의 $q$-데오퍼메이션으로 이론을 확장하고, 새로운 표준 기저에 대한 비음수 구조 상수에 대해 추측하기 위해.
• 균일 매트로이드와 브레이드 매트로이드에 대한 다항식의 명시적 표를 통해 조합적 패턴을 탐색하고 추측에 대한 계산적 증거를 제공하기 위해.

제안 방법

• 매트로이드의 특성 다항식을 사용하여 칸자단-루스티그 다항식 $P_M(t)$를 재귀적으로 정의한다.
• 기하적 해석을 확립한다: 유한체 위에서 표현 가능한 매트로이드의 경우, $P_M(t)$는 역행 평면 $X_{\mathcal{A}}$의 $\ell$-adic 에테ール 교차 호모로지 Poincaré 다항식과 같다.
• 모비우스 대수 $E(M)$의 $q$-데오퍼메이션 $E_q(M)$을 도입하며, 헤이크 대수의 구성 방식을 일반화한다.
• 플랫의 간격에 관련된 다항식 $P_{M^F_G}(t)$를 사용하여 $E_q(M)$에 대한 칸자단-루스티그 기저를 정의한다.
• Sage를 이용한 계산 도구를 활용하여 랭크 20까지의 균일 매트로이드와 브레이드 매트로이드에 대한 다항식을 계산하고 분석한다.
• 온라인 정수 수열 목록을 활용하여 주요 계수에 대한 조합적 공식을 발견하고 검증한다.

실험 결과

연구 질문

• RQ1 코xeter 군의 고전 이론과 유사하게 매트로이드에 대해 칸자단-루스티그 다항식을 정의할 수 있는가?
• RQ2 매트로이드의 칸자단-루스티그 다항식의 계수는 항상 음이 아닌 정수인가?
• RQ3 표현 가능한 매트로이드의 경우 이 다항식은 교차 호모로지 Poincaré 다항식으로 기하학적으로 해석될 수 있는가?
• RQ4 칸자단-루스티그 기저에서 $q$-데오퍼메이션된 모비우스 대수의 곱셈에 대한 구조 상수의 계수는 음이 아닌가?
• RQ5 균일 또는 브레이드 매트로이드와 같은 특수 클래스에서 특정 계수, 예를 들어 주계수에 대해 조합적 공식이 존재하는가?

주요 결과

• 칸자단-루스티그 다항식 $P_M(t)$는 매트로이드의 특성 다항식을 사용하여 재귀적으로 정의되며, 계수는 비음수일 것으로 추측된다.
• 표현 가능한 매트로이드의 경우, $P_M(t)$는 역행 평면 $X_{\mathcal{A}}$의 $\ell$-adic 에테ール 교차 호모로지 Poincaré 다항식과 동일하며, 이는 이 경우 비음수 계수를 증명한다.
• 균일 매트로이드 $M_{1,2k-1}$의 $P_{M_{1,2k-1}}(t)$의 주계수는 카탈란 수 $C_k = \frac{1}{k+1}\binom{2k}{k}$이다.
• 브레이드 매트로이드 $M_{2k}$의 $P_{M_{2k}}(t)$의 주계수는 $(2k-3)!! \cdot (2k-1)^{k-2}$이다.
• 계산 표에 따르면 $M_{1,8}$의 다항식은 $1 + 27t + 120t^2 + 84t^3$이며, 이는 비음수성 추측을 지지한다.
• 칸자단-루스티그 기저의 $E_q(M)$에 대한 구조 상수는 $q$에 관한 다항식이며, 비음수 계수를 가진다. 이는 여러 예제에서 검증되었다.