Brauer group of moduli of stable parabolic $\text{SL}(r,\mathbb{C})$ and $\text{PGL}(r,\mathbb{C})$-connections and Higgs bundles over a curve

1. 연구 배경 및 문제 제기 (Problem)

• 브라우어 군 (Brauer Group) 의 중요성: 대수적 기하학에서 브라우어 군은 스킴 (scheme) 과 대수적 스택 (algebraic stack) 의 중요한 불변량입니다. 이는 보편적 번들 (universal bundle) 의 존재에 대한 장애물을 측정하며, 유리성 (rationality) 문제와 밀접한 관련이 있습니다.
• 연구 대상: 이 논문은 콤팩트 리만 곡면 $X$ (종수 $g \ge 3$) 위에서의 안정된 파라볼릭 접속 (stable parabolic connections) 과 강한 파라볼릭 히그스 번들 (strongly parabolic Higgs bundles) 의 모듈라이 공간에 대한 브라우어 군을 계산하는 것을 목표로 합니다.
• 기존 연구와의 차이: 기존 연구 [BBS, BD] 는 파라볼릭 번들이나 로그 접속의 모듈라이 공간에 대한 브라우어 군을 다뤘으나, 본 논문은 이를 파라볼릭 접속과 히그스 번들로 확장하고, 특히 PGL(r, C)-접속의 모듈라이 스택과 그 거친 모듈라이 공간 (coarse moduli space) 사이의 관계를 규명합니다.

2. 주요 정의 및 설정 (Preliminaries & Setup)

• 기본 설정: $X$는 종수 $g \ge 3$인 콤팩트 리만 곡면, $S = \{x_1, \dots, x_n\}$는 $X$ 위의 유한한 점 집합 (파라볼릭 점) 입니다.
• 파라볼릭 데이터: $(m, \alpha)$는 각각 중복도 (multiplicities) 와 가중치 (weights) 의 시스템을 나타냅니다.
• 모듈라이 공간:
  • $M^{m, \alpha}_{pc}(r, \xi)$: 고정된 행렬식 $\xi$, 계수 $r$, 파라볼릭 데이터 $(m, \alpha)$를 갖는 안정된 파라볼릭 SL(r, C)-접속의 모듈라이 공간.
  • $M^{m, \alpha}_{Higgs}(r, \xi)$: 고정된 행렬식 $\xi$, 계수 $r$, 파라볼릭 데이터 $(m, \alpha)$를 갖는 안정된 강한 파라볼릭 SL(r, C)-히그스 번들의 모듈라이 공간.
  • $N^{m, \alpha}_{pc}(r, i)$: 위와 유사하지만 PGL(r, C)-접속의 모듈라이 스택 (topological type $i$).
• 일반적 가중치 (Generic Weights): 파라볼릭 반안정성과 안정성이 일치하는 가중치 시스템을 가정합니다 (Definition 2.5, 2.6). 이는 모듈라이 공간이 매끄럽거나 특이점이 잘 제어되도록 합니다.

3. 방법론 (Methodology)

논문은 다음과 같은 수학적 도구와 전략을 사용합니다:

1. 모듈라이 공간의 구조 분석:

   • 파라볼릭 접속의 모듈라이 공간은 로그 접속을 갖는 선다발의 모듈라이 공간으로 가는 매끄러운 사상 (smooth morphism) 의 섬유 (fiber) 로서 구성됩니다.
   • 파라볼릭 히그스 번들의 모듈라이 공간은 파라볼릭 번들의 모듈라이 공간의 코탄젠트 번들 (cotangent bundle) 의 Zariski 열린 부분집합으로 간주됩니다.

2. 코디멘션 (Codimension) 추정:

   • 모듈라이 공간에서 '안정된 파라볼릭 번들'을 기저로 갖지 않는 부분집합 (즉, 기저 번들이 안정적이지 않은 경우) 의 코디멘션을 계산합니다.
   • Harder-Narasimhan 필터링과 차원 계산을 통해 이 부분집합의 코디멘션이 2 이상임을 증명합니다 (Lemma 4.2). 이는 브라우어 군이 열린 집합의 브라우어 군과 동일함을 보장하는 핵심 단계입니다.

3. 스택과 거친 모듈라이 공간의 관계:

   • PGL(r, C)-접속의 경우, 모듈라이 스택과 거친 모듈라이 공간 사이의 차이는 유한군 $\Gamma$ (r-토션 선다발 군) 의 작용에 기인합니다.
   • $\Gamma$의 작용에 대한 고정점 (fixed point) 집합의 코디멘션을 추정하여 (Proposition 6.2, Corollary 6.4), 이 집합이 전체 공간에서 매우 작음 (코디멘션 $\ge 3$) 을 보입니다.

4. 코호몰로지 순수성 (Cohomological Purity):

   • 코디멘션이 충분히 큰 (보통 2 이상) 닫힌 부분집합을 제거해도 브라우어 군이 변하지 않는다는 성질을 활용합니다.

4. 주요 결과 (Key Results)

정리 1.1: SL(r, C)-접속과 히그스 번들의 브라우어 군

가중치 $\alpha$가 일반적 (generic) 일 때, SL(r, C)-접속과 히그스 번들의 모듈라이 공간 $M^{m, \alpha}_{pc}(r, \xi)$ 및 $M^{m, \alpha}_{Higgs}(r, \xi)$의 브라우어 군은 다음과 같은 순환군 (cyclic group) 과 동형입니다:
$$\text{Br} \cong \mathbb{Z}/\nu\mathbb{Z}$$
여기서 $\nu$는 다음 수들의 최대공약수입니다:
$$\nu = \gcd(r, d, m^1_1, m^1_2, \dots, m^{\ell_1}_1, \dots, m^{\ell_n}_n)$$
($d$는 선다발 $\xi$의 차수, $m^j_i$는 $x_i$에서의 가중치 $\alpha^i_j$에 대응하는 중복도).

• 의미: 이 결과는 파라볼릭 구조와 행렬식 조건이 모듈라이 공간의 위상적 불변량 (브라우어 군) 에 어떻게 영향을 미치는지를 정량화합니다.

정리 1.2: PGL(r, C)-접속의 스택과 거친 공간의 동형

PGL(r, C)-접속의 모듈라이 스택 $N^{m, \alpha}_{pc}(r, i)$와 그 거친 모듈라이 공간의 매끄러운 부분 $N^{m, \alpha}_{pc}(r, i)^{sm}$의 브라우어 군은 동형입니다:
$$\text{Br}\left(N^{m, \alpha}_{pc}(r, i)\right) \simeq \text{Br}\left(N^{m, \alpha}_{pc}(r, i)^{sm}\right)$$

• 의미: 이는 PGL(r, C) 모듈라이 스택의 브라우어 군을 계산할 때, 특이점을 가진 부분이나 스택의 구조적 복잡성을 무시하고 매끄러운 거친 공간의 브라우어 군만 계산해도 된다는 것을 의미합니다. 이는 [BCD] 와 [BC] 에서 번들에 대해 증명된 결과를 접속 (connections) 으로 확장한 것입니다.

5. 의의 및 기여 (Significance)

1. 범위의 확장: 기존에 파라볼릭 번들과 로그 접속에 국한되었던 브라우어 군 계산 결과를, 파라볼릭 접속과 히그스 번들이라는 더 넓은 범주로 확장했습니다.
2. 스택 이론의 적용: PGL(r, C) 모듈라이 공간의 경우, 스택 (stack) 과 거친 공간 (coarse space) 의 브라우어 군이 일치함을 증명함으로써, 복잡한 스택 구조를 가진 공간의 불변량을 계산하는 데 있어 강력한 도구를 제공했습니다.
3. 보편적 번들의 존재성: 브라우어 군의 계산은 해당 모듈라이 공간 위에 보편적 번들 (universal bundle) 이 존재하는지 여부와 그 장애물을 직접적으로 나타내므로, 모듈라이 이론의 기초적인 구조 이해에 기여합니다.
4. Hitchin 시스템과의 연결: 파라볼릭 히그스 번들과 접속은 Simpson 의 Hodge moduli space 를 통해 연결되어 있으며, 이 결과들은 비아벨 호지 이론 (non-abelian Hodge theory) 의 모듈라이 공간 구조를 더 깊이 이해하는 데 기여합니다.

요약

이 논문은 고종수 리만 곡면 위의 파라볼릭 SL(r, C) 및 PGL(r, C) 접속과 히그스 번들의 모듈라이 공간에 대해, 그 브라우어 군이 특정 정수 $\nu$에 의해 결정된 순환군임을 증명하고, PGL(r, C) 스택의 경우 그 브라우어 군이 매끄러운 거친 공간의 브라우어 군과 일치함을 보였습니다. 이는 모듈라이 공간의 위상적 성질과 보편적 번들의 존재성에 대한 중요한 통찰을 제공합니다.