[논문 리뷰] Knapsack in Graph Groups, HNN-Extensions and Amalgamated Products

Ian Agol, Daniel Groves외 1명|arXiv (Cornell University)|2012. 04. 12.

Geometric and Algebraic Topology참고 문헌 57인용 수 360

한 줄 요약

이 논문은 색칠과 접합 정리에 기반한 계층 구조 접근법을 사용하여, 입자화된 단어-쌍곡군이 사실상 특별함을 증명한다. 주요 결과는 닫힌 쌍곡 3차원 다각형에 대해 가상의 Haken 및 가상의 섬유화 추측을 해결하며, 유한 차수의 Haken 커버와 원환면 위로의 섬유화를 갖는다고 보여준다.

ABSTRACT

It is shown that the knapsack problem, which was introduced by Myasnikov et al. for arbitrary finitely generated groups, can be solved in NP for graph groups. This result even holds if the group elements are represented in a compressed form by SLPs, which generalizes the classical NP-completeness result of the integer knapsack problem. We also prove general transfer results: NP-membership of the knapsack problem is passed on to finite extensions, HNN-extensions over finite associated subgroups, and amalgamated products with finite identified subgroups.

연구 동기 및 목표

• CAT(0) 입자복합체 위에서 올바르고 코컴 pact하게 작용하는 모든 단어-쌍곡군이 특별히 작용하는 유한지수 부분군을 가짐을 증명하기.
• 그러한 군들이 선형이며, 크고, 준연속 부분군이 분리 가능함을 확립하기.
• 닫힌 쌍곡 3차원 다각형에 대해 가상의 Haken 및 가상의 섬유화 추측을 해결하기.
• 유한 차수 커버를 구성하기 위한 약한 분리 가능성 정리에 의해 [1]의 주요 결과를 일반화하기.
• 단어-쌍곡군이 QVH 계열에 속해 있을 경우 사실상 특별함을 증명하여, 사실상 특별한 군의 군론적 특성화를 확립하기.

제안 방법

• 약한 분리 가능성 결과(정리 A.1)를 사용하여, 임베딩된, 색칠된 양면벽을 갖는 무한 차수 정규 커버를 구성하기.
• 벽 그래프의 색칠에 대한 측도를 정의하여 입자복합체의 계층적 분해를 분석하기.
• 이전 계층 단계에서 벽이 어떻게 잘리는지 추적할 수 있도록 색칠을 정밀화하여, 통제된 접합을 가능하게 하기.
• 정밀화된 색칠된 입자다면체에서 접합 방정식을 해결하여 계층의 기저 사례를 구성하기.
• 유한 차수 커버로 이동한 후, 접합 정리(정리 3.1)를 적용하여 단계적으로 복합체를 재구성하기.
• 계층 수준에 대한 귀납법을 사용하여, 유한 차수 커버에서 특별한 작용을 갖는 복합체를 구축하기 위해 귀납적 가정을 검증하기.

실험 결과

연구 질문

• RQ1 모든 입자화된 단어-쌍곡군이 CAT(0) 입자복합체 위에서 특별히 작용하는 유한지수 부분군을 갖는가?
• RQ2 모든 닫힌 쌍곡 3차원 다각형은 유한 차수의 Haken 커버를 갖는가?
• RQ3 모든 QVH 계열에 속한 단어-쌍곡군은 사실상 특별한가?
• RQ4 충분히 긴 H-채움에서, 준연속 부분군의 높이는 감소하는가?
• RQ5 Malnormal Special Combination 정리는 유한한 간선군을 갖는 병합 곱으로까지 확장되는가?

주요 결과

• 색칠과 접합 정리를 사용한 계층 기반 구성에 의해 입자화된 단어-쌍곡군이 사실상 특별함을 증명하였다.
• 모든 닫힌 쌍곡 3차원 다각형은 유한 차수의 Haken 커버를 갖는다. 이는 Waldhausen의 가상 Haken 추측을 해결한다.
• 모든 닫힌 쌍곡 3차원 다각형은 원환면 위로 섬유화되는 유한 차수 커버를 갖는다. 이는 Thurston의 가상 섬유화 추측을 해결한다.
• 닫힌 쌍곡 3차원 다각형의 기본군은 LERF이자 크며, Kirby 문제 목록의 추측을 확인한다.
• 충분히 긴 H-채움에서, 채움 핵이 주변 부분군에서 유한 지수를 갖는 경우, 초월군의 준연속 부분군의 높이는 엄격히 감소한다.
• QVH 계열에 속한 모든 단어-쌍곡군은 사실상 특별함을 증명하였으며, 이는 정리 A.42를 통해 [45, 정리 13.5]를 비순환 자유 사례로 일반화한 것이다.