[논문 리뷰] Orbit configuration spaces associated to discrete subgroups of PSL(2,R)

Fred Cohen, Toshitake Kohno외 1명|ArXiv.org|2003. 10. 24.

Ophthalmology and Eye Disorders인용 수 3

한 줄 요약

이 논문은 PSL(2,R)의 이산 부분군과 관련된 궤도 구성 공간의 기본군의 내림 중심 급수로부터 유도된 리 대수, 동일한 구성 공간의 루프 공간의 고차 호모토피 군의 토르션 모듈로로부터 유도된 리 대수, 그리고 표면 위의 수평 체인 다이어그램으로부터 유도된 리 대수 사이의 동형사상들을 확립한다. 주요 결과는 이러한 리 대수가 그 정도 재조정을 제외하고는 서로 동형이며, 그 표현은 생성자 $ B_{i,j}^{\tau} $ 와 군 $ G $ 에 의해 매개화된 무한소 브레이드 관계를 모델로 하는 관계식을 포함한다.

ABSTRACT

The purpose of this article is to analyze several Lie algebras associated to "orbit configuration spaces" obtained from a group G acting freely, and properly discontinuously on the upper 1/2-plane H^2. The Lie algebra obtained from the descending central series for the associated fundamental group is shown to be isomorphic, up to a regrading, to (1) the Lie algebra obtained from the higher homotopy groups of "higher dimensional arrangements" modulo torsion, as well as (2)the Lie obtained from horizontal chord diagrams for surfaces. The resulting Lie algebras are similar to those studied in [13, 14, 15, 2, 7, 8, 6]. The structure of a related graded Poisson algebra defined below and obtained from an analogue of the infinitesimal braid relations parametrized by G is also addressed.

연구 동기 및 목표

• PSL(2,R)의 이산 부분군과 관련된 서로 다른 기하학적 및 대수적 구성에서 유도된 세 개의 서로 다른 리 대수 간의 동형사상 수립.
• 상반평면 위의 궤도 구성 공간의 기본군의 내림 중심 급수로부터 유도된 리 대수의 구조 분석.
• 이 리 대수를 $ \mathbb{H}^2 \times \mathbb{C}^q $ 에서의 구성 공간의 루프 공간의 고차 호모토피 군의 토르션 모듈로와 연결.
• 유도된 리 대수를 표면 위의 수평 체인 다이어그램과 연결하여, 정도 재조정을 제외하고 동형임을 보임.
• 반복 루프 공간의 궤도 구성 공간의 호모로지에 대해 그레디에이션된 파울슨 대수적 구조를 정의하고, 무한소 브레이드 관계에서 유도된 관계를 연구함.

제안 방법

• M = \mathbb{H}^2 또는 \mathbb{H}^2 \times \mathbb{C}^q 이면, G-오빗이 짝별로 서로소인 M 내의 n개 점의 n-튜플의 집합으로서 궤도 구성 공간 $ \mathrm{Conf}^G(M,n) $ 을 정의한다.
• 기본군 $ \pi_1(\mathrm{Conf}^G(\mathbb{H}^2,n)) $ 의 내림 중심 급수로부터 리 대수 $ E_0^*(P_n(S_g)^0)_q $ 를 구성하며, 그 래디션을 $ 2q $ 만큼 이동시킨다.
• Künneth 정리와 호모로지의 원시 원소 이론을 사용하여 $ \mathrm{Prim} H_*(\Omega X) $ 와 그레디에이션된 리 대수 $ L $ 의 보편 포락선 대수 $ U[L] $ 를 연결한다.
• 1 \leq j < i \leq n, \sigma \in G 이면, 차수 $ 2q $ 를 갖는 생성자 $ B_{i,j}^\sigma $ 를 정의하고, 다음 관계식을 통해 리 대수를 표현한다: (a) 서로소인 쌍에 대해 0이 되는 성질, (b) 및 (c) 중첩된 삼중쌍에 대한 성질, (d) 반대칭성과 잭비 항등식.
• 기하학적 차수 $ 2q+1 $ 에서 호모로지 동형사상을 유도하는 사상 $ E^2: \mathrm{Conf}^G(\mathbb{H}^2 \times \mathbb{C}^q, n) \to \Omega^2 \mathrm{Conf}^G(\mathbb{H}^2 \times \mathbb{C}^{q+1}, n) $ 를 구성하고, 그 루프화된 형태가 $ H_{2q}(-;\mathbb{Z}) $ 에서 동형사상을 유도함을 보인다.
• 특성 0인 체 $ \mathbb{F} $ 에 대해 $ H_*(\Omega^k X; \mathbb{F}) $ 에 그레디에이션된 파울슨 대수적 구조를 정의하며, Browder 작용으로 유도된 파울슨 괄호 $ \lambda_{k-1} $ 와 함께, 무한소 브레이드 관계와 일치하는 관계식을 갖는다.

실험 결과

연구 질문

• RQ1 기본군의 내림 중심 급수로부터 유도된 궤도 구성 공간의 리 대수와 고차 호모토피 군의 토르션 모듈로로부터 유도된 리 대수가 동형인지 여쭙니다.
• RQ2 표면 위의 수평 체인 다이어그램으로부터 유도된 리 대수가 궤도 구성 공간의 기본군의 내림 중심 급수로부터 유도된 리 대수와 동형인지 입증할 수 있는가?
• RQ3 반복 루프 공간의 궤도 구성 공간의 호모로지에 대한 그레디에이션된 파울슨 대수의 정확한 구조는 무엇이며, 무한소 브레이드 관계와의 관계는 어떻게 되는가?
• RQ4 $ E^2 $ 사상이 첫 번째로 비영인 차수에서 호모로지 동형사상을 유도하는가? 그리고 서로 다른 복소 차원을 갖는 구성 공간들을 연결하는 데서 그 역할은 무엇인가?
• RQ5 생성자 $ B_{i,j}^\sigma $ 와 그 관계식은 궤도 구성 공간의 위상수학적 및 군론적 구조를 어떻게 캐릭터라이즈하는가?

주요 결과

• 기본군의 내림 중심 급수로부터 유도된 리 대수 $ E_0^*(P_n(S_g)^0)_q $ 는 $ \mathbb{H}^2 \times \mathbb{C}^q $ 에서의 궤도 구성 공간의 루프 공간의 호모로지의 원시 원소 리 대수와 정도 재조정 $ 2q $ 를 제외하고 동형이다.
• 리 대수 $ E_0^*(P_n(S_g)^0)_q $ 의 보편 포락선 대수는 $ \Omega \mathrm{Conf}^G(\mathbb{H}^2 \times \mathbb{C}^q, n) $ 의 전체 호모로지와 동형이며, 이는 호모로지가 리 대수의 구조에 의해 완전히 결정됨을 의미한다.
• 리 대수는 차수 $ 2q $ 를 갖는 원소 $ B_{i,j}^\sigma $ 로 자유롭게 생성되며, 다음 관계식을 갖는다: (a) 서로소인 쌍에 대해 0이 되는 성질, (b) 및 (c) 중첩된 삼중쌍 $ j < s < i $ 에 대한 성질, (d) 표준적인 그레디에이션된 리 대수 공리.
• 그레디에이션된 파울슨 대수 $ H_*(\Omega^k \mathrm{Conf}^G(\mathbb{H}^2 \times \mathbb{C}^q, n); \mathbb{F}) $ 는 차수 $ 2q+1-k $ 를 갖는 $ B_{i,j}^\sigma $ 로 생성된 자유 파울슨 대수와 동형이며, 관계식은 무한소 브레이드 관계와 일치한다.
• $ E^2: \mathrm{Conf}^G(\mathbb{H}^2 \times \mathbb{C}^q, n) \to \Omega^2 \mathrm{Conf}^G(\mathbb{H}^2 \times \mathbb{C}^{q+1}, n) $ 는 기하학적 차수 $ 2q+1 $ 에서 호모로지 동형사상을 유도하며, 그 루프화된 형태는 $ H_{2q}(-; \mathbb{Z}) $ 에서 동형사상을 유도한다.
• 루프화된 사상 $ \Omega(E^2) $ 의 이미지는 정확히 차수 $ 2q $ 를 갖는 클래스로 생성되는 부분대수이므로, 이 구성이 구성 공간의 본질적인 호모로지 자료를 포괄하고 있음을 보여준다.