[논문 리뷰] Cohomological Aspects of Magnus Expansions

Nariya Kawazumi|ArXiv.org|2005. 05. 24.

Geometric and Algebraic Topology참고 문헌 26인용 수 96

한 줄 요약

이 논문은 자유군의 전순서군으로부터 토렐리 군으로부터의 존슨 호모모르피즘을 일반화한 매그누스 전개를 통해 확장하여, '존슨 맵'을 도입함으로써 자명한 코 boundary 관계를 만족하는 비형상형 사상으로 일반화한다. 첫 번째 존슨 맵은 '모리타-멈포드 클래스의 유일한 기본 입자'에 해당하는 코homology 클래스를 가지며, 이는 모든 왜곡된 모리타-멈포드 클래스 간의 기본 관계를 통합적으로 증명한다. 또한, 이는 $ \operatorname{Aut}(F_n)$에서 비자명한 유리수 코homology 클래스를 생성하지 않으며, 이는 매핑 클래스 군과는 다릅니다.

ABSTRACT

We generalize the notion of a Magnus expansion of a free group in order to extend each of the Johnson homomorphisms defined on a decreasing filtration of the Torelli group for a surface with one boundary component to the whole of the automorphism group of a free group $\operatorname{Aut}(F_{n})$. The extended ones are {\it not} homomorphisms, but satisfy an infinite sequence of coboundary relations, so that we call them {\it the Johnson maps}. In this paper we confine ourselves to studying the first and the second relations, which have cohomological consequences about the group $\operatorname{Aut}(F_{n})$ and the mapping class groups for surfaces. The first one means that the first Johnson map is a twisted 1-cocycle of the group $\operatorname{Aut}(F_{n})$. Its cohomology class coincides with ``the unique elementary particle" of all the Morita-Mumford classes on the mapping class group for a surface [Ka1] [KM1]. The second one restricted to the mapping class group is equal to a fundamental relation among twisted Morita-Mumford classes proposed by Garoufalidis and Nakamura [GN] and established by Morita and the author [KM2]. This means we give a simple and coherent proof of the fundamental relation. The first Johnson map gives the abelianization of the induced automorphism group $IA_n$ of a free group in an explicit way.

연구 동기 및 목표

• 자유군의 전순서군 $ \operatorname{Aut}(F_n)$로의 존슨 호모모르피즘을 일반화된 매그누스 전개를 통해 확장하는 것.
• 무한한 코boundary 관계를 만족하는 비형상형 사상인 '존슨 맵'을 정의하고 연구하는 것—특히 첫 번째 및 두 번째 관계에 집중하는 것.
• 첫 번째 존슨 맵이 $H^* \otimes \Lambda^2 H$ 계수의 왜곡된 1-코사이클이며, 그 코homology 클래스가 모든 모리타-멈포드 클래스의 '유일한 기본 입자'에 해당하는 것임을 규명하는 것.
• 두 번째 존슨 맵이 매핑 클래스 군에 제한되었을 때, 왜곡된 모리타-멈포드 클래스 간의 기본 관계를 복원하며, 이를 더 단순하고 통합적인 방식으로 증명하는 것.
• 첫 번째 존슨 맵이 $ \operatorname{Aut}(F_n)$의 $IA_n$ 부분군의 명시적 아벨화를 제공함을 보이는 것.

제안 방법

• 자기군 $ \operatorname{Aut}(F_n)$에서 $H^*$와 $\Lambda^2 H$의 텐서곱으로의 사상으로서 존슨 맵을 정의하기 위해 매그누스 전개를 일반화한다. 여기서 $H$는 표면의 첫 번째 호모로지이다.
• 군 코hom올로지에서 리드너-호크실드-세르 스펙트럴 시퀀스를 사용하여 존슨 맵의 코hom올로지적 성질을 분석한다.
• 첫 번째 존슨 맵을 $H^* \otimes \Lambda^2 H$ 계수의 왜곡된 1-코사이클로 정의하고, 그 코homology 클래스를 $(1,1)$-왜곡된 모리타-멈포드 클래스 $m_{1,1}$과 동일시한다.
• 두 번째 존슨 맵이 왜곡된 모리타-멈포드 클래스 간의 기본 관계에 등가적인 코boundary 관계를 만족함을 증명하며, 가루팔리디스와 나카무라의 추측을 확인하고, 모리타 및 저자의 증명을 보완한다.
• 표현 이론과 원환면 불변성 추론을 적용하여 $ \operatorname{GL}(H_\mathbb{Z})$-모듈의 불변량을 계산하며, $m \geq 1$일 때 $f_*(h_1^{ imes m}) = 0$이 $ \mathbb{Q}$-코homology에서 성립함을 보인다.
• $ \operatorname{Aut}(F_n)$의 가상 코hom올로지 차원이 $2n-2$임을 이용하여 $m \geq 2n-1$일 때 $H^m(\operatorname{Aut}(F_n); \mathbb{Q}) = 0$임을 유도하고, 표현 이론적 추론과 결합하여 불안정 범위 내에서도 코homology의 소멸을 증명한다.

실험 결과

연구 질문

• RQ1 토렐리 군에서 정의된 존슨 호모모르피즘은 어떻게 자유군의 전순서군 $ \operatorname{Aut}(F_n)$로 확장될 수 있는가?
• RQ2 확장된 이들 사상—즉, 존슨 맵—는 어떤 코hom올로지적 구조를 만족하며, 왜곡된 모리타-멈포드 클래스와 어떻게 관련이 있는가?
• RQ3 첫 번째 존슨 맵은 매핑 클래스 군에서는 모든 모리타-멈포드 클래스를 생성하지만, 왜 $ \operatorname{Aut}(F_n)$에서는 비자명한 유리수 코homology 클래스를 생성하지 않는가?
• RQ4 첫 번째 존슨 맵의 코homology 클래스는 모리타-멈포드 클래스의 '유일한 기본 입자'와 어떻게 관련이 있는가?
• RQ5 왜곡된 모리타-멈포드 클래스 간의 기본 관계는 존슨 맵를 통해 더 단순하고 통합적인 방식으로 재유도될 수 있는가?

주요 결과

• 첫 번째 존슨 맵은 $ \operatorname{Aut}(F_n)$에서의 왜곡된 1-코사이클이며, 그 코homology 클래스는 $(1,1)$-왜곡된 모리타-멈포드 클래스 $m_{1,1}$과 일치한다. 이는 모든 모리타-멈포드 클래스의 '유일한 기본 입자'로 간주된다.
• 두 번째 존슨 맵이 매핑 클래스 군 $\mathcal{M}_{g,1}$에 제한되었을 때, 왜곡된 모리타-멈포드 클래스 간의 기본 관계를 복원하며, 이는 이 핵심 관계에 대한 새로운 단순한 증명을 제공한다.
• 첫 번째 존슨 맵은 $ \operatorname{Aut}(F_n)$의 $IA_n$ 부분군의 명시적 아벨화를 제공한다.
• 모든 $m \geq 1$ 및 모든 $ \operatorname{GL}(H_\mathbb{Z})$-불변 선형 형식 $f$에 대해, $H^m(\operatorname{Aut}(F_n); \mathbb{Q})$에서 $f_*(h_1^{ imes m})$의 클래스는 0이 되며, 이는 첫 번째 존슨 맵이 $ \operatorname{Aut}(F_n)$에서 비자명한 유리수 코homology 클래스를 생성하지 않음을 증명한다.
• 이 소멸성은 매핑 클래스 군과는 달리 불안정 범위에서도 성립한다. 이는 매핑 클래스 군에서는 동일한 맵이 모든 모리타-멈포드 클래스를 생성하지만, $ \operatorname{Aut}(F_n)$에서는 그렇지 않음을 의미한다.
• 갈라티우스의 안정 소멸 정리 $ \widetilde{H}^k(\operatorname{Aut}(F_n); \mathbb{Q})$가 $n > 2k+1$일 때 성립함과 일관되며, 본 논문은 표현 이론과 코hom올로지 차원을 사용하여 모든 $n$과 $m \geq 1$에 대해 독립적으로 소멸을 증명한다.