[논문 리뷰] Deformations of vector bundles on coisotropic subvarieties via the Atiyah class

Jeremy Pecharich|arXiv (Cornell University)|2010. 10. 18.

Homotopy and Cohomology in Algebraic Topology참고 문헌 17인용 수 3

한 줄 요약

이 논문은 대수적 파울슨 다양체의 공이소트로픽 부분다양체 위의 벡터(bundle)의 비아벨 1차 및 2차 변형에 대해 아티야 클래스를 사용하여 기준을 설정한다. 이러한 변형들이 곡률이 있는 미분가환 리 대수에 의해 지배됨을 보이며, $H^2(Y, \mathcal{O}_Y(E)) = 0$ 조건 하에서 $E \otimes L^\vee$의 아티야 클래스가 $H^1(Y, N(E))$에서 0일 때가 첫 번째 차수 변형이 존재하는 필요충분조건이 된다. 이는 고전적 변형 이론을 파울슨 설정으로 일반화한다.

ABSTRACT

Using the Atiyah class we give a criterion for a vector bundle on a coisotropic subvariety, $Y$, of an algebraic Poisson variety $X$ to admit a first and second order noncommutative deformation. We also show noncommutative deformations of a vector bundle are governed by a curved dg Lie algebra which reduces to the classical relative Hochschild complex when the Poisson structure on $X$ is trivial.

연구 동기 및 목표

• 벡터 번들의 변형 이론을 대수적 파울슨 다양체의 공이소트로픽 부분다양체로 확장하기.
• 공이소트로픽 부분다양체 위의 벡터 번들의 첫 번째 및 두 번째 차수 비아벨 변형이 존재하는 조건을 규명하기.
• 비아벨 변형이 파울슨 스트럭처가 자명할 때 상대 호크시하우저 복합체로 줄어드는 곡률이 있는 dg 리 대수에 의해 지배됨을 보여주기.
• 이러한 변형의 존재를 위한 코homological 기준을 아티야 클래스를 포함하여 제공하기.

제안 방법

• $E \otimes L^\vee$의 아티야 클래스를 사용하여 $H^1(Y, N(E))$ 내의 사상 $at_N(E \otimes L^\vee)$를 정의한다.
• 스펙트럴 시퀀스를 적용하여 $H^0(Y, \wedge^2 N(E))$, $H^1(Y, N(E))$, $H^2(Y, \mathcal{O}_Y(E))$에서의 장애를 분석한다.
• 1차 변형 연산자 $\gamma$의 곡률을 통해 정의된 미분 $d_{N_E}$를 가진 정규 복합체 $\mathcal{N}_E^\bullet$를 도입한다.
• $\beta_1^X \equiv 0$의 가정을 통해 쌍대정규(bundle) $N^\vee$ 위의 리 대수 구조를 단순화하여 곡률 $c(\gamma)$의 정의를 가능하게 한다.
• 2차 변형에서 모듈러 작용과 전이 함수의 호환성을 기술하기 위해 국소 방정식 (A.1)–(A.8)을 사용한다.
• $H^2(Y, \mathcal{O}_Y(E)) = 0$ 조건을 가정할 때, 레마 A.1 및 A.2를 적용하여 코사이클 조건을 만족하는 미분연산자의 존재를 보장한다.

실험 결과

연구 질문

• RQ1 벡터 번들 $E$가 공이소트로픽 부분다양체 $Y \subset X$ 위에 있을 때, 언제 첫 번째 차수 비아벨 변형을 가질 수 있는가?
• RQ2 아티야 클래스는 이러한 변형의 장애를 결정하는 데 어떤 역할을 하는가?
• RQ3 벡터 번들 $E$의 비아벨 변형은 다양체 $X$의 파울슨 스트럭처와 어떻게 관련이 있는가?
• RQ4 비아벨 변형의 지배적인 대수적 구조는 무엇인가?
• RQ5 $H^2(Y, \mathcal{O}_Y(E))$의 영함은 변형의 존재에 어떤 영향을 미치는가?

주요 결과

• 첫 번째 차수 변형이 존재하는 것은 $H^2(Y, \mathcal{O}_Y(E)) = 0$ 조건 하에서 $at_N(E \otimes L^\vee) = 0$ 이며, 이는 $H^1(Y, N(E))$에서 성립할 때에만 가능하다.
• 만약 $X$와 $Y$가 아핀이라면, 전역적으로 분리된 변형 $\mathcal{E}_1 \simeq E \oplus \epsilon E$가 존재하며, 이는 $N^\vee \to \mathcal{D}^1_\heartsuit(E)$를 만족하는 연산자 $\gamma_E^i$들의 집합으로 분류된다.
• 곡률 $c(\gamma)$는 변형 연산자 $\gamma$가 리 대수 준동형이 아님을 측정하며, 두 번째 차수 변형이 존재하기 위해서는 곡률이 0이어야 한다.
• 벡터 번들 $E$의 비아벨 변형은 곡률이 있는 dg 리 대수에 의해 지배되며, 파울슨 이중벡터 $P$가 0이면 고전적 상대 호크시하우저 복합체로 줄어든다.
• 첫 번째 차수 변형의 장애는 $H^0(Y, \wedge^2 N(E))$에 있으며, 이 장애가 0이 되는 것은 $Y$가 공이소트로픽임과 필요충분조건이다.
• $H^2(Y, \mathcal{O}_Y(E)) = 0$의 가정은 전이 함수의 코사이클 조건을 해결할 수 있게 하여 전역 변형의 구축을 가능하게 한다.