Table of Contents
Fetching ...

Yoga for Fourier--Mukai partnership

Pat Lank, Kabeer Manali-Rahul, Nebojsa Pavic

TL;DR

This work advances the study of Fourier–Mukai type integral transforms under base change, especially over singular varieties and arbitrary base fields. By developing a base-change framework anchored in local algebra and fiber analysis, the authors establish ascent/descent results for adjunctions, full faithfulness, and equivalences, extending Orlov’s results to broader contexts. They prove that adjointness and derived-equivalence properties survive affine base changes (under suitable tor-dimension hypotheses) and derive arithmetic-geometric consequences, including invariance of genus, smoothness, and CM/Gorenstein properties under FM partnership. The results illuminate how derived categories encode geometric and arithmetic invariants across base changes and provide tools for identifying k-forms and base-change isomorphisms for curves and fibrations.

Abstract

We study the behavior of integral transforms under various forms of base change. In particular, we establish a yoga of local algebra and fibers to test for derived equivalences via integral transforms. This partially generalizes a result of Orlov to singular varieties and strengthens many results in the literature to arbitrary fields. Additionally, it provides new insight into fibrations and their singularities arising in more arithmetically flavored contexts (e.g.\ projective and flat schemes over a DVR).

Yoga for Fourier--Mukai partnership

TL;DR

This work advances the study of Fourier–Mukai type integral transforms under base change, especially over singular varieties and arbitrary base fields. By developing a base-change framework anchored in local algebra and fiber analysis, the authors establish ascent/descent results for adjunctions, full faithfulness, and equivalences, extending Orlov’s results to broader contexts. They prove that adjointness and derived-equivalence properties survive affine base changes (under suitable tor-dimension hypotheses) and derive arithmetic-geometric consequences, including invariance of genus, smoothness, and CM/Gorenstein properties under FM partnership. The results illuminate how derived categories encode geometric and arithmetic invariants across base changes and provide tools for identifying k-forms and base-change isomorphisms for curves and fibrations.

Abstract

We study the behavior of integral transforms under various forms of base change. In particular, we establish a yoga of local algebra and fibers to test for derived equivalences via integral transforms. This partially generalizes a result of Orlov to singular varieties and strengthens many results in the literature to arbitrary fields. Additionally, it provides new insight into fibrations and their singularities arising in more arithmetically flavored contexts (e.g.\ projective and flat schemes over a DVR).

Paper Structure

This paper contains 14 sections, 33 theorems, 33 equations.

Key Result

Proposition 1.1

Suppose $t\colon T \to S$ is a morphism of Noetherian schemes. Let $Y_1$ and $Y_2$ be proper and flat $S$-schemes. Denote by $\pi \colon Y_1\times_S Y_2 \times_S T \to Y_1\times_S Y_2$ the natural morphism. Consider $K\in D^-_{\operatorname{coh}}(Y_1\times_S Y_2)$.

Theorems & Definitions (68)

  • Proposition 1.1
  • Theorem 1.2: see \ref{['cor:ascending_faithfully']}
  • Corollary 1.3: cf. Orlov:2002
  • Theorem 1.4: see \ref{['cor:ascending_faithfully_affine']}
  • Lemma 2.1
  • proof
  • Lemma 2.2
  • proof
  • Remark 2.3
  • Example 2.4: Bondal/VandenBergh:2003
  • ...and 58 more