[논문 리뷰] Microlocal Perverse Sheaves

Sergei Gelfand, Robert MacPherson외 1명|ArXiv.org|2005. 09. 19.

Homotopy and Cohomology in Algebraic Topology인용 수 9

한 줄 요약

이 논문은 코탄젠트 번들의 미세국소 페르세브 sheaf를 더 단순하고 명시적인 기하적 범주에 통합하는 새로운 '융합 모스 체계' 스택을 소개한다. 라그랑주 계층에 대한 모스 이론적 구성법을 사용하여, 저자들은 미세국소 sheaf 이론의 기초적 문제를 해결한다. 구체적으로, 스택 조건을 만족하고 명백히 아벨 범주인 스택을 구성함으로써, 유도 범주를 사용하지 않고도 미세국소 페르세브 sheaf에 대한 구체적이고 기초적인 모델을 제공한다.

ABSTRACT

Microlocal perverse sheaves form a stack on the cotangent bundle of a complex manifold that is the analogue of the stack of perverse sheaves on the manifold itself. We give an embedding of the stack of microlocal perverse sheaves into a simpler stack on the cotangent bundle which we call melded Morse systems. The category of melded Morse systems is elementary, in the sense that an object is a collection of vector spaces and a collection of linear maps between them satisfying certain composition relations.

연구 동기 및 목표

• 유도 범주 $D^b(X,V)$가 미세국소 페르세브 sheaf의 기초를 이루지만, 아벨 범주가 아니며 스택 조건도 만족하지 못한다는 기초적 문제를 해결하기 위해.
• 명백히 아벨 범주이면서 스택 조건을 만족하는 새로운 기초적 범주인 '융합 모스 체계'를 구성하기 위해.
• 유도 범주를 사용하지 않고 기하학적, 비유도적 구성법을 통해 미세국소 페르세브 sheaf 스택을 이 새로운 스택에 통합하기 위해.
• 분할된 라그랑주 다양체 위의 모스 이론적 자료를 사용하여, 미세국소 페르세브 sheaf에 대한 구체적이고 계산 가능한 모델을 제공하기 위해.
• 결과로 얻어진 융합 모스 체계 스택이 유도 범주 기술의 복잡성을 피하면서도, 미세국소 페르세브 sheaf의 본질적 구조를 충분히 포괄하고 있음을 확립하기 위해.

제안 방법

• 코탄젠트 번들 $T^*X$ 위에서 '융합 모스 체계' 스택 $\operatorname{M}$를 정의한다. 여기서 객체는 복합관계를 만족하는 벡터 공간과 선형 사상의 집합으로 구성되며, 아벨 범주를 이룬다.
• 미세국소 페르세브 sheaf 스택 $\operatorname{E}$ 에서 $\operatorname{M}$ 으로의 통합 $\nu: \operatorname{E} \to \operatorname{M}$ 를 구성한다. 이는 미세국소화 함수자 $\mu$ 와의 복합 $\nu \circ \mu$ 를 통해 이루어진다.
• 특성 다양체 $\Lambda \subset T^*X$ 에 대해 모스 이론을 적용하며, $\Lambda$ 는 $\Lambda^0$ (비특이 부분), $\Lambda^1$ (codimension 1 계층), $\Lambda^2$ (높은 codimension 계층) 로 분할된다. 이에 따라 $\operatorname{M}$ 의 자료를 정의한다.
• 특성 다양체의 열린 부분집합 $V = (T^*X)^0 = T^*X - \Lambda^1 - \Lambda^2$ 에 대해, $\Lambda^0$ 와의 단일 점에서의 교차가 비특이적이며, 전단사 조건을 만족하는 함수 $f$ 를 사용하여 페르세브 sheaf $\mathcal{P}$ 의 투사 $f_*\mathcal{P}$ 를 통해 $\operatorname{M}(V)$ 를 정의한다.
• 특성 다양체의 열린 부분집합 $V = (T^*X)^1 = T^*X - \Lambda^2$ 에 대해, $\Lambda^1$ 과의 단일 교차점을 갖는 함수로 구성의 확장을 수행한다. 이 경우 다중 임계값을 다루기 위해 편향화 및 국소화된 투사 방법을 사용한다.
• 스택 조건을 만족하고, $\nu$ 가 완전 충실함을 증명하기 위해, 프리드 정리를 사용하여, 각 기능의 스태크에서의 동치관계와 붙임성 성질을 확립한다.

실험 결과

연구 질문

• RQ1 유도 범주를 사용하지 않고, 아벨 범주이자 스택 조건을 만족하는 스택에 미세국소 페르세브 sheaf 를 통합할 수 있는가?
• RQ2 특성 다양체 $\Lambda \subset T^*X$ 에서의 모스 이론적 자료는 어떻게 사용되어, 미세국소 페르세브 sheaf 에 대한 구체적이고 기하학적인 모델을 구성할 수 있는가?
• RQ3 특성 다양체 $\Lambda$ 가 $\Lambda^0$, $\Lambda^1$, $\Lambda^2$ 로 분할되는 것이 새로운 스택 $\operatorname{M}$ 의 구조를 정의하는 데 어떤 역할을 하는가?
• RQ4 미세국소 페르세브 sheaf 스택은 기하학적 구성법을 통해 더 단순하고 기초적인 벡터 공간과 선형 사상의 범주로부터 재구성될 수 있는가?
• RQ5 미세국소 페르세브 sheaf 가 융합 모스 체계 스택에 통합될 때, 그 통합이 완전 충실하고 스택 구조와 호환되는가?

주요 결과

• 융합 모스 체계 스택 $\operatorname{M}$ 은 명백히 아벨 범주이면서 $T^*X$ 위에서 스택을 이룬다. 이는 기존의 유도 범주에서의 비아벨성과 스택 조건 위반 문제를 해결한다.
• 미세국소 페르세브 sheaf 스택 $\operatorname{E}$ 에서 $\operatorname{M}$ 으로의 통합 $\nu: \operatorname{E} \to \operatorname{M}$ 는 완전 충실하다. 이는 유도 범주를 사용하지 않고도 미세국소 페르세브 sheaf 에 대한 구체적이고 비유도적 모델을 제공한다.
• 스택 $\operatorname{M}$ 의 구성은 라그랑주 계층 $\Lambda^0$ 과 $\Lambda^1$ 에 대해 제어된 전단사 조건을 만족하는 함수에 의한 페르세브 sheaf 의 모스 이론적 투사에 기반하며, 이는 sheaf 자료의 기하학적 실현을 가능하게 한다.
• 저자들은 스택의 사상 $\Theta: \mathcal{F} \to \mathcal{F}'$ 가 약한 동치임과 동시에, 각 스태크에서 유도된 함자 $\Theta_x: \mathcal{F}_x \to \mathcal{F}'_x$ 가 동치임이 서로 동치임을 증명하였다. 이는 통합의 완전 충실성을 증명하는 데 핵심적인 기술적 도구이다.
• 이 구성은 개방 사상에 의한 역상과 호환되며, 스택 $\operatorname{M}$ 이 이러한 편환에 대해 불변임을 보여, 기하학적 연산과의 호환성을 확보한다.
• 논문은 융합 모스 체계의 범주가 기초적이라는 점을 입증한다. 그 객체들은 복합관계를 만족하는 벡터 공간과 선형 사상의 집합으로 구성되어 있어, 계산과 향후 대수적 분석에 접근 가능하다.