[논문 리뷰] Lie cylinders and higher obstructions to deforming submanifolds

Marco Manetti|arXiv (Cornell University)|2005. 07. 14.

Geometry and complex manifolds인용 수 3

한 줄 요약

이 논문은 미분가환 리 대수의 준동형 χ: L→M에 관련된 아르틴 링의 함자 Defχ를 도입한다. 여기서 탄성 공간과 차단 공간은 χ의 실린더의 첫 번째 및 두 번째 코homology 군으로 주어진다. 이 구성은 힐버트 및 브릴-노이만 함자에 적용되며, 켈러 다양체 안의 매끄러운 부분다양체를 변형시키는 데 있어서 모든 고차 차단항이 반정규성 사상에 의하여 소멸됨을 증명한다.

ABSTRACT

Abstract. To every morphism χ: L→M of differential graded Lie algebras we associate a functors of artin rings Defχ whose tangent and obstruction spaces are respectively the first and second cohomology group of the cylinder of χ. Such construction applies to Hilbert and Brill-Noether functors and allow to prove with ease that every higher obstruction to deforming a smooth submanifold of a Kähler manifold is annihilated by the semiregularity map. Mathematics Subject Classification (2000): 13D10, 14D15.

연구 동기 및 목표

• 부분다양체의 변형 함자를 미분가환 리 대수를 이용하여 일반적인 프레임워크로 개발하는 것.
• 켈러 다양체 안의 매끄러운 부분다양체의 변형 이론에서 고차 차단항의 역할을 이해하는 것.
• 실린더 구성과 힐버트 및 브릴-노이만 함자와 같은 고전적 변형 함자 간의 연결 고리를 확립하는 것.
• 반정규성 사상이 부분다양체 변형에 대한 모든 고차 차단항을 소멸시킴을 증명하는 것.
• dg 리 대수 준동형의 실린더를 통해 장애 공간을 분석하는 통합적 코homological 메커니즘을 제공하는 것.

제안 방법

• 미분가환 리 대수 사이의 준동형 χ: L→M의 실린더를 구성하여, 이는 사영 대체의 맵핑 콘의 호모토피 이론적 대체로 기능한다.
• Defχ라는 변형 함자를 정의하며, 이의 탄성 공간은 H^1(cyl(χ))이고 장애 공간은 H^2(cyl(χ))이다.
• 이 구성은 켈러 다양체 안의 부분다양체의 정규(bundle)과 환경 기하학에서 유도된 준동형에 적용된다.
• 실린더 구성의 함자성에 의해 Defχ를 힐버트 및 브릴-노이만 함자와 같은 고전적 변형 함자들과 연결한다.
• 실린더의 코homological 구조를 활용하여 반정규성 사상에 의한 장애의 소멸을 분석한다.
• 반정규성 사상이 모든 고차 장애항에 대해 소멸자 역할을 함을 보여주기 위해, 장애항이 이 사상 아래에서 0이 됨을 입증한다.

실험 결과

연구 질문

• RQ1 어떻게 부분다양체의 변형 이론을 미분가환 리 대수를 통해 통일적으로 묘사할 수 있는가?
• RQ2 실린더 구성은 변형 함자의 탄성 및 장애 공간을 어떻게 코어로 표현하는가?
• RQ3 켈러 기하학에서 부분다양체 변형에 대한 고차 장애항은 어느 정도까지 소멸하는가?
• RQ4 반정규성 사상은 리 대수 준동형의 맥락에서 고차 장애 공간과 어떻게 상호작용하는가?
• RQ5 힐버트 및 브릴-노이만 변형 함자는 자연스럽게 dg 리 대수 준동형의 프레임워크에 통합될 수 있는가?

주요 결과

• 준동형 χ: L→M에 관련된 변형 함자 Defχ는 탄성 공간이 H^1(cyl(χ))에 동형이며, 장애 공간이 H^2(cyl(χ))에 동형이다.
• Defχ의 구성은 힐버트 및 브릴-노이만 함자에 자연스럽게 적용되며, 이들의 변형이론적 접근을 통합한다.
• 켈러 다양체 안의 매끄러운 부분다양체를 변형시키는 데 있어서 모든 고차 장애항은 반정규성 사상에 의해 소멸된다.
• 준동형 χ가 부분다양체 포함에 기인할 경우, 반정규성 사상은 H^2(cyl(χ))의 코homological 소멸자 역할을 한다.
• 실린더 구성은 변형 이론에서 장애 공간을 분석하는 데 있어 정규화되고 계산 가능한 프레임워크를 제공한다.
• 결과적으로, 켈러 기하학에서 부분다양체 변형의 장애 이론은 dg 리 대수 실린더의 코homology에 의해 제어됨을 보여준다.