반직교 분해의 베이스 체인지와 사상자 커널 구현

본 논문은 대수다양체 \(X\)가 베이스 스킴 \(S\) 위에 놓여 있을 때, 그 유도된 범주 \(D^b(X)\)에 존재하는 반직교 분해를 베이스 체인지 \(T\to S\)에 대해 어떻게 끌어올릴 수 있는지를 체계적으로 연구한다. 먼저 저자는 \(D^b(X)\)의 admissible subcategory \(\mathcal A\)를 주면, 이를 포함하는 최소 삼각 부분범주 \(\widehat{\mathcal A}\subset D_{\mathrm{qc}}(X)\)를 정의한다. \(\widehat{\mathcal A}\)는 모든 직접합에 대해 닫혀 있어, 무한 차원의 준동형 사상자 범주에서도 삼각 구조를 자연스럽게 상속한다. 이어서 \(\mathcal A_{\mathrm{perf}}:=\mathcal A\cap D^{\mathrm{perf}}(X)\)와 \(\mathcal A^{-}:=\widehat{\mathcal A}\cap D^{-}(X)\)를 도입함으로써, 완전 복합체와 위 위 복합체에 대한 반직교 분해를 각각 구축한다. 이 과정에서 핵심 가정은 각 투사 사상자 \(\alpha_i\)가 유한 코호몰로지 진폭을 갖는다는 것이며, 이는 특히 \(X\)가 매끄럽다면 자동으로 만족된다. 다음 단계에서는 베이스 체인지 \(\phi:T\to S\)가 \(f:X\to S\)에 대해 faithful(즉, 카테시안 사각형이 exact)인 경우를 다룬다. 이때 \(X_T:=X\times_S T\)에 대한 풀백 \(\phi^*\)와 푸시포워드 \(f_*\) 사이에 \(\phi^*f_*\cong f_*\phi^*\)가 성립한다는 사실을 이용한다. 저자는 먼저 \(D^{\mathrm{perf}}(X_T)\)에 대해 \(\mathcal A_{i,\mathrm{perf}}^T\)를 \(\phi^*\mathcal A_{i,\mathrm{perf}}\)와 \(f^*\)에 의해 생성된 직접합으로 정의하고, 이것이 반직교 분해를 이루는 것을 보인다. 이후 \(\widehat{\mathcal A}_i^T\)를 \(\mathcal A_{i,\mathrm{perf}}^T\)를 포함하고 직접합에 대해 닫힌 최소 삼각 부분범주로 정의한다. 마지막으로 \(\mathcal A_i^T:=\widehat{\mathcal A}_i^T\cap D^b(X_T)\)를 취함으로써, \(\{ \mathcal A_1^T,\dots,\mathcal A_m^T\}\)가 \(D^b(X_T)\)의 반직교 분해가 됨을 증명한다. 여기서도 투사 사상자들의 코호몰로지 진폭이 유한함을 보이며, 이는 원래 분해의 가정에서 그대로 전이된다. 논문의 마지막 주요 결과는 이러한 투사 사상자들이 실제로 커널 사상자임을 보이는 정리이다. 구체적으로, 각 투사 사상자 \(\alpha_i:D^b(X)\to\mathcal A_i\)에 대해 어떤 객체 \(K_i\in D^b(X\times X)\)가 존재하여 \(\alpha_i\cong\Phi_{K_i}\) (즉, Fourier–Mukai 변환)임을 증명한다. 이는 Orlov의 “완전성 정리”(fully faithful functor is of Fourier–Mukai type)를 일반화한 것으로, admissible subcategory가 반드시 Fourier–Mukai 커널을 통해 투사될 수 있음을 의미한다. 특히 \(\mathcal A\cong D^b(Y)\)인 경우, 기존의 Orlov 정리와 일치함을 확인한다. 논문은 또한 이러한 구조가 베이스 체인지에 대해 안정적이며, \(\mathcal A_T\)와 그 연관된 커널 \(K_{i,T}\)가 자연스럽게 \(\phi\)에 대해 풀백된다는 점을 강조한다. 전체적으로, 이 연구는 반직교 분해와 베이스 체인지 사이의 깊은 상호작용을 명확히 하고, 비평탄하거나 비정상적인 상황에서도 유도된 범주의 구조를 효과적으로 제어할 수 있는 새로운 도구를 제공한다.