[논문 리뷰] Goresky-Pardon extensions of Chern classes and associated Tate extensions

Eduard Looijenga|arXiv (Cornell University)|2015. 10. 14.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 4

한 줄 요약

이 논문은 복소수 다양체 X의 개방된 계층에서 허문 벡터 다발의 체르누 클래스가 전체 코homology로 확장될 수 있는 기하학적 조건을 설정한다. 이는 Hodge 수준이 적어도 k 이상이 되는 조건을 만족한다. 국소 대칭 다양체의 Baily-Borel 컴팩티피케이션과 자동형 다발에 대해, 이는 Goresky-Pardon의 확장 정리의 복원 및 개선을 이끌어내며, X가 A_g의 Satake 컴팩티피케이션일 때 g ≫ k 이면, Beilinson의 조정자에 의해 기본 타이트 확장이 유도되는 바, k번째 체르누 클래스 확장의 허수부가 0이 아님을 보여준다.

ABSTRACT

Let X be an irreducible complex variety, S a stratification of X and F a holomorphic vector bundle on the open statum. We give geometric conditions on S and F that produce a natural extension of the k-th Chern class F as a class in the complex cohomology of X of Hodge level at least k. When X is the Baily-Borel compactification of a locally symmetric variety with its stratification by boundary components, and F an automorphic bundle on its interior, then this recovers and refines a theorem of Goresky-Pardon. In passing we define a class of simplicial resolutions of the Baily-Borel compactification that can be used to define its mixed Hodge structure. Finally, we use the Beilinson regulator for the rationals to show that when X is the Satake (=Baily-Borel) compactification of A_g and F the Hodge bundle (with g large compared to k), the Goresky-Pardon k-th Chern class extension has nonzero imaginary part and gives rise to a basic Tate extension.

연구 동기 및 목표

• 복소수 다양체 X의 전체 코homology에서 Hodge 수준이 적어도 k 이상이 되는 조건을 만족하는, 복소수 다양체 X의 개방 계층에서 허문 벡터 다발의 k번째 체르누 클래스가 확장될 수 있는 기하학적 조건을 정의하는 것.
• 국소 대칭 다양체의 Baily-Borel 컴팩티피케이션에서 자동형 다발에 대해 Goresky-Pardon의 확장 정리를 일반화하고 개선하는 것.
• Baily-Borel 컴팩티피케이션의 단순형 해상도를 구성하여 그 혼합 Hodge 구조를 정의하는 것.
• Satake 컴팩티피케이션의 A_g에서 허수부가 0이 아닌지를 보이기 위해 Beilinson 조정자를 사용하여 Hodge 다발의 k번째 체르누 클래스의 Goresky-Pardon 확장을 분석하는 것.
• g가 k에 비해 충분히 클 때, 이 비자명한 확장이 기본 타이트 확장으로 이어지는 것을 보여주는 것.

제안 방법

• 개방 계층에서의 다발 F와 분할 S에 대한 기하학적 조건을 도입하여, H^*(X, ℂ)에서 Hodge 수준 ≥ k인 k번째 체르누 클래스의 확장을 보장하는 것.
• Baily-Borel 컴팩티피케이션의 단순형 해상도를 구성하여 혼합 Hodge 구조를 정의함으로써 코homological 계산을 가능하게 하는 것.
• Satake 컴팩티피케이션의 A_g의 경우, Goresky-Pardon의 k번째 체르누 클래스 확장을 ℚ에 대한 Beilinson 조정자에 적용하는 것.
• 조정자 사상에 의해 확장된 체르누 클래스의 허수부를 분석하여, g ≫ k 이면 이 값이 0이 아님을 보이는 것.
• 허수부의 비영성으로 인해 기본 타이트 확장을 구성함으로써, 산술 기하학과 Hodge 이론을 연결하는 것.

실험 결과

연구 질문

• RQ1 분할 S와 개방 계층에서의 허문 다발 F에 대해, k번째 체르누 클래스가 H^*(X, ℂ)로 확장되어 Hodge 수준이 적어도 k 이상이 되는 기하학적 조건은 무엇인가?
• RQ2 국소 대칭 다양체의 Baily-Borel 컴팩티피케이션의 맥락에서, Goresky-Pardon의 확장 정리를 어떻게 개선하거나 일반화할 수 있는가?
• RQ3 단순형 해상도를 사용하여 국소 대칭 다양체의 Baily-Borel 컴팩티피케이션의 혼합 Hodge 구조를 정의할 수 있는가?
• RQ4 Beilinson 조정자가 Satake 컴팩티피케이션의 A_g에서 체르누 클래스의 Goresky-Pardon 확장에 비자명한 산술 정보를 감지하는가?
• RQ5 A_g에서 Hodge 다발의 k번째 체르누 클래스의 Goresky-Pardon 확장이 언제 기본 타이트 확장으로 이어지는가?

주요 결과

• 복소수 다양체 X의 개방 계층에서 허문 벡터 다발 F의 k번째 체르누 클래스는 분할 S와 다발 F에 대한 지정된 기하학적 조건을 만족할 경우, H^*(X, ℂ)에서 Hodge 수준이 적어도 k 이상인 클래스로 확장된다.
• 국소 대칭 다양체의 Baily-Borel 컴팩티피케이션과 자동형 다발에 대해, 이 구성은 Goresky-Pardon의 확장 정리를 복원하고 개선한다.
• Baily-Borel 컴팩티피케이션의 단순형 해상도가 정의되고, 이를 통해 혼합 Hodge 구조를 구성하는 데 사용된다.
• A_g의 Satake 컴팩티피케이션에서 g가 k에 비해 충분히 클 경우, Hodge 다발의 k번째 체르누 클래스의 Goresky-Pardon 확장은 허수부가 0이 아니다.
• 확장된 체르누 클래스의 허수부가 비영이므로, Beilinson 조정자를 통해 기본 타이트 확장이 유도된다.
• 결과적으로, Beilinson 조정자의 산술적 성질과 모듈리 공간에서 특성 클래스의 Hodge-이론적 확장 간의 직접적인 연결 고리가 확립된다.