[논문 리뷰] Proof of Stasinski and Voll's Hyperoctahedral Group Conjecture

Aaron Landesman|arXiv (Cornell University)|2014. 08. 29.

Advanced Combinatorial Mathematics참고 문헌 3인용 수 3

한 줄 요약

이 논문은 스타신스키와 폴의 초순서에 대해 하이퍼오크타드럴 군 $B_n$의 몫 위에서 L-통계량의 부호가 붙은 생성함수에 대한 추측을 증명하며, 모든 몫에 대해 곱공식을 수립한다. 재귀적 구조와 부호를 반전시키는 치환을 통해 항을 상쇄시키고, 생성함수가 유리수 곱공식과 일치함을 보여주며, 대칭 행렬의 피카르 다항식과 표현 제타 함수에 응용된다.

ABSTRACT

In a recent paper, Stasinski and Voll introduced a length-like statistic on hyperoctahedral groups and conjectured a product formula for this statistic's signed distribution over arbitrary quotients. Stasinski and Voll proved this conjecture for a few special types of quotients. We prove this conjecture in full, showing it holds for all quotients. In the case of signed permutations with at most one descent, this formula gives the Poincare polynomials for the varieties of symmetric matrices of a fixed rank.

연구 동기 및 목표

• 하이퍼오크타드럴 군 $B_n$의 모든 몫에 대해 L-통계량의 부호가 붙은 분포에 대한 스타신스키와 폴의 추측을 완전히 증명하는 것.
• 이 생성함수와 고정된 랭크를 가진 $\mathbb{F}_q$ 위의 $n \times n$ 대칭 행렬의 피카르 다항식 사이의 연결 고리 수립.
• 이 결과가 브렌티와 카네바레의 서술한 표현 제타 함수의 항등식의 타당성을 암시함을 보여주는 것.
• 두 변수 버전의 생성함수로 일반화하고, $0 \in I$일 때 $tX + 1$으로 나누어지는 조건을 추측하는 것.

제안 방법

• $B_n$ 위에서 L-통계량을 정의한다: $i < j$, $w(i) > w(j)$, $i \not\equiv j \pmod{2}$인 쌍 $(i,j)$의 수의 절반으로, 반대 부호 인덱스에서 항등원으로의 부호가 붙은 거리를 측정한다.
• $n$에 대한 귀납법을 사용하여 생성함수 $\sum_{w \in B_n^{I^c}} (-1)^{l(w)} X^{L(w)}$가 곱공식 $f_{n,I}(X)$와 같은 재귀관계를 만족함을 증명한다.
• 항을 상쇄시키기 위해 '스왑'이라고 불리는 부호를 반전시키는 치환을 도입하여 합의 지지 집합을 오직 '초기로 상쇄되지 않은' 및 '마지재로 상쇄되지 않은' 원소들로 줄인다.
• 초기로 상쇄되지 않은 원소들과 마직재로 상쇄되지 않은 원소들을 특정 스왑 작용에 대해 고정되는 원소로 특성화하고, 이 두 집합 사이의 전단사 사상 구축을 통해 재귀관계를 검증한다.
• $B_n$의 코x터 군 구조, 특히 내림차순 집합 $D(w)$와 표준 생성자 $s_i$를 활용하여 $l(w)$와 $L(w)$의 재귀적 행동 분석.
• $\delta_k = i_{k+1} - i_k$이고 $\underline{n} = 1 - X^n$ ($n > 0$), $\underline{0} = 1$일 때, $f_{n,I}(X) = \frac{(\underline{n})!}{(\underline{i_1})! \cdot \prod_{k=1}^l (\underline{\delta_k})!!}$의 표기법을 사용한다.

실험 결과

연구 질문

• RQ1 모든 부분집합 $I \subset [n-1]_0$에 대해, 부호가 붙은 생성함수 $\sum_{w \in B_n^{I^c}} (-1)^{l(w)} X^{L(w)}$가 곱공식 $f_{n,I}(X)$와 일치하는가?
• RQ2 L-통계량의 분포가 재귀적 구조와 부호를 반전시키는 치환을 통해 완전히 특성화될 수 있는가?
• RQ3 이 생성함수와 고정된 랭크를 가진 $\mathbb{F}_q$ 위의 $n \times n$ 대칭 행렬의 피카르 다항식 사이의 연결 고리는 무엇인가?
• RQ4 두 변수 생성함수 $\sum_{w \in B_n^{I^c}} t^{l(w)} X^{L(w)}$는 $0 \in I$일 때에만 $tX + 1$으로 인수분해 가능한가?
• RQ5 내림차순 집합 $D(w)$와 몫 구조 $B_n^{I^c}$는 생성함수의 재귀적 분해에 어떻게 영향을 미치는가?

주요 결과

• 스타신스키와 폴의 추측이 완전히 증명됨: 모든 $n \in \mathbb{N}$과 모든 $I \subset [n-1]_0$에 대해 $\sum_{w \in B_n^{I^c}} (-1)^{l(w)} X^{L(w)} = f_{n,I}(X)$가 성립한다.
• B_n^{I^c} 위에서 L-통계량의 생성함수는 $\underline{n} = 1 - X^n$과 짝수 인덱스의 이중 계승으로 정의된 유리수 곱공식 $f_{n,I}(X)$와 일치한다.
• 최대 한 개의 내림차순을 가진 부호가 붙은 순열에 대해, 이 공식은 $\mathbb{F}_q$ 위의 $n \times n$ 대칭 행렬의 다양체에서 고정된 랭크에 대한 피카르 다항식을 제공한다.
• 이 결과는 [5, Proposition 5.5]에서 서술된 표현 제타 함수의 항등식의 타당성을 암시하며, 이는 이전에 증명되지 않은 관계를 확인한다.
• $0 \in I$일 때, 두 변수 생성함수 $\sum_{w \in B_n^{I^c}} t^{l(w)} X^{L(w)}$는 $tX + 1$로 나누어지며, $w_{1,1} = \pm 1$인 원소 위의 치환을 통해 이를 보여준다.
• 두 변수 생성함수에 대해 $tX + 1$이 나누어지는 것은 $0 \in I$일 때에만 성립한다는 추측은 $n \leq 6$까지의 계산적 검증을 통해 지지되며, 일반적인 증명은 아직 열려 있다.