[논문 리뷰] Maps between higher Bruhat orders and higher Stasheff-Tamari posets

Hugh Thomas|ArXiv.org|2002. 12. 06.

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

한 줄 요약

이 논문은 높은 브루아 타르시아 순서 $B(n,d)$와 높은 스태쉬프-타마리 포스엣 $S_1(n,d)$에 대한 볼록 기하학적 기술을 제공하며, 카프라노프와 보예보스키가 구성한 맵 $f$가 람바우의 명시적 맵과 일치하고, $d \leq 2$일 때 전사임을 증명한다. 또한 $S_1(n,d)$에서 $B(n-1,d)$로의 포스엣 임bedding $g$를 구축하고, 그 상의 이미지를 특성화하며 기하학적 구조인 링크와 정점 도형을 조합적 불변량과 연결한다.

ABSTRACT

We make explict a description in terms of convex geometry of the higher Bruhat orders B(n,d) sketched by Kapranov and Voevodsky. We give an analogous description of the higher Stasheff-Tamari poset S_1(n,d). We show that the map f sketched by Kapranov and Voevodsky from B(n,d) to S([0,n+1],d+1) coincides with the map constructed by Rambau, and is a surjection for d<=2. We construct a map analogous to f from S_1(n,d) to B(n-1,d), and show that it is always a poset embedding. We also give an explicit criterion to determine if an element of B(n-1,d) is in the image of this map.

연구 동기 및 목표

• 카프라노프와 보예보스키가 제시한 개략적 기술을 확장하여 높은 브루아 타르시아 순서 $B(n,d)$와 높은 스태쉬프-타마리 포스엣 $S_1(n,d)$에 대한 엄밀한 볼록 기하학적 해석을 제공하는 것.
• 카프라노프와 보예보스키가 기술한 $B(n,d)$에서 $S_1([0,n+1],d+1)$로의 맵 $f$와 람바우의 명시적 구성 간의 동치성을 확립하는 것.
• 맵 $f$가 $d \leq 2$일 때 전사임을 증명하여 [KV]에서 제기된 그의 상의 이미지에 관한 핵심 질문을 해결하는 것.
• 새로운 맵 $g: S_1(n,d) \to B(n-1,d)$를 정의하고 분석하며, 이 맵이 포스엣 임bedding임을 보이고, 그 상의 이미지에 속하는지의 기준을 제시하는 것.
• 기하학적으로 링크 $\operatorname{lk}_0 \circ f$와 $\operatorname{lk}_{\{0,n+1\}} \circ f$를 해석하며, 이들이 포스엣 내의 정점 도형과 조합적 구조와 어떻게 연결되는지 밝히는 것.

제안 방법

• 3-면에서의 커버링 관계로 정의된 순서를 갖는, $n$-입방체 $[-1,1]^n$의 $d$-면을 통과하는 후퇴하지 않는 호로 $B(n,d)$를 명시적으로 정의한다.
• 역순서 정렬을 순서로 사용하여, 정점 번호가 $1$부터 $n$인 $(n-1)$-단체의 $d$-면을 통과하는 후퇴하지 않는 호의 집합으로 $S_1(n,d)$를 정의한다.
• 입방체의 경로를 단체에서의 경로 시퀀스로 올리고, 인접한 경로 쌍에 삼각형을 할당하여, 맵 $f: B(n,d) \to S_1([0,n+1],d+1)$를 구성한다.
• 두 맵가 같은 면 인cidences와 순서 관계에 대한 기하학적·조합적 제약을 만족함을 보여, $f$가 람바우의 맵과 일치함을 증명한다.
• 삼각형의 사슬을 $\binom{[n-1]}{d}$ 위의 허용 가능한 순서로 정렬함으로써, 맵 $g: S_1(n,d) \to B(n-1,d)$를 정의하며, 패킷 내의 직사각형 순서를 사용한다.
• 정점 도형과 링크(예: $\operatorname{lk}_{\{0,n+1\}}(f(\pi))$)를 사용하여, $f(\pi)$의 기하학적 불변량을 입방체의 $(1,\dots,1)$에서의 구조로 해석한다.

실험 결과

연구 질문

• RQ1 카프라노프와 보예보스키가 개략적으로 기술한 $B(n,d)$에서 $S_1([0,n+1],d+1)$로의 맵 $f$는 람바우의 명시적 구성과 일치하는가?
• RQ2 카프라노프와 보예보스키의 주장과 같이, 맵 $f$는 $d \leq 2$일 때 전사적인가?
• RQ3 포스엣 임bedding $g: S_1(n,d) \to B(n-1,d)$를 구성할 수 있으며, $B(n-1,d)$의 원소가 그 상의 이미지에 속하기 위한 조건은 무엇인가?
• RQ4 링크 $\operatorname{lk}_0 \circ f$와 $\operatorname{lk}_{\{0,n+1\}} \circ f$는 입방체와 단체의 기하학적 구조와 어떻게 관련되는가?
• RQ5 높은 브루아 타르시아 순서 $B(n,d)$와 $S_1(n,d)$의 간격의 호모토피 유형은 무엇이며, 맵 $f$와 $g$는 순서 복합체에 어떻게 영향을 미치는가?

주요 결과

• 카프라노프와 보예보스키가 구성한 맵 $f: B(n,d) \to S_1([0,n+1],d+1)$는 람바우의 명시적 맵과 동치이며, 두 접근 방식 간의 일致성을 확인한다.
• 맵 $f$는 $d \leq 2$일 때 전사적이며, [KV]에서 제기된 전사성에 대한 구체적 실현을 제공한다.
• 맵 $g: S_1(n,d) \to B(n-1,d)$는 포스엣 임bedding이며, $B(n-1,d)$의 원소가 $g$의 상에 속해 있는 것은 그와 관련된 $\binom{[n-1]}{d}$ 위의 허용 가능한 순서가 $C(n,d)$의 삼각형 분할에서 삼각형의 사슬을 정렬함으로써 유도되는 경우에 국한된다.
• $\pi \in B(n,d)$에 대해 링크 $\operatorname{lk}_{\{0,n+1\}}(f(\pi))$는 $n$-입방체의 정점 $(1,\dots,1)$에서의 정점 도형과 정확히 일치한다.
• 링크 $\operatorname{lk}_0(f(\pi))$는 $S(n+1,d)$ 내의 기하학적 구조로 기하학적으로 해석될 수 있으며, 이는 단체와 입방체의 구성 간의 연결 고리를 제공한다.
• $g \circ f: B(n,d) \to B(n,d)$의 합성은 높은 브루아 타르시아 순서 사이의 맵이며, 이는 이전에 연구되지 않은 것으로, $n$-범주 이론에 응용될 수 있다.