[논문 리뷰] On the groupoid of transformations of rigid structures on surfaces

Louis Funar, Rùazvan Gelca|ArXiv.org|1999. 07. 05.

Geometric and Algebraic Topology참고 문헌 29인용 수 21

한 줄 요약

이 논문은 표면 위의 강성 구조 전환 2군족이 모어-세이버 방정식으로 완전히 표현됨을 엄밀히 증명하며, 모서리가 있는 3차원 위상적 양자장 이론(TQFT)을 위한 보편적인 대수적 프레임워크를 구축한다. 세르 이론과 허터-서스턴 스타일 기법을 사용하여, 최대 TQFT에서 이 2군족의 정준 표현을 구성하며, 매핑 클래스 군 표현을 일반화하고, 이중성 군족과 DAP 분해를 통해 그로텐디크의 테이히뮐러 타워와 연결한다.

ABSTRACT

We prove that the groupoid of transformations of rigid structures on surfaces has a finite presentation as a 2-groupoid establishing a result first conjectured by G.Moore and N.Seiberg. An alternative proof was given by B.Bakalov and A.Kirillov Jr. We present some applications to TQFTs. This is also related to recent work on the Grothendieck-Teichmuller groupoid by P.Lochak, A.Hatcher and L.Schneps.

연구 동기 및 목표

• 표면 위의 강성 구조 전환 2군족이 모어-세이버 방정식으로 완전히 표현됨을 엄밀히 증명하는 것.
• 모서리가 있는 최대 3차원 TQFT에서 이 2군족의 정준 표현을 수립하는 것.
• 매핑 클래스 군 표현을 보편 2군족 구조에 통합하여 일반화하는 것.
• 강성 구조와 DAP 분해를 통해 이중성 군족과 그로텐디크의 테이히뮐러 타워 사이의 관계를 명확히 하는 것.

제안 방법

• 표면 위의 곡선과 그 변환의 동치류를 분석하기 위해 세르 이론과 하인들 본 분해를 적용한다.
• 표시군족(서로 동치가 아닌 단순 폐곡선의 최대 체계)을 구성하고, 그 표현을 유도한다.
• 조합적 이동을 통해 표면를 디스크, 원환면, 팬티형으로 나누는 곡선을 포함하는 오버마킹으로 군족을 확장한다.
• 워커의 프레임워크를 사용하여, 비틀림 자료를 포함한 DAP 분해를 갖는 강성 구조로 이 구조를 승격시키며, 모어-세이버 방정식이 충분함을 증명한다.
• 간선에 레이블이 부여된 삼차원 그래프를 사용하는 도식적 계산법을 정의하여 벡터 공간과 호환 블록을 연계한다.
• TQFT 호환 블록과 레이블이 부여된 그래프를 통한 텐서곱 사이의 국소적, 정준적 동형사상 $Φ([σ,\sigma']) = \Phi(\sigma')^{-1}\Phi(\sigma)$을 수립하여, 이중성 군족에 대한 텐서곱 위의 표현을 얻는다.

실험 결과

연구 질문

• RQ1 모어-세이버 방정식은 표면 위의 강성 구조 전환 2군족에 대해 완전한 표현인가?
• RQ2 모서리가 있는 3차원 TQFT가 이중성 군족의 정준 표현을 어떻게 유도하는가?
• RQ3 TQFT의 맥락에서 이중성 군족과 매핑 클래스 군 간의 관계는 무엇인가?
• RQ4 강성 구조(DAP 분해)와 그 변환은 테이히뮐러 타워와 그로텐디크의 프로그램과 어떻게 관련되는가?
• RQ5 TQFT 공리와 국소 접합을 사용하여 모든 표면에서 이중성 군족의 표현을 균일하게 구성할 수 있는가?

주요 결과

• 모어-세이버 방정식이 표면 위의 강성 구조 전환 2군족에 대해 완전한 표현임을 증명하였다.
• 모서리가 있는 최대 TQFT로부터 이중성 군족의 정준 표현을 구성하였으며, 이는 매핑 클래스 군 표현을 일반화한다.
• 유일한 진공을 갖는 단위, 순환 TQFT의 호환 블록은 삼차원 그래프의 레이블에 따라 인덱싱된 주요 블록 $W^{i}_{jk}$로 분해된다.
• 동형사상 $Φ([\sigma,\sigma']) = \Phi(\sigma')^{-1}\Phi(\sigma)$는 텐서곱 위의 국소적, 함자적 표현을 정의하며, 이중성 군족에 대한 표현을 이룬다.
• 이중성 군족은 모든 표면의 매핑 클래스 군을 포함하는 보편적 대상이며, 그로텐디크의 테이히뮐러 타워와 유사하다.
• 예를 들어 [18]에서 다루는 순환 TQFT가 아닌 TQFT의 경우, 보조 경계 구조를 추가하여 확장된 군족 위에 표현을 구성할 수 있다.