[논문 리뷰] Fedosov quantization in positive characteristic

Roman Bezrukavnikov, D. Kaledin|ArXiv.org|2005. 01. 16.

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

한 줄 요약

이 논문은 피보소프 양자화를 양의 특성에서 대수적 심플렉틱 다양체로 확장하기 위해 프로베누스-일정 양자화를 도입한다. 여기서 프로베누스 사상의 상은 중심에 유지된다. 형식 기하학을 사용하여 이러한 양자화에 대한 분류 정리를 수립하고, 제한된 다르부 정리를 파oisson 구조에 대해 증명함으로써, 양의 특성에서의 변형 양자화에 새로운 프레임워크를 제공한다.

ABSTRACT

We study the problem of deformation quantization for (algebraic) symplectic manifolds over a base field of positive characteristic. We prove a reasonably complete classification theorem for one class of such quantizations; in the course of doing it, we also introduce a notion of a restricted Poisson algebra -- the Poisson analog of the standard notion of a restrictted Lie algebra -- and we prove a version of Darboux Theorem valid in positive characteristic setting.

연구 동기 및 목표

• 특성 0의 표준적 방법이 프로베누스 중심이 큰 경우 실패하므로, 특성 0이 아닌 대수적 심플렉틱 다양체에 대해 피보소프의 변형 양자화를 일반화한다.
• 특성 양에서 파oisson 구조의 중심에 포함되는 프로베누스 이미지 $\mathcal{O}_X^p$로 인해 양자화가 복잡해지는 문제에 대응한다.
• 프로베누스 이미지 $\mathcal{O}_X^p$를 중심 부분대수로 유지하는 프로베누스-일정 양자화 이론을 개발하여, 약한 조건 하에서 분류 가능성을 확보한다.
• 제한된 파oisson 대수를 도입하고 연구함으로써 제한된 리 대수의 파oisson 해석을 제공하며, 국소 이론에 필수적이다.
• 제한된 파oisson 대수에 대해 고전적인 다르부 정리의 양의 특성 해석을 수립하며, 이는 이 설정에서 실패하는 고전적 정리와 대비된다.

제안 방법

• 제한된 파oisson 대수의 개념을 도입하여, 특성 양에서 프로베누스 구조를 다룰 수 있도록 제한된 리 대수를 파oisson 설정으로 일반화한다.
• 프로베누스 이미지 $\mathcal{O}_X^p \subset \mathcal{O}_X$ 가 양자화된 대수 $\mathcal{O}_h$ 내에서 중심에 유지되는 양자화를 프로베누스-일정 양자화로 정의한다. 이는 프로베누스 자기사상과의 호환성을 보장한다.
• 이전에 특성 0에서 사용된 바와 같이 형식 기하학 기법을 활용하여 양자화 대수의 국소 모델을 구성하고, 토르서와 제르비를 통해 이를 전역화한다.
• 웨일 대수의 자동사상군과 관련된 ${\sf G}$-토르서 $\mathcal{M}_h$ 를 $X^{(1)}$ 위에 구성하고, $\mathcal{O}_h$ 를 관련 범주로 표현한다.
• 라운드 그룹의 중심 확장을 사용하여, 아즈마야 대수 $\mathcal{O}_h(h^{-1})$ 의 브라우어 클래스를 형식 완비화 $\widehat{X}$ 상의 제르비와 연결한다.
• 특성 0에서의 스펙트럴 시퀀스를 활용하여, $H^2(X^{(1)}, \mathcal{O}_X^p) = 0$ 이면 브라우어 클래스가 $X^{(1)}$ 에서 $\widehat{X}$ 로 올라간다는 것을 증명함으로써 전역 분류를 보장한다.

실험 결과

연구 질문

• RQ1 고전적 접근 방식이 프로베누스 사상의 중심적 역할 때문에 실패하는 양의 특성에서 피보소프 유형의 양자화를 대수적 심플렉틱 다양체로 확장할 수 있는가?
• RQ2 프로베누스 사상의 이미지 $\mathcal{O}_X^p$ 가 양자화된 대수 내에서 중심에 유지되는 조건은 무엇이며, 이러한 양자화는 어떻게 분류할 수 있는가?
• RQ3 파oisson 구조에 대해 양의 특성에서 다르부 정리의 해석이 존재하는가? 그리고 고전적 정리와 어떻게 다를까?
• RQ4 형식 완비화 $\widehat{X}$ 의 브라우어 군과 $X^{(1)}$ 의 브라우어 군 사이의 관계는 무엇이며, 이는 양자화 대수의 전역 구조에 어떤 함의를 갖는가?
• RQ5 양자화 절차는 프로베누스-일정 대수를 초월하여, K3 곡면이나 아벨 다양체와 같은 컴act 다양체를 포함한 양의 특성에서 확장 가능한가?

주요 결과

• 프로베누스-일정 양자화는 대수적 심플렉틱 다양체 $X$ 에 대해 약한 조건 하에서 존재하며, 이 클래스 내에서 완전한 해결책을 제공한다.
• 제한된 다르부 정리가 제한된 파oisson 대수에 대해 수립되었으며, 국소적으로 이러한 대수는 고전적인 다르부 정리와 유사한 표준형을 갖는다. 다만 고전적 정리는 이 설정에서 실패한다.
• $\mathcal{O}_h$ 는 $X^{(1)}$ 위의 $\operatorname{Aut}(D)$-토르서 $\mathcal{M}_h$ 를 통해 얻어진 관련 범주로 표현되며, 이 토르서는 에탈 토폴로지에서 국소적으로 자명하다.
• $H^2(X^{(1)}, \mathcal{O}_X^p) = 0$ 이면 아즈마야 대수 $\mathcal{O}_h(h^{-1})$ 의 브라우어 클래스가 $X^{(1)}$ 에서 형식 완비화 $\widehat{X}$ 로 올라간다. 이는 전역 일관성을 보장한다.
• $\overline{\operatorname{Br}([\mathcal{O}_h])}$ 는 $\operatorname{Br}(\overline{X})$ 에서 $\mathcal{O}_{\widehat{X}}^*$ 에 의해 묶인 제르비로부터 유래하며, 이 제르비는 $\widehat{\sf G}$ 의 중심 확장을 통해 $\widehat{X}$ 로 확장된다.
• 아즈마야 대수 $\mathcal{O}_h(h^{-1})$ 는 대수로서 $\widehat{X}$ 로 자연스럽게 확장될 수 없으며, 브라우어 클래스만이 올라간다. 이는 라운드 그룹 내에서 최대 포지티브 부분군 간의 임베딩이 존재하지 않기 때문이다.