Uniform stratified vanishing and equidistribution on $\mathbb{G}_m^d$

기술 요약: $\mathbb{G}_m^d$ 상의 균등 층화 소멸 및 등분포

문제 정의
본 논문은 분할된 $d$차원 토러스 $\mathbb{G}_m^d$ 위의 퍼버스 층(perverse sheaf)과 관련된 캐릭터 합(character sum)의 "나쁜" 로커스(bad loci)에 대한 균등한 상한을 설정하는 문제를 다룬다. 구체적으로, 본 논문은 층의 특성(Sawin의 의미에서)과 $\ell$ 또는 유한체의 표수에 관계없이 오직 차원 $d$와 층의 복잡도(complexity)에만 의존하는 균등 층화 일반 소멸 정리(uniform stratified generic vanishing theorem)를 증명하고자 한다.

이러한 소멸 정리는 캐릭터 $\chi$에 대해 forget-supports 사상 $R\Gamma_c(\mathbb{G}_m^d, M_\chi) \to R\Gamma(\mathbb{G}_m^d, M_\chi)$가 동형이 되지 않는 캐릭터 $\chi$의 로커스를 기술한다. Gabber–Loeser에 의해 (특이점 해소 조건하에) 이미 일반 소멸이 입증되었고, 이후 Forey–Fresán–Kowalski(FFK)에 의해 무조건적으로 입증되었으나, 해당 결과들은 유한체 크기가 커짐에 따라 유한체 캐릭터들의 개수에 대한 정량적인 균등 상한을 제공하지 못했다.

저자들은 이 캐릭터 합들에 대한 등분포 정리를, 표수가 변하는 것을 허용하면서 커지는 유한체 크기를 갖는 임의의 유한체 수열로 확장하는 것을 목표로 한다. 이전의 Katz의 결과($d=1$인 경우)나 FFK의 결과(연결된 가환 군의 경우)는 고정된 대상이 변화하는 확장체 위에서 제한되었거나, 혹은 더 높은 차원의 토러스($d \ge 2$)에 대한 균등 상한에 조건부적이었다.

방법론
증명 전략은 세 가지 주요 구성 요소인 균등한 일변수 멜린 추정(one-coordinate Mellin estimate), 차원에 대한 귀납법, 그리고 탄나키안 연역(Tannakian deduction)에 의존한다.

1. 균등한 일변수 멜린 추정:
   핵심적인 기술적 혁신은 단일 곱셈 변수에 대한 "예외적" 캐릭터 집합에 대한 정량적 상한이다. $\mathbb{G}_m^d = \mathbb{G}_m \times \mathbb{G}_m^{d-1}$로 분해함으로써, 저자들은 첫 번째 인자에 대한 캐릭터에 의해 뒤틀린(twisted) 상대적 직상 사상(relative direct image)을 분석한다.

• 그들은 localization triangle를 활용하여 forget-supports 사상의 실패를 경계 스톡(boundary stalks) $0$과$\infty$에서의 스톡과 연결한다.
• 이러한 경계 스톡들은 상대적 근방 순환 복합체(nearby-cycle complexes)의 연속적 인레시아 코호몰로지(continuous inertia cohomology)와 동일시된다.
• 인레시아 코호몰로지의 $\ell$-prime-to 소멸(부록 B)과 사상 $\lambda \mapsto \lambda_x(\tau_x)$ (여기서 $\tau_x$는 tame inertia의 위상적 생성원)의 단사성을 이용하여, 예외적 캐릭터들이 이러한 근방 순환 복합체 상의 모노드로미 고윳값(monodromy eigenvalues)에 대응함을 보인다.
• 결정적으로, 저자들은 de Jong의 alteration이나 특이점 해소에 의존하지 않고, 오직 복잡도 $cu(A)$와 차원$d$에 의해서만 결정되는 방식으로 이러한 고윳값의 개수를 제한한다. 이는 자칫 특이점 해소가 도입할 수 있는 비균등한 상수들을 피하기 위함이다.

2. 차원에 대한 귀납법:
   저자들은 $d$에 대한 귀납법을 통해 주요 정리들을 증명한다.

• 정리 1.1 (균등 점 개수): 복합체 $K$에 대하여, 멜린 비교 사상의 콘(cone)의 서포트 $\Delta(K)$의 크기는 $O(q^{n(d-1)})$로 유계된다. 귀납 단계에서는 상대적 멜린 변환을 사용하여 차원 $d$의 문제를 $d-1$로 축소한다. 비예외적 캐릭터의 경우, 문제는 저차원의 경우으로 환원되며, 예외적 캐릭터의 경우 상한은 자명하지만 복잡도에 의해 제어된다.
• 정리 1.2 (층화된 점 개수): 이 정리는 특정 코호몰로지 차수 $i$에 대해 결과를 정교화한다. 저자들은 perverse spectral sequence를 사용하여 $\mathbb{G}_m^d$ 상의 차수 $i$에서의 코호몰로지 점프를 $\mathbb{G}_m^{d-1}$ 상의 상대적 직상 층의 차수 $i$ 및 $i-1$에서의 점프와 연결한다. 이를 통해 귀납적 상한 $O(q^{n(d-i)})$가 보존되도록 한다.

3. 탄나키안 연역:
   등분포 결과(추론 1.4)는 FFK의 탄나키안 형식론을 사용하여 도출된다.

• 저자들은 unramified locus $X(M_0)$가 특정 대상 $L = M \oplus M^\vee$의 서포트 $\Delta(L)$과 관련됨을 보여줌으로써 그것이 일반적(generic)임을 확립한다(정리 1.3).
• Weyl criterion을 사용하여, Frobenius 켤레류가 탄나키안 군의 최대 컴팩트 부분군 내에서 등분포함을 보인다. 정리 1.2와 1.3으로부터 얻은 균등한 상한은 "나쁜" 캐릭터들(코호몰로지가 0이 아닌 차수에서 존재하거나 ramification이 발생하는 캐릭터들)의 수가 유한체 크기가 무한대로 갈 때 전체 캐릭터의 수에 비해 무시할 수 있는 수준임을 보장한다.

주요 기여 및 결과

• 정리 1.1 (균등 층화 일반 소멸): 모든 $d \ge 1$에 대하여, 임의의 유한체 $k$, 임의의 소수 $\ell \neq \text{char}(k)$, 그리고 유계된 복잡도 $C$를 갖는 복합체 $K$에 대하여, forget-supports 사상이 동형이 아닌 캐릭터 $\chi \in \widehat{\mathbb{G}_m^d}(k_n)$의 개수가 $\Phi_d^\Delta(C) q^{n(d-1)}$로 유계됨을 증명한다.
• 정리 1.2 (복잡도 유계 층화 점 개수): 복잡도 $C$를 갖는 퍼버스 층 $A$에 대하여, 코호몰로지 $H^i_c$ 또는 $H^i$가 0이 아닌 캐릭터의 개수는 $\Psi_d(C) q^{n(d-i)}$로 유계된다. 이는 층화된 소멸 로커스에 대한 필요한 균등 상한을 제공한다.
• 정리 1.3 (Unramified 점 개수): 산술적 반단순(arithmetically semisimple) 대상에 대하여, unramified locus의 여집합이 표수와 $\ell$에 관계없이 $O(q^{n(d-1)})$로 유계됨을 확립한다.
• 추론 1.4 (등분포): 공통의 탄나키안 모노드로미 군을 갖는 유계된 복잡도의 퍼버스 층 수열에 대한 등분포 정리를 증명한다. 유한체의 크기가 무한대로 감에 따라, 부착된 Frobenius 켤레류는 탄나키안 군의 최대 컴팩트 부분군의 켤레류 공간 내에서 등분포한다.

의의
본 논문은 FFF가 남긴 $d \ge 2$인 토러스에 대한 수평적 등분포(horizontal equidistribution)의 미해결 사례를 해결했다고 주장한다. FFF는 이러한 나쁜 로커스의 구조를 무조건적으로 확립했으나, $d \ge 2$에 대한 그들의 등분포 정리는 이 로커스들에 대한 균등 상한에 조건부적이었다. 본 논문은 이러한 상한을 제공함으로써 $\mathbb{G}_m^d$에 대한 등분포 정리를 무조건적인 것으로 만든다.

나아가, 본 결과는 Katz의 등분포 정리(원래 $d=1$인 경우)를 변화하는 유한체 수열(변화하는 표수를 포함하여)로 일반화한다. 상한의 상수들은 층의 복잡도(Sawin의 의미에서)와 차원에 의해서만 결정되며, 이는 변화하는 표수와 소수 $\ell$에 대한 균등성을 보장한다. 이러한 균등성은 특이점 해소(resolution of singularities)나 de Jong의 alteration에 의존하지 않고 달성되었으며, 이는 통상적으로 다양체의 구체적인 기하학적 성질에 의존하는 상수들과 대조된다.

따라서 본 연구는 지수 합(exponential sums)과 캐릭터 합을 변화하는 유한체 상의 가족(families)에서 분석하기 위한 견고한 프레임워크를 제공하며, 토러스에 대한 제네릭 소멸과 등분포 이론을 통합한다.