Complete quasimaps to $\mathsf{Bl}_{\mathbb{P}^s}(\mathbb{P}^r)$

Alessio Cela 와 Carl Lian 의 논문 **"Complete Quasimaps to $Bl_s(\mathbb{P}^r)$"**에 대한 상세한 기술적 요약입니다.

1. 문제 제기 및 동기

이 논문이 다루는 핵심 문제는 기하학적 Tevelev 차수 ($Tev_{g,n,\beta}^X$) 의 계산입니다. 이는 부호수 $g$인 고정된 일반 곡선 $C$에서 타겟 다양체 $X$로 가는 사상 $f: C \to X$의 개수를 세는 것으로, $n$개의 일반 점 $p_i$에 대해 $f(p_i) = x_i$라는 조건 (부등식 조건) 을 만족해야 합니다.

• 장애물: 안정된 사상 (stable maps) 의 모듈라이 공간 ($\overline{M}_{g,n}(X, \beta)$) 이나 준사상 (quasimaps) 의 모듈라이 공간 ($Q_\beta(C, X)$) 과 같은 전통적인 사상 모듈라이 공간의 콤팩트화는 종종 열거적인 계수를 제공하지 못합니다. 이들은 교차론적 계산을 허용하지만, 그 결과로 얻어지는 적분은 일반적으로 "가상" (virtual) 계수를 산출합니다. 이러한 가상 계수에는 특이점을 가진 영역을 갖는 사상이나, 실제 부등식 조건을 만족하는 기하학적 곡선에 해당하지 않는 방식으로 퇴화하는 사상의 기여가 포함됩니다 (경계에서의 과도한 교차).
• 목표: 저자들은 사상의 모듈라이 공간의 특정 콤팩트화를 구성하여, 부등식 사이클의 교차가 횡단적 (transverse) 이고, 정직하고 비퇴화적인 사상의 위치 (locus) 에만 완전히 지지되도록 하려는 것입니다. 이를 통해 자명한 교차 수 (tautological intersection numbers) 가 실제 곡선의 기하학적 계수와 같아지도록 하는 것입니다.

연구된 구체적인 타겟 다양체는 선형 부분공간을 따라 부풀린 (blow-up) 사영 공간입니다:
$$X = Bl_s(\mathbb{P}^r)$$
여기서 $s \leq r-2$입니다.

2. 방법론 및 구성

저자들은 $\mathbb{P}^r$에 대한 준사상에 관한 이전 연구 (Lian, 2024) 를 확장한 **완전 준사상 (Complete Quasimaps)**에 기반한 구성을 제안합니다. 방법론은 세 가지 주요 단계로 진행됩니다:

A. 증강된 준사상과 선형 급 포함

표준 준사상 공간 $Q_\beta(C, X)$에서 시작하는 대신, 저자들은 **증강된 준사상 (augmented quasimaps)**의 정제된 공간 $Q^+_\beta(C, X)$을 도입합니다.

• 기하학적 배경: 비퇴화 사상 $f: C \to X$는 **선형 급 포함 (Inclusion of Linear Series, ILS)**에 해당합니다. 구체적으로, 사상은 차수 $d$인 선다발 $L$, 차수 $k$인 유효 약수 $D$, 그리고 부분공간 포함 $V \subset W$로 결정됩니다. 여기서 $W \subset H^0(C, L)$의 차원은 $r+1$이고, $V \subset H^0(C, L(-D))$의 차원은 $r-s$입니다.
• 공간: $Q^+_\beta(C, X)$는 이러한 포함의 모듈라이 공간 $Gr^{r-s-1}_{d,k}(C)$ 위의 사영 다발로 구성됩니다. 이 공간은 기대되는 차원을 가지며 순수 (pure) 함이 알려져 있습니다.

B. 부풀림 전략 (완전 준사상)

공간 $Q^+_\beta(C, X)$에는 여전히 부등식 조건이 횡단적이지 않은 위치가 포함됩니다. 이러한 실패는 사상을 정의하는 단면들이 선형 종속이 되는 (낮은 "이중 계수"를 가지는) 스트라타에서 발생합니다.

• 이중 계수 (Bi-rank): $(r_1, r_2) = (\dim \langle u_1, \dots, u_{r-s} \rangle, \dim \langle u_1, \dots, u_{r+1} \rangle)$로 정의됩니다.
• 구성: 저자들은 **완전 준사상 (complete quasimaps)**의 모듈라이 공간 $\widetilde{Q}_\beta(C, X)$을 $Q^+_\beta(C, X)$의 **반복 부풀림 (iterated blow-up)**으로 정의합니다.
  • 부풀림은 먼저 $r_1$에 의해, 그 다음 $r_2$에 의해 순서대로 정렬된, 낮은 이중 계수를 가진 증강 준사상의 스트라타의 폐포를 따라 수행됩니다.
  • 이 과정은 기대보다 큰 차원을 가진 성분을 "부풀려" 없애는 방식으로 과도한 교차를 해결하여, 비퇴화 사상의 공간을 콤팩트화합니다.

C. 부등식 위치 (Incidence Loci)

저자들은 $f(p) \in \Lambda$ (여기서 $\Lambda \subset X$는 선형 부분공간) 인 위치의 적절한 변형 (proper transforms) 으로 정의된 부등식 위치 $Inc(p, \Lambda) \subset \widetilde{Q}_\beta(C, X)$를 정의합니다. 핵심 추측은 $n$개의 이러한 일반 부등식 위치의 교차가 다음과 같다는 것입니다:

1. 일반적으로 매끄럽다.
2. 기대되는 코차원 (codimension) 을 가진 순수한 구조를 가진다.
3. 정직하고 비퇴화적인 사상의 열린 위치에 완전히 지지된다.

3. 주요 기여 및 결과

주요 추측

추측 1.1.2 / 2.7.3: $X = Bl_s(\mathbb{P}^r)$에 대하여, 기하학적 Tevelev 차수는 완전 준사상 모듈라이 공간 위의 부등식 클래스의 곱에 대한 적분으로 주어집니다:
$$Tev_{g,n,\beta}^X = \int_{\widetilde{Q}_\beta(C, X)} [Inc(p, x)]^n$$
이는 $n \geq r+1$인 경우 (비퇴화성을 보장) 성립합니다.

정리 1.1.3 (차원 2)

저자들은 $X = Bl_q(\mathbb{P}^2)$ (한 점에서 부풀린 $\mathbb{P}^2$) 인 경우에 추측을 증명합니다.

• 주요 입력: 이 증명은 토릭 곡면 위의 곡선에 대한 Brill-Noether 정리 (이전의 작업 [CL25a] 의 정리 4.1.1) 에 의존합니다. 이 정리는 이미지 곡선의 반표준 차수 (anti-canonical degree) 가 충분히 높다면, 특정 토릭 부풀린 $\mathbb{P}^2$로 가는 사상의 모듈라이 공간이 일반적으로 매끄럽고 기대되는 차원을 가짐을 보장합니다.
• 횡단성: 부풀림의 스트라타 (특히 이중 계수 $(1,1)$ 및 $(1,2)$ 위치) 를 분석하고 Brill-Noether 결과를 사용하여, 부등식 위치가 횡단적으로 교차하며 경계에서 과도한 성분을 얻지 않음을 보여줍니다.

집합론적 기술

이 논문은 $\widetilde{Q}_\beta(C, X)$의 점들과 부등식 위치에 대한 명시적인 집합론적 기술 (set-theoretic descriptions) 을 제공합니다.

• 예외 약수 (exceptional divisors) 의 점들은 **완전 이선형 사상 (complete bi-collineations)**을 통해 기술됩니다. 이는 완전 선형 사상 (complete collineations) 의 일반화로, 사상의 단면들로부터 유도된 벡터 공간 사이의 선형 사상들의 시퀀스를 포함하여 단면의 퇴화성을 해결합니다.
• $X = Bl_q(\mathbb{P}^2)$의 경우, 저자들은 부등식 위치와 예외 약수의 교차를 명시적으로 특징짓고, 표지된 점 (marked points) 에서 단면의 "소멸"이 부풀림 데이터에 의해 어떻게 해결되는지 보여줍니다.

다른 모듈라이 공간과의 관계

저자들은 $\widetilde{Q}_\beta(C, X)$를 다음과 비교합니다:

1. 표준 준사상 ($Q_\beta$): 이는 예상치 못한 차원을 가진 성분을 가질 수 있으며, 열거적 계수와 일치하지 않는 가상 클래스를 가질 수 있습니다.
2. 순수 준사상 (Naive Quasimaps, $P$): 이전 작업 [CL23a] 에서 "큰 차수" 계산을 위해 사용된 공간입니다.

• 결과: "큰 차수" 영역 ($n > d+1$) 에서 $\widetilde{Q}_\beta$, $Q^+_\beta$, 그리고 $P$ 위의 교차 수는 일치하며 열거적입니다. 그러나 작은 $n$의 경우 (표준 공간에서 횡단성이 실패하는 경우), 올바른 열거적 계수를 제공할 것으로 기대되는 것은 오직 완전 준사상 공간 $\widetilde{Q}_\beta$뿐입니다.

4. 의의 및 향후 방향

• 과도한 교차의 해결: 이 논문은 사영 공간의 부풀림에 대한 열거 기하학에서 "과도한 교차" 문제를 해결하기 위한 구체적인 기하학적 구성을 제공합니다. 이는 특정 클래스의 타겟에 대한 가상 계수를 넘어 실제 기하학적 계수로 나아가는 것입니다.
• Brill-Noether 이론: 이 연구는 토릭 다양체로 가는 사상에 대한 새로운 Brill-Noether 정리의 필요성을 강조합니다. 차원 2 에 대한 증명은 곡면의 특정 성질에 의존하며, 일반적인 경우는 고차원 토릭 다양체에 대한 적절한 유사체가 필요합니다.
• 향후 작업:
  • 고차원: $r > 2$인 $X = Bl_s(\mathbb{P}^r)$에 대한 추측을 증명하는 것은 고차원 토릭 다양체로 가는 사상에 대한 "점 있는 (pointed) Brill-Noether 정리" (질문 5.2.2) 를 필요로 합니다.
  • 계산: 모듈라이 공간의 존재와 횡단성이 확립되었으나 (차원 2 의 경우), 적분의 명시적 계산 (실제 Tevelev 차수) 은 퇴화 기법 등을 활용할 것으로 예상되는 향후 작업으로 미루어졌습니다.

요약하자면, 이 논문은 사영 공간의 부풀림으로 가는 사상에 대한 "진짜" 열거적 콤팩트화의 후보가 되는 완전 준사상의 견고한 모듈라이 공간을 소개합니다. 이는 고급 Brill-Noether 이론을 활용하여 곡면의 경우에 이를 성공적으로 증명함으로써, 고차원에서의 유사한 문제들을 해결할 수 있는 경로를 제시합니다.