[논문 리뷰] Non-abelian real Hodge theory for proper varieties

J. P. Pridham|arXiv (Cornell University)|2006. 11. 22.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 6

한 줄 요약

이 논문은 프로-대수적 호모토피 유형에 대한 심플렉슨의 $U(1)$-행동을 $Χ^*$-행동으로 확장하여, 고정된 복소수 다양체의 비아벨리안 실해석적 허지 구조를 수립한다. 이는 스킴 호모토피 유형 위에 실분석적 $Χ^*$-행동을 유도하며, 주요 결과는 유한성 조건 하에서 복소화된 호모토피 군에 대한 이중첨자 분해를 가진 근본적인 실해석적 허지 구조를 제공한다.

ABSTRACT

We show that if X is any proper complex variety, there is a weight decomposition on the real schematic homotopy type, in the form of an algebraic G_m-action. This extends to a real Hodge structure, in the form of a discrete C^*-action, such that C^* x X -> X^{sch} is real analytic. If the fundamental group is algebraically good, and the higher homotopy groups have finite rank, this gives bigraded decompositions on the complexified homotopy groups. For smooth proper varieties, the Hodge structure can be recovered from the cohomology ring with coefficients in the universal semisimple local system.

연구 동기 및 목표

• 고정된 켈러 다양체의 재수축 기본군자리에 대한 심플렉슨의 $U(1)$-행동을 프로-대수적 호모토피 유형으로 전체 $Χ^*$-행동으로 확장한다.
• 고정된 복소수 다양체의 스킴 호모토피 유형에 비아벨리안 실해석적 허지 구조를 정의하여 고전적 허지 이론을 비아벨리안 설정으로 일반화한다.
• 대수적 양호성과 유한 질량 조건 하에서 복소화된 호모토피 군에 대한 이중첨자 분해를 수립한다.
• 단순화된 해상법과 코homological 내림을 통해 부드럽고 고정된 다양체에서의 허지 구조를 특이 고정된 다양체로 확장한다.

제안 방법

• 기본군자리의 말체브 완비화를 통해 정의된 프로-대수적 호모토피 유형 $G(X)^{\mathrm{alg}}$를 기초 객체로 사용한다.
• 심플렉슨의 작업에서 유도된 $U(1)$-행동을 확장하여 $G(X)^{\mathrm{alg}}(\mathbb{R})$ 위에 실분석적이고 재수축 몫과 호환되는 $Χ^*$-행동을 구성한다.
• 부드럽고 고정된 다양체로의 단순화된 해상법 $X_\bullet \to X$ 를 통한 코homological 내림을 적용하여 특이 고정된 다양체로의 허지 구조를 확장한다.
• 일반화된 단순한 국소계와 조화형식의 형식을 활용하여 코homology 위에 $Χ^*$-행동을 정의하고, 이로써 호모토피 유형 위의 구조를 유도한다.
• 체치 및 드 라함 코homology 복합체 사이의 준동형을 이용하여 허지 구조를 조화형 대표자와 $\diamond$-행동과 연결한다.
• $\mathbb{G}_m$-무게 분해와 $S$-행동을 사용하여, 노름화된 재수축 기본군자리 $\varpi_f(X)^{\mathrm{red},\mathrm{norm}}$ 위에 근본적인 실해석적 허지 구조를 정의한다.

실험 결과

연구 질문

• RQ1 심플렉슨의 $U(1)$-행동이 고정된 복소수 다양체의 프로-대수적 호모토피 유형에 대한 전체 $Χ^*$-행동으로 확장될 수 있는가?
• RQ2 부드럽고 고정된 다양체의 호모토피 유형에 존재하는 실해석적 허지 구조가 해상법 기반 기법을 통해 특이 고정된 다양체로까지 확장되는가?
• RQ3 유한성 조건 하에서 $Χ^*$-행동에 의해 유도된 복소화된 호모토피 군에 대한 이중첨자 분해는 어떻게 유도되는가?
• RQ4 코homological 내림과 단순한 국소계가 스킴 호모토피 유형 위의 $Χ^*$-행동을 구성하는 데 어떤 역할을 하는가?
• RQ5 $Χ^*$-행동이 고전적 코homology 위의 허지 구조와 $dd^c$-레마와 어떻게 관련되는가?

주요 결과

• 모든 고정된 복소수 다양체 $X$ 에 대해 프로-대수적 호모토피 유형 $G(X)^{\mathrm{alg}}$ 위에 근본적인 실해석적 허지 구조가 존재하며, 이는 $G(X)^{\mathrm{alg}}(\mathbb{R})$ 위에 실분석적 $Χ^*$-행동으로 실현된다.
• 부드럽고 고정된 다양체의 경우, 호모토피 유형 위의 허지 구조는 일반화된 단순한 국소계를 계수로 하는 코homology 링으로 복원 가능하다.
• $\pi_1(X,x)$ 가 대수적으로 양호하고 고차 호모토피 군이 유한 질량을 가진다고 가정할 경우, 복소화된 호모토피 군 $\pi_n(X,x) \otimes_{\mathbb{Z}} \mathbb{C}$ 는 $Χ^*$-행동에 의해 유도된 이중첨자 분해를 가진다.
• 재수축 기본군자리 위의 $S$-행동은 단순화된 해상법 $X_\bullet \to X$ 를 통한 코homological 내림을 통해 전체 호모토피 유형으로 확장되며, 면과 분해 사상과의 호환성을 보장한다.
• 호모토피 유형 위의 무게 분해는 $\mathbb{G}_m$-행동를 통해 실현되며, 코homology 군 $H^n(X_m, a_n^{-1}\mathbb{O}(\mathbb{B}_h))$ 는 무게 $n$ 을 할당받는다.
• 이 구성은 함자적이고 $G(X) \to G(X)^{\mathrm{alg}}(\mathbb{R})$ 의 수반관계와 호환되며, 이로써 호모토피 유형 위에 근본적인 $Χ^*$--equivariant 구조를 정의할 수 있다.