Projective subvarieties of Bogomolov-Guan manifolds and quasi-diagonals in products of elliptic curves

기술 요약: Bogomolov-Guan 전구체 내의 부분다양체

문제 정의
본 논문은 Bogomolov-Guan(BG) 다양체 및 그 전구체들 내의 복소 부분다양체의 기하학적 구조를 조사한다. BG 다양체는 D. Guan에 의해 구성되고 F. Bogomolov에 의해 분석된, 비-케일러(non-Kähler) 성질을 가진 컴팩트하고 단순 연결된 홀로모픽 심플렉틱 다양체이다. 이전 연구(특히 [BKKY])는 BG 다양체의 대수적 축약(algebraic reduction)이 라그랑지안 파이버레이션(Lagrangian fibration) $P: BG \to \mathbb{P}^n$이고, 차원이 2 이상인 곳으로 사영되는 부분다양체는 사영적(projective)일 수 없음을 확립하였으나, 곡선으로 사영되는 사영적(또는 Moishezon) 부분다양체의 분류는 미완성 상태로 남아 있었다. 핵심 문제는 이러한 비-케일러 환경에서 정확히 어떤 부분다양체가 사영적인지를 규명하고, 그러한 대상들의 희소성을 이해하는 것이다.

방법론
저자들은 대수 기하학, 복소 미분 기하학, 그리고 닐매니폴드(nilmanifold) 이론을 결합한 다각적인 접근 방식을 채택한다:

1. 전구체 분석 (Precursor Analysis): BG 다양체의 복잡한 구성(Kodaira 곡면의 힐베르트 스킴을 포함하는)을 직접 다루는 대신, 저자들은 "BG-전구체"에 집중한다. 이들은 타원 곡수의 대각 작용에 의한 Kodaira 곡면들의 곱의 몫으로 구성된 더 단순한 복소 다양체이다. 본 논문은 BG 다양체와 그 전구체의 유한 몫 사이에 일반적으로 유한한 사상(generically finite morphism)이 존재함을 확립하며, 이를 통해 전구체에 대한 결과를 BG 다양체로 전이할 수 있게 한다.
2. 준-대각선 (Quasi-Diagonals): 도입된 핵심 기하학적 대상은 "준-대각선"이다. 타원 곡선 $E^n$의 곱 안에서, 곡선 $S$가 쌍 $(E, L)$(여기서 $L$은 아벨 선다발)에 대해 준-대각선이라는 것은 모든 투영 $p_i, p_j$에 대해 선다발 $p_i^*L \otimes p_j^*L^{-1}$이 $S$ 위에서 토션(torsion)임을 의미한다. BG 전구체 내 사영적 부분다양체의 분류는 이러한 준-대각선의 분류로 환원된다.
3. 대수적 강직성 (Algebraic Rigidity): 저자들은 주 토릭 번들(principal toric bundles)과 천 클래스(Chern classes) 이론을 활용한다. 특정 선다발의 풀백(pullback)이 토션이어야 함을 보이기 위해 Blanchard의 정리와 그 일반화들을 적용한다. 이는 문제를 준-대각선 패밀리를 연구하는 문제로 축소시킨다.
4. 복소 해석적 도구: 준-대각선의 희소성을 증명하기 위해 저자들은 두 가지 구별된 방법을 사용한다:
   • 대수적 방법: 곡선의 유니버설 패밀리와 선다발의 풀백 하에서의 거동을 이용한 강직성 논증을 사용하여, 셀 수 없이 많은 준-대각선 패밀리가 존재할 경우 모순이 발생함을 보인다.
   • 해석적 방법: 저자들은 BG 전구체가 플루리클로즈드(pluriclosed, SKT) 메트릭을 가짐을 입증한다. Barlet 공간의 Gromov 컴팩트성 정리와 Campana의 코리덕션(coreduction) 정리를 인용함으로써, 이러한 곡선들의 모듈라이 공간이 컴팩트함을 증명하고, 결과적으로 준-대각선의 연속적인 패밀리가 존재할 수 없음을 보인다.

주요 기여 및 결과

• 사영적 부분다양체의 분류 (정리 1.3 및 4.9): 본 논문은 BG 다양체와 그 전구체에서의 사영적 및 Fujiki class C 부분다양체에 대한 완전한 특징을 제공한다.

  • 부분다양체 $Z$가 사영적일 필요충분조건은 라그랑지안 파이브레이션 하에서의 상이 점이거나 "제한된 준-대각선"(합산 사상의 커널에 속하는 준-대각선)인 것이다.
  • 부분다양체가 Fujiki class C일 필요충분조건은 그 상이 타원 곡선 인자들로의 모든 투영이 동일한 차수를 갖는 곡선인 것이다.
  • 결정적으로, 저자들은 BG 다양체 내의 모든 Moishezon 부분다열이 반드시 사영적임을 증명한다.

• 준-대각선의 강직성 (정리 1.4 및 2.22): 고정된 타원 곡선 $E$와 아벨 선다발 $L$에 대해, $E^n$ 내의 준-대각선의 집합은 최대 가산(at most countable)임을 증명한다. 이는 준-대각선이 연속적인 패밀리를 형성하지 않음을 보여주는 중요한 강직성 결과이다.

  • 두 가지 증명이 제공된다: 하나는 순수하게 대수 기하학적인 방식(섹션 2.5)이며, 다른 하나는 SKT 메트릭과 코리덕션 정리를 사용하는 방식(섹션 5.5)이다.

• 존재성과 희소성 (명제 1.5 및 따름정리 1.6):

  • 가산 개의 준-대 diagonal 집합은 항상 존재하지만, "제한된" 준-대각선(합이 0인 것들)은 매우 드물다. 일반적인 선다발 $L$에 대해, 제한된 준-대각선은 존재하지 않는다.
  • 결과적으로, 일반적인 BG 다양체에 대해, 모든 사영적 부분다양체는 라그랑지안 파이브레이션의 파이버 내에 엄격히 포함된다. 즉, 이들은 베이스 $\mathbb{P}^n$의 곡선으로 사영되지 않는다.

• SKT 구조 (정리 5.16): 저자들은 BG 전구체가 플루리클로즈드(SKT) 메트릭을 가짐을 확립한다. 이는 비-케일러 다양체에 대한 비자명한 결과이며, 준-대각선의 가산성을 증명하기 위한 해석적 기초 역할을 한다.

의의 및 주장
본 논문은 비-케일러 홀로모픽 심플렉틱 다양체의 대수 기하학에 대한 이해를 정교화한다고 주장한다. 전구체에 초점을 맞추고 준-대각선이라는 개념을 도입함으로써, 저자들은 이전에 부족했던 사영성에 대한 정확한 기준을 제공한다.

이 연구의 의의는 라그랑지안 파이브레이션의 베이스에서 사영적 부분다양성이 "일반적으로 비어 있음(generic emptiness)"을 입증한 데 있다. 이전 연구들이 고차원 상(image)의 불가능성을 보여주었다면, 본 연구는 사영적 부분다양체가 곡선 상으로 사영되는 것조차 일반적인 경우에는 불가능함을 증명한다. 본 논문은 준-대각선의 희소성을 이들 다양체의 근본적인 기하학적 제약으로 설정하며, 이는 대수적 및 복소 해석적 강직성으로부터 도출된다. 또한, 이 작업은 비-케일러 환경에서 곡선의 모듈라이를 연구하는 데 있어 SKT 메트릭과 Barlet 공간의 유용성을 강조하며, 부분다양체 분류에 대한 새로운 관점을 제시한다.