A Resolution of the Diagonal for Toric Deligne-Mumford Stacks

기술 요약: 토릭 D-M 스택에 대한 대각선의 분해

문제 정의
매끄러운 사영 다양체 $X$ 위의 코히어런트 층의 유계 유도 범주(bounded derived category of coherent sheaves) $D^b_{Coh}(X)$는 호몰로지컬 미러 심메트리(Homological Mirror Symmetry)의 B-사이드에서 핵심적인 역할을 한다. $\mathbb{P}^n$에 대한 이 범주를 이해하기 위한 기초적인 도구는 베일린슨(Beilinson)의 대각선 분해이며, 이는 항등 함수를 유도하는 푸리에-무카이 변환(Fourier-Mukai transform)의 커널을 제공한다. 베이어, 포페스쿠, 스터름펠스(Bayer, Popescu, and Sturmfels, BPS)는 unimodular 격자 $L$과 연관된 로런츠 이데알(Lawrence ideal) $J_L$의 셀룰러 분해를 구성함으로써, 이를 "unimodular" 토릭 다양체로 일반화하였다.

그러나 BPS 프레임워크는 매끄러운 토릭 다양체의 진부분 클래스인 unimodular 토릭 다양체로 제한된다(예를 들어, $\mathbb{P}^2$를 한 점에서 블로우업한 후 그 예외적(exceptional) 디바이저를 따라 다시 블로우업한 경우나 비자명한 가중 사영 공간 등은 제외된다). 또한, 매끄러운 토릭 다양체를 유한 아벨 군 $\mu$에 의한 전역 몫(global quotient) $X_\Sigma / \mu$로 구현할 수 있는 토릭 델리뉴-뭄포드(Deligne-Mumford, D-M) 스택의 이론은 이러한 대각선 분해의 일반화를 요구한다. 본 논문은 다음의 경우에 대한 대각선 분해를 구축하는 간극을 다룬다:

1. 반드시 unimodular일 필요는 없는 매끄러운 토릭 다양체.
2. 매끄러운 토릭 다양체의 유한 아벨 군 $\mu$에 의한 전역 몫으로 정의되는 토릭 D-M 스택.

방법론
저자는 BPS 구성을 확장하기 위해 조합론적 가환 대수, 토릭 기하학, 그리고 모리타 동치(Morita equivalence)의 결합을 사용한다.

• 셀룰러 복합체의 변형(Deformation of Cellular Complexes): 매끄럽지만 unimodular가 아닌 토릭 다양체 $X_\Sigma$의 경우, 주 디바이저(principal divisors)의 격자 $L$과 연관된 표준 하이퍼플레인 배열 $H_L$은 정점(vertex)에서 횡단적 교차(transversal intersection)를 갖지 못한다(즉, $H_L \cap \mathbb{R}L$은 $L$에 속하지 않는 점들을 포함한다). 이를 해결하기 위해, 저자는 $X_\Sigma$의 유효 원뿔(effective cone) 내의 변형 파라미터 $\epsilon$을 도입한다. 이는 하이퍼플레인 배열을 $H^\epsilon_L$로 변형하여 횡단적 교차를 보장한다. 결과적으로 생성된 셀룰러 복합체 $(F^\bullet_{H^\epsilon_L}, \partial_\epsilon)$는 대각선 객체를 분해하는 것으로 나타난다.
• 코커넬 분석 및 틔션(Cokernel Analysis and Torsion): 격자 모듈 $M_{\Lambda(L)}$에서 분해 사상의 이미지로 가는 사상의 코커넬을 분석하는 것이 결정적인 단계이다. 저자는 $\epsilon$이 유효 원뿔 안에 있을 때, 이 코커넬이 $X_\Sigma \times X_\Sigma$의 무관 이데알(irrelevant ideal) $I_{irr}$에 대해 틔션(torsion)임을 입증한다. 코히어런트 층과 유한 차수 모듈 사이의 동치를 확립하는 콕스(Cox)의 정리에 의해, 이 틔션은 해당 복합체가 유도 범주에서 실제로 대각선 객체를 분해함을 의미한다.
• 전역 몫을 위한 모리타 동치: 토릭 D-M 스택 $X'_{\Sigma} = X_\Sigma / \mu$에 대해, 저자는 모리타 이론을 활용한다. 스택을 국소적으로 아핀 몫 $\mathbb{A}^n / \mu$로 간주함으로써, 대각선 객체는 $L/\tilde{L} \cong \mu$를 만족하는 공-유한 부격자(co-finite sublattice) $\tilde{L} \subset L$을 통해 구성된다. 대각선 객체는 $\pi(M_{\Lambda(L)}) = M_{\Lambda(L)} \otimes_{S[\Lambda(\tilde{L})]} S$로 정의된다. 분해는 unimodular 케이스의 셀룰러 분해를 몫 격자 $\tilde{L}$로 리프팅함으로써 구축되며, 이는 $S[\Lambda(L)]$ 대신 $S[\Lambda(\tilde{L})]$ 위에서 텐서 곱을 취하는 과정이다.
• 글루잉(Gluing): 매끄러운 토릭 다양체는 아핀 공간 $\mathbb{A}^m$에 의한 열린 덮개를 가지므로, 몫 스택의 국소적 대각선 객체들은 결합되어 전역 대각선 객체를 형성한다.

주요 기여 및 결과
본 논문은 두 가지 주요 정리를 확립한다:

1. 정리 (A): 매끄러운 토릭 다양체 $X_\Sigma$ (반드시 unimodular일 필요는 없음)에 대하여, $S$-자유 모듈의 복합체 $(F^\bullet_{H^\epsilon_L/L}, \partial_\epsilon)$는 $D^b_{Coh}(X_\Sigma \times X_\Sigma)$에서 대각선 객체 $\pi(M_{\Lambda(L)})$의 분해를 제공한다. 이는 변형 파라미터 $\epsilon$을 사용하여 non-unimodular 케이스를 처리함으로써 BPS 결과를 일반화한다.
2. 정리 (B): 심플리셜 토릭 D-M 스택 $X'_{\Sigma} = X_\Sigma / \mu$ (여기서 $X_\Sigma$는 매끄럽고 $\mu$는 유한 아벨 군)에 대하여, 복합체 $(F^\bullet_{H^\epsilon_L/\tilde{L}}, \partial_\epsilon)$는 $D^b_{Coh}(X'_{\Sigma} \times X'_{\Sigma})$에서 대각선 객체 $\pi(M_{\Lambda(L)}) = M_{\Lambda(L)} \otimes_{S[\Lambda(\tilde{L})]} S$를 분해한다.

논문은 다음과 같은 명시적인 예시들을 제공한다:

• $\mathbb{P}^2$의 셀룰러 분해 (unimodular 케이스).
• $\mathbb{P}^1 / \mu_6$에 대한 분해: 피복 사상(covering map)과 최대 토러스(maximal torus)의 세분화를 보여준다.
• $\mathbb{P}^2$의 한 점에서의 블로우업($Bl_{[1:0:0]}\mathbb{P}^2$)에 대한 셀룰러 복합체의 변형: 파라미터 $\epsilon$이 어떻게 non-unimodular 격자의 횡단성 결여를 해결하는지 보여준다.
• 가중 사영 공간 $\mathbb{P}(1,2)$에 대한 검증: 예외적 컬렉션(exceptional collection)이 유도 범주를 생성함을 보여준다.

의의
본 논문은 베이어-포페스쿠-스터름펠스(Bayer-Popescu-Sturmfels)의 대각선 분해를 더 넓은 범위의 기하학적 대상인 매끄러운 토릭 다양체와 그 전역 몫 스택으로 일반화한다고 주장한다. 유효 원뿔 내의 파라미터를 사용하여 셀룰러 복합체를 변형함으로써, 저자는 이전 연구에서 요구되었던 "unimodularity" 조건을 극복한다. 이러한 확장은 다양한 토릭 D-M 스택에 대한 대각선 분해(그리고 결과적으로 항등 함수를 유도하는 푸리에-무카이 커널)의 구축을 가능하게 하며, 이는 이 맥락에서 호몰로지컬 미러 심메트리의 B-사이드 연구에 필수적이다. 이 작업은 구축된 복합체가 코히어런트 층의 유도 범주에서 대각선 객체를 분해함을 검증하기 위해 콕스의 정리(모듈 modulo torsion)에 의해 제공되는 범주의 동치에 의존한다.