[논문 리뷰] Harmonic Magnus Expansion on the Universal Family of Riemann Surfaces

Nariya Kawazumi|ArXiv.org|2006. 03. 07.

Homotopy and Cohomology in Algebraic Topology참고 문헌 19인용 수 21

한 줄 요약

이 논문은 체인의 반복 적분을 이용하여, 표준형이 있는 종수-$g$ 리만 곡면의 전반적 가족에서의 주기 행렬의 고차원 일반화인 조화 맥컬러스 전개를 도입한다. 이는 평탄한 접속을 정의하며, 그 호환성은 모든 고차 Johnson 호모모르피즘을 실현하고, Stasheff의 연관체를 통해 조합적으로 매개화된 타원형 모리타-머펀드 클래스를 나타내는 표준 미분형식을 유도한다.

ABSTRACT

Let ${\mathbb M}_{g, 1}$, $g \geq 1$, be the moduli space of triples $(C, P_0, v)$ of genus $g$, where $C$ is a compact Riemann surface of genus $g$, $P_0 \in C$, and $v \in T_{P_0}C\setminus\{0\}$. Using Chen's iterated integrals we introduce a higher analogue of the period matrix for a triple $(C, P_0, v)$, {\it the harmonic Magnus expansion}. It induces a flat connection on a vector bundle over the space ${\mathbb M}_{g, 1}$, whose holonomy gives all the higher Johnson homomorphisms of the mapping class group. The connection form, which is computed as an explicit quadratic differential, induces "canonical" differential forms representing (twisted) Morita-Mumford classes and their higher relators on ${\mathbb M}_{g, 1}$. In particular, we construct a family of twisted differential forms on ${\mathbb M}_{g, 1}$ representing the $(0, p+2)$-twisted Morita-Mumford class $m_{0, p+2}$ combinatorially parametrized by the Stasheff associahedron $K_{p+1}$.

연구 동기 및 목표

• 모듈리 공간 $\mathbb{M}_{g,1}$ 상에서 표준형이 있는 종수-$g$ 리만 곡면에 대해, 타원형 모리타-머펀드 클래스를 나타내는 표준적인 미분형식을 구성하는 것.
• 체인의 반복 적분을 이용하여 고전적 주기 행렬을 일반화하여, 조화 맥컬러스 전개라 불리는 고차원 일반화를 정의하는 것.
• 조화 맥컬러스 전개로부터 유도된 평탄한 접속의 호환성을 통해, 매핑 클래스 군의 모든 고차 Johnson 호모모르피즘을 실현하는 것.
• $(0,p+2)$-타원형 모리타-머펀드 클래스 $m_{0,p+2}$ 가 Stasheff의 연관체 $K_{p+1}$ 를 통해 $p$-코호몰로지에서의 코chains로 조합적으로 매개화됨을 보이는 것.
• 하이퍼볼릭 메트릭이나 주기 행렬에 의존하지 않고, $e_i$ 클래스를 나타내는 명시적 미분형식을 구성하는 것.

제안 방법

• 체인의 반복 적분을 사용하여, $\mathbb{M}_{g,1}$ 위의 벡터 번들의 평탄한 접속으로서 조화 맥컬러스 전개를 정의한다.
• $\mathbb{M}_{g,1}$ 의 타원형 드 라함 복합체에 값이 있는 Stasheff의 연관체 $K_{p+1}$ 의 세포 코호몰로지 복합체에서의 $p$-코호몰로지 $\theta^*Y_p$ 를 구성한다.
• $H^1(C\setminus\{P_0\}; \mathbb{R})$ 를 표면 $\Sigma_g$ 의 첫 번째 호모로지 $H$ 와 동일시하며, 이에 심플렉틱 기하학적 구조를 부여한다.
• 조화 체적 $I_C$ 의 첫 번째 변위를 핵심 1-형식 $\eta_1^U$ 로 사용하며, 이는 차수 1에서의 조화 맥컬러스 전개에 해당한다.
• $p$-코호몰로지와 $H$ 상의 교차형식을 수축하여 $m_{0,p+2}$ 를 나타내는 미분형식을 도출한다.
• $\mathfrak{p}^H N(\omega'\omega')_{(3)} = 2\mathfrak{p}^H N(\omega'_1 \omega'_2)$ 와 $P_0$ 에서의 미세성 조건을 이용하여 접속형식의 잘 정의성을 확보한다.

실험 결과

연구 질문

• RQ1 모든 고차 Johnson 호모모르피즘을 포괄하는 주기 행렬의 고차원 일반화를 어떻게 구성할 수 있는가?
• RQ2 $(0,p+2)$-타원형 모리타-머펀드 클래스 $m_{0,p+2}$ 의 기하학적 및 위상수학적 의미는 조합적 구조를 통해 어떻게 기술될 수 있는가?
• RQ3 $s \geq 2$ 에 대해 고차 Johnson 사상 $\tau_s^\theta$ 간의 관계는 $\mathbb{M}_{g,1}$ 의 코호몰로지에서 어떻게 나타나는가?
• RQ4 모든 모리타-머펀드 클래스를 나타내는 표준적인 미분형식을 하이퍼볼릭 메트릭이나 시겔 모듈러 형식에 의존하지 않고 구성할 수 있는가?
• RQ5 Stasheff의 연관체 $K_{p+1}$ 는 $m_{0,p+2}$ 클래스의 매개화와 어떤 방식으로 관련되어 있는가?

주요 결과

• 조화 맥컬러스 전개는 체인의 반복 적분을 통해 정의되며, $\mathbb{M}_{g,1}$ 위의 벡터 번들의 평탄한 접속을 유도하며, 그 호환성은 모든 고차 Johnson 호모모르피즘을 실현한다.
• $K_{p+1}$ 의 세포 코호몰로지 복합체에서의 $p$-코호몰로지 $\theta^*Y_p$ 는 자연적 코호몰로지 군의 동형사상 하에서 $\frac{1}{(p+2)!}(-1)^{\frac{1}{2}p(p+1)}m_{0,p+2}$ 를 나타낸다.
• 접속형식은 명시적으로 2차 미분형식으로 계산되며, 그 곡률은 타원형 모리타-머펀드 클래스를 나타내는 표준적인 미분형식을 유도한다.
• 조화 체적 $I_C$ 의 첫 번째 변위는 1-형식 $\eta_1^U$ 와 일치하며, 이는 하이퍼에일리프틱 다양체 $\mathcal{H}_g$ 에서 영이 되므로, $e_i$ 를 나타내는 모든 유도된 형식도 그곳에서 영이 된다.
• $e_1^J$ 는 첫 번째 모리타-머펀드 클래스를 나타내며, $\alpha_1^* (\theta^* \eta_1^U \otimes \theta^* \eta_1^U)$ 에서 유도되며, $e_1^J = e_1^F - 12c_1(\lambda, L^2)$ 의 보정항을 제외하고 성립한다.
• 조화 맥컬러스 접속의 곡률은 $\mathbb{C}_g$ 상의 2-형식 $e^J$ 를 유도하며, 이는 아라켈로프의 적합한 메트릭과 관련이 있다: $\frac{1}{2\pi i} \partial\bar\partial h|_{\text{diagonal}} = e^J + \frac{1}{(2-2g)^2}(e_1^F - e_1^J)$.