[논문 리뷰] Kobayashi-Hitchin correspondence for tame harmonic bundles and an application

Takuro Mochizuki|ArXiv.org|2004. 11. 13.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 89

한 줄 요약

이 논문은 유타르-히치린 대응을 매끄럽고 준사영적 다양체 위의 유타르-해석적 복소선다발에 대해 수립하며, 특성 수가 0인 $μ_L$-다중스테이블 파라보릭 히긴스 복소선다발과의 동치를 증명한다. 또한 $μ_L$-스테이블 파라보릭 히긴스 복소선다벨에 대해 보고몰로프-지제커 유형 부등식을 증명하고, 이를 응용하여 임의의 국소계가 이러한 다양체의 극형 구조의 변화로 변형될 수 있음을 보이며, 이는 이러한 다양체의 기본군의 분할 몫으로서의 이산군에 대한 제약 조건을 유도한다.

ABSTRACT

We establish the correspondence between tame harmonic bundles and $μ_L$-stable parabolic Higgs bundles with trivial characteristic numbers. We also show the Bogomolov-Gieseker type inequality for $μ_L$-stable parabolic Higgs bundles. Then we show that any local system on a smooth quasi projective variety can be deformed to a variation of polarized Hodge structure. As a consequence, we can conclude that some kind of discrete groups cannot be a split quotient of the fundamental group of a smooth quasi projective variety.

연구 동기 및 목표

• 특성 수가 0인 $μ_L$-다중스테이블 파라보릭 히긴스 복소선다벨과 유타르-해석적 복소선다벨 간의 대응을 수립하기 위해.
• $μ_L$-스테이블 파라보릭 히긴스 복소선다벨에 대해 보고몰로프-지제커 유형 부등식을 증명하기 위해.
• 매끄럽고 준사영적 다양체 위의 임의의 국소계가 극형 허지 구조의 변화로 변형될 수 있음을 보여주기 위해.
• 이 변형 결과를 통해 매끄럽고 준사영적 다양체의 기본군에 대한 기하학적 및 산술적 제약 조건을 유도하기 위해.
• 일부 이산군이 이러한 다양체의 기본군의 분할 몫으로 나타나지 못함을 보여주기 위해.

제안 방법

• 매끄럽고 준사영적 다양체 위에서 파라보릭 히긴스 복소선다벨과 해석적 복소선다벨 이론을 사용하며, 이를 위해 매끄러운 콪팩티피케이션과 정규교차 분할을 가진다.
• 유타르-히치린 대응을 유타르-해석적 설정에서 적용하여, 헤르미트-아인슈타인 메트릭을 통해 해석적 복소선다벨과 다중스테이블 파라보릭 히긴스 복소선다벨을 연결한다.
• 파라보릭 히긴스 복소선다벨의 $μ_L$-스테이블리티 개념을 도입하여 관련 모듈리 이론 프레임워크를 정의한다.
• 파라보릭 설정에서 곡률과 안정성 조건을 사용하여 보고몰로프-지제커 유형 부등식을 수립한다.
• 대응을 평탄한 복소선다벨(국소계)에 적용하여, 해석적 복소선다벨의 구조를 통해 극형 허지 구조의 변화로의 변형이 가능함을 보인다.
• 이러한 변형의 존재를 이용하여 기본군에 대한 위상적 제약 조건을 도출한다.

실험 결과

연구 질문

• RQ1 특성 수가 0인 $μ_L$-다중스테이블 파라보릭 히긴스 복소선다벨과 유타르-해석적 복소선다벨 간의 정확한 대응 관계는 무엇인가?
• RQ2 준사영적 다양체의 맥락에서 $μ_L$-스테이블 파라보릭 히긴스 복소선다벨에 대해 보고몰로프-지제커 유형 부등식이 성립하는가?
• RQ3 매끄럽고 준사영적 다양체 위의 임의의 국소계는 극형 허지 구조의 변화로 변형될 수 있는가?
• RQ4 이러한 변형 성질은 매끄럽고 준사영적 다양체의 기본군에 어떤 제약 조건을 부과하는가?
• RQ5 어떤 이산군은 이러한 다양체의 기본군의 분할 몫으로 나타나지 못하는가?

주요 결과

• 특성 수가 0인 $μ_L$-다중스테이블 파라보릭 히긴스 복소선다벨과 유타르-해석적 복소선다벨 간의 코바야시-히치린 대응이 성립한다.
• $μ_L$-스테이블 파라보릭 히긴스 복소선다벨에 대해 보고몰로프-지제커 유형 부등식이 수립되어 핵심 안정성 조건을 제공한다.
• 매끄럽고 준사영적 다양체 위의 모든 국소계는 극형 허지 구조의 변화로의 변형을 갖는다.
• 결과적으로, 일부 이산군은 매끄럽고 준사영적 다양체의 기본군의 분할 몫으로 나타나지 못한다.
• 대응과 변형 결과는 매끄러운 콱팩티피케이션과 정규교차 분할을 가진 조건 하에서 유효하다.
• 결과들은 고전적인 코바야시-히치린 대응을 비콤팩트 다양체 위의 파라보릭 및 유타르-해석적 설정으로 확장한다.