[논문 리뷰] $N_\infty$-operads and associahedra

Scott Balchin, David Barnes외 1명|arXiv (Cornell University)|2019. 05. 09.

Homotopy and Cohomology in Algebraic Topology참고 문헌 13인용 수 6

한 줄 요약

이 논문은 소수 거듭제곱 차수를 가진 유한 순환군에 대해 $N_\infty$-오르비드의 조합론적 분류를 수립한다. 그 결과, $G = C_{p^n}$에 대해 $N_\infty$-오르비드의 부분순서 집합은 $(n+1)$-아소시아헤드론과 순서를 유지하는 이sovorphism를 가지며, 이러한 오르비드의 수는 $(n+1)$-번째 카탈란 수와 같다. 또한 순수 및 혼합 $N_\infty$-오르비드의 개념을 도입하고, 임의의 유한 순환군에 대해 $N_\infty$-오르비드 총 수에 대한 닫힌 형태의 하한을 제공한다.

ABSTRACT

We provide a new combinatorial approach to studying the collection of N-infinity-operads in G-equivariant homotopy theory for G a finite cyclic group. In particular, we show that for G the cyclic group of order p^n the natural order on the collection of N-infinity-operads stands in bijection with the poset structure of the (n+1)-associahedron. We further provide a lower bound for the number of possible N-infinity-operads for any finite cyclic group G.

연구 동기 및 목표

• 유한 순환군에 대해 $G$-등변 호모토피 이론에서 $N_\infty$-오르비드를 분류하기 위한 조합론적 프레임워크를 제공하는 것.
• 특히 $G = C_{p^n}$에 대해 $N_\infty$-오르비드의 부분순서 집합과 $(n+1)$-아소시아헤드론 사이의 이분사 관계를 수립하여, 그들의 구조가 카탈란 수에 의해 지배됨을 보여주는 것.
• 순수 및 혼합 $N_\infty$-오르비드의 차이를 순환 $p$-군의 곱의 맥락에서 도입하고 분석하는 것.
• 임의의 유한 순환군에 대해 $N_\infty$-오르비드 총 수에 대한 닫힌 형태의 표현을 유도하는 것, 특히 $G = C_{p^n}C_{q^m}$에서 순수 $N_\infty$-오르비드의 수를 제공함으로써 비자명한 하한을 확보하는 것.

제안 방법

• 제약 조건과 복합 조건을 만족하는 부분군 격자 하위그래프로 $N_\infty$-오르비드를 표현함으로써, 이는 인덱싱 시스템과 동치임을 이용한다.
• $(n+1)$-아소시아헤드론의 부분순서 집합을 사용하여, $n+2$개의 잎을 가진 이진 트리에 대응하는 정점들을 통해 $G = C_{p^n}$에 대한 $N_\infty$-오르비드의 포함 순서를 모델링한다.
• 이진 트리와 아소시아헤드론 간의 대응을 통해, $N_\infty$-오르비드의 부분순서 집합과 토마리 격자 사이의 순서를 유지하는 이somorphism를 수립한다.
• 순수 $N_\infty$-오르비드를 $C_{p^n}$ 및 $C_{q^m}$ 부분군에 대한 제약 조건으로 완전히 결정되는 오르비드로 정의하고, 부분군에서 유도되지 않는 추가 노름 사상이 필요한 혼합 오르비드로 정의한다.
• $n$-토마리 격자 $\mathcal{A}_n$을 사용하여 격자 내 길이 $n$의 경로를 세며, 이러한 경로의 수를 나타내는 공식 $\mathcal{P}(n,r)$을 도출한다.
• $C_{p^n}C_{q^m}$에서 순수 $N_\infty$-오르비드의 수를 나타내는 공식 $\mathcal{P}(n+1,m)\mathcal{P}(m+1,n)$을 유도하며, 이를 $k$중 곱으로 일반화하여 이러한 항들의 곱으로 표현한다.

실험 결과

연구 질문

• RQ1 유한 순환군 $G = C_{p^n}$에 대해 $N_\infty$-오르비드의 부분순서 집합을 어떻게 조합론적으로 묘사할 수 있는가?
• RQ2 $(n+1)$-아소시아헤드론과 같은 다면체 또는 격자와 같은 직접적인 조합론적 불변량이 $C_{p^n}$에 대한 $N_\infty$-오르비드의 포함 순서를 분류하는 데 사용될 수 있는가?
• RQ3 순환 $p$-군의 곱의 맥락에서 순수 $N_\infty$-오르비드와 혼합 오르비드를 어떻게 구분할 수 있는가?
• RQ4 임의의 유한 순환군 $G$에 대해 $N_\infty$-오르비드 총 수에 대해 비자명한 하한을 확립할 수 있는가?

주요 결과

• $G = C_{p^n}$에 대해 $N_\infty$-오르비드의 부분순서 집합은 $(n+1)$-아소시아헤드론과 순서를 유지하는 이sovorphism를 가지며, 이러한 오르비드의 수는 $(n+1)$-번째 카탈란 수와 같다.
• $G = C_{p^n}C_{q^m}$에 대해 순수 $N_\infty$-오르비드의 수는 $\mathcal{P}(n+1,m)\mathcal{P}(m+1,n)$로 주어지며, 여기서 $\mathcal{P}(n,r)$은 $n$-토마리 격자 내 길이 $r$의 경로 수를 세는 함수이다.
• 길이 $r$의 경로 수를 나타내는 공식 $\mathcal{P}(n,r) = \frac{2(4n+1)!}{(n+1)!(3n+2)!}$는 이러한 경로 수에 대한 닫힌 형태의 표현을 제공한다.
• $G = C_{p^3q}$에 대해 $N_\infty$-오르비드 총 수가 544로 계산적으로 검증되었으며, 이는 혼합 오르비드의 복잡성을 보여준다.
• $G = C_{p^{n_1}}\cdots C_{p^{n_k}}$에 대해 순수 $N_\infty$-오르비드의 수는 $\prod_{i,j=1}^k \mathcal{P}(n_i+1,n_j)$로 주어지며, 이는 임의의 유한 순환군에 대한 총 수에 대한 비자명한 하한을 제공한다.
• $C_{pq}$의 경우 유일하게 '외부자'가 존재하는 것으로, 이는 복합 규칙에 의해 강제되지 않는 노름 사상이 있음을 의미하며, 이는 혼합 오르비드와 순수 오르비드를 구분짓는다.