[논문 리뷰] Deformation Quantization in Algebraic Geometry

Amnon Yekutieli|ArXiv.org|2003. 10. 24.

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

한 줄 요약

이 논문은 콘체비치의 형식성 정리의 대수기하학적 유사체를 구축하여, 특성 0인 체 위의 매끄러운 $\mathcal{D}$-애프인 다양체 $X$에서 형식적 파아송 구조가 게이지 동치에 대해 유일하게 존재하는 변형 양자화를 허용함을 증명한다. 이 결과는 디지털 리 대수와 호크시ลด 코homology를 사용하여 미분기하학에서의 변형 양자화를 대수기하학으로 확장한다.

ABSTRACT

We study deformation quantizations of the structure sheaf O_X of a smooth algebraic variety X in characteristic 0. Our main result is that when X is D-affine, any formal Poisson structure on X determines a deformation quantization of O_X (canonically, up to gauge equivalence). This is an algebro-geometric analogue of Kontsevich's celebrated result.

연구 동기 및 목표

• 특성 0인 체 위의 매끄러운 다변량체로 콘체비치의 변형 양자화 결과를 확장한다.
• 글로벌 함수와 배럴의 단면 부족으로 인한 대수적 설정에서의 장애 요소를 다룬다.
• $\mathcal{D}$-애프인 다양체에서 형식적 파아송 구조와 변형 양자화 사이의 유일한 대응 관계를 수립한다.
• 게이지 동치의 역할과 대수적 맥락에서의 양자화 유일성의 이해를 명확히 한다.

제안 방법

• 형식적 파아송 구조를 $\Gamma(X, \bigwedge^2_{\mathcal{O}_X} \mathcal{T}_X)[[\hbar]]$의 원소로 간주하고, 쇼우텐-니헨우이스 조건 $[\alpha, \alpha] = 0$ 를 만족함을 이용한다.
• 변형과 게이지 동치를 모델링하기 위해 DG 리 대수와 호크시ลด 코homology를 적용한다.
• 결합 구조의 형식적 변형을 통해 $\mathcal{O}_X[[\hbar]]$ 위에 스타곱을 구성한다.
• 호크시ลด-코스타ント-로젠버그의 준동치와 그 정규화된 형태를 사용하여 다항벡터장과 호크시ลด 코체인 사이의 관계를 설정한다.
• 정규화된 호크시ลด 복합체와 다항벡터장 복합체 사이의 준동치를 사용하여 형식성을 확립한다.
• DG 리 대수의 준동치를 통해 미분형과 비미분형 스타곱 간의 동치를 증명한다.

실험 결과

연구 질문

• RQ1 특성 0인 매끄러운 대수다양체에서 형식적 파아송 구조가 변형 양자화를 갖는 조건은 무엇인가?
• RQ2 대수적 맥락에서 게이지 동치는 변형 양자화를 어떻게 분류하는가?
• RQ3 $\mathcal{D}$-애프인성은 주어진 파아송 구조에 대한 양자화 존재성을 보장하는 데 어떤 역할을 하는가?
• RQ4 해석적 또는 글로벌 함수의 가정 없이도 고전적인 파아송 구조와 스타곱 사이의 대응을 대수적 맥락으로 확장할 수 있는가?
• RQ5 대수적 변형 양자화 맥락에서 미분형과 비미분형 스타곱 간의 관계는 무엇인가?

주요 결과

• 특성 0인 체 위의 $\mathcal{D}$-애프인 매끄러운 대수다양체에서 형식적 파아송 구조는 게이지 동치에 대해 유일하게 변형 양자화를 갖는다.
• 변형 양자화의 존재는 정확히 $\mathrm{H}^1(X, \mathcal{D}_X) = 0$ 일 때 보장되며, 이는 $\mathcal{D}$-애프인 다양체에서 성립한다.
• 스타곱의 게이지 동치류는 형식적 파아송 구조의 게이지 동치류와 이분기적으로 대응한다.
• 스타곱에서 비미분형 스타곱으로의 사상은 게이지 동치류에 대해 이분기적 사상이 되며, 이는 미분형과 비미분형 양자화가 매끄러운 대수기하 맥락에서 동치임을 보여준다.
• 이 결과는 파아송 다양체에 대한 콘체비치의 형식성 정리에 대한 완전한 대수기하학적 유사체를 제공한다.
• 에탈레 사상이 $\mathbf{A}^n$ 으로 존재하는 아핀 다양체의 경우, 양자화는 아르틴의 $\mathbf{P}^2$ 추측에서 보여진 바와 같이 동차좌표환의 구조와 호환된다.