[논문 리뷰] Formal solutions and the first-order theory of acylindrically hyperbolic groups

Simon André, Jonathan Fruchter|arXiv (Cornell University)|2020. 05. 01.

Geometric and Algebraic Topology참고 문헌 40인용 수 2

한 줄 요약

이 논문은 비아벨 자유군의 일阶 논리 이론에 관한 메르즐리아코프의 정리를 액릴린드릭히퍼볼릭 군 전반에 일반화하며, 이러한 군들과 그들의 최대 유한 정규부분군에 대한 HNN 확장이 동일한 ∀∃-이론을 가짐을 증명한다. 핵심 기여는 군을 그 HNN 확장으로의 ∃∀∃-초등 포함을 수립하는 것으로, 이는 액릴린드릭히퍼볼릭 군이 정의된 양의 이론을 가짐을 의미하며, 카살스-루이스, 가르레타, 데 라 누에스 고ン잘레스의 추측을 해결한다.

ABSTRACT

We generalise Merzlyakov's theorem about the first-order theory of non-abelian free groups to all acylindrically hyperbolic groups. As a corollary, we deduce that if $G$ is an acylindrically hyperbolic group and $E(G)$ denotes the unique maximal finite normal subgroup of $G$, then $G$ and the HNN extension $G\dot{\ast}_{E(G)}$, which is simply the free product $G\ast\mathbb{Z}$ when $E(G)$ is trivial, have the same $\forall\exists$-theory. As a consequence, we prove the following conjecture, formulated by Casals-Ruiz, Garreta and de la Nuez Gonz\'alez: acylindrically hyperbolic groups have trivial positive theory. In particular, one recovers a result proved by Bestvina, Bromberg and Fujiwara, stating that, with only the obvious exceptions, verbal subgroups of acylindrically hyperbolic groups have infinite width.

연구 동기 및 목표

• 비아벨 자유군의 일阶 논리 이론에 관한 메르즐리아코프의 정리를 더 넓은 범주인 액릴린드릭히퍼볼릭 군으로 확장하는 것.
• 액릴린드릭히퍼볼릭 군과 그들의 최대 유한 정규부분군 E(G)에 대한 HNN 확장이 동일한 ∀∃-이론을 공유함을 확립하는 것.
• 액릴린드릭히퍼볼릭 군이 정의된 양의 이론을 가짐을 증명하는 추측을 해결하는 것. 이는 그들의 언어적 부분군이 무한한 폭을 가짐을 의미한다.
• 초등 동치 하에서 액릴린드릭히퍼볼릭성의 보존 여부를 조사하고, 이 맥락에서 ∃∀∃-초등 포함의 역할을 분석하는 것.

제안 방법

• 짧은 변형 기법과 형식적 해법을 사용하여 세라의 초등적 및 자유곱에 대한 작업 기법을 액릴린드릭히퍼볼릭 군으로 일반화하는 것.
• ∀∃-이론 동치보다 더 강한 조건인 ∃∀∃-초등 포함을 도입하고 분석하여 복잡한 일阶 문장의 보존을 보장하는 것.
• 액릴린드릭히퍼볼릭 군에 고유한 최대 유한 정규부분군 E(G)의 존재를 이용하여 HNN 확장 G˙∗E(G)를 G ∗E(G)(Z × E(G))로 정의하는 것.
• E(G)가 집합 DN(G) = {h′ ∈ G | [h^N, h′] = 1 for all h ∈ G}를 통해 정의 가능하다는 것을 보여주기 위해 정의 가능성 기법을 사용하는 것. 여기서 N = |Aut(E(G))|이다.
• 액릴린드릭히퍼볼릭 군에서 방정정계의 해를 다룬 그로브스와 헐의 결과를 활용하여, 토르션을 가진 군으로 메르즐리아코프의 정리를 확장하는 것.
• 만약 군 G가 액릴린드릭히퍼볼릭 군 H와 동일한 ∃∀∃-이론을 가지며, H가 유한아벨 부분군을 통해 비자명하게 분할된다면, G 역시 액릴린드릭히퍼볼릭 군이어야 한다는 것을 증명하는 것.

실험 결과

연구 질문

• RQ1 카살스-루이스, 가르레타, 데 라 누에스 고ン잘레스의 추측처럼, 모든 액릴린드릭히퍼볼릭 군은 정의된 양의 이론을 가지는가?
• RQ2 액릴린드릭히퍼볼릭 군 G의 표준 포함사상이 G의 HNN 확장 G˙∗E(G)로의 ∃∀∃-초등 포함인가?
• RQ3 G와 G˙∗E(G)는 초등 동치인가, 아니면 G가 G˙∗E(G)에 초등 포함되는가?
• RQ4 유한 생성 군 간의 초등 동치 하에서 액릴린드릭히퍼볼릭 성질이 유지되는가?

주요 결과

• 액릴린드릭히퍼볼릭 군 G의 표준 포함사상이 그 HNN 확장 G˙∗E(G)로의 ∃∀∃-초등 포함임을 증명하였으며, 이는 G와 G˙∗E(G)가 동일한 ∀∃-이론을 가짐을 의미한다.
• 액릴린드릭히퍼볼릭 군은 정의된 양의 이론을 가지며, 카살스-루이스, 가르레타, 데 라 누에스 고ン잘레스의 추측을 확인한다.
• 액릴린드릭히퍼볼릭 군의 언어적 부분군은 무한한 폭을 가지며, 베스트비나, 브롬버그, 후지와라의 결과를 복원한다.
• 만약 군 H가 유한아벨 부분군을 통해 비자명하게 분할되고, 액릴린드릭히퍼볼릭 군 G와 동일한 ∃∀∃-이론을 가진다면, H 역시 액릴린드릭히퍼볼릭 군이어야 한다.
• 문장 ∃c ≠ 1 ∀h ∃z ≠ 1 ([c,z]=1 ∧ [hch⁻¹,z]=1)은 H가 액릴린드릭히퍼볼릭 군이 아니며 아벨 군을 통해 분할된다면 만족되지만, G∗Z에서는 만족되지 않으며, 이는 G와 H가 동일한 ∃∀∃-이론을 가진다면 모순이 된다.
• Baumslag-Solitar 군들은 주요 정리의 결론을 만족하지 않으며, 이는 더 약한 소형 카날레르션 조건이 양의 이론으로의 결과 확장을 위해 충분하지 않음을 보여준다.