파생 아주마라 대수와 뒤틀린 유도 범주 생성자

초록

저자는 스키마 위에서 ‘파생 아주마라 대수’를 정의하고, 이를 통해 에틸(cohomology) 클래스 (H^{1}{\text{et}}(X,\mathbb Z)\times H^{2}{\text{et}}(X,\mathbb G_m)) 와 일대일 대응시킨다. 특히 quasi‑compact·quasi‑separated 스키마에서는 모든 (H^{2}_{\text{et}}(X,\mathbb G_m)) 클래스가 파생 아주마라 대수로 실현될며, 이를 증명하기 위해 뒤틀린 유도 범주의 컴팩트 생성자 존재성을 fppf 위에서 전역으로 끌어올리는 일반화된 방법을 제시한다.

상세 분석

논문은 먼저 전통적인 아주마라 대수의 한계를 지적한다. 고전적인 아주마라 대수는 (H^{2}_{\text{et}}(X,\mathbb G_m)) 의 torsion 부분만을 대표하지만, 비torsion 클래스는 기존 이론으로는 포착되지 않는다. 이를 보완하기 위해 저자는 ‘파생 아주마라 대수(derived Azumaya algebra)’라는 개념을 도입한다. 이는 dg‑algebra (B) 가 (B\otimes^{\mathbb L}_A B^{\mathrm{op}}) 가 quasi‑isomorphic하게 (A) (기저 스키마의 구조 sheaf)와 동형임을 요구하는데, 여기서 ‘derived’라는 용어는 호몰로지 수준에서의 Morita 동형성을 의미한다.

핵심 정리는 두 부분으로 나뉜다. 첫째, 파생 아주마라 대수 (B) 는 자연스럽게 에틸 코호몰로지 클래스
\