Ulrich wildness of some decomposable threefold scrolls over $\mathbb F_a$

기술 요약: $\mathbb{F}_a$ 상의 일부 가분 삼중 롤(Decomposable Threefold Scrolls)의 울리히 야생성(Ulrich Wildness)

문제 정의
본 논문은 히르슈브루흐 곡면 $\mathbb{F}_a$ ($a \geq 0$) 상의 삼중 롤 $X$에 대한 울리히 번들(Ulrich bundles)의 존재성과 구조적 특성을 조사한다. 울리히 번들은 곡선 및 특정 곡면의 경우 잘 특징지어져 있으나, 차원이 $n \geq 3$인 다양체에 대한 존재성 및 계수(rank) 분류는 여전히 미해결 상태로 남아 있다. 저자들은 $X$의 "울리히 야생성(Ulrich wildness)"을 다루는데, 이는 해당 다양체가 서로 비동형인 임의의 크기를 가진 무관한(pairwise non-isomorphic) 기약 불가능(indecomposable) 울리히 번들 가족을 지원함을 나타내는 성질이다.

이전 연구 [9]는 $0 \leq a \leq b \leq 1$인 경우, 이 삼중 롤의 모듈라이 공간이 특정 선번들들의 반복적인 확장(iterated extensions)으로부터 발생하는 일반적으로 매끄러운 성분(generically smooth components)을 포함하고 있음을 확립하였다. 그러나 이 초기 연구는 $a$와 $b$가 이 범위를 벗어날 때 발생하는 모듈러 장애(modular obstructions)로 인해 제한되었으며, 특히 고계수 번들을 위한 매끄러운 모듈러 가족을 구성하는 것을 방해하였다. 본 논문은 남은 사례들을 해결하며, 번들이 기저 곡면으로부터 "상속(inherited)"되는 경우와 "장애(obstructions)"가 매끄러운 모듈리를 방해하지만 여전히 야생성이 유지되는 경우를 구분한다.

방법론
저자들은 삼중 롤 $X = \mathbb{P}_{\mathbb{F}_a}(E^b_a)$를 분석하며, 여기서 $E^b_a = \mathcal{O}_{\mathbb{F}_a} \oplus \mathcal{O}_{\mathbb{F}_a}(0, -b)$이고, 매우 풍부한(very ample) 디바이저 $h = \mathcal{O}_a(1, 1, c)$ ($c \geq a + b + 1$)에 의해 임베딩된다. 방법론은 특정 선번들의 재귀적 확장을 통해 계수 $r$인 울리히 번들을 구성하고, 그 결과로 나타나는 확장 공간과 모듈리의 차원을 분석하는 것에 기초한다.

접근 방식은 파라미터 $a$와 $b$에 따라 두 가지 주요 영역으로 나뉜다:

1. 상속된 경우 ($b \geq 0 = a$):

   • 저자들은 기저 곡면 $\mathbb{F}_0$로부터의 뒤틀린 풀백(twisted pullbacks)인 선번들 쌍 $(L, L^U)$의 반복적 확장의 변형을 고려한다.
   • 저자들은 $L$과 $L^U$ 사이를 교차하는 완전열 $0 \to G_{r-1} \to G_r \to L_{\epsilon_r} \to 0$을 통해 계수 $r$인 번들 $G_r$을 구성한다.
   • $r \geq 3$일 때 안정성(stability)과 단순성(simplicity)을 보장하기 위해, 저자들은 재귀적 구성의 엄격하게 반안정(strictly semistable)한 중간 항들을 이전에 구성된 모듈러 성분의 기울기 안정(slope-stable) 번들 $U_{r-1}$로 대체한다.
   • 저자들은 천 클래스(Chern classes)를 재귀적으로 계산하고, 엔도모피즘 번들의 오일러 표수를 사용하여 모듈리의 차원을 결정한다.
   • 모듈리의 유니라셔널리티(unirationality)는 $\mathbb{F}_0$ 상의 번들들로부터의 사상을 통해 $X$ 상의 번들들과 연결함으로써 확립되는데, 이때 $\mathbb{F}_0$ 상의 번들들의 모듈리는 유니라셔널함이 알려져 있다.

2. 장애가 있는 경우 ($b \geq a \geq 0$, 특정 작은 사례 제외):

   • 이 영역은 코호몰로지적 장애(특히 비소멸하는 $H^2$ 그룹)가 반복적 확장의 일반적으로 매끄러운 모듈러 성분의 존재를 방해하는 쌍 $(N, N^U)$를 포함한다.
   • 이러한 장애에도 불구하고, 저자들은 번들 가족의 존재성을 증명함으로써 울리히 야생성을 입증한다.
   • 저자들은 상속된 경우와 유사한 교차 확장 전략을 사용하지만, 엄격하게 반안정한 상태로 남아 있는 번들들을 다룬다.
   • 핵심 증명은 일반적인 확장 클래스에 대해 결과적인 중간 항 번들이 기약 불가능하다는 것을 보여주는 것이다. 이는 확장 공간 $\text{Ext}^1(G_{r-1}, N_{\epsilon_r})$에 대한 자기 동형 군 $\text{Aut}(G_{r-1}) \times \text{Aut}(N_{\epsilon_r})$의 작용을 분석함으로써 달성된다.
   • $\text{Hom}$ 및 $\text{End}$ 그룹의 차원을 귀납적으로 계산함으로써, 저자들은 확장 공간의 차원이 자기 동형 군 작용에 의한 궤도(orbit)의 차원을 엄격히 초과함을 보여준다. 이는 일반적인 확장이 비동형의 기약 불가능한 번들을 생성함을 보장한다.

주요 기여 및 결과

• 주 정리 (파트 1): $b \geq 0 = a$ 및 $c \geq b + 1$인 경우, 계수 $r \geq 2$인 $X$ 상의 계수 $r$ 울리히 번들의 모듈리 공간은 일반적으로 매끄럽고 유니라셔널한 성분 $M(r)$을 포함한다.

  • $M(r)$의 차원은 명시적으로 계산된다: $r$이 홀수일 때 $(r^2 - 1)(2c - b - 1)$, $r$이 짝수일 때 $r^2(2c - b - 1) + 1$.
  • $M(r)$의 일반적인 점은 기울기 안정(slope-stable) 울리히 번들에 대응한다.
  • 결과적으로, $X$는 기울기 안정 울리히 번들의 계수에 간극이 없는($U_r(X) = \mathbb{N}^*$) 기하학적 $h$-울리히 야생성을 가짐이 입증되었다.

• 주 정리 (파트 2): $0 \leq a \leq 1, b \geq 2$ 또는 $b \geq a \geq 1$ (단, $(1,1)$ 제외)인 경우, $X$는 기하학적으로 $h$-울리히 야생적이다.

  • 코호몰로지적 장애로 인해 일반적으로 매끄러운 모듈러 성분이 존재하지 않을 수 있음에도 불구하고, 저자들은 임의의 계수 $r \geq 2$에 대한 기약 불가능한 울리히 번들의 가족의 존재성을 증명한다.
  • 이는 모듈러 장애가 존재하는 상황에서도 기약 불가능한 울리히 번들의 계수에 간극이 없음($U_r(X) = \mathbb{N}^*$)을 확립한다.

• 천 클래 공식: 논문은 구성된 계수 $r$ 울리히 번들의 천 클래 $c_1, c_2, c_3$에 대한 명시적인 재귀적 공식을 제공하며, 홀수 계수와 짝수 계수를 구분한다.

의의
본 논문은 모듈러 장애가 전형적으로 분류를 방해하는 고차원 다양체로 울리히 번들의 이해를 확장한다. "상속된" 경우와 "장애가 있는" 경우를 구분함으로써, 저자들은 울리히 야생성이라는 성질이 매우 견고하며, 표준적인 매끄러운 모듈리 공간 구축 기법이 실패하는 경우에도 지속된다는 것을 보여준다. 이 결과는 분해 가능한 삼중 롤이 임의의 계수의 기약 불가능한 울리히 번들로 특징지어지는 풍부한 내부 기하학을 지원한다는 것을 확인시켜 주며, $n \geq 3$인 울리히 번들의 분류에서 공백을 메운다. 이 연구는 $0 \leq a \leq b \leq 1$의 범위를 넘어 기존 연구 [9]의 기초적 결과를 확장하고 구체화한다.