[논문 리뷰] Lie Atoms and their deformation theory

Ziv Ran|ArXiv.org|2004. 12. 10.

Molecular spectroscopy and chirality참고 문헌 4인용 수 7

한 줄 요약

이 논문은 리 대수 쌍의 일반화인 리 원자(Lie atoms)를 도입하여, 부분다양체와 사상과 같은 기하 대상들에 대한 통합된 변형 이론을 제공한다. 이는 새로운 코homology 이론인 자코비-베르누이 코homology를 사용한다. 주요 기여는 유한성과 자동형이 적은 조건 하에서 보편 변형의 구축이며, 힐버트 스킴, 다우디 스킴, 열기하 변형 등에의 응용을 포함한다.

ABSTRACT

A Lie atom is essentially a pair of Lie algebras and its deformation theory is that of deformations with respect to one algebra together with a trivialization with respect to the other. Such deformations occur commonly in Algebraic Geometry, for instance as deformations of subvarieties of a fixed ambient variety. Here we study some basic notions related to Lie atoms, focussing especially on their deformation theory, in particular the universal deformation. We introduce Jacobi-Bernoulli cohomology, which yields the deformation ring, and show that, under suitable hypotheses, infinitesimal deformations are classified by certain Kodaira-Spencer data.(minor corrections Feb'06/May'07; paper is to appear in GAFA)

연구 동기 및 목표

• 대수기하학 및 복소기하학에서 리 이론적 공식화가 없는 변형 문제, 특히 부분다양체의 변형 문제를 다루기 위해.
• 미분가환 리 대수를 초월하여 리 원자라는 리 대수 쌍과 모듈러 구조를 도입함으로써 변형 이론을 일반화하기 위해.
• 무한소 변형을 분류하고 보편 변형 링을 구축하는 데 쓰이는 코homological 프레임워크인 자코비-베르누이 코homology를 개발하기 위해.
• 힐버트 스킴, 다우디 스킴과 같은 고전적 모듈리 공간과 리 원자 사이의 기하학적 대응을 확립하기 위해.
• 유한성과 자동형이 적은 가정 하에서 보편 변형의 존재를 증명하고, 코다이라-스펜서 이론을 새로운 기하적 환경으로 확장하기 위해.

제안 방법

• 리 원자를 $(\mathfrak{g}, \mathfrak{h}, \mathfrak{h}^+)$의 삼중조합으로 정의한다. 여기서 $\mathfrak{g} \to \mathfrak{h}^+$는 리 대수의 준동형이며, $\mathfrak{h} \subset \mathfrak{h}^+$는 $\mathfrak{g}$-모듈러이다.
• 자코비-베르누이 복합체—베르누이 수를 포함하는 변형된 코チェ인 복합체—를 도입한다. 이 복합체의 제로차 코homology는 변형 링의 이중화로 작용한다.
• 리 항등식과 베르누이 수 항등식을 사용하여 자코비-베르누이 복합체의 미분의 제곱이 0이 됨을 증명한다.
• 지역 아르틴 링 $S$ 위에서 변형을 분류하는 코다이라-스펜서 사상 $\alpha: R_e(\mathfrak{g}^\sharp) \to S$를 수립한다.
• 적절한 유한성 및 자동형 조건 하에서 $R_e(\mathfrak{g}^\sharp)$, 즉 변형의 기저가 국소 링임을 보여, 보편 변형을 구성한다.
• 고전적 예제들—힐버트 스킴, 다우디 스킴, 열기하 변형, 다양체 간의 사상—에 이 형식을 적용하여, 보편 변형이 형식적 근사 또는 완비화로서 나타남을 보여준다.

실험 결과

연구 질문

• RQ1 고정된 환경 다양체 내의 부분다양체의 변형 문제는 리 이론적 프레임워크로 공식화될 수 있는가?
• RQ2 무한소 변형을 지배하는 코homological 구조는 무엇이며, 이는 코다이라-스펜서 사상의 일반화로 어떻게 작용하는가?
• RQ3 어떤 조건에서 리 원자가 보편 변형을 갖는가? 그리고 그 변형 링의 구조는 어떠한가?
• RQ4 자코비-베르누이 코homology는 힐버트 스킴이나 다우디 스킴의 고전적 변형 이론과 어떻게 관련이 있는가?
• RQ5 리 원자의 형식은 리 쌍이 아닌 경우, 예를 들어 열기하 변형이나 다양체 간의 사상에 대해 어떻게 일반화될 수 있는가?

주요 결과

• 자코비-베르누이 복합체는 제로차 코hom로, 이중화된 결과로 리 원자의 변형 링을 얻는 코homological 도구이며, 리 대수의 변형에서 자코비 복합체의 역할을 일반화한다.
• 리 원자의 무한소 변형은 코다이라-스펜서 자료로 분류되며, 지역 아르틴 링 $S$ 위에서의 변형 계급을 기록하는 코다이라-스펜서 사상 $\alpha: R_e(\mathfrak{g}^\sharp) \to S$로 표현된다.
• 유한성과 자동형이 적은 가정 하에서 보편 $\mathfrak{g}^\sharp$-변형이 존재하며, 이는 기저 링 $R_e(\mathfrak{g}^\sharp)$의 형식적 완비화로 표현된다.
• 리 원자 $N_{Y/X}[-1]$의 경우, 보편 변형은 힐버트 스킴 또는 다우디 스킴의 형식적 근사로 나타나며, 이는 형식의 기하학적 실현을 확인한다.
• 부분다양체 $Y \subset X$의 경우, $h^1(N_{Y/X}) - h^2(N_{Y/X}) > 0$이면, $Y$는 $X$ 내에서 비자명한 변형을 갖는다. 이는 정리 3.4의 예측과 일치한다.
• 이 형식은 열기하 변형과 사상 $f: Y \to X$에도 적용되며, 이 경우 보편 $T_f$-변형은 이전에 호리카와에 의해 구축된 사상 $f$의 보편 변형과 대응된다.