Centrala begrepp
혼합 특성을 지닌 기하학적 국소 Langlands 프로그램에서 중요한 역할을 하는 $B_{\mathrm{dR}}^+$-아핀 그라스만يان은, 환원 그룹 G에 대해 에탈 뭉치화(또는 동등하게 v-뭉치화)로 정의될 수 있습니다. 본 논문에서는 대수화 및 근사 기법과 Grothendieck-Serre 추측의 알려진 경우들을 결합하여 $B_{\mathrm{dR}}^+$-아핀 그라스만يان의 경우 해석적 위상만으로도 이 뭉치화에 충분함을 보입니다. 즉, $B_{\mathrm{dR}}^+$-아핀 그라스만يان이 앞서 언급한 presheaf quotient LG/L^+G의 해석적 뭉치화와 일치함을 보입니다.
Sammanfattning
개요
본 연구 논문은 혼합 특성을 지닌 기하학적 국소 Langlands 프로그램에서 중요한 역할을 하는 $B_{\mathrm{dR}}^+$-아핀 그라스만يان의 위상적 특성에 대해 다룹니다. 특히, 본 논문은 $B_{\mathrm{dR}}^+$-아핀 그라스만يان이 presheaf quotient LG/L^+G의 해석적 뭉치화와 일치함을 보이는 것을 목표로 합니다.
주요 내용
1. $B_{\mathrm{dR}}^+$-아핀 그라스만يان
- 환원 그룹 G에 대해, Beilinson–Drinfeld 아핀 그라스만يان GrG는 기하학적 Langlands 프로그램 및 환원 그룹과 그들의 torsors를 특징으로 하는 다른 분야에서 중요한 역할을 합니다.
- Scholze는 그의 Berkeley 강의에서 Beilinson–Drinfeld의 정의를 당시 새롭게 등장한 기하학적 국소 Langlands 프로그램에 적용했으며, 이후 Fargues와 함께 이 프로그램을 발전시켰습니다.
- $B_{\mathrm{dR}}^+$-아핀 그라스만يان Gr^B^+_{dR} G는 perfectoid OK-대수 쌍 (A, A^+)의 범주에 대한 함수로 정의됩니다.
- 본 논문에서는 Beilinson–Drinfeld 아핀 그라스만يان과의 비교를 위해 K의 특성이 p>0인 경우를 배제하지 않지만, 이 경우는 앞서 검토한 Beilinson–Drinfeld 아핀 그라스만يان의 설정과 비교하여 새로운 내용을 제공하지 않습니다.
2. 모듈러 해석
- $B_{\mathrm{dR}}^+$-아핀 그라스만يان의 모듈러 해석은 이전 연구에서 제시되었지만, 본 논문에서는 이에 대한 약간 다른 주장을 제시합니다.
- 명제 2.1: 비아르키메데스 국소체 K와 K 또는 OK 위에 정의된 부드러운 아핀 군 스킴 G에 대해, (A, A^+)가 perfectoid OK-대수 쌍(G가 K 위에서만 정의된 경우 A가 K-대수가 되도록)이라고 하면, 다음과 같은 functorial 모듈러 해석을 얻습니다.
- Gr^B^+{dR} G(A) = {(E, ι) | E는 B^+{dR}(A) 위의 G-torsor, ι∈E(B_{dR}(A))는 B_{dR}(A) 위의 자명화}/〜。
- 또한, Gr^B^+_{dR} G는 v-위상에 대한 뭉치이며, presheaf quotient LG/L^+G를 E가 자명한 torsor인 쌍 (E, ι)를 파라미터화하는 부분함수로 포함합니다.
3. 해석적 위상의 충분성
- 본 논문의 주요 결과는 $B_{\mathrm{dR}}^+$-아핀 그라스만يان을 형성하는 데 있어 해석적 뭉치화로 충분하다는 것입니다. 이는 [BČ22, Section 2]의 대수화 및 근사 기법과 Grothendieck-Serre 추측의 이산 값매김환 경우에 의존합니다.
- 정리 3.1: 비아르키메데스 국소체 K와 §1과 같이 K 또는 OK 위에 정의된 환원 군 스킴 G에 대해, $B_{\mathrm{dR}}^+$-아핀 그라스만يان Gr^B^+_{dR} G는 perfectoid OK-대수 쌍 (A, A^+)에 대한 해석적 위상과 관련하여 presheaf quotient LG/L^+G의 뭉치화입니다.
- 해석적 위상은 덮개 {(A, A^+) → (Aj, A^+_j)} _{j∈J}가 사상 Spa(Aj, A^+_j) → Spa(A, A^+)가 공동으로 전사적인 열린 몰입이 되는 것으로 특징지어지는 위상입니다.
결론
본 논문에서는 $B_{\mathrm{dR}}^+$-아핀 그라스만يان의 경우 해석적 위상만으로도 뭉치화에 충분함을 보였습니다. 이는 혼합 특성을 지닌 기하학적 국소 Langlands 프로그램 연구에 중요한 기여를 합니다.