[논문 리뷰] The local $h$-polynomial of the edgewise subdivision of the simplex

Christos A. Athanasiadis|arXiv (Cornell University)|2016. 09. 21.

Advanced Combinatorial Mathematics참고 문헌 25인용 수 7

한 줄 요약

이 논문은 단체의 $r$-중 엣지와이즈 분할의 국소 $h$-다항식을 계산하여, 이가 연속된 동일한 원소가 없고 끝점이 0인 스미르노프 단어에서 상승의 생성함수와 일치함을 보여준다. 다항식이 명시적인 조합적 해석을 통해 $\gamma$-비음수임을 증명하고, 실근이 없는 국소 $h$-다항식을 가진 7차원 단체의 플래그 삼등분을 구성함으로써 플래그 복합체에서 $\gamma$-비음수성과 실근성에 대한 추측을 해결한다.

ABSTRACT

The $r$-fold edgewise subdivision is a well studied flag triangulation of the simplex with interesting algebraic, combinatorial and geometric properties. An important enumerative invariant, namely the local $h$-polynomial, of this triangulation is computed and shown to be $γ$-nonnegative by providing explicit combinatorial interpretations to the corresponding coefficients. A construction of a flag triangulation of the seven-dimensional simplex whose local $h$-polynomial is not real-rooted is also described.

연구 동기 및 목표

• 에지와이즈 분할된 $(n-1)$-단체의 국소 $h$-다항식을 계산한다.
• 이 다항식의 계수에 대한 조합적 해석을 제공함으로써 $\gamma$-비음수성을 확립한다.
• 국소 $h$-다항식이 실근이 아닌 7차원 단체의 플래그 삼등분을 구성한다. 이는 플래그 복합체에서 실근성에 대한 추측을 다룬다.

제안 방법

• 면 제약 조건에 대한 포함배제 원리를 통해 국소 $h$-다항식을 정의한다: $\ell_V(\Gamma,x) = \sum_{F \subseteq V} (-1)^{n-|F|} h(\Gamma_F,x)$.
• 국소 $h$-다항식을 $E_r$가 $(x + x^2 + \cdots + x^{r-1})^n$ 에 작용한 결과로 특징짓는다. 여기서 $E_r(x^m) = x^{m/r}$ if $r \mid m$, 그렇지 않으면 0이다.
• 국소 $h$-다항식을 $\sum_{w \in \mathcal{S}(n,r)} x^{\text{asc}(w)}$ 로 식별한다. 여기서 $\mathcal{S}(n,r)$ 는 길이 $n+1$ 인 스미르노프 단어의 집합이며, $w_0 = w_n = 0$ 이고 연속된 동일한 원소가 없으며, 이를 만족한다.
• $\gamma$-계수에 대한 조합적 해석을 위해, 정확히 $i$개의 상승과 특정한 이중 상승-이중 하강 쌍화 조건을 만족하는 스미르노프 단어를 세는 방식을 도입한다.
• 일반화된 분할 연산자 $\text{sd}_{\mathcal{F}}(\mathcal{K})$ 를 적용하여, 실근이 없는 $h$-다항식을 가진 6차원 플래그 다면체에서 7차원 단체의 플래그 삼등분을 구성한다.
• 스클레겔 다이어그램과 투영 기법을 사용하여 플래그 다면체를 단체에 매립하고, 링크가 특정 조건을 만족하는 삼등분을 구성한다.

실험 결과

연구 질문

• RQ1 에지와이즈 분할된 단체의 국소 $h$-다항식의 명시적 형태는 무엇인가?
• RQ2 에지와이즈 분할의 국소 $h$-다항식은 $\gamma$-비음수인가? 만약 그렇다면, 그 계수는 조합적 해석을 통해 설명될 수 있는가?
• RQ3 국소 $h$-다항식이 실근이 아닌 단체의 플래그 삼등분이 존재하는가?
• RQ4 에지와이즈 분할에 대해 플래그 삼등분의 $\gamma$-비음수성 추측을 확인할 수 있는가?
• RQ5 스미르노프 단어의 조합론과 에지와이즈 분할의 국소 $h$-다항식 사이의 관계는 무엇인가?

주요 결과

• 국소 $h$-다항식 $\text{esd}_r(2^V)$ 는 $\sum_{w \in \mathcal{S}(n,r)} x^{\text{asc}(w)}$ 로 주어지며, 여기서 $\mathcal{S}(n,r)$ 는 길이 $n+1$ 인 스미르노프 단어의 집합이며, $w_0 = w_n = 0$ 이고 연속된 동일한 원소가 없으며, 이를 만족한다.
• 다항식은 $\gamma$-비음수이며, 계수 $\xi_{n,r,i}$ 는 정확히 $i$개의 상승과 특정한 이중 상승-이중 하강 쌍화 조건을 만족하는 스미르노프 단어의 수를 세는 것으로 주어진다.
• $\ell_V(\text{esd}_r(2^V), -1)$ 는 정확히 $n/2$개의 상승과 쌍화 조건을 만족하는 단어의 수에 $(-1)^{n/2}$ 를 곱한 값과 같다.
• 국소 $h$-다항식이 실근이 아닌 7차원 단체의 플래그 삼등분이 존재하며, 이는 플래그 복합체에서 실근성의 잠재적 일반화를 반증한다.
• 이 구성은 실근이 없는 $h$-다항식을 가진 6차원 플래그 다면체를 7단체에 매립하고, 분할 연산자를 사용하여 그 다면체를 링크로 가지는 삼등분을 만든다.
• 삼등분은 플래그이며, 내부 꼭짓점의 링크는 실근이 없는 $h$-다항식을 가진 플래그 다면체의 경계와 조합적으로 동형이며, 이는 국소 $h$-다항식이 실근이 아님을 보장한다.