[논문 리뷰] On the length of perverse sheaves and D-modules

Nero Budur, Pietro Gatti외 2명|arXiv (Cornell University)|2017. 09. 04.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 5

한 줄 요약

이 논문은 복소수 대수다양체 위의 불변층과 정칙 힐버트 D-모듈러스에 대한 길이 함수가 절대적인 Q-구성 가능 함수임을 증명한다. 핵심 결과는 임의의 고정된 유도함수에 대해, 그 이미지의 길이가 고정된 값을 갖는 랭크 1 국소계층의 집합이 Q 위에서 정의된 아핀 대수적 부분토루스의 유한한 토르션 이동체를 이용한 유한한 합집합, 교집합, 여집합으로 구성된 아르티누스 구조 가능 부분집합임을 보여준다.

ABSTRACT

We prove that the length function for perverse sheaves and algebraic regular holonomic D-modules on a smooth complex algebraic variety Y is an absolute Q-constructible function. One consequence is: for "any" fixed natural (derived) functor F between constructible complexes or perverse sheaves on two smooth varieties X and Y, the loci of rank one local systems L on X whose image F(L) has prescribed length are Zariski constructible subsets defined over Q, obtained from finitely many torsion-translated complex affine algebraic subtori of the moduli of rank one local systems via a finite sequence of taking union, intersection, and complement.

연구 동기 및 목표

• 복소수 대수다양체 위의 불변층과 정칙 힐버트 D-모듈러스에 대한 길이 함수가 절대적인 Q-구성 가능 함수임을 증명하는 것.
• 임의의 고정된 유도함수에 대해, 구조 가능 복합체나 불변층 사이의 사상에서 이미지 길이가 고정된 값을 갖는 랭크 1 국소계층의 집합이 Q 위에서 아르티누스 구조 가능임을 보여주는 것.
• 국소계층의 모듈리 공간 내에서 길이 점프 집합의 기하학적 및 산술적 구조를 토르션 이동 부분토루스를 통해 기술하는 것.
• 리만-힐베르트 대응과 불변 코hom로지 함수를 이용하여 유도 범주 내의 길이 불변량을 확장하는 것.
• 이러한 집합이 임의의 것이 아니라 Q 위에서 정의된 정확한 대수기하학적 구조를 갖는다는 것을 보여주는 것, 특히 고차원 국소계층 설정에서도 마찬가지임을 밝히는 것.

제안 방법

• 길이를 유지하는 동치를 보장하는 리만-힐베르트 대응을 통해 D-모듈러스와 불변층을 연결하는 것.
• 불변 코호몰로지 함수를 적용하여 불변 코호몰로지층 길이의 교대합을 통해 유도 범주 내에서 길이를 정의하는 것.
• 절대 Q-구성 가능 집합 이론을 활용하며, 이는 Q 위에서 정의된 복소 아핀 대수적 부분토루스의 유한한 조합(합집합, 교집합, 여집합)으로 정의된다.
• 삼각형의 콘의 차원과 지지부를 기준으로 귀납법을 적용하여 길이 함수의 Q-구성 가능성 증명.
• 스카이슈터 층을 포함하는 짧은 정확한 수열을 통해 국소계층의 중간 확장과 직접 이미지(예: $Rj_*$, $Rf_*$)의 구조 분석.
• 모든 경우에 대해 분해 정리를 적용하여 길이가 이미지 내 단순 직합합성의 수로 해석되도록 하는 것.

실험 결과

연구 질문

• RQ1 복소수 대수다양체 위의 불변층과 D-모듈러스에 대한 길이 함수가 절대적인 Q-구성 가능 함수인가?
• RQ2 고정된 유도함수에 의해 이미지 길이가 고정된 값을 갖는 랭크 1 국소계층의 집합은 Q 위에서 정의된 아르티누스 구조 가능 부분집합으로 기술될 수 있는가?
• RQ3 국소계층의 모듈리 공간 내에서 길이 점프 집합의 기하학적 및 산술적 구조는 무엇인가?
• RQ4 두 개의 매끄러운 다양체 사이의 대수적 사상에 대해, 교차 복합체의 직접 이미지 길이의 행동은 어떻게 되는가?
• RQ5 고차원 국소계층 모듈리 공간 내의 길이 집합은 어느 정도까지 Q-구성 가능성을 유지하는가?

주요 결과

• 매끄러운 복소수 대수다양체 위의 불변층과 정칙 힐버트 D-모듈러스에 대한 길이 함수는 절대적인 Q-구성 가능 함수이다.
• 모든 대수적 사상 $f: X o Y$ 와 매끄러운 부분다양체 $S \to X$ 에 대해, 집합 $\big\{ L \to \text{M}_B(S,1) \mid \ell({}^pR^if_*(IC_{\overline{S}}(L))) = k \big\}$ 는 절대적인 Q-구성 가능 부분집합이다.
• 모든 경우에 대해, $^pR^if_*(IC_{\overline{S}}(L))$ 의 길이는 단순 직합합성의 수를 세며, 이러한 집합은 Q-구성 가능하다.
• 복소수에서 두 점 $\{a,b\}$ 를 제외한 경우, $\mathbb{C} \setminus \{a,b\}$ 에서의 랭크 2 국소계층에 대해 $Rj_*(L[1])$ 의 고정된 길이 집합은 $\mathbb{C}^3$ 내의 선형 및 이차 부분다양체의 합집합이며, $(2,2,2)$ 와 같은 점들과 $\{x=2, y=z\}$ 와 같은 직선을 포함한다.
• $Rj_*(L[1])$ 의 길이 점프 집합은 단순 집합에서 선형이며, $\ell(Rj_*(L[1])) \geq 6$ 는 오직 점 $(2,2,2)$ 에서만 성립한다.
• 함수 $m \mapsto \ell(Rj_!(q(L)[n]) \otimes^L_R R/m)$ 는 삼각형의 콘의 지지부 차원에 대한 귀납법을 통해 Q-구성 가능하다.