[논문 리뷰] A counterexample to the Hodge conjecture for Kaehler varieties

Claire Voisin|arXiv (Cornell University)|2001. 12. 21.

Geometry and complex manifolds참고 문헌 10인용 수 18

한 줄 요약

이 논문은 켈러 다양체에 대한 일반화된 호지 추측에 대한 반례가 되는 4차원 복소 토러스를 구성한다. 이는 모든 유리수 호지 클래스가 해석적 코herent sheaf의 체른 클래스로부터 유도되지 않음을 보여준다. 핵심 결과는 $ H^4(X, \mathbb{Q}) $ 내에 비자명한 호지 클래스가 존재하며, 이는 $[\rho]^{n-2}$ 와 수직이고, 모든 코herent sheaf $\mathcal{F}$ 에 대해 $ c_2(\mathcal{F}) = 0 $ 를 만족함을 보여, 코herent sheaf의 체른 클래스가 켈러 설정에서 모든 유리수 호지 클래스를 생성하지 못함을 증명한다.

ABSTRACT

Summary: The Hodge conjecture asks whether rational Hodge classes on a smooth projective manifolds are generated by the classes of algebraic subsets, or equivalently by Chern classes of coherent sheaves. On a compact Kaehler manifold, Hodge conjecture is known to be false if algebraic subsets are replaced with analytic subsets. Here we show that it is even false that for a Kaehler manifold, Hodge classes are generated by Chern classes of coherent sheaves. We also show that finite free resolution do not in general exist for coherent sheaves on compact Kaehler manifolds.

연구 동기 및 목표

• 콤��� 켈러 다양체 위의 유리수 호지 클래스가 해석적 코herent sheaf의 체른 클래스에 의해 $ \mathbb{Q} $ 위에서 생성될 수 있는지 조사하기.
• 호지 추측을 프로젝티브 다양체의 범주를 넘어서 더 넓은 켈러 다양체의 범주로 확장하기.
• 유리수 호지 클래스는 존재하지만 코herent sheaf의 체른 클래스로 표현되지 않는 반례를 구성하기.
• 일부 켈러 다양체에서 코herent sheaf에 대한 유한한 국소 자유 해상이 실패함을 보여주기.
• 코herent sheaf의 체른 클래스 집합이 켈러 케이스에서 유리수 호지 클래스 집합보다 엄밀히 작다는 것을 보여주기.

제안 방법

• 세 가지 핵심 조건을 만족하는 4차원 복소 토러스 $ X $ 를 구성하기: $ NS(X) = 0 $, 양의 차원을 가진 분석적 부분다양체가 없으며, 어떤 켈러 클래스 $[\rho]$ 에 대해 $ Hdg^4(X, \mathbb{Q}) \bot [\rho]^{n-2} $.
• 코herent sheaf의 계수에 대한 귀납법을 사용하여, 토르션 sheaf의 $ c_1 $ 및 $ c_2 $ 가 0임을 이용해 $ X $ 위의 모든 해석적 코herent sheaf $ \mathcal{F} $ 에 대해 $ c_2(\mathcal{F}) = 0 $ 를 증명하기.
• 반사적 sheaf가 $ c_1 = 0 $ 이고 $ \text{ch}_2 \bot [\rho]^{n-2} $ 를 만족할 경우, Bando-Siu 정리를 적용하여 이들이 체른 클래스가 모두 0인 평탄한 복소 벡터 번들의다는 것을 보여주기.
• 유한한 코herent sheaf의 확장 이론을 $ \text{Ext}^1 $ 을 통해 활용하여, 유리수 체른 클래스가 0인 벡터 번들을 통해 sheaf를 올리기. 이때 차원이 3 이상으로 감소하는 토르션 지지에 대해 세르 dualit의 성질을 활용하기.
• 모든 토르션 자유 코herent sheaf가 유리수 체른 클래스가 모두 0인 헬로모르픽 벡터 번들에 임베딩됨을 보여주기.
• 모든 $ \mathcal{F} $ 에 대해 $ c_2(\mathcal{F}) = 0 $ 이지만, 4차 차수에서 비자명한 호지 클래스가 존재함을 보여, 코herent sheaf의 체른 클래스가 전체 유리수 호지 클래스 군을 생성하지 못함을 증명하기.

실험 결과

연구 질문

• RQ1 콤팩트 켈러 다양체 위의 유리수 호지 클래스가 해석적 코herent sheaf의 체른 클래스에 의해 $ \mathbb{Q} $ 위에서 생성될 수 있는가?
• RQ2 코herent sheaf나 헬로모르픽 벡터 번들의 체른 클래스가 켈러 설정에서 모든 유리수 호지 클래스를 생성하는 데 충분한가?
• RQ3 비자명한 4차 호지 클래스를 가진 콤팩트 켈러 다양체가 존재하는가? 이는 대수적이지도 않으며, 코herent sheaf의 체른 클래스로 표현될 수도 없는가?
• RQ4 일반적인 켈러 다양체에서 코herent sheaf가 유한한 국소 자유 해상을 갖지 못할 수 있는가?
• RQ5 반사적 sheaf가 첫 번째 및 두 번째 체른 클래스가 0일 경우, Bando-Siu 정리가 평탄한 접속의 존재에 대해 가지는 기하학적 함의는 무엇인가?

주요 결과

• $ NS(X) = 0 $, 양의 차원을 가진 분석적 부분다양체가 없으며, $ H^4(X, \mathbb{Q}) $ 에 비자명한 유리수 호지 클래스가 존재하는 4차원 복소 토러스 $ X $ 가 존재한다.
• 이 $ X $ 에서 모든 해석적 코herent sheaf $ \mathcal{F} $ 는 $ c_2(\mathcal{F}) = 0 $ 를 만족함에도 불구하고, 4차 차수에서 비자명한 호지 클래스가 존재한다.
• $ H^4(X, \mathbb{Q}) $ 내의 호지 클래스는 어떤 켈러 클래스 $[\rho]$ 에 대해 $[\rho]^{n-2}$ 와 수직이며, 핵심 조건인 수직 조건을 만족한다.
• 모든 토르션 자유 코herent sheaf는 모든 유리수 체른 클래스 $ c_i(E) = 0 $ ($ i > 0 $) 를 가지는 헬로모르픽 벡터 번들 $ E $ 에 임베딩될 수 있다.
• 점 $ Z \to X $ 의 아이디얼 sheaf $ \mathcal{I}_Z $ 는 유한한 국소 자유 해상이 존재하지 않으며, 이는 비자명한 체른 클래스가 필요하기 때문이다.
• 해석적 코herent sheaf의 체른 클래스 집합은 유리수 호지 클래스 군보다 엄밀히 작으며, 이는 켈러 다양체에 대한 일반화된 호지 추측에 대한 반례를 제공한다.