Mittag‑Leffler 모듈을 통한 Cartier 대수쌍대성 확장

초록

저자들은 평탄 Mittag‑Leffler 모듈을 좌표환으로 갖는 아핀 가환 군스키마 G에 대해 Cartier 대수쌍대 G∨를 정의하고, G와 G∨ 사이의 기하·범주적 1‑쌍대성을 Fourier‑Mukai 변환으로 구현한다. Noetherian 기반에서 이 변환은 유도된 카테고리 전역 동형을 제공한다.

상세 분석

이 논문은 두 단계의 범주론적 구조를 동시에 다룬다. 0‑레벨에서는 평탄 Mittag‑Leffler(R‑모듈)와 그 선형 이중체인 ‘프로‑유한 프로‑프로젝티브’ 모듈 사이의 반동형 사상을 구축한다. Drinfeld이 제시한 “인간적인 얼굴을 가진 프로젝트 모듈”이라는 관점을 정밀화하여, 평탄 Mittag‑Leffler 모듈 M에 대해 그 이중체 M∨를 Pro‑Mod R의 프로‑프로젝티브 객체로 식별한다(정리 2.3.1). 이 선형 이중체는 Hopf 대수 구조를 보존하므로, 아핀 가환 군스키마 G=Spec A(=평탄 Mittag‑Leffler 알gebra) 에 대해 G∨:=Spec A∨ 를 정의할 수 있다. 여기서 A∨는 코코무터티브 Hopf 알gebra이며, 그 스펙트럼은 ‘ind‑finite ind‑scheme’ 즉, 무한 차원의 인디스키마가 된다.

정리 A(3.1.6)는 이러한 G와 G∨ 사이의 반동형을 전역적으로 확장한다. ‘coflat’라는 새로운 개념을 도입해, G∨가 단순히 ind‑scheme이 아니라 코플랫(ind‑finite) 구조를 갖는다는 점을 강조한다. 이는 기존의 SGA3·Cartier 이론이 필드 위에서만 성립하던 것을, 임의의 베이스 링 R 위로 일반화한 것이다.

1‑레벨에서는 두 종류의 1‑쌍대성을 구분한다. 첫 번째는 ‘기하학적 1‑쌍대’로, G와 B G∨ 사이의 쌍대 쌍 P:G×B G∨→B Gₘ 가 완전(완전성)하면 서로의 1‑쌍대가 된다. 그러나 G가 예를 들어 Gₐ(특히 char 0)일 때는 Ext¹(Gₐ,Gₘ)=0이므로 완전성이 깨진다. 저자들은 h‑topology를 이용해 B G∨를 재정의하고, 이 경우 Gᵈ≃h‑B G∨ 로서 기하학적 1‑쌍대가 복원된다고 보인다.

범주적 1‑쌍대는 Fourier‑Mukai 변환을 통해 구현된다. 정리 B(5.2.12)는 Noetherian 베이스 R(dualizing complex 존재) 위에서 평탄 Mittag‑Leffler 군 G, H가 주어지고, 이들 사이에 비선형 쌍 G∨×H∨→Gₘ 가 존재하면, 스택