[논문 리뷰] Deformations of algebraic subvarieties

Donatella Iacono|arXiv (Cornell University)|2010. 03. 17.

Nonlinear Waves and Solitons인용 수 3

한 줄 요약

이 논문은 특성 0인 대수적으로 닫힌 체 위의 매끄러운 다양체 $X$ 속의 닫힌 부분다양체 $Z$ 의 무한소 변형을 제어하는 DGLA를 명시적으로 기술하기 위해 반삼등분형 및 미분가환 Lie 대수(DGLA) 기법을 사용한다. 논문은 $\Theta_X(-\log Z)$ 의 체흐 해상($\check{\mathrm{C}}$-ech resolution)로부터 총 톰-유티니 DGLA $\operatorname{Tot}_{TW}^{\blacktriangle}(\chi^{\blacktriangle})$ 를 구성하며, $Z$ 가 매끄럽다면 그 변형 함자와 힐베르트 함자 $\operatorname{Hilb}_X^Z$ 가 서로 동형임을 증명한다.

ABSTRACT

In this paper, we use (bi)semicosimplicial language to study the classical problem of infinitesimal deformations of a closed subscheme in a fixed smooth variety, defined over an algebraically closed field of characteristic 0. In particular, we give an explicit description of the differential graded Lie algebra controlling this problem.

연구 동기 및 목표

• 특성 0인 대수적으로 닫힌 체에 대해 M. 만티니의 복소부분다양체 변형에 대한 DGLA 기술을 임의의 대수적으로 닫힌 체로 일반화한다.
• 반삼등분형 방법을 사용하여 변형 함자 $\operatorname{Hilb}_X^Z$ 를 함자론적이고 대수적인 방식으로 기술한다.
• 닫힌 부분다양체 $Z \subset X$ 의 무한소 변형을 제어하는 미분가환 Lie 대수를 톰-유티니 총합화를 통해 구성한다.
• 특성 0인 대수적으로 닫힌 체 위에서 $Z$ 가 매끄럽다면 $\operatorname{Def}_{\operatorname{Tot}_{TW}^{\blacktriangle}(\chi^{\blacktriangle})} \cong \operatorname{Hilb}_X^Z$ 를 확립한다. 이는 이전에 $\mathbb{C}$ 에서의 결과를 일반화한다.

제안 방법

• 다양체 $X$ 와 부분다양체 $Z$ 의 체흐 열거 $\mathcal{U} = \{U_i\}$, $\mathcal{V} = \{U_i \cap Z\}$ 를 사용하여 $Z$ 의 국소 변형을 반삼등분형 대상으로 모델링한다.
• sheaf $\Theta_X(-\log Z)$ 에서 유도된 반삼등분형 DGLA $\chi^{\blacktriangle}$ 를 구성하며, 여기서 $\chi_k^{\blacktriangle} = \prod_{i_0 < \cdots < i_k} \Theta_X(-\log Z)(U_{i_0 \cdots i_k})$ 이다.
• 반삼등분형 DGLA $\chi^{\blacktriangle}$ 에 톰-유티니 총합화 함자를 적용하여 단일 DGLA $\operatorname{Tot}_{TW}^{\blacktriangle}(\chi^{\blacktriangle})$ 를 유도한다.
• 로그 좌표를 사용하여 자동형사상 $\theta_{ij} = e^{d_{ij}}$ 와 $\alpha_i = e^{a_i}$ 를 표현하고, 부착 자료를 마우러-카르탕 방정식으로 변환한다.
• 명시적인 마우러-카르탕 방정식 해와 게이지 동치를 통해 변형 함자 $\operatorname{Def}_{\operatorname{Tot}_{TW}^{\blacktriangle}(\chi^{\blacktriangle})}$ 와 힐베르트 함자 $\operatorname{Hilb}_X^Z$ 를 동치로 식별한다.
• 특성 0에서 지수함수와 로그함수의 존재를 이용하여 국소적으로 평탄한 변형과 총합 DGLA 내의 해 사이의 명시적 대응을 통해 동형을 증명한다.

실험 결과

연구 질문

• RQ1 특성 0인 대수적으로 닫힌 체 위의 매끄러운 다양체 $X$ 속의 닫힌 부분다양체 $Z$ 의 무한소 변형을 제어하는 미분가환 Lie 대수는 무엇인가?
• RQ2 반삼등분형 언어는 $X$ 속의 $Z$ 의 국소 변형 자료로부터 DGLA를 어떻게 구성하는가?
• RQ3 특성 0인 대수적으로 닫힌 체 위에서 $Z$ 가 매끄럽다면, DGLA $\operatorname{Tot}_{TW}^{\blacktriangle}(\chi^{\blacktriangle})$ 는 힐베르트 함자 $\operatorname{Hilb}_X^Z$ 와 동형인가?
• RQ4 이 DGLA 접근법을 사용하여 $\mathbb{C}$ 에서의 만티니의 고전적 결과를 임의의 대수적으로 닫힌 체의 특성 0로 일반화할 수 있는가?
• RQ5 로그 탄성층 $\Theta_X(-\log Z)$ 는 $X$ 속의 $Z$ 의 변형 자료를 어떻게 캡슐화하는가?

주요 결과

• 닫힌 부분다양체 $Z$ 의 무한소 변형 함자 $\operatorname{Hilb}_X^Z$ 는 $\Theta_X(-\log Z)$ 에서 유도된 반삼등분형 DGLA $\chi^{\blacktriangle}$ 의 총합 톰-유티니 DGLA $\operatorname{Tot}_{TW}^{\blacktriangle}(\chi^{\blacktriangle})$ 와 관련된 변형 함자 $\operatorname{Def}_{\operatorname{Tot}_{TW}^{\blacktriangle}(\chi^{\blacktriangle})}$ 와 동형이다.
• 특성 0인 대수적으로 닫힌 체 위에서 $Z$ 가 매끄럽다면, $\operatorname{Def}_{\operatorname{Tot}_{TW}^{\blacktriangle}(\chi^{\blacktriangle})} \cong \operatorname{Hilb}_X^Z$ 가 성립하며, 이는 $\mathbb{C}$ 에서의 만티니 결과를 일반화한다.
• 국소적으로 평탄한 $Z$ 의 변형은 $e^{-a_i}e^{a_j} \in \exp(\Theta_X(-\log Z)(U_{ij}) \otimes \mathfrak{m}_A)$ 를 만족하는 $a = \{a_i\} \in \prod_i \Theta_X(U_i) \otimes \mathfrak{m}_A$ 의 마우러-카르탕 원소로 매개화된다. 여기서 코 cycles 조건이 성립한다.
• 변형 간의 동형은 $b = \{b_i\} \in \prod_i \Theta_X(-\log Z)(U_i) \otimes \mathfrak{m}_A$ 를 사용한 게이지 변환에 의해 대응되며, $e^{a_i} = e^{a'_i}e^{b_i}$ 를 만족한다.
• 이 구성은 특성 0에서 로그 좌표의 존재에 의존하며, 자동형사상의 선형화를 위해 지수함수와 로그함수를 사용할 수 있다.
• 결과적으로 이는 로그 탄성층에서 유도된 반삼등분형 DGLA의 톰-유티니 총합화를 통해 힐베르트 함자에 대한 표준적인 DGLA 제어를 확립한다.