[논문 리뷰] Constructible sheaves are holonomic

Alexander Beilinson|arXiv (Cornell University)|2015. 05. 25.

Literature, Film, and Journalism Analysis참고 문헌 3인용 수 5

한 줄 요약

이 논문은 임의의 기저 체 위의 대수기하학적 다양체 위의 구성 가능 층이 기저 다양체의 차원과 같은 차원을 가진 특이적 지지부를 가짐을 증명하며, 복소기하학의 고전적 결과를 양의 특성으로 확장한다. Brylinski의 Radon 변환과 Lefschetz 원추 기법을 사용하여, 양의 특성에서도 그럴 필요는 없지만, 에탈 구성 가능 층의 특이적 지지부는 코탄젠트 번들의 닫힌 콘형 부분집합이며, 그 성분들은 차원 dim X를 가진다.

ABSTRACT

We show that for any constructible sheaf F on a smooth algebraic variety X over a field of arbitrary characteristic its singular support SS(F) is equidimensional of dimension dim X. Here SS(F) is the minimal closed subset of the cotangent bundle of X such that every (local) function on X with df(X) disjoint from SS(F) is locally acyclic relative to F.

연구 동기 및 목표

• 복소기하학에서 Kashiwara와 Shapira의 구성 가능 층의 특이적 지지부 결과를 임의의 기저 체 위의 대수기하학적 다양체로 확장하기 위해.
• Deligne가 지적한 바와 같이, 양의 특성에서 특이적 지지부 성분이 라그랑주가 아닐 수 있음을 다루기 위해.
• 에탈 구성 가능 층의 특이적 지지부가 코탄젠트 번들의 닫힌 콘형 부분집합이며, 성분들이 차원 dim X를 가짐을 확립하기 위해.
• 양의 특성에서 전이성과 마이크로로컬 기법을 사용하여 특이적 지지부의 기하적 특성화를 위해.
• Radon 변환과 Lefschetz 원추를 통해 특성 순환과 특이적 지지부 이론을 양의 특성으로 일반화하기 위해.

제안 방법

• 양자화된 캐논칼 변환의 전역 대수기하학적 유사물로 Brylinski의 Radon 변환을 사용한다.
• 특이적 지지부 분석을 위해 섬유별 기하학을 분석하는 데 Lefschetz 원추 이론의 변종을 적용한다.
• 끌임과 후퇴에 따른 층의 행동을 정의하고 제어하기 위해 $C$-전이성 조건을 활용한다.
• 마이크로로컬 지지부와 약성의 특성화를 위해 $C$-전이성 테스트 쌍의 개념을 도입한다.
• 콘형 부분집합의 사영화와 일반적인 차수 계산을 통해 특이적 지지부의 구조를 연구한다.
• 특성 순환 계산을 위해 함수를 세제곱으로 수정하는 등의 변형 기법을 적용하여 원하는 소멸 차수를 확보한다.

실험 결과

연구 질문

• RQ1 임의의 체 위의 매끄러운 다양체 위의 에탈 구성 가능 층의 특이적 지지부 성분이 양의 특성에서도 여전히 차원 dim X를 가지는가?
• RQ2 양의 특성에서 특이적 지지부는 $C$-전이성 테스트 쌍과 마이크로로컬 약성으로 특성화될 수 있는가?
• RQ3 양의 특성에서 Radon 변환의 일반적 차수는 특이적 지지부의 기하학과 어떻게 관련되는가?
• RQ4 양의 특성에서 Radon 변환 사상이 비라디컬 또는 차수 2를 가지는 조건은 무엇인가?
• RQ5 특정 소멸 차수를 가진 함수를 구성하여 특성 순환을 계산할 수 있는가?

주요 결과

• 임의의 기저 체 위의 매끄러운 다양체 $X$ 위의 어떤 에탈 구성 가능 층 ${\boldsymbol{\frak{F}}}$ 에 대해서도 특이적 지지부 $SS({\boldsymbol{\frak{F}}})$ 의 성분들은 정확히 $\dim X$ 의 차원을 가진다.
• 양의 특성에서는 성분이 라그랑주가 아닐 수 있으며, Deligne의 지적과 예시를 통해 이를 확인하였다.
• Radon 변환은 $p \neq 2$ 이면 일반적 차수가 1(비라디컬)인 사상 $\tilde{p}^\vee_C$ 를 유도하며, $p = 2$ 이고 $C$ 가 $\kappa$-이소트로픽이며 미분이 홀수 랭크이면 차수가 2일 수 있다.
• $\tilde{p}^\vee_C$ 는 일반적으로 라디컬이며, 그의 섬유 차수는 $C$ 와의 교차 이론을 통해 일반적 차수를 계산한다.
• 모든 $\nu \in C_{\text{reg}}$ 에 대해 차수 $\leq d$ 인 유리 함수 $f = q_1/q_2$ 를 찾을 수 있으며, 이때 $df(x) = \nu$ 이고 $f$ 는 섬유를 따라 차수 2의 영점을 가지며, 이는 정확한 특성 순환 행동을 보장한다.
• 이러한 함수의 구성은 $f' = f + a^3$ 과 같이 이차 모델을 수정함으로써 이루어지며, 이는 특이점에서 요구되는 소멸 차수를 확보한다.