Vector bundles on bielliptic surfaces: Ulrich bundles and degree of irrationality

기술 요약: 바이엘립틱 곡면(Bielliptic Surfaces) 위의 벡터 번들: 울리히 번들(Ulrich Bundles)과 유리적 차수(Degree of Irrationality)

문제 제기
본 논문은 바이엘립틱 곡면 $S$에 관한 두 가지 구별되면서도 서로 연결된 문제를 다룬다:

1. 울리히 번들의 분류: 바이엘립틱 곡면의 첸 캐릭터(Chern characters, 구체적으로는 무카이 벡터(Mukai vectors))를 결정하는 문제이다. 코다이라 차원이 0인 곡면에서 계수 2인 울리히 번들의 존재성은 이미 확립되어 있으나, 곡면의 위상적 유형에 따른 이들의 첸 캐릭터에 대한 완전한 분류는 여전히 미해결 과제로 남아 있다.
2. 유리적 차수: $S$에서 $\mathbb{P}^2$로 가는 일반적인 유한 유리 사상(generically finite rational map)의 최소 차수인 $\text{irr}(S)$를 계산하는 문제이다. 기존 연구인 Yoshihara [31]는 유형 6을 제외한 모든 바이엘립틱 곡면 유형에 대해 이 불변량을 계산하였다.

방법론
저자는 모듈라이 공간 이론, 유도 범주(derived category) 기법, 그리고 고전 대수 기하학을 결합하여 접근한다.

• 약한 브릴-노터 성질(Weak Brill-Noether Property): 핵심 도구는 층(sheaves)의 모듈라이 공간 $M_H(v)$에 대한 약한 브릴-노터 성질의 조사이다. 모듈라이 공간이 이 성질을 만족한다는 것은 일반적인 층이 최대 하나의 0이 아닌 코호몰로지 군을 가짐을 의미한다. 본 논문은 토션 부분군 $H^2(S, \mathbb{Z})_{\text{tor}}$이 비자명한 경우(유형 1, 2, 3, 5)와 자명한 경우(유형 4, 6, 7)를 구분하여 바이엘립틱 곡면 상의 라인 번들에 대한 이 성질을 확립한다.
• 모듈라이 공간과 등방 벡터(Isotropic Vectors): 울리히 번들의 연구는 등방 무카이 벡터를 갖는 안정적인 층의 모듈라이 공간을 분석하는 문제로 환원된다. 저자는 일반적인 편극(polarization)에 대해 이러한 모듈라이 공간이 공집합이 아님을 보여주는 Nuer [25]의 최근 존재성 결과를 활용한다.
• 정준 피복(Canonical Covers) 및 에탈 피복(Étale Covers): 분석 과정에서 정준 피복 $\tilde{X}$(아벨 곡면)와 중간 에탈 피복을 빈번하게 사용하여, 문제를 더 잘 이해된 설정(예: 아벨 다양체 상의 준동차 층(semi-homogeneous sheaves)의 성질 이용)으로 $S$로부터 들어 올린다(lift).
• 안정적인 번들을 통한 유리적 차수 계산: 저자는 K3 곡면을 위해 개발된 Moretti [21]의 방법을 응용하여 $\text{irr}(S)$를 계산한다. 이는 "좋은 쌍(good pair)" $(E, V)$를 구성하는 과정을 포함하는데, 여기서 $E$는 안정적인 계수 2 벡터 번들이며 $V \subset H^0(S, E)$는 코차원 2에서 $E$를 생성한다. 유도된 유리 사상 $\phi_V: S \dashrightarrow \mathbb{P}^2$의 차수는 공식 $\deg(\phi_V) = c_2(E) - \deg(\bigcap Z(s))$를 사용하여 계산된다.

주요 기여 및 결과

1. 울리히 번들의 분류 (정리 1.3)
본 논문은 수치적 클래스가 $aA_0 + bB_0$ ($b \ge \lambda_S$)인 일반적인 충분히 큰 가산 자직자(ample divisor) $H$에 의해 편극된 바이엘립틱 곡면의 울리히 번들의 무카이 벡터에 대한 완전한 분류를 제공한다. 분류는 엄격하게 $S$의 위상적 유형에 의존한다:

• 유형 1, 2, 3, 5: 이 곡면들은 모든 정수 $r \le k \le 2r$에 대하여 무카이 벡터 $v_{\text{Ulrich}}(r, k) = (r, ka_0 + (3r-k)bB_0, 2rab)$를 갖는 모든 계수 $r \ge 1$의 울리히 번들을 가진다. 여기에는 울리히 라인 번들의 존재성이 포함된다.
• 유형 4, 6, 7: 이 곡면들은 모든 계수 $r \ge 2$에 대해 울리히 번들을 가지지만, 울리히 라인 번들은 가지지 않는다. 또한, 모든 이론적인 무카이 벡터 $v_{\text{Ulrich}}(r, k)$가 실제 울리히 번들에 대응하는 것은 아니며, $H^2(S, \mathbb{Z})_{\text{tor}}$의 소멸으로 인해 특정 장애물이 발생한다. 예를 들어, 유형 4 곡면은 무카이 벡터 $v_{\text{Ullich}}(3, 3)$을 갖는 울리히 번들이 결여되어 있으며, 유형 6 곡면은 $v_{\text{Ulrich}}(2, 2)$를 갖는 번들이 결여되어 있다.

2. 유리적 차수 (정리 1.5)
본 논문은 모든 바이엘립틱 곡면 $S$에 대하여 유리적 차수가 $\text{irr}(S) \le 3$임을 증명한다.

• 이 결과는 유형 6의 미해결 사례를 해결함으로써 Yoshihara [31]의 연구를 완성한다.
• 증명 과정에서는 무카이 벡터가 $(2, D, 3)$이고 $D$가 $3A_0 + 2B_0$의 수치적 클래스를 갖는 특정한 안정 계수 2 벡터 번들 $E$를 구성한다. $E$가 코차원 2에서 전역적으로 생성됨을 보임으로써, 저자는 차수가 최대 3인 일반적인 유한 유리 사상을 확립한다.
• 이 전략은 $\text{irr}(S) \le 3$이라는 경계가 7가지 모든 바이엘립틱 곡면 가족에 대해 균등하게 적용됨을 확인한다.

의의 및 주장
본 논문은 바이엘립틱 곡면 상의 울리히 번들에 대한 최초의 완전한 분류를 제공하며, 위상적 불변량(특히 제2 코호몰로지의 토션)이 이러한 번들의 존재를 어떻게 결정짓는지 강조한다고 주장한다. 또한, 라인 번들에 대한 약한 브릴-노터 성질이 울리히 라인 번들의 존재를 결정하는 결정적인 요인임을 보여준다.

유리적 차수와 관련하여, 본 논문은 K3 곡면으로부터 Moretti의 방법을 적응시킨 균등한 처리를 통해 바이엘립틱 곡면에 대한 문제를 해결했다고 주장한다. $\text{irr}(S) \le 3$이라는 결과는 이 곡면 부류에 대한 확정적인 상계(upper bound)로서 제시되며, 기존 문헌의 공백을 메운다. 이 연구는 정준 피복의 기하학과 기저 곡면 상의 층의 안정성 조건을 결합한 결과이며, 모듈라이 공간 이론의 구체적인 적용 사례를 제공한다.