[논문 리뷰] Deformations of Azumaya algebras

Paul Bressler, Alexander Gorokhovsky외 2명|ArXiv.org|2006. 09. 20.

Advanced Topics in Algebra참고 문헌 26인용 수 5

한 줄 요약

이 논문은 $C^{\infty}$ 또는 복소해석적 다양체 위의 스무스 함수 대수와 아자마야 대수의 호크시ลด 코호호모로지 복합체 사이에 표준적인 준동형을 설정하여, 이들의 변형 이론이 미분가환리 대수(DGLA)의 유도 범주에서의 연속 준동형 사슬을 통해 동치임을 보여준다. 핵심 결과는 아자마야 대수의 다이폴베오-호크시ลด 복합체와 그 구조층의 다이폴베오-호크시ลด 복합체 사이에 유도 범주 내에서 표준적인 동형사상이 존재한다는 것이다. 이는 콘테비치의 형식성 정리가 비가환 기하학으로 일반화된 것이다.

ABSTRACT

In this paper we compute the deformation theory of a special class of algebras, namely of Azumaya algebras on a manifold ($C^{\infty}$ or complex analytic).

연구 동기 및 목표

• 스무스 함수 대수의 변형 이론과 아자마야 대수의 변형 이론 간의 동치성을 확립한다.
• 콘테비치의 형식성 정리를 아자마야 대수로 확장하기 위해 그 호크시ลด 복합체 사이의 준동형 사슬을 구성한다.
• 아자마야 대수의 변형 이론이 다중벡터장의 DGLA와 준동형인 DGLA에 의해 지배됨을 보이며, 이는 유도 범주 내에서 표준적인 구성법을 통해 이루어진다.
• 복소해석적 다양체와 복소적 적분 가능 분포를 갖는 실수 다양체로 결과를 일반화하며, 도르베오 타입 복합체를 사용한다.

제안 방법

• 아자마야 대수의 호크시ลด 복합체와 스무스 또는 해석적 함수의 구조층의 복합체 사이에 유도 범주 내에서 표준적인 동형사상을 구성한다.
• 코트레이스 사상과 접속 및 곡률의 선택을 통해 도르베오 형식과 호크시ลด 코호모로지 사이의 DGLA 준동형을 정의한다.
• 비가환하는 미분을 보정하기 위해 수축 연산자 $\exp(\iota_F)$의 지수를 적용하여, 비영이지 않은 곡률가 존재하더라도 준동형이 유지되도록 보장한다.
• 준동형 사슬의 합성이 선택에 의존하지 않음을 활용하여, 이 동형사상이 유도 범주 내에서 표준적임을 보장한다.
• 기저와 대수적 스택의 구조를 활용하여 아자마야 대수의 변형 이론을 대수층의 변형을 지배하는 DGLA와 연결한다.
• 도르베오 복합체와 호크시ลด 코homology의 성질을 이용하여, 결과적으로 얻어진 DGLA 준동형이 코homology에서 동형을 유도함을 입증함으로써, 이 준동형이 준동형임을 증명한다.

실험 결과

연구 질문

• RQ1 스무스 다양체 위의 아자마야 대수의 변형 이론은 스무스 함수의 구조층의 변형 이론과 유도 범주 내에서 준동형인가?
• RQ2 콘테비치의 형식성 정리는 유도 범주 내에서 DGLA의 연속 준동형 사슬을 통해 아자마야 대수로 확장 가능한가?
• RQ3 복소해석적 다양체 위의 아자마야 대수의 변형 이론은 도르베오-호크시ลด 복합체로 기술될 수 있는가?
• RQ4 복소적 적분 가능 분포의 존재는 아자마야 대수의 변형 이론에 어떤 영향을 미치는가?
• RQ5 코트레이스 사상은 관련 대수의 호크시ลด 복합체 사이의 표준 준동형을 구성하는 데 어떤 역할을 하는가?

주요 결과

• 스무스 또는 해석적 함수의 구조층에 대한 아자마야 대수 ${\mathcal{A}}$에 대해, $\Omega^{\bullet}_{X}\otimes_{{\mathcal{O}}_{X}}\overline{C}^{\bullet}({\mathcal{O}}_{X}\otimes_{{\mathcal{O}}_{X/{\mathcal{P}}}}{\mathcal{J}}_{X/{\mathcal{P}}})[1]$ 과 $\Omega^{\bullet}_{X}\otimes_{{\mathcal{O}}_{X}}C^{\bullet}({\mathcal{O}}_{X}\otimes_{{\mathcal{O}}_{X/{\mathcal{P}}}}{\mathcal{J}}({\mathcal{A}}))[1]$ 사이에 유도 범주 내에서 표준적인 동형사상이 존재한다.
• 이 동형사상은 구성 과정에서의 선택에 영향을 받지 않아, 유도 범주 내에서 표준적이다.
• 결과는 복소해석적 다양체와 복소적 적분 가능 분포를 갖는 실수 다양체로까지 확장되며, 이 경우 변형을 지배하는 DGLA는 도르베오-호크시ลด 복합체이다.
• 아자마야 대수의 변형 이론은 스무스 함수의 구조층의 호크시ลด 복합체와 준동형인 DGLA에 의해 지배되며, 이는 준동형 사슬을 통해 이루어진다.
• 코트레이스 사상은 구조층의 도르베오 복합체와 아자마야 대수의 호크시ลด 복합체 사이의 준동형을 유도하며, 이는 호모토피를 제외한 DGLA 구조를 유지한다.
• 보조정리 35는 $\overline{C}^{\bullet}({\mathcal{O}}_{X/{\mathcal{P}}})$ 와 $C^{\bullet}({\mathcal{A}})$ 사이에 유도 범주 내에서 표준적인 동형사상을 확립하여, 변형 이론의 동치를 확인한다.