[논문 리뷰] Morse theory for group presentations

Ximena Fernández|arXiv (Cornell University)|2019. 11. 30.

Homotopy and Cohomology in Algebraic Topology참고 문헌 27인용 수 5

한 줄 요약

이 논문은 군 표현에 대한 정교화된 이산 모스 이론을 제안하여, 화이트헤드 단순 호모토피 동치를 통한 2차원 CW-複體의 3-변형을 명시적으로 계산할 수 있도록 한다. 복합체의 차원에 대한 경계를 설정하고 명시적인 붙임 사상(attaching maps)을 제공하며, 특정 잠재적 앤드류스–커티스 반례들이 실제로 앤드류스–커티스 자명함을 만족함을 검증하는 데 응용한다.

ABSTRACT

We introduce a novel combinatorial method to study $Q^{**}$-transformations of group presentations or, equivalently, 3-deformations of CW-complexes of dimension 2. Our procedure is based on a refinement of discrete Morse theory that gives a Whitehead simple homotopy equivalence from a regular CW-complex to the simplified Morse CW-complex, with an explicit description of the attaching maps and bounds on the dimension of the complexes involved in the deformation. We apply this technique to show that some known potential counterexamples to the Andrews--Curtis conjecture do satisfy the conjecture.

연구 동기 및 목표

• 군 표현의 Q**-변형을 분석하기 위한 조합론적 방법을 개발하기 위해.
• 2-복합체의 3-변형 과정에서의 명시적 붙임 사상 기술하기 위해.
• 정교화된 이산 모스 이론을 사용하여 이러한 변형에 관여하는 복합체의 차원을 경계하기 위해.
• 이 방법을 사용하여 특정 잠재적 반례들이 실제로 앤드류스–커티스 자명함을 만족하는지 검증하기 위해.
• 원래 복합체와 단순화된 모스 복합체 사이의 화이트헤드 단순 호모토플리 등가를 명시적으로 구축하고 변형 과정을 제어하기 위해.

제안 방법

• 이산 모스 이론을 정규 CW-복합체에 적용하기 위해 이산 벡터장의 구조를 정교화함으로써 적응함.
• 셀의 쌍을 취소시켜 단순화된 모스 복합체를 구성함으로써 단순 호모토플리 유형을 유지함.
• 조합론적 자료를 사용하여 변형 과정 동안 셀의 붙임 사상을 명시적으로 추적함.
• 군 표현과 관련된 2차원 CW-복합체에 이 이론을 적용함.
• 정교화된 모스 복합체를 사용하여 3-변형을 표현의 Q**-변형으로 실현함.
• 변형 시퀀스에 관여하는 복합체의 차원에 대한 경계를 설정함.

실험 결과

연구 질문

• RQ1 정교화된 이산 모스 이론을 사용하여 군 표현으로부터 유도된 2-복합체의 3-변형을 명시적으로 묘사할 수 있는가?
• RQ2 이러한 변형에서 붙임 사상은 단순 호모토플리 유형을 유지하는 조합론적 묘사가 가능한가?
• RQ3 이 방법을 사용하여 특정 잠재적 반례들이 실제로 앤드류스–커티스 자명함을 만족하는지 확인할 수 있는가?
• RQ4 이러한 모스 이론적 단순화에 관여하는 복합체의 차원에 대한 경계는 무엇인가?
• RQ5 이 프레임워크를 사용하여 화이트헤드 단순 호모토플리 등가를 명시적으로 어떻게 구성할 수 있는가?

주요 결과

• 이 방법은 원래 2-복합체에서 단순화된 모스 복합체로의 화이트헤드 단순 호모토플리 등가를 구성한다.
• 변형 과정에서의 붙임 사상은 정교화된 모스 구조를 사용하여 명시적으로 묘사된다.
• 변형에 관여하는 복합체의 차원은 경계가 있으며, 최종 복합체의 차원은 최대 2이다.
• 이 기법은 앤드류스–커티스 추측의 몇 가지 알려진 잠재적 반례들이 실제로 앤드류스–커티스 자명함을 만족함을 확인한다.
• 높은 차원의 일반화를 위한 새로운 예시(예: 1.13)가 제시되어 이 방법의 적용 범위를 확장한다.
• 최종 논문 버전(미국 수학회 회보에 게재됨)은 소수의 수정과 확장된 고차원 도식을 포함하고 있다.