On the stability of vanishing cycles of étale sheaves in positive characteristic

기술 요약: 양의 표수에서 에탈 층(étale sheaves)의 소실 순환(vanishing cycles)의 안정성에 관하여

문제 제기
복소 해석적 맥락에서 미로컬 층(microlocal sheaves) 이론(Sato, Kashiware, Schapira에 의해 발전됨)은 "횡단 테스트 함수"(transverse test functions, ttfun)의 선택에 따른 소실 순환의 안정성에 크게 의존한다. 구체적으로, 특이 지지 집합($SS F$)의 매끄러운 점에서의 마이크로 스톡(microstalk)은 잘 정의되는데, 이는 소실 순환 함자 $\phi_f(F)_x$가 (비정준적 동형 사상까지는) 테스트 함수 $f$의 선택에 독립적이기 때문이다.

양의 표수 대수 기하학에서는 야생 분기(wild ramification)로 인해 이러한 안정성이 완전히 실패한다. 본 논문은 소실 순환의 차원 $\phi_f(F)_x$가 비록 $SS F$에 횡단적인 함수라 할지라도, 선택된 특정 테스트 함수에 따라 크게 달라질 수 있음을 보여준다. 이러한 민감성은 양의 표수 환경에서 직접적인 마이크로 스톡의 정의를 방해한다. 이 논문이 다루는 핵심 문제는 다음과 같다: 양의 표수에서 소실 순환은 테스트 함수에 어느 정도 의존하며, 안정적인 미로컬 데이터의 개념을 회복할 수 있는가?

방법론
저자는 대수 기하학, 표현론, 층 이론 기술의 조합을 사용한다:

1. Deligne-Laumon 정리: 본 논문은 소실 순환의 총 차원을 스완 지표(Swan conductor)와 연결하는 정리를 활용한다. 이를 통해 소실 순환의 안정성을 곡선으로의 제한에 대한 스완 지표의 안정성으로 변환한다.
2. 특이점의 기하학적 해소: 스완 지표를 분석하기 위해, 저자는 테스트 함수의 영점 집합과 분기 다이버(ramification divisor)의 교차를 연구한다. 여기에는 블로우업(blow-ups)을 통한 명시적인 특이점 해소 과정이 포함된다.
3. 블로우업 경계 및 불변량: 저자는 층의 "깊이(depth)"와 관련된 불변량을 도입하고 경계를 설정한다. 주요 도구는 다음과 같다:
   • 스완 지표(Swan conductor): 교차수와 표현론적 데이터(갈루아 군의 여과)를 통한 계산.
   • 블로우업 경계(Blow-up bounds): 테스트 함수로 정의된 곡선과 갈루아 작용의 고정점 궤적 사이의 상호작용을 해소하는 데 필요한 블로우업 횟수의 추정.
   • 데데킨트 코디퍼런트(Dedekind codifferents): 갈루아 피복(Galois coverings)의 맥락에서 특이점을 해소하는 데 필요한 블우업 횟수를 제한하는 데 사용됨 (Bernd Ulrich의 결과 인용, Proposition 3.8).
4. 미로컬 정의: 저자는 한 점에서의 층의 **깊이(depth)**를, $N$번째 제트(jet)까지 일치하는 모든 테스트 함수 가족에 대해 소실 순환이 로컬 시스템(local system)이 되게 하는 최소 정수 $N$으로 정의한다. 또한 $\mu_c$ 층($모든 곳에서 깊이가 2$인 층)과 $\mu_{cs}$ 층(매끄러운 풀백에 대해 안정적인 층)을 도입한다.

주요 기여 및 결과

1. 일반적인 안정성의 실패:
   본 논문은 아르틴-슈리어(Artin-Schreier) 층에 대해 양의 표수에서 소실 순환의 차원이 테스트 함수에 의존함을 보여주는 명시적인 반례(Example 2.7 및 2.8)를 제공한다. 구체적으로, 함수 $f_s = \frac{y}{1+x} + s x^N$에 대하여, $N$이 작을 때 $\phi_{f_s}(F)$의 차원은 $s$에 따라 변하지만, $N$이 충분히 크면 안정화된다. 이는 소실 순환이 테스트 함수의 유한한 제트에만 의존함을 확인시켜 준다.

2. 곡면에서의 일반적 유한 깊이 (Theorem 1.8 / Theorem 4.11):
   주요 결과는 표수 $p > 2$인 대수적으로 닫힌 체 위의 매끄러운 곡면 위에서 층의 깊이가 **일반적으로 유한(generically finite)**함을 입증한다.

   • $V \subset X$인 자리스키 조밀 열린 집합과 $S \subset SS(F|_V)$인 자리스키 조답 열린 집합이 존재하여, 모든 $(x, \xi) \in S$에 대해 깊이는 명시적인 정수 $N$에 의해 유계된다.
   • 경계값 $N$은 테스트 함수와 분기 다이버의 교차수, 갈루아 군의 차수, 그리고 갈루아 작용에 의한 고정점 아이디얼의 "두께"($ep(I)$)에 의해 주어진다.
   • 만약 층이 $x$ 근처에서 국소 상수(locally constant)라면, 깊이는 2이다.

3. 고차원에서의 추측:
   저자는 이 유한 깊이 성질이 곡면뿐만 아니라 임의의 차원을 가진 매끄러운 다양체에서도 성립할 것이라고 추측한다 (Conjecture 1.10).

4. $\mu_c$ 및 $\mu_{cs}$ 층의 클래스:
   저자는 가장 강력한 안정성을 가진 층의 클래스를 정의한다:

   • $\mu_c$ 층: 특이 지지 집합의 모든 매끄러운 점에서의 깊이가 2인 층.
   • $\mu_{cs}$ 층: 임의의 매끄러운 풀백(smooth pullback)에 대해서도 $\mu_c$ 상태를 유지하는 층.
   • 주요 정리 (Theorem 1.11):
     • 테임(tame) 단순 노멀 교차 층(특히 단순 노멀 교차 다이버의 보집합 위에서의 테임 로컬 시스템 $j_!L$)은 $\mu_{cs}$이다.
     • $\mu_c$ 층의 경우, 소실 순환은 테스트 함수에 대해 (동형 사상까지는) 독립적이며, 이를 통해 **마이크로 스톡(microstalk)**을 정의할 수 있다.
     • $\mu_{cs}$ 성질은 **라돈 변환(Radon transform)**에 의해 보존되며, 마이크로 스톡은 이 변환에 대해 불변이다.

5. 함자성 및 안정성:
   저자는 깊이가 구별된 삼각형(distinguished triangles, Lemma 5.13)과 라돈 변환과 유사한 특정 적절한 푸시포워드(proper pushforward, Proposition 5.10) 하에서 잘 작동함을 입증한다. 또한 테임 층은 라돈 변환에 대해 안정적이지 않지만(Example 5.18), 더 넓은 범위인 $\mu_{cs}$ 층은 안정적임을 명확히 한다.

의의 및 주장
본 논문은 양의 표수에서 미로컬 층 이론을 위한 첫 번째 체계적인 단계라고 주장한다.

• 동기: 야생 분기로 인한 고전적 미로컬 안정성의 결여 문제를 해결한다.
• 이론적 틀: 소실 순환이 테스트 함수의 유한한 제트에만 의존함을 증명함으로써, 미로컬 데이터가 단순히 코탄젠트 번들(cotangent bundle)이 아닌 "높은 차수의 제트 번들(high jet bundle)" 위에서 정의될 수 있음을 시사한다.
• 강건한 클래스: $\mu_{cs}$ 층의 식별은 마이크로 스톡의 불변성과 같은 핵심 속성을 보존함으로써 복소 해석적 환경과 유사하게 행동하는 대상의 클래스를 제공한다.
• 한계: 저자는 현재 유한 깊이 결과가 곡면에 대해서만 증명되었으며, 명시적인 경계값이 유한하기는 하지만 최적(sharp)은 아닐 수 있다고 겸허하게 언급한다 (Example 4.12). 이 논문은 모든 차원의 모든 층에 대한 문제를 해결했다고 주장하는 것이 아니라, 곡면에서의 일반적인 경우를 확립하고 이를 통한 일반론의 경로를 제안한다.

요약하자면, 본 논문은 야생 분기가 테스트 함수에 대한 소실 순환의 엄격한 독립성을 파괴하지만, "유한한 제트" 수준의 안정성은 존재한다고 주장한다. 이를 통해 특정하고 잘 정의된 층의 클래스($\mu_{cs}$)에 대해 의미 있는 미로컬 이론을 정의할 수 있으며, 높은 차수의 제트 번들을 통한 일반적인 이론으로 나아가는 길을 제시한다.