[논문 리뷰] Flat G-bundles and regular strata for reductive groups

Christopher L. Bremer, Daniel S. Sage|arXiv (Cornell University)|2013. 09. 24.

Advanced Algebra and Geometry참고 문헌 18인용 수 8

한 줄 요약

이 논문은 리 대수적 곡선 위의 평탄한 $G$-bundle를 정규 스트라타—추가로 정규 준단순성 조건을 갖는 기본 스트라타—를 통해 기하학적 프레임워크로 분류한다. 이는 루프 군 $\hat{G}$ 안의 최대 아핀 토러스로의 구조의 축소를 통해 매끄러운 모듈리 공간을 구성하는 데 기여한다. 주요 결과는 이러한 배럴의 모듈리 공간이 $\mathbf{A}(S,r)/\hat{W}_S$ 와 동형임을 보여주며, 여기서 $\mathbf{A}(S,r)$ 는 $S$-형식 유형을 매개변수화하고 $\hat{W}_S$ 는 토러스 $S$ 의 아핀 웨일 군이다. 이는 해석적 연결과 등형수렴 변형에 관한 고전 결과를 일반화한다.

ABSTRACT

Let LG be an algebraic loop group associated to a reductive group G. A fundamental stratum is a triple consisting of a point x in the Bruhat-Tits building of LG, a nonnegative real number r, and a character of the corresponding depth r Moy-Prasad subgroup that satisfies a non-degeneracy condition. The authors have shown in previous work how to associate a fundamental stratum to a formal flat G-bundle and used this theory to define its slope. In this paper, the authors study fundamental strata that satisfy an additional regular semisimplicity condition. Flat G-bundles that contain regular strata have a natural reduction of structure to a (not necessarily split) maximal torus in LG, and the authors use this property to compute the corresponding moduli spaces. This theory generalizes a natural condition on algebraic connections (the GL_n case), which plays an important role in the global analysis of meromorphic connections and isomonodromic deformations.

연구 동기 및 목표

• 평탄한 $G$-bundle의 정규 스트라타 이론을 $\mathrm{GL}_n$ 에서 임의의 재수정된 군 $G$ 로 일반화하여, 해석적 연결과 등형수렴 변형의 프레임워크를 확장한다.
• 정규 스트라타를 포함하는 평탄한 $G$-bundle의 기하학적 분류를 보여주기 위해, 이들이 루프 군 $\hat{G}$ 안의 (비분할일 수 있는) 최대 아핀 토러스로 자연스러운 구조 축소를 갖는다는 것을 입증한다.
• 형식 유형의 다양체 $\mathbf{A}(S,r)$ 와 그 아핀 웨일 군 $\hat{W}_S$ 에 의한 몫을 사용하여 이러한 배럴의 모듈리 공간을 계산한다.
• 프레임이 없는 모듈리 공간으로 가는 몫 사상에 의해, 프레임이 있는 카테고리 $\mathcal{C}^\mathrm{fr}_x(S,r)$ 를 통한 모듈리 공간의 해소를 제공한다.

제안 방법

• 최대 아핀 토러스 $S \subset \hat{G}$ 에 의한 그룹화된 의미에서 중심화된 기본 스트라타로 정규 스트라타의 개념을 도입하며, 이는 $\mathrm{GL}_n$ 의 경우를 일반화한다.
• Moy-Prasad 필터링과 관련 리 대수를 사용하여 깊이 $r$ 의 스트라타와 그 비퇴화 조건을 정의한다.
• 깊이 $r$ 의 $S$-형식 유형의 다양체 $\mathbf{A}(S,r)$ 를 구성하며, 이는 리 대수 $S$ 안의 형식 연결 행렬을 고차항들 모odulo로 매개변수화한다.
• 아핀 브라우트 분해와 $\hat{G}_{x,r}$ 를 통한 게이지 변환을 적용하여 연결을 $\mathfrak{s}\frac{dz}{z}$ 형식으로 변환함으로써 정규 준단순성을 확보한다.
• $\mathbf{A}(S,r)$ 에서의 $N(S)$ 작용과 사영 $\rho_{\mathfrak{s}}$ 를 사용하여 서로 다른 형식 유형을 연결하고, $\mathbf{A}(S,r)/\hat{W}_S$ 를 모듈리 공간으로 정의한다.
• 프레임 해제 함자 $\mathcal{C}^\mathrm{fr}_x(S,r) \to \mathcal{C}(S,r)$ 가 정확히 몫 사상 $\mathbf{A}(S,r) \to \mathbf{A}(S,r)/\hat{W}_S$ 와 대응됨을 보여주며, 이는 프레임이 있는 카테고리가 프레임이 없는 모듈리 공간의 해소임을 입증한다.

실험 결과

연구 질문

• RQ1 평탄한 $G$-bundle의 맥락에서 정규 스트라타 개념을 $\mathrm{GL}_n$ 에서 임의의 재수정된 군 $G$ 로 어떻게 일반화할 수 있는가?
• RQ2 정규 스트라타를 포함하는 평탄한 $G$-bundle의 모듈리 공간의 기하학적 구조는 무엇인가?
• RQ3 루프 군 $\hat{G}$ 안의 최대 아핀 토러스 $S \subset \hat{G}$ 로의 구조 축소는 이러한 배럴의 분류에 어떻게 영향을 미치는가?
• RQ4 아핀 웨일 군 $\hat{W}_S$ 는 형식 유형의 매개변수화와 모듈리 공간의 구성에서 어떤 역할을 하는가?
• RQ5 프레임이 있는 모듈리 카테고리 $\mathcal{C}^\mathrm{fr}_x(S,r)$ 는 프레임이 없는 모듈리 공간 $\mathcal{C}(S,r)$ 와 어떻게 관련되어 있는가?

주요 결과

• 정규 스트라타를 포함하는 평탄한 $G$-bundle의 모듈리 공간은 $\mathbf{A}(S,r)/\hat{W}_S$ 와 동형이며, 여기서 $\mathbf{A}(S,r)$ 는 깊이 $r$ 의 $S$-형식 유형의 다양체이다.
• 정규 스트라타를 포함하는 모든 평탄한 $G$-bundle는 $\mathfrak{s}\frac{dz}{z}$ 형식의 게이지 동치 표현을 갖는다. 여기서 $\mathfrak{s} = \operatorname{Lie}(S)$ 이며, 이는 최대 아핀 토러스로의 축소를 확인한다.
• 아핀 웨일 군 $\hat{W}_S$ 가 $\mathbf{A}(S,r)$ 에 작용함으로써 몫이 올바른 모듈리 공간으로 실현되며, $N(S)$ 작용은 형식 유형 위에 군 작용을 유도한다.
• 프레임 해제 함자 $\mathcal{C}^\mathrm{fr}_x(S,r) \to \mathcal{C}(S,r)$ 는 정확히 몫 사상 $\mathbf{A}(S,r) \to \mathbf{A}(S,r)/\hat{W}_S$ 와 대응되며, 이는 프레임이 있는 카테고리가 프레임이 없는 모듈리 공간의 해소임을 보여준다.
• $r > 0$ 이나 $r = 0$ 이면서 $H_x = G$ 인 경우, 모듈리 공간 $\mathcal{C}(S,r)$ 는 매끄럽고, 형식 유형 다양체의 몫을 통해 기하학적으로 구성된다.
• 이 이론은 이전의 등형수렴 변형과 연결의 모듈리에 관한 결과들을 통합하고 일반화하며, 특히 Boalch 와 Frenkel-Gross 의 구성들을 임의의 재수정된 군으로 확장한다.