Brauer groups of smooth loci in linear systems and torsors over Jacobians of plane curves

기술적 요약: 선형 체계 내 매끄러운 로커스의 브라우어 군과 평면 곡선의 야코비안 위의 토서(Torsor)

문제 정의
본 논문은 단순히 연결된 매끄러운 사영 다양체 $X$ 위의 선형 체계 $|L|$의 매끄러운 로커스 $|L|_{sm}$의 코호몰로지 브라우어 군 $Br(|L|_{sm}) := H^2_{\text{\'et}}(|L|_{sm}, \mathbb{G}_m)$를 조사한다. 여기서 $|L|_{sm}$은 매끄러운 디바이저(divisor)들을 매개변수화하며, 그 여집합은 특이한 디바이저들의 판별식 로커스(discriminant locus) $\Delta_L$이다. 주요 동기는 보편적인 매끄러운 곡선 $\mathcal{C} \to B$ (여기서 $B = |L|_{sm}$)의 상대적 야코비안 $\mathcal{J} \to B$에 대한 토서의 분류군인 타테-샤파레비치 군(Tate–Shafarevich group) $\text{X}(\mathcal{J}) := H^1(B, \text{Pic}^0_{\mathcal{C}/B})$의 구조를 이해하는 것이다. 저자들은 평면 곡선, 원시적으로 편극된(primitively polarized) K3 곡면, 그리고 큐빅 포폴드(cubic fourfold)라는 구체적인 기하학적 설정에 대해 이 군들을 결정하는 것을 목표로 한다.

방법론
접근 방식은 특이점의 개수에 기초한 판별식 로커스 $\Delta_L$의 층화(stratification)에 의존한다. 저자들은 $\Delta_k$를 정확히 $k$개의 특이점(특히 곡면의 경우 일반적인 노드)을 갖는 하이퍼서피스의 로커스로 정의하고, 보편적인 특이 로커스 $\Sigma \subset |L| \times X$를 분석한다.

1. 아벨성 조건(Ampleness Conditions): 저자들은 선다발 $L$에 대한 일련의 "아벨성 조건"(조건 $\dagger$로 표기)을 도입한다. 이 조건들은 판별식 로커스가 기약(irreducible)이고, 두 개의 노드를 갖는 곡선의 로커스($\Delta_2$)가 기약 디바이서이며, 보편적인 2-노달 로커스 $\Sigma_2$가 기약임을 보장한다. 이러한 조건들은 세베리 다양체(Severi varieties) 및 제트 아벨성(jet ampleness, 예: 5-very ampleness)에 관한 결과들을 사용하여 특정 사례들에 대해 검증된다.
2. 호몰로지 계산: 순수성(purity)과 가이슨 수열(Gysin sequence)을 사용하여, 저자들은 $Br(|L|_{sm})[n]$을 판별식의 보렐-무어 호몰로지(Borel–Moore homology)와 연관시킨다. 구체적으로, 이 계산은 $[\Sigma_2]$의 코호몰로지 클래스가 $H^2(\Sigma, \mathbb{Z}/2\mathbb{Z})$에서 소거되는지 여부를 결정하는 문제로 환원된다.
3. 상대적 대칭 곱(Relative Symmetric Products): 상대적 야코비안 $\mathcal{J}$의 타테-샤파레비치 군을 계산하기 위해, 저자들은 상대적 대칭 곱 $C^{(n)}_B$의 브라우어 군을 연구한다. 저자들은 $n$이 충분히 클 때 아벨-야코비 사상 $C^{(n)}_B \to \mathcal{J}$가 브라우어-세브레 바리에티(Brauer–Severi variety, 즉 사영 공간들의 파이버화)가 된다는 사실을 활용한다. 점을 추가함으로써 유도되는 폐쇄 삽입(closed immersion)을 통해 $C^{(n)}_B$의 브라우어 군들 사이의 동형 관계를 확립함으로써, 연관된 브라우어 클래스의 주기가 곡선의 기하학적 성질과 어떻게 연결되는지 밝힌다.
4. 완전 수열(Exact Sequences): $\text{X}(\mathcal{J})$의 최종 계산은 레레이 스펙트럴 수열(Leray spectral sequence)로부터 발생하는 코호몰로지 및 에탈 층의 단수 완전 수열 $0 \to \text{Pic}^0_{\mathcal{J}/B} \to \text{Pic}_{\mathcal{J}/B} \to \text{NS}_{\mathcal{J}/B} \to 0$을 결합하여 도출된다.

주요 결과

• 브라우어 군에 관한 일반 정리: 단순히 연결된 매끄러운 사영 다양체 $X$와 조건 $\dagger$를 만족하는 "충분히 아벨한" 선다발 $L$에 대하여, 브라우어 군 $Br(|L|_{sm})$은 최대 $\mathbb{Z}/2\mathbb{Z}$이다. 구체적으로, 클래스 $[\Sigma_2]$가 $H^2(\Sigma, \mathbb{Z}/2\mathbb{Z})$에서 0이 아니면 브라우어 군은 소거되고, 그렇지 않으면 $\mathbb{Z}/2\mathbb{Z}$이다.
• 평면 곡선:
  • 차수가 $d \ge 3$인 평면 곡선의 선형 체계에 대해, $d$가 홀수이면 $Br(|L|_{sm}) \cong 0$이고, $d$가 짝수이면 $Br(|L|_{sm}) \cong \mathbb{Z}/2\mathbb{Z}$이다.
  • $d \ge 4$인 경우, 상대적 야코비안의 타테-샤파레비치 군은 토서 $\text{Pic}^1_{\mathcal{C}/B}$에 의해 생성되며, $\text{X}(\mathcal{J}) \cong \mathbb{Z}/d\mathbb{Z}$를 갖는다.
  • $d=3$ (큐빅 곡선)의 경우, 타테-샤파레비치 군은 $\text{X}(\mathcal{J}) \cong \mathbb{Z}/6\mathbb{Z}$이다. 이 사례는 2-노달 로커스의 기약성 문제로 인해 별도의 처리가 필요하다.
• K3 곡면:
  • 피카드 랭크가 1이고 차수가 $L^2 \ge 20$인 원시적으로 편극된 K3 곡면 $(S, L)$에 대하여, $Br(|L|_{sm}) = 0$이다. $L^2 \ge 20$ 조건은 $L$이 5-very ample함을 보장한다.
  • 본 논문은 낮은 차수의 K3 곡면에 대한 반례를 제공한다: 차수가 2인 경우, 브라우어 군은 매우 크며(임의의 소수 $p$에 대해 $\mathbb{F}_p$ 위에서 최소 343차원), 차수가 4인 경우 $Br(|L|_{sm}) \cong \mathbb{Z}/2\mathbb{Z}$이다.
• 큐빅 포폴드: 일반적인 매끄러운 큐빅 포폴드 $X$에 대하여, 선형 체계 $|\mathcal{O}_X(1)|$의 매끄러운 로커스의 브라우어 군은 소거된다, 즉 $Br(|\mathcal{O}_X(1)|_{sm}) = 0$이다.

의의 및 주장
저자들은 자신의 연구가 K3 곡면 및 하이퍼켈러(hyperkähler) 다양체의 연구에서 흔히 나타나는 기술적 장애물인 선형 체계의 기저(base)에 대한 브라우어 군을 "놀라울 정도로 효과적으로 제어"하고 있다고 설명한다. 본 논문의 주요 기여는 보편적인 매끄러운 평면 곡선의 상대적 야코비안에 대한 타테-샤파레비치 군을 명시적으로 계산하고, 그 생성원과 구조를 식별한 것이다.

저자들은 이 결과들이 $K3^{[n]}$ 및 $OG10$ 유형의 컴팩트 하이퍼켈러 다양체와 관련된 라그랑주 파이브레이션(Lagrangian fibrations)의 매끄러운 로커스(특히 Laza–Saccà–Voisin 파이브레이션)에 적용될 수 있음을 언급한다. 고차수 또는 일반적인 경우의 브라우어 군 소거는 일반적인 라그랑주 파이브레이션의 매끄러운 로커스가 종종 자명한 브라우어 군을 가질 수 있음을 시사하며, 이는 트위스티드 층(twisted sheaves) 및 모듈라이 공간의 연구를 용이하게 하는 성질이다. 저자들은 짝수 차수에 대한 비자명한 브라우어-세브레 바리에티의 기하학적 실현이나 큐빅 곡선의 구체적인 2-토션 트위스트(2-torsion twists)를 다루지는 않는다고 명시하며, 이를 향후 과제로 남겨두었다.