Characteristic cycles of constructible sheaves and microlocalization

기술 요약: 구성 가능한 층의 특성 사이클과 미분 국소화(Microlocalization)

문제 제기
표수 $p > 0$인 체 $k$ 위의 매끄러운 스킴 $X$에 대한 구성 가능한 층(constructible sheaf) $F$에 대하여, 특이 지지 집합(singular support) $SSF$와 특성 사이클(characteristic cycle) $CCF$는 공분동 번들$T^*X$위에서 잘 정의된다([2], [16]에 근거함). 그러나$D$-모듈 이론에서 특이 지지 집합과 특성 사이클이 미분 연산자 환(ring of microdifferential operators) 위의 모듈로부터 발생하는 것과 달리, 대수적 설정에서는 이러한 불변량들을 생성하는 대상이 $T^*X$ 위에 직접적으로 구축되어 있지 않다.

초월적(transcendental) 설정에서, 카시와라(Kashiwara)와 샤피라(Schapira) [11]는 공분동 번들 위에서 정의된 미분 국소화(microlocalization) $\mu\text{Hom}(F, F)$를 사용하여 특이 지지 집합과 특성 사이클을 구축하였다. 본 논문은 미분 국소화를 이용한 이와 유사한 구축 방식이 양의 표수를 갖는 체 위의 구성 가능한 층에 관한 대수적 설정에서도 작동하는지 조사한다. 구체적으로, 저자는 미분 국소화의 지지 집합으로 정의된 $SS^\mu F$가 특이 지지 집합 $SSF$와 일치하는지, 그리고 이 미분 국소화로부터 유도된 코호몰로지 클래스$CC^\mu F$가 특성 사이클$CCF$의 사이클 클래스와 같은지를 묻는다.

방법론
본 논문은 베르디에(Verdier) [19]의 프레임워크를 따라 푸리에 변환(Fourier transform)의 특수화 함자(specialization functor)에 기반한 구성을 채택한다.

1. 미분 국소화 정의: 대상 $F \in D^b_{ctf}(X, \Lambda)$에 대하여, 미분 국소화 $\mu\text{Hom}(F, F)$는 접 번들 $TX$상의 특수화$\nu\text{Hom}(F, F)$의 푸리에 변환으로서$T^*X$ 위에서 정의된다. 여기서 특수화는 대각 삽입(diagonal immersion) $\delta: X \to X \times X$의 법선 번들로의 변형(deformation to the normal bundle)에 근접 순환(nearby cycles) 함수를 적용하여 얻어진다.
2. 불변량의 정의:
   • $SS^\mu F$는 $T^*X$ 내 $\mu\text{Hom}(F, F)$의 지지 집합으로 정의된다 (정의 2.1.1).
   • $CC^\mu F$는 평가 사상(evaluation morphism)의 수반(adjoint)과 미분 국소화 함수를 통해 구축된 $H^0_{SS^\mu F}(T^*X, e^\vee_* K_X)$의 코호몰로지 클래스로 정의된다 (정의 2.1.4).
3. 기술적 도구: 분석은 푸리에 변환(Katz–Laumon [12])의 성질, 특수화 및 근접 순환이 적절한 푸시포워드(proper push-forward) 및 매끄러운 풀백(smooth pull-back)과 호환되는 방식, 그리고 대각 삽입과의 호환성에 크게 의존한다. 저자는 새로 정의된 불변량들을 기성 특성 사이클과 비교하기 위해 그로텐디크–오그–샤파레비치(Grothendieck–Ogg–Shafarevich) 공식과 밀너(Milnor) 공식을 활용한다.

주요 기여 및 결과
본 논문은 미분 국소화 구축이 표준적인 특이 지지 집합과 특성 사이클을 회복하는지에 대한 질문에 대해 부분적인 긍정적 답변을 제공한다.

• 차원 1 (곡선): 명제 2.5.1에서 저자는 $\dim X = 1$일 때 $CC^\mu F$가 $CCF$의 사이클 클래스와 같음을 증명한다. 이 증명은 곡선 상의 타만(tamely) 분기 층에 대한 명시적 계산(따름정리 2.2.5)을 포함하며, 일반적인 경우를 타만 분기 경우로 환원하기 위해 카츠-가버(Katz–Gabber) 정리 [13]에 기반한 전역적 논증을 사용한다. 등식은 $CC^\mu$의 인덱스 공식과 그로텐디크–오그–샤파레비치 공식을 비교함으로써 검증된다.
• 일반 차원 (조건부): 일반적인 $X$에 대하여, 명제 2.5.2는 조건부 결과를 확립한다: 만약 포함 관계 $SS^\mu F \subset SSF$가 성립한다면, $CC^\mu F$는 $CCF$의 사이클 클래스와 같다. 이 증명은 레프셰츠 펜슬(Lefschetz pencil)과 $CC^\mu$의 적절한 푸시포워드에 대한 호환성을 사용하여 문제를 사영 스킴(projective scheme)의 경우로 환원한다. 그 후 밀너 공식을 사용하여 $\dim X$ 차원의 기약 성분들의 계수를 비교한다.
• 와일드(Wild) 분기 예시: 섹션 2.6은 곡선 상의 와일드 분기 아르틴-슈리어(Artin–Schreier) 층에 대한 독립적이고 명시적인 $CC^\mu F$ 계산을 제공한다. 결과값인 $CC^\mu F = -\text{cl}([T^*_X X] + 2 \cdot [T^*_0 X])$는 이러한 구축 방식이 와일드 분기 상황에서도 작동함을 보여주며, 이는 이러한 구축이 실패할 것이라고 했던 저자의 이전 가정(2004년 Ahmed Abbes와 함께 했던)을 바로잡는다.

의의 및 주장
본 논문은 카시와라-샤피라의 초월적 미분 국소 분석과 양의 표수를 갖는 구성 가능한 층의 대수적 이론 사이의 가교를 구축한다고 주장한다. 미분 국소적 지지 집합과 특이 지지 집합의 완전한 동치($SS^\mu F = SSF$)는 여전히 미해결 과제로 남아 있으나(질문 2.1.9.1), 본 논문은 미분 국소화 구축이 차원 1에서 올바른 특성 사이클을 회복하며, 미분 국소적 지지 집합이 특이 지지 집합에 포함된다는 가정하에 이를 수행함을 보여준다.

저자는 블로업(blow-up)을 사용하는 대안적 접근 방식([1] 참조)의 성공 때문에 이 구축 방식이 실행 불가능할 것으로 생각되었으나, 섹션 2.6의 명시적 계산을 통해 미분 국소화 접근법이 실행 가능하며 와일드 분기 층에 대해서도 비자명한 결과를 낸다는 점을 밝혀냈다. 이 연구는 미분 국소화 함수가 구성 가능한 층의 특성 사이클을 정의하기 위한 견고한 프레임워크를 제공하며, 잠재적으로 초월적 이론과 통합된 관점을 제시할 수 있음을 시사한다. 또한, 유사한 질문들이 D. Cisinski, A. Khan, E. Yang에 의해 독립적으로 고려되었음을 언급한다.