[논문 리뷰] Absolute sets and the Decomposition Theorem

Nero Budur, Botong Wang|arXiv (Cornell University)|2017. 02. 21.

Algebraic Geometry and Number Theory참고 문헌 52인용 수 8

한 줄 요약

이 논문은 모듈리 공간의 사상이 필요 없이, 구조적 층 위의 자연스러운 함자들로부터 절대 집합—일반화된 구조적 집합—을 구성하기 위해 유일공간(unispaces)과 유일공간의 사상들을 사용하는 프레임워크를 제안한다. 이는 랭크 하나의 국소계량공간의 닫힌 절대 집합이 토판-이동된 아핀 토러스의 유한 합집합임을 증명하며, 특수 다양체 패키지의 특수한 경우를 확립하고, 단순한 페르세브 sheaf에 대한 분해 정리의 새로운 증명을 제공한다.

ABSTRACT

We give a framework to produce constructible functions from natural functors between categories, without need of a morphism of moduli spaces to model the functor. We show using the Riemann-Hilbert correspondence that any natural (derived) functor on constructible sheaves on smooth complex algebraic varieties can be used to construct a special kind of constructible sets, called absolute sets, generalizing a notion introduced by Simpson in presence of moduli. We conjecture that the absolute sets of local systems satisfy a "special varieties package", among which is an analog of the Manin-Mumford, Mordell-Lang, and André-Oort conjectures. The conjecture gives a simple proof of the Decomposition Theorem for all semi-simple perverse sheaves, assuming the Decomposition Theorem for the geometric ones. We prove the conjecture in the rank one case by showing that the closed absolute sets in this case are finite unions of torsion-translated affine tori. This extends a structure result of the authors for cohomology jump loci to any other natural jump loci. For example, to jump loci of intersection cohomology and Leray filtrations. We also show that the Leray spectral sequence for the open embedding in a good compactification degenerates for all rank one local systems at the usual page, not just for unitary local systems.

연구 동기 및 목표

• 모듈리 공간의 사상이 필요 없이, 범주 간 자연스러운 함자들로부터 구조적 함수를 체계적으로 생성하는 일반적 프레임워크를 개발하기 위해.
• 유일공간의 Riemann-Hilbert 대응을 통해 유도된 함자들로부터 유도되는 특수한 종류의 구조적 집합인 '절대 집합'을 정의하고 연구하기 위해.
• 절대 집합이 국소계량공간의 '특수 다양체 패키지'를 만족한다고 추측하기 위해, 이는 Manin-Mumford, Mordell-Lang, 그리고 André-Oort 추측과 유사하다.
• 기하학적 경우가 알려져 있다고 가정할 때, 이 추측을 바탕으로 단순한 페르세브 sheaf에 대한 분해 정리를 증명하기 위해.
• 코homology 점프 위치의 구조 결과를, 교차 코homology와 Leray 필터링 등의 다른 자연스러운 점프 위치로 확장하기 위해.

제안 방법

• 유일공간을 유한 유형의 정칙 C-대수에서 집합으로 가는 함자로 정의하여, 스킴과 대수적 스택을 일반화하기 위해.
• 일관된 구조적 성질을 유지하는 유일공간의 사상들을 정의하여, 고전적인 구조적 함수의 구성이 가능하도록 하기 위해.
• Riemann-Hilbert 대응을 사용하여, 구조적 층의 유도된 범주 위의 자연스러운 함자들을 유일공간의 사상으로 올리기 위해.
• 이러한 사상에 대한 구조적 함수의 역상으로서 '절대 집합'을 정의하여, Simpson의 모듈리 공간 내 정의를 일반화하기 위해.
• Riemann-Hilbert 대응을 사용하여, 정규 D-모듈러스와 페르세브 sheaf 간의 관계를 설정하고, 랭크 일 경우의 절대성 확립하기 위해.
• 대수적 및 모델 이론적 기법을 사용하여, 랭크 일 국소계량공간의 닫힌 절대 집합이 토판-이동된 아핀 토러스의 유한 합집합임을 증명하기 위해.

실험 결과

연구 질문

• RQ1 모듈리 공간의 사상 없이도, 자연스러운 구조적 층 위의 함자들로부터 체계적으로 구조적 함수를 생성할 수 있는가?
• RQ2 부드러운 복소 대수적 다양체 위의 유도된 함자들로부터 유도되는 절대 집합의 기하학적 및 산술적 구조는 무엇인가?
• RQ3 국소계량공간의 절대 집합은 Manin-Mumford, Mordell-Lang, 그리고 André-Oort 추측과 유사한 '특수 다양체 패키지'를 만족하는가?
• RQ4 추측된 '특수 다양체 패키지'를 통해 단순한 페르세브 sheaf에 대한 분해 정리를 증명할 수 있는가?
• RQ5 교차 코homology와 Leray 필터링 등의 자연스러운 점프 위치들은 모두 유사한 구조를 가진 절대 집합인가?

주요 결과

• 저자들은 모듈리 공간이 존재하지 않을 경우에도, 유일공간과 유일공간의 사상들을 사용하여 고전적인 구조적 함수를 체계적으로 생성하는 일반적 프레임워크를 구축하였다.
• 부드러운 복소 대수적 다양체 위의 자연스러운 유도된 함자들은 유일공간의 사상으로 올라가며, 이는 절대 집합의 구성이 가능하게 한다.
• 랭크 일의 경우, 국소계량공간의 닫힌 절대 집합이 토판-이동된 아핀 토러스의 유한 합집합임을 입증하였다.
• 이 결과는 코homology 점프 위치의 구조 정리들을, 교차 코호몰로지와 Leray 필터링의 점프 위치 등 다른 자연스러운 점프 위치로 확장한다.
• 모든 랭크 일 국소계량공간에 대해, 양호한 콪actification에 대한 개방 포함의 Leray 스펙트럴 시퀀스가 일반적인 페이지에서 분해되며, 단지 유니터리인 경우에만 국한되지 않는다.
• 추측된 절대 집합의 '특수 다양체 패키지'는 기하학적 경우가 알려져 있다고 가정할 때, 단순한 페르세브 sheaf에 대한 분해 정리를 암시한다.