Smooth Counterexamples to the Eisenbud--Schreyer--Weyman Ulrich Existence Problem

기술적 요약: Eisenbud–Schreyer–Weyman Ulrich 존재 문제에 대한 매끄러운 반례

문제 정의
본 논문은 모든 임베디드 사영 다양체 $X \subset \mathbb{P}^N$가 울리히 층(Ulrich sheaf)을 갖는지 묻는 Eisenbud–Schreyer–Weyman (ESW) 존재 문제를 다룬다. 저자는 표준적인 스킴 이론적 정식화를 채택한다: $X$ 상의 울리히 층이란 하이퍼플레인 클래스 $\mathcal{O}_X(1)$에 대해 울리히인 전폭 지지(full support)를 가진 코히어런트 $\mathcal{O}_X$-모듈이다. 매끄러운 곡면 위에서 이러한 층들은 국소 자유(locally free, 벡터 번들)이다.

Coskun과 Huizenga는 임의의 매끄러운 곡면 $X$와 아벨로스(ample divisor) $H$에 대하여, 충분히 큰 $m$에 대해 쌍 $(X, mH)$가 울리히 번들을 가진다는 것을 증명했다. ESW 질문은 더 날카롭다: 고정된 매우 아벨한 클래스 $H$(즉, 고정된 사영 임베딩)에 대해 반드시 울리히 대상이 존재하는가? 본 논문은 이 고정된 임베딩 정식화가 매끄러운 복소 사영 곡면들 사이에서 반례를 허용하는지 조사한다.

방법론 및 수치적 장애물
본 논문 논증의 핵심은 피카르 수(Picard rank)에 관계없이 성립하는 보고몰로프-호지 부등식(Bogomolov–Hodge inequality)으로부터 유도된 수치적 장애물에 기초한다.

1. 부등식: $(S, H)$를 매끄러운 편극된 곡면이라 하자. $E$가 $S$ 상의 계수 $r$인 울리히 번들이라면, 저자는 이동된 클래스 $\alpha = c_1(E) - \frac{r}{2}(K_S + 3H)$를 정의한다. 리만-로흐 정리, 준안정성(semistability), 보고몰로프 부등식($\Delta(E) \ge 0$), 그리고 호지 지수 정리($\alpha^2 \le 0$)를 사용하여, 저자는 다음과 같은 필요 조건을 확립한다:
   $$H^2 \ge K_S^2 - 8\chi(\mathcal{O}_S) = \sigma(S)$$
   여기서 $\sigma(S)$는 기저 4-매니폴드의 위상적 시그니처(topological signature)이다.

   이 부등식은 Beauville(2017)의 이전 관찰을 정교화한다. Beauville의 반례 탐색는 피카르 수가 1($\text{rk NS}(S)=1$)이라는 가정을 따랐는데, 이는 $\alpha \equiv 0$을 강제하여 동일한 부등식을 도출한다. 저자는 피카르 수가 1이라는 가설이 불필요함을 입증한다; $\alpha^2 \le 0$ 항이 임의의 피카르 수에 대해 부등식이 성립하도록 보장하기 때문이다. 따라서 $H^2 < \sigma(S)$를 만족하는 임의의 매끄러운 편극된 곡면은 어떤 계수의 울리히 층도 가질 수 없다.

2. 기하학적 구성: 이 부등식을 위반하는 곡면을 구성하기 위해, 저자는 선 배열(line arrangement) $\mathcal{A}$와 연관된 **Hirzebruch–Kummer 피복(covers)**을 활용한다.

   • $\mathcal{A}$를 $k$개의 직선들의 배열이라 하자.
   • $X_n$을 $\mathcal{A}$ 위에서 분기되는 $\mathbb{P}^2$의 지수-$n$ Kummer 피복이라 하자.
   • $Y_n$을 $X_n$의 특이점들의 최소 해상(minimal resolution)이라 하자.
   • 저자는 매우 아벨한 클래스를 식별하기 위해 Rees-algebra/Segre 메커니즘을 사용한다. 구체적으로, 만약 $X_n$의 특이 아이디얼(singular ideal)이 차수 $\nu$의 단항식들에 의해 생성된다면, 매우 아벨한 클래스는 $H_n = (\nu+1)A_n - E_n$이다 (여기서 $A_n$은 하이퍼플레인 클래스의 풀백이고 $E_n$은 예외적 디바이저(exceptional divisor)이다).

주요 결과 및 반례
저자는 $H_n^2 < \sigma(Y_n)$을 만족하는 명시적인 무한 가족의 매끄러운 반례를 구성한다.

1. Hesse Family (주요 반례):

   • 고전적인 Hesse 배열(12개의 선, 9개의 4중점, 12개의 이중점)에 기초한다.
   • 특이 아이디얼이 3차 단항식들에 의해 생성되므로 ($\nu=3$), 매우 아벨한 클래스는 $H_n = 4A_n - E_n$을 준다.
   • 정리 1.1: $n=3$일 때, 매우 아벨한 클래스 $H_3 = 4A_3 - E_3$를 가진 곡면 $Y_3$는 다음을 만족한다:
     $$H_3^2 = 7 \cdot 3^9 < 16 \cdot 3^9 = \sigma(Y_3)$$
     결과적으로, $uc(Y_3, H_3) = \infty$이다; 즉, 이 임베딩에 대해 어떤 울리히 층도 존재하지 않는다.
   • 정리 1.2: 이는 $n \ge 3$인 모든 $n$에 대해 확장된다. 곡면 $Y_n$들은 서로 비동형(non-isomorphic)이며, 비율 $H_n^2 / \sigma(Y_n) \to 0$은 $n \to \infty$일 때 성립한다.
   • 기하학적 의의: $n=3$일 때, $Y_3$는 컴팩트 볼 쿼션트(compact ball quotient)이다 (조건 $K_{Y_3} = 3L$을 만족함). 편극 $H_3$는 캐노니컬 루트 $L = K/3$로부터 "선 밖으로(off the ray)" 벗어나도록 구성되었다 ($H = L - A$). $L^2 = \sigma(Y_3)$이지만, 네프(nef) 클래스 $A$를 빼줌으로써 자기 교차(self-intersection)를 매우 아벨성을 유지하면서 시그니처 임계값 아래로 엄격하게 감소시킨다.

2. Companion Families (동반 가족):

   • Dual Hesse Arrangement: 모든 $n \ge 5$에 대해 편극 $H_n = 6A_n - E_n$을 갖는 반례를 생성한다.
   • Complete Quadrangle: 모든 $n \ge 6$에 대해 편극 $H_n = 3A_n - E_n$을 갖는 반례를 생성한다. $n=5$에서, 이 가족은 높은 피카르 수에서 수치적 경계 $K^2 = 3H^2 = \sigma$를 실현한다.

3. 일반 메커니즘 (정리 1.3):
   저자는 차수-$\nu$ 생성 데이터(generation datum)를 허용하는 임의의 선 배열에 대한 일반적인 기준(정리 6.1)을 확립한다. 배열 파라미터가 특정 성장 조건(구체적으로 $Q_{\mathcal{A}} > 0$)을 만족하면, 결과적인 가족 $(Y_n, H_n)$은 모든 충분히 큰 $n$에 대해 반례를 제공한다.

의의 및 주장
본 논문은 모든 계수의 울리히 번들이 배제되는 첫 번째 알려진 매끄러운 편극된 다양체를 제공한다고 주장한다.

• 고정된 임베딩 질문의 해결: 이 결과는 임베딩이 고정되었을 때 ESW 문제에 대한 답이 음(-)임을 보여준다.
• 피카르 수 제한의 제거: 본 연구는 수치적 장애물 $H^2 \ge \sigma(S)$가 계수 독립적임을 보여줌으로써, 반례가 피카르 수 1을 요구한다는 이전의 가정을 바로잡는다.
• Chow Form 함의: ESW 구성을 통해, 울리히 층의 부존재는 임베디드 곡면의 Chow form이 울리히 층으로부터 기인하는 선형 결정식 표현(linear determinantal representation)을 가질 수 없음을 의미한다.
• 체계적 현상: 반례들은 고립된 이상 현상이 아니라 비동형인 곡면들의 무한 가족의 일부이다. 울리히 임계값의 위반은 상대적으로 매우 크게 나타나는데, 이는 시그니처 $\sigma(Y_n)$이 $n$에 대해 이차적으로 성장하는 반면(정규화된 공식에서 리딩 항으로서 $n^{k-1}$), 편극의 제곱 $H_n^2$은 $n^{k-3}$으로 성장하기 때문이다.

본 논문은 $(X, mH)$에 대한 점근적 존재성은 성립하지만, 특정 매우 아벨한 편극에 대한 울리히 번리의 존재성에 대해 Hesse ball quotient 및 그 Kummer 친척들이 강력한 장애물을 제공한다는 결론을 내린다.