Families of smooth Fano fourfolds of Picard rank 1 without Bott vanishing

기술 요약: Bott 소거법이 성립하지 않는 피카르 수 1인 매끄러운 파노 4차원 다양체 군(Families)

문제 정의
본 논문은 매끄러운 파노 다양체의 자기사상(endomorphism)에 관한 잘 알려진 추측 중 특정 사례를 다룬다. 추측 1.1은 대수적으로 닫힌 표수 0의 체 위에서 피카르 수 $\rho(X)=1$인 매끄러운 파노 다양체 $X$가 차수가 1보다 큰 자기사상을 허용한다면, $X$는 반드시 사영 공간 $\mathbb{P}^n$과 동형이어야 한다고 가정한다.

Kawakami와 Totaro [16]의 최근 연구는 일반적인 함의를 확립했다: int-amplified 자기사상의 존재(이는 $\rho(X)=1$일 때 차수가 1보다 큰 자기사와 동치이다)는 $X$가 "Bott 소거법(Bott vanishing)"을 만족함을 의미한다. Bott 소거법은 모든 $i > 0, j \ge 0$ 및 모든 유계 와일 디바이저(ample Weil divisor) $A$에 대해 $H^i(X, \Omega^j_X(A)) = 0$임을 요구한다.

본 논문이 다루는 구체적인 문제는 현재 알려진 피카르 수 1 및 파노 지수(Fano index) 1인 매끄러운 파노 4차원 다양체의 군들에 대해 이 추측을 검증하는 것이다. 이 추측은 지수가 1보다 큰 경우나 다른 차원 또는 구조를 가진 경우에 대해서는 이미 알려져 있었으나, 지수 1인 4차원의 경우 특정 알려진 군들에 대해 여전히 미해결 상태로 남아 있었다. 저자들은 이 알려진 군들 중 어떤 것이 Bott 소거법을 만족하는지 확인하고자 한다. 만약 만족하지 않는다면, 해당 다양체는 차수가 1보다 큰 자기사상을 가질 수 없다.

방법론
저자들은 Macaulay2 패키지인 Schubert2를 사용하는 계산적 접근 방식을 채택한다. 핵심 전략은 Bott 소가법과 접다발(tangent bundle)의 오일러 표수 $\chi(X, T_X)$ 사이의 관계에 기초한다.

1. 논리적 축소: 저자들은 만약 파노 다양체 $X$에서 Bott 소거법이 성립한다면, 모든 $i > 0$에 대해 $H^i(X, T_X) = 0$ (왜냐하면 $T_X \cong \Omega^3_X \otimes (-K_X)$이고 $-K_X$는 유계이기 때문이다)임을 관찰한다. 결과적으로 $\chi(X, T_X) = h^0(X, T_X) \ge 0$이다. 따라서 만약 저자들이 주어진 군에 대해 $\chi(X, T_X) < 0$임을 입증할 수 있다면, Bott 소거법은 실패하며, 해당 다양체는 차수가 1보다 큰 자기사상을 가질 수 없다.
2. 계산 도구: 저자들은 복잡한 기하학적 구조에 대해 $\chi(X, T_X)$를 계산하기 위해 (Burt Totaro와 공동으로) Schubert2 패키지를 위한 새로운 함수들을 개발하였다. 이 함수들은 다음을 처리한다:
   • 대칭 및 교대 비대칭 퇴화 로커스(Symmetric and Skew-Symmetric Degeneracy Loci): skewDegeneracyLocus, symmetricDegeneracyLocus 및 그 변형들(...2, ...KernelBundle)은 대칭 또는 교대 비대칭 사상의 계수 조건에 의해 정의된 로커스의 특성 클래스와 오일러 표수를 계산한다. 이들은 상대적 그라سم만 다양체(relative Grassmannians)를 통한 분해(resolution)와 Fulton, Harris–Tu, Józefiak–Lascoux–Pragacz의 정리에 기반한 Chern 클래스 계산을 활용한다.
   • 가중 사영 공간(Weighted Projective Spaces): weightedProjectiveBundle 및 weightedProjectiveSpace 함수는 교차 이론적 계산을 가능하게 하며, 가중 사영 환경에서의 교차 환(intersection ring)과 푸시포워드(pushforward)를 적절히 모델링한다.
3. 계산 범위: 저자들은 이러한 도구들을 피카르 수 1 및 파노 지수 1인 32개의 특정 매끄러운 파노 4차원 다양체 군에 적용한다:
   • 가중 사영 공간 내의 완전 교차(complete intersections)로 구현된 13개 군.
   • 그라سم만 다양체 상의 붕괴하는 동차 벡터 번들의 영 로커스(zero loci)로 구현된 13개 군.
   • Qureshi와 Küchle에 의한 구성을 포함하여, 교대 비대미 사상 퇴화 로커스(Pfaffian subvarieties)로 구현된 6개의 추가 군.

주요 기여

1. 알고리즘 개발: 본 논문은 퇴화 로커스(대칭 및 교대 비대칭 모두)와 가중 사영 다양체에 대한 특성 클래스 및 오일러 표수의 체계적인 계산을 가능하게 하는 Schubert2의 새로운 계산 함수들을 도입하고 문서화한다.
2. 체계적 검증: 저자들은 피카르 수 1 및 지수 1인 매끄러운 파노 4차원 다양체의 모든 알려진 32개 군에 대해 $\chi(X, T_X)$를 계산하는 포괄적인 작업을 수행한다.

결과
계산은 다음과 같은 결정적인 결과를 도출한다:

• 정리 1.3: 피카르 수 1 및 지수 1인 모든 32개의 알려진 매끄러운 파노 4차원 다양체 군에 대하여, 오일러 표수 $\chi(X, T_X)$는 엄격히 음수이다.
• Bott 소거법의 실패: $\chi(X, T_X) < 0$이므로, $H^i(X, T_X) = 0 (i > 0)$ 조건은 성립할 수 없다. 따라서 이 32개 군 중 어느 것도 Bott 소거법을 만족하지 않는다.
• 따름정리 1.4: 이 결과들을 이미 알려진 경우들(피카르 수 1, 지수 $>1$)과 결합하여, 저자들은 현재 알려진 모든 매끄러운 파노 4차원 다양체 중에서 차수가 1보다 큰 자기사상을 가질 수 있는 유일한 다양체는 사영 공간 $\mathbb{P}^4$뿐이라는 결론을 내린다.

의의
본 논문은 현재 알려진 피카르 수 1인 매끄러운 파노 4차원 다양체의 전체 집합에 대해 자기사상 추측을 검증한다고 주장한다. 접다발의 음의 오일러 표수가 Bott 소거법을 배제한다는 점을 보여줌으로써, 저자들은 알려진 비-사영(non-projective) 사례들에서 비자명한 자기사상의 존재를 배제한다. 이 작업은 Kawakami–Totaro [16]에 의해 확립된 함의에 의존하며, 4차원에서 지수 1의 경우로 검증을 확장하여 파노 다양체의 분류와 관련하여 추측 1.1의 공백을 메운다. 이 논문은 (지수 1의 군에 대한 분류가 아직 완성되지 않았으므로) 모든 가능한 파노 다양성에 대해 추측을 증명한다고 주장하는 것이 아니라, 엄격하게 "현재 알려진" 군들로 그 결론을 제한한다.