[논문 리뷰] Kernel algebras and generalized Fourier-Mukai transforms

Alexander Polishchuk|ArXiv.org|2008. 10. 08.

Algebraic structures and combinatorial models참고 문헌 19인용 수 7

한 줄 요약

이 논문은 $X \times X$ 위의 층의 범주에 있는 대수적 구조(핵심 대수)를 도입하여, 비가환 기하학적 설정으로 푸리에-무카이 변환과 유도된 모리타 이론을 일반화한다. 핵심 대수의 순수한 경우(층의 아벨 부분범주를 유지하는 경우)는 그 모듈러 범주의 유도 동치를 유도하며, 아벨 다양체 위의 외부 $D$-모듈과 일반화된 1-모티브에 대한 로모의 푸리에 대칭성의 통합을 가능하게 한다.

ABSTRACT

We introduce and study kernel algebras, i.e., algebras in the category of sheaves on a square of a scheme, where the latter category is equipped with a monoidal structure via a natural convolution operation. We show that many interesting categories, such as D-modules, equivariant sheaves and their twisted versions, arise as categories of modules over kernel algebras. We develop the techniques of constructing derived equivalences between these module categories. As one application we generalize the results of math.AG/9901009 concerning modules over algebras of twisted differential operators on abelian varieties. As another application we recover and generalize the results of Laumon in alg-geom/9603004 concerning an analog of the Fourier transform for derived categories of quasicoherent sheaves on a dual pair of generalized 1-motives.

연구 동기 및 목표

• 비가환 기하학적 범주(예: $D$-모듈, 등변층)로 확장된 적분 변환 기법을 공유하는 것.
• dg-범주에 의존하지 않고 핵심 대수 위의 모듈러 범주의 유도 동치를 구성하기 위한 프레임워크 개발.
• 아벨 다양체 위의 외부 미분 연산자에 관한 기존 결과와 일반화된 1-모티브에 대한 푸리에 대칭성을 일반화하는 것.
• 군oids 작용과 관련된 핵심 대수를 통해 몫 스택 위의 층과 등변층의 이론을 통합적으로 다루는 것.
• 핵심 대수 위의 모듈러의 체흐 해상이 호환되는 대수 작용을 상속할 수 있는 조건을 규명하여 명시적 계산을 가능하게 하는 것.

제안 방법

• 핵심 대수를 $X \times X$ 위의 층의 모노이드 범주에서의 대수적 구조로 정의하며, 복합 구조에 따라 단위를 $\Delta_*\mathcal{O}_X$로 설정한다.
• 관련 적분 변환이 유한 층의 아벨 부분범주를 유지하는 경우를 '순수한' 핵심 대수로 정의한다.
• 아핀 전이 사상이 있는 호환 가능한 열린 덮개 $(U_i)$를 사용하여 핵심 대수 위의 모듈러에 대한 체흐 유형 해상 구축.
• 해상이 핵심 대수의 구조와 호환되도록 $\sigma: \mathcal{A} \circ_X \Delta(\mathfrak{U}) \to \Delta(\mathfrak{U}) \circ_X \mathcal{A}$ 의 동형을 확립한다.
• 유한군 스킴 또는 형식군의 작용으로부터 $D_{qc}(X)$ 위에 핵심 대수를 구성하며, 그 모듈러 범주가 등변층과 동치임을 보인다.
• 일반화된 1-모티브 $[G \to E]$ 와 그 쌍대 $[G' \to E']$ 에 적용하여, 이들의 층이 아벨 다양체 $A \subset E$ 와 $\hat{A}$ 위의 핵심 대수를 통해 외부 등변층과 대응됨을 보인다.

실험 결과

연구 질문

• RQ1 적분 변환과 유도된 모리타 이론은 어떻게 $D$-모듈과 외부 층과 같은 비가환 기하학적 범주로 일반화될 수 있는가?
• RQ2 핵심 대수가 그 모듈러 범주의 유도 동치를 유도하기 위한 조건은 무엇이며, 이러한 동치는 어떻게 명시적으로 구성할 수 있는가?
• RQ3 일반화된 1-모티브에 대한 푸리에-무카이 대칭성은 핵심 대수와 호환 가능한 체흐 해상을 통해 복구되고 확장될 수 있는가?
• RQ4 유도된 층의 범주 $D_{qc}(X)$ 위의 군oids 작용은 어떻게 핵심 대수를 유도하며, 그 모듈러의 기하학적 해석은 무엇인가?
• RQ5 핵심 대수 위의 모듈러의 체흐 해상이 핵심 대수의 작용을 호환되게 상속받는 조건은 무엇인가?

주요 결과

• 순수한 핵심 대수는 그 모듈러 범주의 유도 동치를 유도하며, 오르로프의 적분 변환 정리와 [Ric]의 유도된 모리타 이론을 일반화한다.
• $X$ 위의 $G$-등변층의 범주는 $D_{qc}(X)$ 위의 $G$-작용을 통해 적분 변환으로 구성된 순수한 핵심 대수 위의 모듈러 범주와 동치이다.
• 외부 $G$-등변층은 자동형사상과 선형 번들에 대한 텐서 곱 작용을 조합한 작용과 관련된 핵심 대수 위의 모듈러로 나타난다.
• 일반화된 1-모티브 $K = [G \to E]$ 위의 층은 아벨 다양체 $A \subset E$ 위의 순수한 핵심 대수 $\mathcal{A}(K)$ 위의 모듈러와 동치이며, 이는 쌍대 $\mathbb{D}(K)$ 와 $\hat{A}$ 에서도 마찬가지이다.
• $\mathcal{A}(K)$ 와 $\mathcal{A}(\mathbb{D}(K))$ 는 $A$ 와 $\hat{A}$ 에서 표준적인 푸리에-무카이 변환에 의해 연결되며, 일반화된 대칭성을 확립한다.
• 핵심 대수와 호환되는 아핀 열린 덮개에 대해, 모듈러의 체흐 해상은 핵심 대수의 작용을 호환되게 상속받으며, 이는 $\mathcal{O}^\bullet(X, \mathfrak{U})$ 를 이용한 명시적 해상 가능성을 보장한다.