[논문 리뷰] Relative Weight Filtrations on Completions of Mapping Class Groups

Richard Hain|ArXiv.org|2008. 02. 06.

Geometric and Algebraic Topology참고 문헌 23인용 수 15

한 줄 요약

이 논문은 표면의 단순 폐곡선 시스템을 이용하여 완비화된 매핑 클래스 군에 상대적 무게 필터링을 도입하며, 히지 및 갈루아 이론을 통해 그 존재성을 확립한다. 이 필터링은 리 대수의 구조와 무게 필터링과 호환되며, 주요 결과로는 $ M_0^eta \mathfrak{g}_S $ 가 반구형 유사 부분대수로 식별되고, $ g \geq 3 $, $ m > 1 $ 인 경우 표현 이론적 차원 경계를 사용하여 $ \mathfrak{g}_{S,D} $ 에 대한 비자명한 상대적 무게 필터링을 구성한다.

ABSTRACT

This paper gives an exposition of relative weight filtrations on completions of mapping class groups associated to a stable degeneration of marked genus g curves. These relative weight filtrations have been constructed using Galois theory (with Matsumoto) and Hodge theory (with Pearlstein and Terasoma). It is shown that the level 0 part of the relative weight filtration is an analogue of a parabolic subalgebra of a Kac-Moody Lie algebra. It is shown that all such subalgebras correspond to equivalence classes of pants decompositions of the surface -- two being equivalent if and only if they determine the same handlebody that the reference surface bounds. One application is to show that handlebody subgroups of mapping class groups contain elements arbitrarily far down the lower central series of Torelli groups. (This result was also obtained independently by Jamie Jorgensen.)

연구 동기 및 목표

• 완비화된 표면 매핑 클래스 군에 대해 단순 폐곡선 시스템을 이용한 상대적 무게 필터링을 개발하고 존재성을 확립하는 것.
• 델리뉴의 상대적 무게 필터링 이론을 완비화된 매핑 클래스 군과 그 리 대수의 맥락으로 일반화하는 것.
• 상대적 무게 필터링 $ M_\bullet^\gamma $ 가 리 괄호와 무게 필터링 $ W_\bullet $ 둘 다와 호환되며, 강한 정확성과 자연성을 보장하는 것.
• 표면의 매핑 클래스 군 맥락에서 반구형 부분대수와 유사하게 행동하는 $ M_0^\gamma \mathfrak{g}_S $ 를 부분대수로 식별하는 것.

제안 방법

• 이산군의 상대적 완비화를 이용하여 프로대수적 군 $ \mathcal{G}_S $ 를 구성하며, 이는 $ \mathrm{Sp}(H_1(S)) $ 를 중심으로 하여 프로니르포텐트 군 $ \mathcal{U}_S $ 를 확장한다.
• 서로 가환하는 데인 트랜스포지션 $ \tau_\gamma $ 의 로그를 적용하여, 무게 필터링 $ W_\bullet $ 를 보존하는 노름형 원소 $ N_\gamma \in \mathfrak{g}_S $ 를 정의한다.
• 히지 및 갈루아 이론의 일반 결과를 적용하여, $ N_\gamma $ 와 관련된 상대적 무게 필터링 $ M_\bullet^\gamma $ 가 존재함을 보장하며, 리 괄호와 호환됨을 보인다.
• 체바레리의 정리(구성 가능 집합과 궤도 차원)를 적용하여 $ \mathrm{Gr}^{W}_{-m} \mathfrak{g}_{S,D} $ 내의 콘jugation 궤도의 자리지 클로처를 분석하고, 차원의 하한을 구한다.
• 표현 이론을 적용하여 $ \mathrm{Gr}^{M}_2 \mathrm{Gr}^{W}_{-m} \mathfrak{g}_{S,D} $ 내의 기약 $ \mathfrak{gl}_g $-모듈 $ V_{[k,k]} $ 와 $ V_{[k,k,1]} $ 를 식별하며, 각각 $ m = 2k $ 와 $ m = 2k-1 $ 에 대응한다.
• 참고문헌 [13, (6.4)] 의 차원 공식을 활용하여 $ \dim V_{[k,k]} $ 와 $ \dim V_{[k,k,1]} $ 를 계산하며, $ g \geq 3 $, $ m > 1 $ 인 경우 궤도 클로처의 차원이 양수임을 증명한다.

실험 결과

연구 질문

• RQ1 표면 $ S $ 에서 서로소인 단순 폐곡선 시스템에 대해, 완비화된 매핑 클래스 군 $ \mathcal{G}_S $ 에 상대적 무게 필터링이 존재하는가?
• RQ2 상대적 무게 필터링 $ M_\bullet^\gamma $ 는 리 대수의 구조와 $ \mathfrak{g}_S $ 에서의 무게 필터링 $ W_\bullet $ 와 어떻게 상호작용하는가?
• RQ3 $ M_0^\gamma \mathfrak{g}_S $ 는 매핑 클래스 군 맥락에서 반구형 부분대수의 자연스러운 유사체인가?
• RQ4 특히 $ m > 1 $ 인 경우, 표현 이론적 방법으로 $ \mathrm{Gr}^{M}_2 \mathrm{Gr}^{W}_{-m} \mathfrak{g}_{S,D} $ 의 차원을 아래에서 유계화할 수 있는가?
• RQ5 $ \mathrm{Sp}(H) $-궤도의 $ M_0^U \mathrm{Gr}^{W}_{-m} \mathfrak{g}_{S,D} $ 의 $ \mathrm{Gr}^{W}_{-m} \mathfrak{g}_{S,D} $ 에서의 차원은 얼마이며, $ g \geq 3 $ 인 경우 양수인가?

주요 결과

• 상대적 무게 필터링 $ M_\bullet^\gamma $ 는 $ \mathfrak{g}_S $ 에 존재하며, 리 괄호와 호환되며, $ M_r^\gamma \mathfrak{g}_S \otimes M_s^\gamma \mathfrak{g}_S \to M_{r+s}^\gamma \mathfrak{g}_S $ 를 만족한다.
• $ M_0^\gamma \mathfrak{g}_S $ 는 $ \mathfrak{g}_S $ 내에서 자신과의 정규화자를 이루며, 반구형 부분대수와 자연스럽게 유사한 성질을 지닌다.
• 빅라디드 분해 $ \mathfrak{g}_S \cong \prod_{m,k} \mathrm{Gr}^{M^\gamma}_k \mathrm{Gr}^W_m \mathfrak{g}_S $ 가 성립하여 강력한 구조적 분해를 나타낸다.
• $ g \geq 3 $ 이고 $ m > 1 $ 인 경우, $ \mathrm{Gr}^{M}_2 \mathrm{Gr}^{W}_{-m} \mathfrak{g}_{S,D} $ 는 각각 크기가 $ 2k $ 와 $ 2k+1 $ 인 분할에 대응하는 $ \mathfrak{gl}_g $-모듈 $ V_{[k,k]} $ 와 $ V_{[k,k,1]} $ 를 포함한다.
• $ \mathrm{Sp}(H) $-궤도의 $ M_0^U \mathrm{Gr}^{W}_{-m} \mathfrak{g}_{S,D} $ 의 $ \mathrm{Gr}^{W}_{-m} \mathfrak{g}_{S,D} $ 에서의 차원은 $ \dim \mathrm{Gr}^{M}_2 \mathrm{Gr}^{W}_{-m} \mathfrak{g}_{S,D} - \dim \mathrm{Gr}^{M}_2 \mathfrak{sp}(H) $ 에 의해 하한이 주어지며, 이 차이는 $ g \geq 3 $, $ m > 1 $ 인 경우 양수이다.
• $ \dim V_{[k,k]} $ 와 $ \dim V_{[k,k,1]} $ 의 명시적 차원 공식이 유도되었으며, 이는 $ k $ 에 따라 단조 증가함을 보여주며, 차원 하한의 양수성을 확인하는 데 사용된다.