Crepant resolutions of stratified varieties via gluing
File(s)Local_to_Global_Results_for_SRs-11.pdf (630.08 KB)
Accepted version
Author(s)
Kaplan, Daniel
Schedler, Travis
Type
Journal Article
Abstract
Let X be a variety with a stratification S into smooth locally closed subvarieties such that X is locally a product along each stratum (e.g., a symplectic singularity). We prove that assigning to each open subset U ⊂ X the set of isomorphism classes of locally projective crepant resolutions of U defines an S-constructible sheaf of sets. Thus, for each stratum S and basepoint s ∈ S, the fundamental group acts on the set of germs of projective crepant resolutions at s, leaving invariant the germs extending to the entire stratum. Global locally projective crepant resolutions correspond to compatible such choices
for all strata. For example, if the local projective crepant resolutions are unique, they automatically glue
uniquely.
We give criteria for a locally projective crepant resolution ρ : ˜X → X to be globally projective. We show that the sheafification of the presheaf U 7 → Pic(ρ−1(U )/U ) of relative Picard classes is also constructible. The resolution is globally projective only if there exist local relatively ample bundles whose classes glue to a global section of this sheaf. The obstruction to lifting this section to a global ample line bundle is encoded by a gerbe on the singularity X. We show the gerbes are automatically trivial if X is a symplectic quotient singularity.
for all strata. For example, if the local projective crepant resolutions are unique, they automatically glue
uniquely.
We give criteria for a locally projective crepant resolution ρ : ˜X → X to be globally projective. We show that the sheafification of the presheaf U 7 → Pic(ρ−1(U )/U ) of relative Picard classes is also constructible. The resolution is globally projective only if there exist local relatively ample bundles whose classes glue to a global section of this sheaf. The obstruction to lifting this section to a global ample line bundle is encoded by a gerbe on the singularity X. We show the gerbes are automatically trivial if X is a symplectic quotient singularity.
Date Acceptance
2024-05-27
Citation
International Mathematics Research Notices
ISSN
1073-7928
Publisher
Oxford University Press
Journal / Book Title
International Mathematics Research Notices
Publication Status
Accepted