[논문 리뷰] Stable cohomology of the mapping class group with symplectic coefficients and of the universal Abel-Jacobi map

Eduard Looijenga|ArXiv.org|1994. 01. 24.

Advanced Algebra and Geometry참고 문헌 4인용 수 55

한 줄 요약

이 논문은 매핑 클래스 군의 안정적 유리 코homology를 심플렉틱 계수로 결정하며, 이가 무한형 매핑 클래스 군의 안정적 코homology와 다항식 대수 $ \mathbb{Q}[c_1,\dots,c_s] $ 위의 유한 생성 모듈러스의 텐서곱으로 분해됨을 보여준다. 여기서 $ c_i $ 는 차수 $ 2i $ 를 가진다. 또한, 리만 곡면의 모듈리 공간과 표준 아벨-야코비 사상의 안정적 코homology를 계산하며, 대칭 함수와 집합의 분할을 통해 모듈러스 구조를 명시적으로 묘사한다.

ABSTRACT

This replacement corrects statement and proof of the main result. Also, a section on the universal Abel-Jacobi map has been added.

연구 동기 및 목표

• 매핑 클래스 군 $ \Gamma_g $ 의 안정적 유리 코homology를 분할 $ \lambda $ 로 인덱싱된 기약 심플렉틱 표현을 계수로 하여 결정하는 것.
• 안정적 코homology를 다항식 대수 $ \mathbb{Q}[c_1,\dots,c_{|\lambda|}] $ 위의 모듈러스로 묘사하는 것. 여기서 $ \deg(c_i) = 2i $.
• 순서 있는 또는 순서 없는 $ s $ 개의 서로 다른 마킹된 점을 가진 컴acts 리만 곡면의 모듈리 공간의 안정적 코homology를 계산하는 것.
• 모듈리 공간에서 피카르 다양체로의 유니버설 아벨-야코비 사상의 안정적 코homology를 결정하는 것.
• 특히 대칭 함수와 분할 대수의 맥락에서 혼합 히오그드 스트럭처를 안정적 코homology 묘사에 통합하는 것.

제안 방법

• 하레의 안정성 정리와 이바노프의 안정적 코homology 결과를 사용하여, 큰 $ g $ 에서의 $ g $ 의 독립성을 확립하는 것.
• $ s = |\lambda| $ 이라 할 때, 안정적 코homology를 모델링하기 위한 $ \mathbb{Q}[c_1,\dots,c_s] $-모듈러스 $ B^\bullet_\lambda $ 를 구성하는 것.
• $ s $ 개의 변수 $ u_1,\dots,u_s $ 에 대한 대칭 함수를 통해 $ B^\bullet_\lambda $ 를 식별하며, 이는 무게 2로 가중치가 주어진다.
• 집합 분할 $ P $ 에 관련된 대각 부분 다양체 $ \Delta_P $ 를 사용하며, 이는 여부의 차원과 부분의 크기에 기반한 가중치를 가진다.
• 유한 집합 $ X $ 에 대해 대칭군 $ \mathfrak{S}_X $ 의 작용을 가지는 단항식 대수 $ A^\bullet_X $ 를 정의하고, 그 불변량 $ (A^\bullet_X)^{\mathfrak{S}_X} $ 으로의 전이를 수행하는 것.
• 직접 극한으로서의 극한 대수 $ C^\bullet_\infty $ 를 $ C^\bullet_s $ 의 직접 극한으로 구성하고, $ c_1 $ 을 생략하는 부분대수 $ C^{\prime\bullet}_\infty $ 를 식별하는 것.

실험 결과

연구 질문

• RQ1 매핑 클래스 군의 안정적 유리 코homology가 다항식 대수 위의 모듈러스로 어떻게 분해되는가?
• RQ2 순서 있는가, 순서 없는가에 관계없이 $ s $ 개의 마킹된 점을 가진 리만 곡면의 모듈리 공간의 안정적 코homology는 어떤 구조를 가지는가?
• RQ3 유니버설 아벨-야코비 사상이 코homology에 어떻게 작용하며, 이에 의해 유도되는 사상의 이미지는 어떤가?
• RQ4 모듈리 공간 위의 피카르 다양체의 안정적 코homology는 대칭 함수와 분할 대수의 관점에서 어떻게 묘사될 수 있는가?
• RQ5 혼합 히오그드 스트럭처는 이러한 모듈리 공간과 그 사상의 안정적 코homology에서 어떤 역할을 하는가?

주요 결과

• 안정적 코homology $ H^\bullet(\Gamma_g; S_{\langle\lambda\rangle}(V_g)) $ 는 $ B^\bullet_\lambda $ 가 $ \mathbb{Q}[c_1,\dots,c_{|\lambda|}] $ 위의 유한 생성 가중 모듈러스이므로, $ \leq N(g) - |\lambda| $ 차수에서 $ H^\bullet(\Gamma_\infty; \mathbb{Q}) \otimes B^\bullet_\lambda $ 와 동형이다.
• 모듈러스 $ B^\bullet_\lambda $ 는 무게 2로 가중치가 주어진 변수 $ u_i $ 의 대칭 대수의 몫으로 명시적으로 묘사되며, 이는 집합 분할 $ P $ 와 관련된 대각 부분 다양체 $ \Delta_P $ 에서 유도된 관계를 포함한다.
• 순서 없는 $ s $ 개의 마킹된 점을 가진 모듈리 공간 $ \mathcal{M}_g^{(s)} $ 의 안정적 코호몰로지가 $ \leq \min(2s, N(g)) $ 차수에서 $ H^\bullet(\Gamma_\infty; \mathbb{Q}) \otimes C^\bullet_\infty $ 와 동형이다.
• 모듈리 공간 $ \mathcal{C}_g/\mathcal{M}_g $ 에서의 유니버설 아벨-야코비 사상 $ \operatorname{Pic}^s(\mathcal{C}_g/\mathcal{M}_g) $ 의 안정적 코호몰로지가 $ \leq \min(s, N(g)) $ 차수에서 $ H^\bullet(\Gamma_\infty; \mathbb{Q}) \otimes C^{\prime\bullet}_\infty $ 와 동형이다.
• $ (\mathcal{C}_g^s)^{\mathfrak{S}_s} $ 의 코호몰로지에서 $ c_1 \otimes 1 \otimes \cdots $ 의 이미지는 맥도날드 정리의 클래스 $ y $ 와 대응하며, 기존 결과와의 일致를 확인한다.
• $ C^{\prime\bullet}_\infty $ 는 불변량 $ (A^\bullet_X)^{\mathfrak{S}_X} $ 의 직접 극한과 동형이며, 이 동형은 대수 준동형사의 가환 다이어그램을 통해 아벨-야코비 사상과 호환된다.