Brauer group of moduli of parabolic symplectic bundles

기술 요약: 파라볼릭 심플렉틱 번들의 모듈라이 공간의 브라우어 군(Brauer Group)

문제 정의
본 논문은 파라볼릭 심플렉틱 안정(parabolic symplectic stable) 번들의 모듈라이 공간의 매끄러운 로커스(smooth locus)에 대한 코호몰로지 브라우어 군, 즉 $Br(Y) \cong H^2_{\text{ét}}(Y, \mathbb{G}_m)_{\text{tor}}$의 계산을 다룬다. $X$를 여수(genus) $g \geq 3$인 매끄러운 연결 복소 사영 곡수라고 하자. 저자들은 짝수 랭크 $r \geq 2$, 유한 집합인 파라볼릭 점 $D \subset X$, 그리고 $X$ 상의 선다발 $L$을 고정한다. 연구 대상은 $(E_*, \phi_*, L(D))$인 파라볼릭 심플렉틱 번들(여기서 심플렉틱 형식 $\phi_*$는 $L(D)$ 값을 가지며 특수한 파라볼릭 구조를 갖는다)이다. 이때 파라볼릭 데이터는 다중도(multiplicities)와 가중치(weights)에 대한 특정 대칭 조건을 만족해야 한다. 목표는 집중된 가중치(concentrated weights) 및 임의의 일반적인 가중치 체계 모두에 대하여, 파라볼릭 모듈라이 공간의 매끄로운 로커스 $(M^{m,\alpha}_{L(D)})^{\text{sm}}$의 브라우어 군을 결정하는 것이다.

방법론 및 설정
저자들은 기하학적 불변량 이론(GIT), 필터링된 층(filtered sheaves) 이론, 그리고 월-크로싱(wall-crossing) 기법을 결합하여 사용한다.

1. 파라볼릭 심플렉틱 구조: 본 논문은 파라볼릭 벡터 번들을 필터링된 층(Maruyama와 Yokogawa를 따름)으로 정의함으로써 파라볼릭 심플렉틱 번들을 정의하는 프레임워크를 활용한다. 핵심 설정은 다중도 $m$과 가중치 $\alpha$가 "대칭 유형(symmetric type)"인 경우이다. 이 대칭성은 각 파라볼릭 점 $p$에 대해 다중도가 $m_{p,j} = m_{p, \ell(p)+1-j}$를 만족하고, 가중치가 $\alpha_{p,j} = 1 - \alpha_{p, \ell(p)+1-j}$를 만족할 것을 요구한다. 이러한 조건 하에서, 파라볼릭 심플렉틱 형식 $\phi_*$는 밑바탕이 되는 벡터 번들 $E$ 위에 $L$ 값을 가지는 비퇴화 심플렉틱 형식 $\phi$를 유도한다.

2. 집중된 가중치로의 환원: 증명 전략은 가중치 $\alpha$가 "집중된(concentrated)" 경우(정의 3.7, 즉 가중치들이 $1/2$에 충분히 가까워 특정 부등식이 성립하는 경우)에서 시작된다. 이 영역에서 보조정리(Lemma) 3.8은 파라볼릭 심플렉틱 안정성과 표준 심플렉틱 안정성 사이의 대응 관계를 확립한다. 이를 통해 파라볼릭 모듈라이 공간 $M^{m,\alpha}_{L(D)}$에서 심플렉틱 번들(뒤틀린 $Sp(r, \mathbb{C})$-번들)의 모듈라이 공간 $M_L$로 가는 사상 $\pi_0$를 구성할 수 있다.

3. 파이버 공간(Fibration) 및 스펙트럴 시퀀스: 집중된 가중치의 경우, $\pi$는 안정(stable) 로커스 상에서 플래그 다양체(flag varieties)의 곱 $\prod Sp(r, \mathbb{C})/P_i$와 동형인 파이버를 갖는 파이버 번들임이 밝혀진다. 저자들은 이 파이버 공간과 관련된 $\mathbb{G}_m$ 층에 대한 레레이 스펙트럴 시퀀스(Leray spectral sequence)를 활용한다. 이를 통해 파이브의 피카르 군(Picard groups), 베이스(심플렉틱 번들의 모듈라이)의 브라우어 군, 그리고 전체 공간의 브라우어 군을 연결하는 5항 완전열(5-term exact sequence)을 얻는다.

4. 일반적인 가중치를 위한 월-크로싱(Wall-Crossing): 임의의 일반적인 가중치로 결과를 확장하기 위해, 저자들은 변형 GIT(Variation of GIT) 원리, 특히 Thaddeus의 월-크로싱 작업을 인용한다. 저자들은 가중치의 암플 콘(ample cone) 내에서 단일 벽(wall)을 통과하는 것이 코디멘션(codimension) 2 이상의 부분집합을 제외하면 모듈라이 공간의 매끄러운 로커스 사이에 동형 사상을 유도함을 입증한다. 브라우어 군은 코디멘션 $\geq 2$인 부분집합을 제거해도 불변이므로, 브라우어 군은 일반적인 가중치의 챔버(chamber) 간에 불변한다.

주요 기여 및 결과
주된 기여는 대칭 가중치 조건 하에서 파라볼릭 심플렉틱 번들의 모듈라이 공간의 매끄러운 로커스에 대한 브라우어 군을 명시적으로 계산한 것이다. 주요 결과인 정리 1.1(정리 4.3 및 코롤러리 4.6에 상세 기술됨)은 다음과 같다:

대칭 다중도 $m$과 가중치 $\alpha$를 갖는 모듈라이 공간 $M^{m,\alpha}_{L(D)}$에 대하여, 그 매끄러운 로커스의 브라우어 군은:

1. $\deg(L)$이 짝수인 경우:
   $$Br((M^{m,\alpha}_{L(D)})^{\text{sm}}) \simeq \mathbb{Z} / \gcd(2, m_{p_1,1}, \dots, m_{p_n, \ell(p_n)})\mathbb{Z}$$

2. $\deg(L)$이 홀수인 경우:
   $$Br((M^{m,\alpha}_{L(D)})^{\text{sm}}) \simeq \begin{cases} 0 & \text{if } r/2 \geq 3 \text{ is odd}, \\ \mathbb{Z} / \gcd(2, m_{p_1,1}, \dots, m_{p_n, \ell(p_n)})\mathbb{Z} & \text{if } r/2 \geq 3 \text{ is even}. \end{cases}$$

저자들은 비자명한 경우의 브라우어 군 생성원이 곡선 위의 한 점으로 제한된 사영 푸앵카레 번들(projective Poincaré bundle)의 클래스와 관련되어 있음을 언급하며, 이는 심플렉틱 번들의 모듈라이에 관한 기존 결과([BHl] 인용)와 유사하다.

의의 및 범위
본 논문은 심플렉틱 번들의 모듈라이 공간에 대한 브라우어 군에 관한 기존 연구(특히 [BHl]의 작업)를 파라볼릭 설정으로 일반화한다고 주장한다. 그 의의는 다음과 같다:

• 대칭 가중치 조건 하에서 파라볼릭 심플렉틱 안정성과 표준 심플렉틱 안정성 사이의 관계를 확립함.
• 파라볼릭 심플렉틱 번들의 브라우어 군을 완전히 계산하여, 이것이 선다발 $L$의 차수(degree)의 기우성, 랭크 $r$, 그리고 2와 파라볼릭 다중도의 최대공약수에 의존함을 보여줌.
• 가중치가 일반적인 상태를 유지하는 한, 암플 콘 내에서의 가중치 변형에 따른 브라우어 군의 불변성을 입증함.

저자들은 가중치와 다중도 체계가 "대칭 유형"이며 0을 포함하지 않는 경우로 결과를 명시적으로 제한한다. 이들은 비대칭 가중치나 모듈라이 공간의 특이 로커스(singular locus)에 대한 결과는 주장하지 않는다. 이 연구는 심플렉틱 군 $Sp(r, \mathbb{C})$의 단순 연결성(simply connected nature)과 밑바탕이 되는 심플렉틱 모듈라이의 브라우어 군 구조에 크게 의존한다.