[논문 리뷰] Graph complexes and the symplectic character of the Torelli group

Stavros Garoufalidis, Ezra Getzler|arXiv (Cornell University)|2017. 12. 10.

Geometric and Algebraic Topology참고 문헌 14인용 수 3

한 줄 요약

이 논문은 그래프 코homology를 사용하여 토렐리 군의 하위 중심 급수의 심플렉틱 분해를 계산하고, Koszulity를 가정하여 그레디드 리 대수의 구조를 도출한다. 또한 Madsen-Weiss에 의해 증명된 Mumford의 추측을 적용하여, 심플렉틱 계수를 가진 매핑 클래스 군의 코homology의 Poincaré 다항식을 결정하며, degree 13까지의 명시적 계산을 제공한다.

ABSTRACT

The mapping class group of a closed surface of genus $g$ is an extension of the Torelli group by the symplectic group. This leads to two natural problems: (a) compute (stably) the symplectic decomposition of the lower central series of the Torelli group and (b) compute (stably) the Poincaré polynomial of the cohomology of the mapping group with coefficients in a symplectic representation $V$. Using ideas from graph cohomology, we give an effective computation of the symplectic decomposition of the quadratic dual of the lower central series of the Torelli group, and assuming the later is Kozsul, it provides a solution to the first problem. This, together with Mumford's conjecture, proven by Madsen-Weiss, provides a solution to the second problem. Finally, we present samples of computations, up to degree 13.

연구 동기 및 목표

• 매핑 클래스 군 표현 이론에서 핵심적인 문제인 토렐리 군의 하위 중심 급수의 심플렉틱 분해를 계산하는 것.
• 안정적 영역에서 심플렉틱 표현을 계수로 가지는 매핑 클래스 군의 코homology의 Poincaré 다항식을 결정하는 것.
• 그래프 코homology와 토렐리 리 대수의 심플렉틱 표현 이론 사이의 연결 고리를 설정하는 것.
• 토렐리 리 대수의 심플렉틱 특성의 명시적 계산 결과를 degree 13까지 제공하는 것.
• λ-환과 편태화를 포함한 대수적 구조를 사용하여 매핑 클래스 군의 안정 코homology를 이해하기 위한 기초 도구를 마련하는 것.

제안 방법

• 토렐리 리 대수의 이차 쌍대를 분석하기 위해 그래프 코homology를 사용하여 심플렉틱 분해의 효과적 계산을 가능하게 한다.
• 대표론 링에서 대칭 함수와 대칭 거듭제곱 연산을 다루기 위해 λ-환 이론과 편태화를 적용한다.
• 푸에르비우스 특성 지ap을 통해 대칭 함수와 기저 심플렉틱 표현 사이의 변환을 수행한다.
• 토렐리 리 대수의 Koszulity를 가정하여, 이의 이차 쌍대로부터 원래 대수의 심플렉틱 분해를 유도한다.
• Mumford의 추측(=Madsen-Weiss에 의해 증명됨)을 활용하여, 심플렉틱 계수를 가진 매핑 클래스 군의 코homology의 Poincaré 다항식을 계산한다.
• 각도 n에서 최대 3n개의 부분으로 이루어진 분할에 따라 인덱싱된 대칭 함수와 셔르 함수의 구조를 사용하여 명시적 계산을 수행한다.

실험 결과

연구 질문

• RQ1 안정적 영역에서 토렐리 군의 하위 중심 급수의 심플렉틱 분해는 무엇인가?
• RQ2 그래프 코homology는 어떻게 토렐리 리 대수의 이차 쌍대의 심플렉틱 특성을 계산하는 데 사용될 수 있는가?
• RQ3 토렐리 리 대수의 Koszulity가 대수 자체의 심플렉틱 분해를 유도하는 조건은 무엇인가?
• RQ4 심플렉틱 표현을 계수로 가지는 매핑 클래스 군의 코homology의 Poincaré 다항식은 무엇인가?
• RQ5 λ-환 이론과 편태화 이론은 어떻게 매핑 클래스 군의 안정 코hom로지컬 불변량을 계산하는 데 적용될 수 있는가?

주요 결과

• 그래프 코hom올로지와 대칭 함수 이론을 통해 토렐리 리 대수의 이차 쌍대의 심플렉틱 분해가 효과적으로 계산된다.
• Koszulity를 가정할 경우, 토렐리 리 대수 자체의 심플렉틱 분해는 그 이차 쌍대로부터 도출된다.
• 그래프 코hom올로지와 Mumford의 추측의 조합을 통해, 심플렉틱 계수를 가진 매핑 클래스 군의 코homology의 Poincaré 다항식이 계산된다.
• 토렐리 리 대수의 심플렉틱 특성에 대한 명시적 계산 결과가 degree 13까지 제공되며, degree 13에서는 총 177,970개의 분할이 포함된다.
• 결과는 λ-환의 맥락에서 푸에르비우스 특성 지갑과 편태화를 사용하여 도출되며, 검증은 보편적 λ-환 Λ로 축소된다.
• 논문은 후속 연구인 Church-Farb의 표현 안정성 이론 이전에 존재하며 이를 보완하는 계산 프레임워크를 제공한다. 이 결과들은 Brandeis와 Georgia Tech에서 계산적으로 확인되었다.