[논문 리뷰] Schematic homotopy types and non-abelian Hodge theory I: The Hodge decomposition

Ludmil Katzarkov, Tony Pantev외 1명|arXiv (Cornell University)|2001. 07. 18.

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 7

한 줄 요약

이 논문은 복소수 프로젝티브 다양체 X의 스킴형 호모토피 유형 (X ⊗ C) sch 에 대해 임의의 기본군을 가진 경우 C×δ 작용을 이용하여 호지 분해를 도입한다. 이는 코homology와 프로대수적 기본군에서 고전적 호지 구조를 복원하며, 델리뉴의 호지 분해를 단순연결되지 않은 경우로 일반화하고, 복소수 프로젝티브 다양체로 실현될 수 없는 특정 호모토피 유형을 차단하는 새로운 호모토피 불변량을 구축한다.

ABSTRACT

In this work we use Hodge theoretic methods to study homotopy types of complex projective manifolds with arbitrary fundamental groups. The main tool we use is the schematization functor X ↦ → (X ⊗ C) sch, introduced by the third author as a substitute for the rationalization functor in homotopy theory in the case of non-simply connected spaces. Our main result is the construction of a Hodge decomposition on (X ⊗ C) sch. This Hodge decomposition is encoded in an action of the discrete group C ×δ on the object (X ⊗ C) sch and is shown to recover the usual Hodge decomposition on cohomology, the Hodge filtration on the pro-algebraic fundamental group as defined by C.Simpson, and in the simply connected case, the Hodge decomposition on the complexified homotopy groups as defined by P.Deligne, P.Griffiths, J.Morgan and D.Sullivan. Finally, using the construction X ↦ → (X ⊗ C) sch, we define new homotopy invariants of a space X, which are related to the action of its fundamental group π1(X, x) on its complexified higher homotopy groups πi(X, x) ⊗ C. When X is a smooth and projective complex variety, we use the Hodge decomposition on (X ⊗ C) sch to deduce some restrictions on these invariants and construct explicit new examples of homotopy types which are not realizable as complex projective manifolds.

연구 동기 및 목표

• 비자명한 기본군을 가진 복소수 프로젝티브 다양체의 호모토플리 유형에 호지이론적 방법을 확장하는 것.
• C×δ 작용을 이용하여 스킴형 호모토플리 유형 (X ⊗ C) sch 에 호지 분해를 정의하는 것.
• C. 심슨이 정의한 바에 따라 코homology와 프로대수적 기본군에서 알려진 호지 구조를 복원하는 것.
• 델리뉴 등이 복소화된 호모토플리 군에 대해 정의한 호지 분해를 단순연결되지 않은 경우로 일반화하는 것.
• π1(X,x) 가 πi(X,x)⊗C 에 작용하는 방식에서 유도되는 새로운 호모토플리 불변량을 정의하고, 이를 통해 특정 호모토플리 유형이 복소수 프로젝티브 다양체로 실현될 수 없음을 밝혀내는 것.

제안 방법

• 비단순연결된 호모토플리 이론에서 유리화의 대체로 스킴화 함수자 X ↦ (X ⊗ C) sch 를 사용한다.
• 이산군 C×δ 의 작용을 통해 (X ⊗ C) sch 에 호지 분해를 도입한다.
• 스킴형 호모토플리 유형의 구조를 분석하기 위해 호지이론적 기법에 의존한다.
• 코homology 호지 구조와 심슨의 프로대수적 기본군에서의 고전적 불변량과 호지 분해의 호환성을 확립한다.
• 스킴형 호모토플리 유형을 이용해 π1(X,x) 가 πi(X,x)⊗C 에 작용하는 방식과 연결된 새로운 불변량을 정의한다.
• 스킴형 호모토플리 유형 (X ⊗ C) sch 에 적용된 호지 구조를 통해 복소수 프로젝티브 다양체로 실현될 수 있는 호모토플리 유형에 대한 제약 조건을 도출한다.

실험 결과

연구 질문

• RQ1 비자명한 기본군을 가진 복소수 프로젝티브 다양체의 호모토플리 유형에 대해 호지이론적 방법을 어떻게 확장할 수 있는가?
• RQ2 스킴형 호모토플리 유형 (X ⊗ C) sch 에 호지 분해를 구성할 수 있으며, 이는 고전적 호지 구조와 어떻게 관련이 있는가?
• RQ3 스킴형 호모토플리 유형 (X ⊗ C) sch 에서의 호지 분해가 C. 심슨이 정의한 프로대수적 기본군의 호지 필터링을 복원하는가?
• RQ4 단순연결되지 않은 경우에, (X ⊗ C) sch 에서의 호지 구조가 델리뉴 등이 복소화된 호모토플리 군에 대해 정의한 호지 분해를 일반화하는가?
• RQ5 π1(X,x) 가 πi(X,x)⊗C 에 작용하는 방식에서 유도되는 새로운 호모토플리 불변량은 무엇이며, 이는 어떤 호모토플리 유형이 복소수 프로젝티브 다양체로 실현될 수 없음을 차단하는 데 어떤 제약을 제공하는가?

주요 결과

• C×δ 작용을 통한 호지 분해가 스킴형 호모토플리 유형 (X ⊗ C) sch 에 구성되며, 이는 단순연결되지 않은 공간으로 고전적 호지 이론을 일반화한다.
• (X ⊗ C) sch 에서의 호지 분해는 코homology 군 H^i(X, C) 에서 표준적 호지 분해를 복원한다.
• C. 심슨이 정의한 방식에 따라 프로대수적 기본군의 호지 필터링을 복원한다.
• 단순연결된 경우, (X ⊗ C) sch 에서의 호지 구조는 델리뉴, 그리피스, 모건, 설리반에 의해 정의된 복소화된 고차 호모토플리 군의 호지 분해를 복원한다.
• π1(X,x) 가 πi(X,x)⊗C 에 작용하는 방식에서 기인하는 새로운 호모토플리 불변량이 정의되며, 이는 특정 호모토플리 유형이 복소수 프로젝티브 다양체로 실현될 수 없음을 차단하는 데 기여한다.
• (X ⊗ C) sch 에서의 호지 구조를 이용해 복소수 프로젝티브 다양체로 실현될 수 없는 호모토플리 유형의 구체적 예가 구성된다.