Blow-Up Constructions and Applications to Segre Classes and Multidegree Formulas

기술 요약: 블로우업(Blow-up) 구성과 세그레 클래스(Segre classes) 및 다중 차수 공식에 대한 응용

문제 제기
본 논문은 블로우업의 거동과 특성 클래스(characteristic classes) 및 차수 공식에 대한 응용과 관련하여 교차 이론(intersection theory)의 두 가지 주요 과제를 다룬다. 첫째, 동시 다중 그레이드 블로우업(simultaneous multigraded blow-ups)과 반복 블로우업 구성(iterated blow-up constructions) 사이의 기하학적 관계, 특히 예외 불변량(exceptional divisors)의 대응 관계를 엄밀하게 확립하고자 한다. 둘째, 다중 사영 공간(multiprojective spaces)으로의 유리 사상(rational maps)으로부터 발생하는 예외 불변량의 천 클래스(Chern classes)에 대한 교차 이론적 공식을 도출하는 것을 목표로 한다.

첫 번째 부분에 대한 구체적인 동기는 세그레 클래스의 곱 공식(product formula) 증명이다. 기존 문헌(예: Fulton의 Intersection Theory)의 증명들은 일반적으로 표준적인 사이클 이론적 관계를 적용하기 위해 대상 스킴들이 순수 차원(pure-dimensional)이라는 가설에 의존한다. 본 논문은 이러한 제한을 제거하는 것을 목표로 한다. 두 번째 부분의 경우, 고전적인 반 데르 바르덴(van der waerden)의 결과를 확장하여, 고전적 대수 기하학을 사용하여 정역(integral varieties)에 대해 처음 정식화되었던 것을 임의의 폐쇄 부분 스킴(closed subschemes)에 대한 다중 차수 공식으로 확장할 필요성을 다룬다.

방법론
저자는 Fulton이 발전시킨 Chow 군, 정교한 교차 곱(refined intersection products), 그리고 블로우업 이론의 형식을 사용한다. 방법론은 다음 두 가지 주요 섹션으로 나뉜다:

1. 블로우업 구성의 비교:
   본 논문은 두 모델 사이의 쌍생적 대응(birational correspondence)을 구축한다:

• 특정 폐쇄 임베딩을 따른 곱 스킴 $Y_1 \times \dots \times Y_n \times \mathbb{A}^1_k$의 동시 블로우업.
• 예외 불변량의 곱 $E_1 \times \dots \times E_n$을 포함하는 반복 블로우업 구성.
  정규 원뿔(normal cones)과 이 원뿔들의 사영화(projectivization)를 분석함으로써, 저자는 카테시안 스퀘어(Cartesian squares)를 갖는 가환 도식(commutative diagram)을 확립한다. 이를 통해 두 모델 사이의 교차 이론적 정보, 특히 예외 불변량의 기본 사이클(fundamental cycles) 간의 관계를 전이할 수 있다.

2. 그래프 폐쇄(Graph Closure)와 블로우업 동형(Blow-up Isomorphism):
   본 논문은 전역 단면(global sections)에 의해 생성된 아이디얼 층(ideal sheaf)을 따른 스킴 $X$의 블로우업과, 다중 사영 공간으로의 연관된 유리 사상의 그래프의 스킴 이론적 폐쇄 사이의 관계를 조사한다.

• 블로우업을 Rees 대수의 상대적 Proj로 식별한다.
• 정역(integral schemes)에 대하여, 그래프 폐쇄가 블로우업과 동형임을 입증한다.
• 이 프레임워크를 $\mathbb{P}^{m+n+1}_k$와 $\mathbb{P}^m_k \times \mathbb{P}^n_k$로의 사상을 정의하는 단면들의 구체적인 사례에 적용한다.
• "미라클 플랫니스(Miracle Flatness)" 정리를 사용하여, 결과적인 모피즘(isomorphic to $\mathbb{P}^1$)의 파이버(fibers)를 분석함으로써, 테우토로지컬 선다발(tautological line bundles)의 풀백(pullback)과 예외 불변량 사이의 관계를 도출한다.

주요 기여 및 결과

1. 예외 불변량의 쌍생적 대응:
   본 논문은 반복 블로우업 모델과 동시 블로우업 모델 사이에 가환 도식을 생성하는 모피즘 $\phi$와 $\varphi$의 존재를 확립한다. 결정적으로, 저자는 반복 모델에서의 예외 불변량의 기본 사이클의 풀백이 동시 모델에서의 예외 불변량의 기본 사이클과 같음을($\phi^*[E'] = [E]$) 증명한다.

2. 세그레 클래스의 곱 공식 (일반적인 경우):
   이 쌍생적 대응을 사용하여, 본 논문은 세그레 클래스의 곱 공식을 제공한다:
   $$s(X_1 \times \dots \times X_n, Y_1 \times \dots \times Y_n) = s(X_1, Y_1) \times \dots \times s(X_n, Y_n)$$
   의의: 기존의 증명들과 달리, 이 유도는 스킴 $X_i$나 $Y_i$가 순수 차원일 것을 요구하지 않는다. 이 증명은 적절한 해소(resolution) 상의 카르티에 불변량(Cartier divisors) 문제로 문제를 환원하며, 이때 예외 불변량이 기하학적 가교 역할을 수행한다.

3. 임의의 폐쇄 부분 스킴에 대한 다중 차수 공식:
   본 논문은 $\mathbb{P}^{m+n+1}_k$의 폐쇄 부분 스킴 $V'$의 코디멘션-$d$ 차수(codimension-$d$ degree)를 $\mathbb{P}^m_k \times \mathbb{P}^n_k$의 폐쇄 부분 스킴 $V$의 코디멘션-$d$ 이중 차수(bidegrees)의 합과 연관시키는 공식을 도출한다.

• 결과: $V'$의 코디멘션-$d$ 차수는 $V$의 코디멘션-$d$ 이중 차수들의 합과 같다.
• 의의: 이 결과는 고전적인 반 데르 바덴의 차수 공식을 회복하고 확장한다. 반 데르 바덴의 원래 논증은 다양체가 정역이라는 가정에 의존했으나, 본 증명은 전적으로 교차 이론적이며 임의의 폐쇄 부분 스킴(비정역 포함)에 적용 가능하다. 본 논문은 비정역 부분 스킴의 경우 차수와 이중 차수 사이의 관계가 정역의 경우보다 더 미묘하다는 점을 언급한다.

의의 및 주장
본 논문은 자신의 구성이 교차 이론적 정보를 전달하는 "기하학적 메커니즘"을 제공하며, 이를 통해 세그레 클래스의 곱 공식과 다중 차수 공식에 대한 개념적이고 함수적(functorial)인 유도를 제공한다고 주장한다.

• 세그레 클래스에 관하여: 본 연구는 곱 공식이 "근본적으로 블로우업의 기하학적 결과"임을 입증함으로써, 이전의 증명들을 제약했던 순수 차원 가설을 제거할 수 있게 한다.
• 차수 공식에 관하여: 이 접근법은 반 데르 바덴 공식의 현대적 재구성으로서, 그 타당성을 정역에서 Chow 군과 Fulton의 교차 이론 프레임워크 내의 임의의 폐쇄 부분 스킴으로 확장한다.

본 논문은 교차 이론 내의 이러한 이론적 확장을 제외하고는 실험적 응용이나 미래의 함의를 제안하지 않는다. 본 논문은 Fulton의 Intersection Theory [Ful98]의 관례와 표기법을 엄격히 준수한다.