[논문 리뷰] Symplectic automorphisms of CP^2 and the Thompson group T

Alexandr Usnich|arXiv (Cornell University)|2006. 11. 20.

Geometric and Algebraic Topology참고 문헌 1인용 수 5

한 줄 요약

이 논문은 CP²에서 SL(2,Z)와 특정 쌍형 자기동형사상 P에 의해 생성되는 군 H의 선형 표현을 구축하며, H가 표면의 프로젝티브 계의 피카르 군의 귀납적 극한에 작용함을 보여준다. 주요 결과는 클러스터 대수에서 매핑 클래스 군 작용과 유사한 표현의 실현이며, 조각별 선형 기하학에 적합한 생성자와 관계를 사용한 톰슨 군 T의 새로운 표현을 제공한다.

ABSTRACT

We explain how to construct a morphism from the group of birational automorphisms of CP^2 preserving the logarithmic Poisson bracket to the Thompson group T. Than we give a linear representation of the former group, provide some information about Thompson group T and give it's new presentation in terms of generators and relations, and speculate about the presentation of the group of birational symplectomorphisms.

연구 동기 및 목표

• SL(2,Z)와 사상 P:(x,y)↦(y,(1+y)/x)에 의해 생성되는 CP²의 쌍형 자기동형사상 군 H를 연구하는 것.
• 표면의 프로젝티브 계의 피카르 군의 귀납적 극한에 작용하는 H의 선형 표현을 구축하는 것.
• 톰슨 군 T를 통해 CP²에서의 쌍형 기하학과 조각별 선형 구조 사이의 연결 고리를 설정하는 것.
• 조각별 선형 기하학과 쌍형 자기동형사상의 맥락에서 자연스러운 생성자와 관계를 사용한 톰슨 군 T의 새로운 표현을 제공하는 것.

제안 방법

• CP²의 쌍형 유리형 자기동형사상 군 Symp에서 토로피컬라이제이션을 통해 톰슨 군 T로의 사상 정의: 유리형 사상들을 Z² 위의 조각별 선형 변환으로 매핑.
• 형 ω = d(log x) ∧ d(log y)를 사용하여 P와 SL(2,Z)가 쌍형 구조를 보존함을 확인.
• 쌍형 자기동형사상이 Z²의 원시 벡터로 매개화된 극을 가진 곡선을 치환한다는 기하적 해석을 구축.
• 생성자 R, C와 관계 R⁴ = 1, C³ = 1, (RC)⁵ = 1, 그리고 교환 관계를 포함한 T의 표현 간 군 동형을 확립.
• 새로운 생성자 L = APA⁻¹를 도입하고, L⁵ = 1, C³ = 1, (LCL)⁴ = 1, (CIL)⁷ = 1, [C, I²] = 1 등의 관계를 사용한 T의 표현을 유도.
• 군 동형과 코너지션을 사용하여 T의 다양한 표현 간의 관계를 설정하고, 정규부분군 몫을 통한 동치성 증명.

실험 결과

연구 질문

• RQ1 SL(2,Z)와 사상 P에 의해 생성되는 군 H는 CP²의 기하학에 어떻게 작용하며, 쌍형 자기동형사상 군으로서의 그 구조는 무엇인가?
• RQ2 CP²의 쌍형 유리형 자기동형사상과 토로피컬라이제이션을 통한 Z² 위의 조각별 선형 변환 간의 관계는 무엇인가?
• RQ3 조각별 선형 기하학에서 유래하는 구조와 자연스럽게 호환되는 방식으로 톰슨 군 T를 표현할 수 있는가?
• RQ4 피카르 군의 귀납적 극한에 작용하는 H의 선형 표현은 무엇이며, 클러스터 대수의 구조와 어떻게 관련되는가?
• RQ5 L과 C를 포함하는 T의 새로운 표현에서의 관계들은 기저가 되는 쌍형 및 조각별 선형 기하학적 구조를 어떻게 반영하는가?

주요 결과

• 군 H는 SL(2,Z)와 사상 P에 의해 생성되며, P⁵ = 1이면서, 관계 C³ = I⁴ = [C, I²] = 1, PCP = I, P⁵ = 1이 충분히 H를 정의한다.
• 토로피컬라이제이션을 통해 Symp에서 톰슨 군 T로의 사상이 구성되며, 이는 유리형 사상들을 Z² 위의 조각별 선형 자기동형사상으로 매핑한다.
• 톰슨 군 T는 생성자 L과 C를 사용한 새로운 표현을 갖으며, 관계 L⁵ = 1, C³ = 1, (LCL)⁴ = 1, (CIL)⁷ = 1, [C, I²] = 1을 만족한다.
• H의 선형 표현은 표면의 프로젝티브 계의 피카르 군의 귀납적 극한에 실현되며, 클러스터 대수의 매핑 클래스 군 작용과 유사하다.
• 이 표현이 동일한 시드와 Z²로 매개화된 클러스터 변수를 갖는 클러스터 대수의 매핑 클래스 군 작용과 동형임을 보였다.
• T의 새로운 표현은 표준 표현과 동치임을 증명하였으며, 군 동형과 생성자 간의 코너지션 관계를 통해 동치성을 확립하였다.