[논문 리뷰] Makanin-Razborov Diagrams over Free Products

Éric Jaligot, Zlil Sela|ArXiv.org|2009. 02. 14.

Geometric and Algebraic Topology참고 문헌 10인용 수 3

한 줄 요약

이 논문은 자유곱 위의 유한형성된 군에 대해 Makanin-Razborov 다이어그램 프레임워크를 확장하며, 타원형 원소를 포함한 자유곱 위의 극한 군을 도입하고, 모든 자유곱 몫을 코딩하는 비표준적 다이어그램을 구축한다. 주요 기여는 임의의 자유곱으로의 모든 준동형사상을 캡처하는 통일된 다이어그램을, 적절한 적분 조건(d.c.c.)과 해소 구조를 통해 구성한 것이다. 다만, 유한 생성 군의 최대 몫의 유한성은 여전히 열려있다.

ABSTRACT

This paper is the first in a sequence on the first order theory of free products. In the first paper we generalize the analysis of systems of equations over free and (torsion-free) hyperbolic groups, and analyze system of equations over free products. To do that we introduce limit groups over the class of free products, and show that a finitely presented group has a canonical (finite) collection of maximal limit quotients. We further extend this finite collection and associate a Makanin-Razborov diagram over free products with a finitely presented group. This MR diagram encodes all the quotients of a given finitely presented group that are free products, all its homomorphisms into free products, and equivalently all the solutions to a given system of equations over a free product.

연구 동기 및 목표

• 자유군에서부터 임의의 자유곱으로의 Makanin-Razborov 다이어그램 프레임워크를 일반화하기.
• 자유곱 위의 극한 군을 정의하고, 새로운 구조인 타원형 원소의 공轭류를 포함하여 연구하기.
• 유한형성된 군의 모든 자유곱 몫을 코딩하는 다이어그램을 구축하기.
• 비자명한 타원형 원소를 보존하는 진부분 전상사상에 대한 내림차순 조건(d.c.c.)을 확립하기.
• 표준 다이어그램의 가능성 탐색 및 유한 생성 군에 대한 열린 문제 규명하기.

제안 방법

• 자유곱으로 수렴하는 준동형사상의 수열의 안정핵을 통해 유한형성된 군의 몫으로서 자유곱 위의 극한 군을 정의한다.
• 목표 자유곱의 인자들에 대응하는 원소의 공轭류를 갖는 표준적인 타원형 원소의 공轭류 집합을 도입한다.
• 각 자유곱 위의 극한 군에 대해 가상 아벨 JSJ 분해를 구성한다.
• 비자명한 타원형 원소를 항등원으로 보냅니다만 않는 진부분 전상사상에 대한 내림차순 조건을 사용해 유한한 해소를 구축한다.
• 각 극한 군에 해소를 연결함으로써 자유곱 위의 통일된 Makanin-Razborov 다이어그램을 구성한다.
• 자유곱으로의 준동형사상들 사이에 부분 순서를 정의하여 최대성과 표준 다이어그램 구성 가능성 탐색하기.

실험 결과

연구 질문

• RQ1 자유곱 위의 유한형성된 군에 대해 Makanin-Razborov 다이어그램 프레임워크를 임의의 자유곱으로 확장할 수 있는가?
• RQ2 자유곱 위의 극한 군은 어떻게 정의되어야 하며, 자유곱으로의 준동형사상을 캡처하기 위해 추가로 필요한 구조(예: 타원형 원소)는 무엇인가?
• RQ3 비자명한 타원형 원소를 보존하는 진부분 전상사상에 대해 자유곱 위의 극한 군에서 내림차순 조건이 성립하는가?
• RQ4 최대 준동형사상들을 사용해 자유곱 위의 유한형성된 군에 대해 표준 Makanin-Razborov 다이어그램을 구성할 수 있는가?
• RQ5 유한 생성 군에 대해 자유곱 위의 최대 극한 몫의 동치류가 유한 개 존재하는가?

주요 결과

• 자유곱 위의 유한형성된 군에 대해 모든 자유곱으로의 준동형사상을 코딩하는 통일된 Makanin-Razborov 다이어그램이 구성되었다.
• 해소 구성에서 비유일한 유한 커버를 사용함에 따라 다이어그램은 표준적이지 않다.
• 비자명한 타원형 원소를 보존하는 진부분 전상사상에 대해 자유곱 위의 극한 군에서 내림차순 조건(d.c.c.)이 확립되었다.
• 자유곱 위의 각 극한 군은 표준적인 가상 아벨 JSJ 분해를 갖는다.
• 유한형성된 군에 대해 자유곱 위의 최대 극한 몫이 유한 개 존재하는 것은 입증되었지만, 유한 생성 군에 대해서는 여전히 열려있다.
• 자연스러운 추측이 제기되었으며, 자유곱으로의 증가하는 준동형사상의 수열이 정지함을 가정하면 표준 다이어그램의 구성이 가능해진다.