스키마 위의 에일렌버그와츠 정리

초록

본 논문은 준동형 사상 사이의 직접극한 보존 우변 정확함을 갖는 함자 $F$가 쿼시-코히런트 층의 범주 사이에서 이중모듈과의 텐서곱으로 표현될 수 있는지의 장애요소를 조사한다. 정의역 스키마가 아핀일 때와 $F$가 정확할 때는 모든 장애가 사라져 고전적 에일렌버그‑와츠 정리를 재현한다. 이 결과는 Ingalls‑Patrick이 만든 비가환 히루베르츠 표면이 Van den Bergh의 비가환 $\mathbb{P}^{1}$‑번들임을 증명하는 핵심 단계가 된다.

상세 분석

논문은 먼저 쿼시‑코히런트 층 $\operatorname{QCoh}(X)$와 $\operatorname{QCoh}(Y)$ 사이의 오른쪽 정확하고 직접극한을 보존하는 가법 함자 $F$를 고려한다. 전통적인 에일렌버그‑와츠 정리는 $X$와 $Y$가 스킴이 아니라 아벨 범주일 때, 즉 모듈 범주 $\operatorname{Mod}!-!A$, $\operatorname{Mod}!-!B$ 사이의 함자가 $A$‑$B$ 이중모듈 $M$에 대한 텐서곱 $-\otimes_{A}M$으로 완전히 기술된다는 것을 말한다. 그러나 스키마 상황에서는 구조 사상이 비아핀인 경우, 혹은 $F$가 정확하지 않을 때, 두 가지 주요 장애가 나타난다. 첫 번째는 “지역화 장애”로, 아핀 열린 덮개에서 정의된 이중모듈이 서로 다른 열린 집합에서 일치하지 않아 전역 객체를 구성할 수 없게 된다. 두 번째는 “코히런트성 손실”으로, $F$가 정확하지 않으면 코히런트 층을 코히런트 층으로 보내지 못하고, 이 경우 텐서곱으로 표현되는 모듈이 반드시 코히런트가 되지 않을 위험이 있다.

저자들은 이러한 장애를 정밀히 측정하기 위해 두 종류의 사상 $\alpha_{U,V}:F(\mathcal{O}{U})\otimes{\mathcal{O}{U}} \mathcal{O}{V}\to F(\mathcal{O}{V})$와 $\beta{U}:F(\mathcal{O}{U})\to \Gamma(U,F(\mathcal{O}{X}))$를 도입한다. 여기서 $U\subseteq X$, $V\subseteq Y$는 아핀 열린 집합이다. $\alpha$와 $\beta$가 동형이면 지역화와 코히런트성 장애가 사라진다. 논문은 $X$가 아핀이면 모든 $\alpha$와 $\beta$가 자동으로 동형이 되며, 이는 기존 정리와 일치한다. 또한 $F$가 정확하면 $\beta$가 동형이 되고, $\alpha$는 아핀 커버의 교차에서의 일관성 조건을 만족한다는 것을 보인다.

핵심 정리는 “Eilenberg‑Watts over schemes”라 명명되며, 다음과 같이 서술된다. $X$가 스키마, $Y$가 스키마이며, $F:\operatorname{QCoh}(X)\to\operatorname{QCoh}(Y)$가 오른쪽 정확하고 직접극한을 보존하는 가법 함자라 하자. 만일 $X$가 아핀이거나 $F$가 정확하면, 존재하는 $\mathcal{O}{X}$–$\mathcal{O}{Y}$ 이중모듈 $\mathcal{M}$가 있어 $F\simeq -\otimes_{\mathcal{O}{X}}\mathcal{M}$이다. 이때 $\mathcal{M}=F(\mathcal{O}{X})$이며, 위의 $\alpha$, $\beta$가 동형임을 이용해 전역적인 텐서곱 구조를 구축한다.

마지막으로 저자들은 이 정리를 Ingalls‑Patrick이 만든 비가환 히루베르츠 표면에 적용한다. 그 표면은 두 개의 비가환 $\mathbb{P}^{1}$‑번들을 gluing한 구조로 정의되는데, 여기서 각 번들의 푸시포워드와 풀백이 위 정리의 가정에 정확히 부합한다. 따라서 해당 비가환 표면은 Van den Bergh가 제시한 비가환 $\mathbb{P}^{1}$‑번들의 정의와 동형임을 확인한다.

이 논문은 스키마 위의 함자 이론에 새로운 관점을 제공하고, 비가환 기하학에서 중요한 예시인 히루베르츠 표면을 기존 이론과 연결시키는 교량 역할을 한다.