[논문 리뷰] The abelianization of the Johnson kernel

Alexandru Dimca, Richard Hain외 1명|arXiv (Cornell University)|2011. 01. 07.

Homotopy and Cohomology in Algebraic Topology참고 문헌 13인용 수 5

한 줄 요약

이 논문은 $g \geq 4$일 때 첫 번째 복소수 호모로지 $H_1(K_g,\mathbb{C})$가 $H_1(T_g,\mathbb{C})$-모듈로서 비자명하고 유니포텐트임을 증명하며, $g \geq 6$일 때는 $\operatorname{Sym}_\bullet(H_1(T_g,\mathbb{C}))$-모듈로서의 명시적 표현을 제공한다. 핵심 결과는 $H_1(K_g,\mathbb{C})$를 표면의 호모로지의 대칭과 외적 곱의 합성에 관여하는 자연스러운 사상의 상사상과 연결함으로써, 연결된 임계 Lie 대수의 무한소 앨리오퍼스 불변량과 연관지운다.

ABSTRACT

We prove that the first complex homology of the Johnson subgroup of the Torelli group $T_g$ is a non-trivial unipotent $T_g$-module for all $g\ge 4$ and give an explicit presentation of it as a $\Sym H_1(T_g,\C)$-module when $g\ge 6$. We do this by proving that, for a finitely generated group $G$ satisfying an assumption close to formality, the triviality of the restricted characteristic variety implies that the first homology of its Johnson kernel $K$ is a nilpotent module over the corresponding Laurent polynomial ring, isomorphic to the infinitesimal Alexander invariant of the associated graded Lie algebra of $G$. In this setup, we also obtain a precise nilpotence test.

연구 동기 및 목표

• $g \geq 4$일 때 $H_1(K_g,\mathbb{C})$가 토렐리 군 $T_g$에 대한 모듈로서의 구조를 규명하는 것.
• $H_1(K_g,\mathbb{C})$가 비자명하고 유니포텐트한 $H_1(T_g,\mathbb{C})$-모듈임을 입증하는 것.
• $g \geq 6$일 때 $H_1(K_g,\mathbb{C})$를 $\Gamma_g/K_g$-모듈로서의 명시적 표현을 대칭 대수 작용을 사용하여 제시하는 것.
• 존슨 커널의 호모로지와 매핑 클래스군의 관련된 임계 Lie 대수의 무한소 앨리오퍼스 불변량 사이의 관계를 규명하는 것.

제안 방법

• 토렐리 군의 Lie 대수를 분석하기 위해 상대 완비화와 말체브 완비화 이론을 사용하는 것.
• $Q$가 최고 무게 $2\lambda_2$를 갖는 $\mathrm{Sp}(H_\mathbb{C})$-부분공간일 때, 자연스러운 $\mathrm{Sp}(H_\mathbb{C})$-등변 사상 $q: \operatorname{Sym}_\bullet(V_\mathbb{C}) \otimes \wedge^3 V_\mathbb{C} \to \operatorname{Sym}_\bullet(V_\mathbb{C}) \otimes Q$를 정의하고 그 상사상의 성질을 연구하는 것.
• $g \geq 6$일 때 $q$의 상사상이 유한차원이므로 대칭 대수 위의 노름화된 모듈임을 보이는 것.
• $\Gamma_g/K_g$의 작용을 통해 $\mathrm{Sp}(H_\mathbb{C}) \ltimes V_\mathbb{C}$로의 자리지밀 임베딩을 이용하여 $H_1(K_g,\mathbb{C})$와 $q$의 상사상 사이의 자연스러운 동형사상을 확립하는 것.
• 특성 다양체 이론과 제한된 특성 다양체 조건을 적용하여 호모로지 모듈의 노름화성과 유한성 성질을 유도하는 것.
• 혼합 히오그 구조와 하위 중심 급수의 호환 분해를 활용하여 $\Gamma_g/K_g$의 작용을 Lie 대수 수준으로 올리고 모듈의 구조를 규명하는 것.

실험 결과

연구 질문

• RQ1 $g \geq 4$일 때 $H_1(K_g,\mathbb{C})$는 비자명하고 유니포텐트한 $H_1(T_g,\mathbb{C})$-모듈인가?
• RQ2 $g \geq 6$일 때 $H_1(K_g,\mathbb{C})$는 $\operatorname{Sym}_\bullet(H_1(T_g,\mathbb{C}))$-모듈로서 명시적으로 기술될 수 있는가?
• RQ3 존슨 커널의 호모로지와 토렐리 군의 관련된 임계 Lie 대수의 무한소 앨리오퍼스 불변량 사이의 관계는 무엇인가?
• RQ4 제한된 특성 다양체 조건이 $H_1(K_g,\mathbb{C})$가 대칭 대수 위의 노름화된 모듈임을 어떻게 암시하는가?
• RQ5 혼합 히오그 구조와 호환 분해는 $\Gamma_g/K_g$-작용이 $H_1(K_g,\mathbb{C})$에 어떻게 실현되는 데 기여하는가?

주요 결과

• $g \geq 4$일 때 첫 번째 복소수 호모로지 $H_1(K_g,\mathbb{C})$는 비자명하고 유니포텐트한 $H_1(T_g,\mathbb{C})$-모듈이다.
• $g \geq 6$일 때 $H_1(K_g,\mathbb{C})$는 자연스러운 사상 $q$의 상사상과 동형이며, 이는 $\mathrm{Sp}(H_\mathbb{C}) \ltimes V_\mathbb{C}$-모듈로서 유한차원이다.
• $q$의 상사상은 $\operatorname{Sym}_\bullet(V_\mathbb{C})$-모듈로서의 계층적 성질을 가지며, 자연스러운 $\mathrm{Sp}(H_\mathbb{C}) \ltimes V_\mathbb{C}$-작용을 지니므로 노름화된 모듈이다.
• $H_1(K_g,\mathbb{C})$는 토렐리 군의 관련된 임계 Lie 대수의 무한소 앨리오퍼스 불변량과 동형이다.
• $\Gamma_g/K_g$의 작용은 $\mathrm{Sp}(H_\mathbb{C}) \ltimes V_\mathbb{C}$로의 자리지밀 임베딩을 통해 인식되며, 이 작용과 일치하는 모듈의 구조를 지닌다.
• 제한된 특성 다양체 조건은 $H_1(K_g,\mathbb{C})$가 $\operatorname{Sym}_\bullet(H_1(T_g,\mathbb{C}))$-모듈로서의 노름화성을 암시하며, 정확한 노름화성 테스트를 제공한다.