[논문 리뷰] Derived Azumaya algebras and generators for twisted derived categories

Bertrand Toën|arXiv (Cornell University)|2010. 02. 12.

Homotopy and Cohomology in Algebraic Topology참고 문헌 25인용 수 5

한 줄 요약

이 논문은 고전적 Azumaya 대수의 dg-대수 버전으로서 유도된 Azumaya 대수를 도입하며, 임의의 국소적으로 컴act하고 국소적으로 유한한 스킴 $X$에 대해 $H^2_{\text{ét}}(X, \bbG_m)$의 모든 클래스—비순환 클래스를 포함하여—유도된 Azumaya 대수의 특성 클래스로 나타남을 보여준다. 핵심 결과로는, 스킴 $X$ 위에서의 유도된 Azumaya 대수의 모티브 등급류와 $H^1_{\text{ét}}(X, \bbZ) \times H^2_{\text{ét}}(X, \bbG_m)$ 사이의 전단사 대응 관계를 확립하여, 그로텐디크의 질문—이 군 내 모든 에탈 코hom로지 클래스가 표현 가능한가—에 대한 해결을 제시한다.

ABSTRACT

We introduce a notion of derived Azumaya's algebras over rings and schemes. We prove that any such algebra $B$ on a scheme $X$ provides a class $ϕ(B)$ in $H^{1}_{et}(X,\mathbb{Z}) imes H^{2}_{et}(X,\mathbb{G}_{m})$. We prove that for $X$ a quasi-compact and quasi-separated scheme $ϕ$ defines a bijective correspondence, and in particular that any class in $H^{2}_{et}(X,\mathbb{G}_{m})$, torsion or not, can be represented by a derived Azumaya's algebra on $X$. Our result is a consequence of a more general theorem about the existence of compact generators in \emph{twisted derived categories, with coefficients in any local system of reasonable dg-categories}, generalizing the well known existence of compact generators in derived categories of quasi-coherent sheaves of \cite{bv} (corresponding to the trivial local system of dg-categories). A huge part of this paper concerns the correct treatment of these twisted derived categories, as well as the proof that the existence of compact generators locally for the fppf topology implies the existence of a global compact generator.

연구 동기 및 목표

• 고전적 Azumaya 대수들이 표현할 수 없는 $H^2_{\text{ét}}(X, \bbG_m)$ 내의 비순환 클래스까지 포함하여, 그로텐디크의 Azumaya 대수 이론을 확장한다.
• 완전 복합체이자 유도된 모티브 자기 dual 조건을 만족하는 dg-대수로서의 유도된 Azumaya 대수를 정의하고 연구한다.
• 임의의 국소적으로 컴 pact하고 국소적으로 유한한 스킴 $X$에 대해, $H^2_{\text{ét}}(X, \bbG_m)$의 모든 클래스—순환 여부에 관계없이—유도된 Azumaya 대수의 특성 클래스로 실현됨을 증명한다.
• 국소 시스템으로서의 dg-카테고리 계수를 가진 왜곡된 유도된 카테고리에서의 컴act 생성자를 일반화하여 고전 결과를 확장한다.

제안 방법

• 스킴 $X$ 위의 $bO_X$-dg-대수로서, 완전 복합체이자 유도된 모티브 자기 dual 조건을 만족하는 유도된 Azumaya 대수를 도입한다. 이는 쿼지-이소모르피즘 $B \otimes^\bbL_{\bbO_X} B^{\text{op}} \to \bbR\underline{\mathcal{H}om}_{\bbO_X}(B,B)$를 통해 기술된다.
• 다른 클래스 지도 $\phi: dBr(X) \to H^1_{\text{ét}}(X, \bbZ) \times H^2_{\text{ét}}(X, \bbG_m)$를 구성하며, 이는 그로텐디크의 고전적 클래스 $\gamma(A)$를 일반화한다.
• 유도된 Azumaya 대수가 에탈 위상에서 국소적으로 자명함을 증명하여, 내림내림 기법을 적용할 수 있도록 한다.
• fppf 위상에서의 컴 pact 생성자에 대한 접합 기법을 사용하여, 국소적 존재성에서 전역적 존재성을 유도한다.
• 국소 시스템으로서의 dg-카테고리 계수를 가진 왜곡된 유도된 카테고리에서의 컴 pact 생성성에 관한 일반 정리를 적용한다.
• $\omega$-카테고리의 내림 조건과 상대 극한을 활용하여, 특정 준동치 및 극한 조건을 만족하는 프리스타크가 스택임을 증명한다.

실험 결과

연구 질문

• RQ1 국소적으로 컴 pact하고 국소적으로 유한한 스킴 $X$에 대해, $H^2_{\text{ét}}(X, \bbG_m)$의 모든 클래스—비순환 클래스를 포함하여—유도된 Azumaya 대수로 표현될 수 있는가?
• RQ2 스킴 $X$ 위의 왜곡된 유도된 카테고리에서 컴 pact 생성자가 존재할 경우, 이는 표준 유도 카테고리가 아닐 때에도 전역적 컴 pact 생성자가 존재함을 의미하는가?
• RQ3 유도된 Azumaya 대수는 고전적 Azumaya 대수와 어떻게 관련되어 있으며, 고전 이론이 포괄하지 못하는 클래스를 어떻게 표현하는가?
• RQ4 유도된 카테고리에서의 컴 pact 생성자 이론은 국소 시스템으로서의 dg-카테고리 계수를 가진 왜곡된 유도된 카테고리로 얼마나 일반화될 수 있는가?
• RQ5 유도된 Azumaya 대수의 존재성을 바탕으로, 왜곡된 대수적 K-이론에 대한 국소화 정리를 확립할 수 있는가?

주요 결과

• 임의의 국소적으로 컴 pact하고 국소적으로 유한한 스킴 $X$에 대해, 지도 $\phi: dBr(X) \to H^1_{\text{ét}}(X, \bbZ) \times H^2_{\text{ét}}(X, \bbG_m)$는 전단사이며, 이는 $H^2_{\text{ét}}(X, \bbG_m)$의 모든 에탈 코호몰로지 클래스가 유도된 Azumaya 대수로 표현됨을 증명한다.
• 유도된 Azumaya 대수는 비순환 클래스를 포함한 $H^2_{\text{ét}}(X, \bbG_m)$의 모든 클래스에 대해 존재하며, 머피의 정면 표면이나 자명한 Azumaya 대수의 1차 변형에서 유래한 클래스들 역시 포함된다.
• 고전적 Azumaya 대수와 모티브 등급이 다른 유도된 Azumaya 대수의 구체적 예를 구성함으로써, 유도된 프레임워크의 필요성을 입증한다.
• 국소 시스템으로서의 dg-카테고리 계수를 가진 왜곡된 유도된 카테고리에서 컴 pact 생성자가 약한 조건 하에서도 존재함을 입증하였으며, 본달과 반 데른 베르그의 고전 결과를 일반화한다.
• 유도된 Azumaya 대수의 존재성에 기반하여, 왜곡된 대수적 K-이론의 국소화 정리를 확립하였으며, K-이론 계산에 새로운 도구를 제공한다.
• 부드럽고 닫힌 사상에 沿해 포화된 dg-카테고리의 직접 이미지가 포화되어 있음을 보였으며, 푸시포워드에 대한 안정성 결과를 확장한다.