[논문 리뷰] Mixed Hodge structures and representations of fundamental groups of algebraic varieties

Louis-Clément Lefèvre|arXiv (Cornell University)|2018. 06. 07.

Algebraic Geometry and Number Theory참고 문헌 25인용 수 8

한 줄 요약

이 논문은 복소대수다양체의 기본군의 표현 다양체의 형식적 국소환에 대해 $L_∞$ 대수와 혼합 호지 다이어그램을 사용하여 함자적 혼합 호지 구조를 구성한다. 주요 결과는 $X$가 컴acts Kähler이고 $\rho$가 호지 구조의 극화된 변형의 모노드로미일 경우 또는 $X$가 매끄럽고 준사영이며 $\rho$의 이미지가 유한할 경우, 이러한 구조가 $\mathbb{R}$ 또는 $\mathbb{C}$ 위에서 존재한다는 것이다. 이 경우 무게 0 부분은 $\rho$의 공액류에 대한 궤도의 형식적 국소환과 대응된다.

ABSTRACT

Given a complex variety $X$, a linear algebraic group $G$ and a representation $\ ho$ of the fundamental group $\\pi\\_1(X,x)$ into $G$, we develop a framework for constructing a functorial mixed Hodge structure on the formal local ring of the representation variety of $\\pi\\_1(X,x)$ into $G$ at $\ ho$ using mixed Hodgediagrams and methods of $L\\_\\infty$ algebras. We apply it in two geometric situations: either when $X$ is compact K{\\"a}hler and $\ ho$ is the monodromy of a variation of Hodge structure, or when $X$ is smooth quasi-projective and $\ ho$ has finite image.

연구 동기 및 목표

• 표현 $\rho$ 에서의 표현 다양체 $\operatorname{Hom}(\pi_1(X,x),G)$ 의 형식적 국소환 $\widehat{\mathcal{O}}_\rho$ 에 함자적 혼합 호지 구조를 구성하는 것.
• Eyssidieux-Simpson(컴팩트 Kähler 경우)과 Kapovich-Millson(유한 이미지, 비콤팩트 경우)의 이전 구성들을 파생된 변형 이론의 현대적 도구를 사용하여 통합하고 일반화하는 것.
• 모든 $X$, $x$, $\rho$ 에 대해 함자적이며 기초 체수 $\mathbf{k}$ 위에서 정의된 혼합 호지 구조와 호환되는 프레임워크를 제공하는 것.
• 특히 $\widehat{\mathcal{O}}_\rho$ 의 무게 필터링을 명확히 하여, 무게 0 부분이 $\rho$ 의 공액류에 대한 궤도에 대한 형식적 국소환과 일치함을 규명하는 것.

제안 방법

• $\rho$ 의 변형 함자를 모델링하기 위해 $L_\infty$ 대수와 혼합 호지 다이어그램의 바 건축을 사용하며, 평가 사상 $\varepsilon_x: H^0(L) \to \mathfrak{g}$ 의 사영 콘의 성질을 활용한다.
• 다양체형 $\mathfrak{g}$-접속에 관련된 $X$ 위의 미분형식의 DG 리 대수 $L$ 에 대해 혼합 호지 복합체 이론을 적용하여 곱셈 구조와의 호환성을 확보한다.
• $\varepsilon_x$ 의 사영 콘에 관련된 $L_\infty$ 대수에 대해 혼합 호지 다이어그램을 구성하며, 이는 $H^0(\mathscr{C}(L))^*$ 에 혼합 호지 구조를 유도하고, 이는 $\widehat{\mathcal{O}}_\rho$ 와 일치한다.
• 기초가 $\mathbf{k}$ 인 $D$(역순환 사영 콘)와 $E$(商 대수) 사이의 자연스러운 준동형사상이 존재하며, 이는 변형 함수를 동형으로 이끌어내고 궤도 대수를 무게 0 부분으로 식별한다.
• 프로-표현 정리들을 사용하여 $H^0(\mathscr{C}(D))^*$ 가 궤도 $\Omega_\rho$ 위의 형식적 함수 대수와 일치함을 보이며, $\widehat{\mathcal{O}}_\rho \to H^0(\mathscr{C}(D))^*$ 의 사상의 핵이 궤도를 정의하는 아이디얼 $\mathfrak{j}$ 라는 것을 보인다.
• 무게 필터링이 혼합 호지 구조의 사상과 엄격하게 호환됨을 증명하여 $\operatorname{Gr}^W_0(\widehat{\mathcal{O}}_\rho) \cong H^0(\mathscr{C}(D))^*$ 라는 결과를 도출한다.

실험 결과

연구 질문

• RQ1 기본군 $\pi_1(X,x)$ 의 선형 대수군 $G$ 로의 표현에 대해, 표현 다양체의 형식적 국소환 $\widehat{\mathcal{O}}_\rho$ 에 함자적 혼합 호지 구조를 구성할 수 있는가?
• RQ2 Eyssidieux-Simpson(컴팩트 Kähler 다양체와 모노드로미 표현에 대해)과 Kapovich-Millson(매끄럽고 준사영 다양체 및 유한 이미지 표현에 대해)의 구성들을 하나의 프레임워크로 통합할 수 있는가?
• RQ3 $\widehat{\mathcal{O}}_\rho$ 의 무게 필터링과 $\rho$ 의 공액류 사이의 정확한 관계는 무엇인가?
• RQ4 관련된 DG 리 대수 $L$ 의 코homology 군을 통해 $\widehat{\mathcal{O}}_\rho$ 의 혼합 호지 구조를 명시적으로 묘사할 수 있는가?
• RQ5 비콤팩트 경우에 대해, $\widehat{\mathcal{O}}_\rho$ 의 유한형 표현을 멱급수 대수의 아이디얼에 대한 몫으로서 재구성할 수 있는가, 이때 아이디얼은 혼합 호지 구조를 가진다.

주요 결과

• 컴팩트 Kähler 다양체 $X$ 이고 $\rho$ 가 극화된 호지 구조의 변형의 모노드로미일 경우, $\widehat{\mathcal{O}}_\rho$ 에 혼합 호지 구조를 구성하였다.
• 매끄럽고 준사영 다양체 $X$ 이고 $\rho$ 의 이미지가 유한할 경우에도 $\widehat{\mathcal{O}}_\rho$ 에 혼합 호지 구조를 구성하였으며, 이는 Kapovich-Millson의 결과를 전반적인 혼합 호지 구조로 확장한 것이다.
• $\widehat{\mathcal{O}}_\rho$ 의 무게 0 부분은 $\rho$ 의 공액류에 대한 궤도의 형식적 국소환과 자연스럽게 동형이며, 이는 사영 콘 $D$ 의 변형 함수를 통해 식별된다.
• 구성은 $X$, $x$, $\rho$ 에 대해 함자적이며, 기초 체수 $\mathbf{k}$, 특히 $\mathbb{C}$ 위에서 정의되며, 혼합 호지 구조는 대수적 구조와 호환된다.
• 이 방법은 분석 기법(예: Eyssidieux-Simpson)이나 단지 등급 구조에 의존하는 것(예: Kapovich-Millson)을 피하고, 대신 $L_\infty$ 대수와 혼합 호지 다이어그램을 사용함으로써 통합된 프레임워크를 제공한다.
• $\widehat{\mathcal{O}}_\rho$ 의 무게 필터링은 궤도 대수로의 사상과 엄격하게 호환되며, 이는 $\operatorname{Gr}^W_0(\widehat{\mathcal{O}}_\rho)$ 가 정확히 궤도 $\Omega_\rho$ 위의 형식적 함수 대수임을 확인한다.