Konsep Inti
이 논문은 형식화된 펑크처 디스크에서 제한된 변동을 갖는 G-지역 시스템 스택을 정의하고 그 속성을 연구하며, 이 스택 위의 범주 뭉치를 Rep(G) 위의 인수분해 모듈 범주에 포함시키는 방법을 제시합니다.
Abstrak
형식화된 펑크처 디스크에서 제한된 변동을 갖는 지역 시스템에 대한 인수분해를 통한 연구
이 연구 논문은 형식화된 펑크처 디스크에서 제한된 변동을 갖는 G-지역 시스템 스택을 정의하고 그 속성을 분석합니다. 저자는 이 스택 위의 범주 뭉치를 Rep(G) 위의 인수분해 모듈 범주에 포함시키는 방법을 제시합니다. 이 과정에서 패밀리의 인수분해 구조 이론을 개발하고 기본 곡선의 변화에 따른 펑터 특성을 연구합니다.
형식화된 펑크처 디스크에서 제한된 변동을 갖는 지역 시스템 스택 정의: 저자는 Betti, de Rham, etale 프레임워크에서 제한된 변동을 갖는 지역 시스템 스택을 정의합니다. 특히, de Rham 상황에서 lisse D-모듈의 하위 범주를 구별하고 QLisse(D◦)를 정의합니다.
인수분해 모듈 범주로의 포함: 논문의 핵심 결과 중 하나는 제한된 지역 기하학적 Langlands의 맥락에서 추측 1의 아날로그를 증명하는 것입니다. 즉, QCoh(LSrestrˇG(D◦))−ModCat에서 Rep(ˇG)−FactModCat로의 완전 충실 펑터 Factrestr가 존재함을 보여줍니다.
인수분해 구조 이론 개발: 저자는 곡선의 맵 f: X → Y에 대한 인수분해 구조의 풀백 개념을 개발하고 고정된 A ∈ FactAlg(RanY)에 대해 f! : A −FactMod(RanY,y) ∼−→f !(A) −FactMod(RanX,x)임을 증명합니다. 또한 이 결과가 펑터 Factrestr와 호환됨을 보여줍니다.
주요 정리 증명: 논문은 X = A1, x = 0인 경우로 축소하여 주요 정리를 증명합니다. 또한 범주 Ci가 점 ptσi로의 풀백을 통해 QCoh(LSrestrG(D◦))에 의해 작용하는 가장 단순한 경우에 대한 증명 계획을 제시합니다.