[논문 리뷰] Construction of Maurer-Cartan elements over configuration spaces of curves

Benjamin Enriquez, Federico Zerbini|arXiv (Cornell University)|2021. 10. 18.

Homotopy and Cohomology in Algebraic Topology참고 문헌 8인용 수 4

한 줄 요약

이 논문은 복소 곡선의 구성공간 위에서, $C^n$ 위의 주다발 위의 유리형 평탄 접속을 비특이화함으로써 고유도가 1을 초월하는 곡선으로 레빈과 라시넷의 작업을 일반화하여, 마우어-카르탕 원소를 구성한다. 주요 결과는 반복 적분과 포incare 잔여치를 통해 표현된 마우어-카르탕 원소 $\boldsymbol{J}$ 의 명시적 공식이며, 스코티 형식과 군대형 사상에 의해 저차수 표현이 유도된다.

ABSTRACT

For $C$ a complex curve and $n \geq 1$, a pair $(\mathcal{P}, abla_\mathcal{P})$ of a principal bundle $\mathcal{P}$ with meromorphic flat connection over $C^n$, holomorphic over the configuration space $C_n(C)$ of $n$ points over $C$, was introduced in arXiv:1112.0864. For any point $\infty \in C$, we construct a trivialisation of the restriction of $\mathcal{P}$ to $(C\setminus\infty)^n$ and obtain a Maurer-Cartan element $J$ over $C_n(C\setminus\infty)$ out of $ abla_\mathcal{P}$, thus generalising a construction of Levin and Racinet when the genus of $C$ is higher than one. We give explicit formulas for $J$ as well as for $ abla_\mathcal{P}$. When $n=1$, this construction gives rise to elements of Hain's space of second kind iterated integrals over $C$.

연구 동기 및 목표

• 구성공간의 곡선에 대해 고유도 1을 초월하는 마우어-카르탕 원소의 구성 방법을 일반화한다. 이는 레빈과 라시넷의 작업을 확장한다.
• 구성공간 $C_n(C)$ 위에서 정칙인 주다발 $\mathcal{P}$ 위에 유리형 평탄 접속 $\nabla_{\mathcal{P}}$ 를 정의한다.
• $(C\setminus\infty)^n$ 위에서 스코티 형식을 사용하여 $\mathcal{P}$ 를 비특이화하고, 접속으로부터 마우어-카르탕 원소 $\boldsymbol{J}$ 를 구성한다.
• 포incare 잔여치와 군대형 사상에 기반한 $\boldsymbol{J}$, $\nabla_{\mathcal{P}}$, 그리고 관련 형식 $\boldsymbol{K}$, $I$, $\lambda$ 의 명시적 공식을 제공한다.
• 일반화된 경우 $n=1$ 일 때, 구성된 원소가 헤인의 제2종 반복 적분 공간에 속함을 보여주며, 고전적 다이로그함수의 구조와 연결된다.

제안 방법

• 리만 곡면 $C$ 의 스코티 커버링 $\hat{C}$ 를 사용하여 기본 영역을 정의하고, 단형 및 평행이동을 분석한다.
• 포incare 잔여치로부터 유도된 리 대수 값을 갖는 1형식 $\boldsymbol{\Lambda}$ 를 사용하여 군대형 사상 $F_{\boldsymbol{\Lambda}}: \Pi_1(C\setminus\infty) \to \mathrm{exp}(\hat{\mathfrak{G}})$ 를 구성한다.
• 반복 적분을 통해 정의된 1형식 $\boldsymbol{K}$ 를 핵심 구성요소로 도입하고, 단일 및 다중값 형태로 분해한다.
• 다른 접속 $d + \boldsymbol{J}$ 와 $\mathcal{P}$ 의 비특이화를 이용하여 경로순서 지수를 통해 마우어-카르탕 원소 $\boldsymbol{J}_{\tilde{x},\boldsymbol{\beta}}$ 를 유도한다.
• $\Psi$ 와 $\Psi_{\hat{\infty}}$ 를 사용하여 다중값 형식을 단일값 성분으로 분해함으로써 명시적 계산을 가능하게 한다.
• 로그 미분 $I = gd(g^{-1})$ 와 $\lambda = \log(g)$ 의 저차수 전개를 사용하여 $\boldsymbol{J}$ 를 차수 3까지 계산한다.

실험 결과

연구 질문

• RQ1 고유도 $g > 1$ 인 복소 곡선 위의 $n$개 점 구성공간 위에서 마우어-카르탕 원소를 어떻게 구성할 수 있는가?
• RQ2 접속 $\nabla_{\mathcal{P}}$ 와 그 관련 마우어-카르탕 원소 $\boldsymbol{J}$ 의 명시적 공식은 어떤 식으로 미분형식과 잔여치에 의해 표현되는가?
• RQ3 $(C\setminus\infty)^n$ 위에서 주다발 $\mathcal{P}$ 의 비특이화가 구멍이 있는 점들에서 단일값성과 단형이 없는 잘 정의된 $\boldsymbol{J}$ 를 어떻게 도출하는가?
• RQ4 $n=1$ 일 때, 구성된 $\boldsymbol{J}$ 는 헤인의 제2종 반복 적분 공간과 어떤 관계가 있는가?
• RQ5 스코티 형식과 포incare 잔여치 이론을 어떻게 활용하여 다중값 1형식을 분해하고 $\boldsymbol{J}$ 를 명시적으로 계산할 수 있는가?

주요 결과

• 논문은 $C^n$ 위의 주다발 위의 유리형 평탄 접속 $\nabla_{\mathcal{P}}$ 를 비특이화함으로써, $C_n(C\setminus\infty)$ 위에 마우어-카르탕 원소 $\boldsymbol{J}$ 를 구성하며, 이는 레빈과 라시넷의 고유도 1 곡선에 대한 구성법을 일반화한 것이다.
• $n=1$ 일 때, 결과적으로 유도된 $\boldsymbol{J}$ 는 헤인의 제2종 반복 적분 공간에 속하며, 고전적 다이로그함수의 구조와 연결됨을 보여준다.
• 스코티 형식, 포incare 잔여치, $\Psi_{\hat{\infty}}$ 와 $\mathrm{op}$ 를 사용하여 $\boldsymbol{J}[1]$, $\boldsymbol{J}[2]$, $\boldsymbol{J}[3]$ 의 저차수 명시적 공식을 도출하였다.
• $\boldsymbol{K}$ 는 $\Psi_{\hat{\infty}}$ 를 통해 단일값 성분으로 분해되어, 로그 미분 $I = gd(g^{-1})$ 를 통한 $\boldsymbol{J}$ 의 계산이 가능해진다.
• $\boldsymbol{J}[1]$ 의 표현식은 $\sum_{i=1}^{h} \beta_i \otimes b_i + \sum_{i=1}^{h} \omega_i \otimes a_i$ 이며, 여기서 $\beta_i$ 와 $\omega_i$ 는 호 기저와 정칙 1형식과 관련이 있다.
• $\boldsymbol{J}[3]$ 의 차수 3 항은 구조 상수 $[h+i,h+j,h+k|r]$ 와 포incare 잔여치의 조합을 포함하며, $\Psi_{\hat{\infty}}$ 와 치환 $\mathrm{op}$ 의 기여로 단일값성과 단형 없음을 보장한다.