Arithmetic Kashiwara Regularity and Orbit Classification for Filtered Strongly Equivariant $\mathcal{D}^{\dagger}$-Modules

기술 요약: 여과된 강한 가환 $D^\dagger$-모듈에 대한 산술적 카시와라 정칙성 및 궤도 분류

문제 정의
본 논문은 플래그 다양체 상의 가환 $D$-모듈에 대한 고전적인 카시와라 정칙성 및 궤도 분류 정리의 산술적 대응물을 다룬다. 복소수 체계의 고전적 설정에서, 가환 코히어런트 $D$-모듈은 정칙 홀로노믹(regular holonomic)하며, 단순 대상(simple objects)은 군의 궤도와 가환 기약 국소 계(irreducible equivariant local system)의 쌍으로 분류된다. 본 연구의 목표는 혼합 특수 $(0, p)$를 갖는 완전 이산 가치 환(complete discrete valuation ring) 위의 형식 플래그 다양체(formal flag varieties) 상의 베르톨로(Berthelot) 산술 미분 연산자($D^\dagger$-modules)에 대해 이에 대응하는 이론을 구축하는 것이다.

중심적인 난제는 산술적 맥락에서 "홀로노미시티(holonomicity)"만으로는 "정칙 홀로노미시티(regular holonomicity)"를 대체하기에 불충분하다는 점이다. 6가지 연산(six operations)에 대한 안정 범주(stable category)는 과잉 홀로노믹(overholonomic) 모듈들의 범주이다. 또한, 고전적인 증명은 군 작용이 무한 소 대칭(infinitesimal symmetries)과 호환됨(강한 가환성, strong equivariance)을 이용하여 특성 다양체(characteristic variety)가 궤도의 법공선 번들(conormal bundle) 안에 놓이도록 강제하는 데 의존한다. 산술적 맥락에서 특성 다양체는 유한 레벨 모델(finite-level models)을 통해 정의되므로, 이러한 유한 레벨에서 가시적인 정밀한 가환성의 개념이 필요하다.

방법론
저자는 코히어런트 $D^\dagger$-모듈을 위한 **여과된 강한 가환성(filtered strong equivariance)**에 기반한 프레임워크를 개발한다. 방법론은 다음과 같은 논리적 단계로 진행된다:

1. 여과된 강한 가환성: 본 논문은 약한 선형화(weak linearization, 전역 대칭)와 두 가지 더 강력한 조건을 결합한 $K$-가환성 정의를 도입한다:

   • 무한 소 호환성 (SE1): 선형화에 의해 유도된 무한 소 작용이 $D^\dagger$ 내부의 기본 벡터장(fundamental vector fields)의 작용과 일치해야 한다.
   • 여과된 유한 레벨 실현 가능성 (SE2): 이 일치는 선량한 여과(good filtrations)에 대하여 충분히 큰 선량한 유한 레벨 모델($\widehat{\mathcal{D}}^{(m)}$) 상에서 실현되어야 한다. 이는 기본 벡터장의 주 심볼(principal symbols)이 잘 정의되고 관련 graded module 상에서 소멸함을 보장한다.

2. 미크로로컬 분석 (모멘트 맵 포함 관계): 저자는 유한 레벨 모델을 사용하여 산술적 모멘트 맵 $\mu_K: T^*X_s \to \mathfrak{k}_s^\vee$를 구성한다. 핵심적인 미크로로컬 논증은 모든 여과된 강한 가환 모듈 $M$에 대하여, 모든 기본 벡터장의 주 심볼이 $M$의 특성 다양체 $\text{Car}(M)$ 상에서 소멸함을 보여준다. 결과적으로 $\text{Car}(M)$은 모멘트 맵의 영 파이버(zero fiber)에 포함되며, 궤도 분리성(orbit separability) 가정 하에 이는 $K_s$-궤도의 법공선 번들들의 합집합과 같다.

3. 홀로노미시티 및 과잉 홀로노미시티:

   • 홀로노미시티: 공선 포함 관계와 유한한 궤도 수 가정, 그리고 산술적 베른슈타인 부등식(arithmetic Bernstein inequality)을 결합하여 $\dim \text{Car}(M) = \dim X_s$임을 도출함으로써 $M$이 홀로노믹임을 증명한다. 이 결과는 프로베니우스 구조를 가정하지 않고도 성립한다.
   • 기하학적 과잉 홀로노미시티: 프로베니우스 구조가 존재하는 경우, 저자는 매끄러운 사영 형식 스킴(smooth projective formal schemes)에 대한 베르톨로의 홀로노미시티-안정성 추측에 대한 카로(Caro)의 해법을 인용한다. 이를 통해 프로베니우스 홀로노미시티를 프로베니우스 과잉 홀로노미시티로 격상시킨다. 위이(Huyghe)–슈미트(Schmidt)의 기저 변환 관례와 결합하여, 기하학적 과잉 홀로노미시티를 얻는다.

4. 궤도 데비사주(Orbital Devissage): 대상들이 과잉 홀로노믹 심장부(overholonomic heart)에 배치되면, 저자는 가환 궤도 데비사주를 수행한다. 열린 궤도로 제한하고 산술적 중간 확장($j_{!+}$)을 사용함으로써, 단순 대상들을 단일 궤도에 지지되는 조각들로 분해한다.

주요 기여 및 결과

• 정리 1.1 (산술적 카시와라 정칙성):

  • 모든 여과된 강한 $K$-가환 코히어런트 $D^\dagger_{X, \mathbb{Q}}$-모듈은 홀로노믹이다.
  • 모든 프로베니우스 여과된 강한 $K$-가환 코히어런트 $D^\dagger_{X, \mathbb{Q}}$-모듈은 기하학적으로 과잉 홀로노믹이다.
  • 의의: 이는 "여과된 강한" 조건이 정칙성 메커니즘임을 확립한다. 이는 대상이 사전에 과잉 홀로노믹임을 가정하는 것이 아니라, 궤도 기하학에 기초하여 대상을 홀로노믹/과잉 홀로노믹 범위로 강제한다는 것을 의미한다.

• 정리 1.2 (여과된 산술 궤도 분류):

  • 프로베니우스 여과된 강한 가환 코히어런트 $D^\dagger$-모듈 범주의 단순 대상들은 다음의 쌍 $(O, E)$로 분류된다:
    • $O$는 $X_s$ 내의 $K_s$-궤도이다.
    • $E$는 $(O, O)$ 상의 기약 $K$-가환 과잉 수렴 $F$-이소크리스탈(overconvergent $F$-isocrystal)이다.
  • 분류 사상은 열린 궤도로의 제한에 의해 주어지며, 역사상은 산술적 중간 확장 $j_{O, !+}(E)$이다.
  • 결정적으로, 이 분류의 상(image)은 중간 확장이 여과된 강한 가환 조건을 만족하는 이소크리스탈들의 허용된 영역(admissible locus, $\text{Adm}^{\Phi, \text{fstr}}_K$)으로 제한된다.

• 따름정리 1.1 (결정적 분포 대수):

  • 자명한 캐릭터(trivial character)에서의 산술적 베일린슨-번스타인 국소화(Beilinson–Bernstein localization)를 통해, 기하학적 분류는 대수적 분류로 전달된다. 결정적 분포 대수 $A_0$ 상의 단순 프로베니우스 여과된 강한 가환 유한 제시(finitely presented) 모듈들은 동일한 궤도-이소크리스탈 쌍들에 의해 분류된다.

의의 및 주장
본 논문은 "카시와라 정리의 정칙성 부분에 대한 산술적 대응물"을 제공한다고 주장한다. 주요 기여는 가환 유한 레벨 정칙성 메커니즘이다.

• 정칙성 vs 존재성: 저자는 이것이 존재성 정리가 아니라 정칙성 정리임을 명시적으로 밝힌다. 즉, 어떤 대상이 여과된 강한 조건을 만족한다면, 그것이 홀로노믹/과잉 홀로노믹 범위에 있음을 강제한다는 것을 증명하는 것이다. 이는 여과된 강한 조건이 모든 약한 가환 대상에 대해 자동적으로 성립한다고 주장하거나, 결과적인 모듈의 클래스가 궤도 지지(orbit supports)로 제한된 비가환 과잉 홀로노믹 분류로부터 얻어지는 것보다 더 크다고 주장하는 것이 아니다.
• 미크로로컬적 필연성: "여과된(filtered)"이라는 구절은 장식적인 추가가 아니라 기술적인 필수 사항이다. 베르톨로의 이론에서 특성 다양체는 유한 레벨 모델을 통해 정의된다. 강한 조건은 무한 소 대칭이 이 레벨에서 가시적이도록 보장하여, 주 심볼 논증이 작동할 수 있게 한다. 이 조건이 없다면, 거대한 코히어런트 모듈(예: $D^\dagger$ 자체)은 약한 가환성을 가질 수는 있으나 홀로노믹이 아닐 수 있다.
• 이전 연구와의 차이점: 위이(Huyghe)와 슈미트(Schmidt)는 국소 폐쇄 부분 다양체 상의 과잉 수렴 이소크리스탈을 사용하여 기약 모듈을 분류한 바 있으나, 본 논문은 이를 $K_s$-궤도 층화(stratification)로 정교화한다. 본 논문은 유한 궤도 및 궤도 분리성 가정을 따를 때, 단순 가환 대상의 지지 집합이 정확히 단일 궤도의 폐쇄(closure)이며, 그 계수가 해당 궤도 상의 가환 이소크리스탈임을 증명한다.

본 논문은 결론적으로 분류가 특정 가설에 의존함을 언급한다: 부분군 $K$는 매끄러워야 하며, 특수 섬유 상의 작용은 유한한 궤도를 가져야 하고, 무한 소 작용이 접 방향을 감지할 수 있도록 하는 궤도 분리성 조건이 성립해야 한다. 결과들은 층화된 형식 스킴 상의 여과된 강한 가환 산술 $D^\dagger$-모듈에 대한 더 넓은 이론의 모델로 제시되지만, 현재의 범위는 자명한 캐릭터에서의 형식 플래그 다양체로 제한된다.