English

Perverse obstructions to flat regular compactifications

Algebraic Geometry 2016-12-06 v1

Abstract

Suppose π:WS\pi:W\to S is a smooth, proper morphism over a variety SS contained as a Zariski open subset in a smooth, complex variety Sˉ\bar S. The goal of this note is to consider the question of when π\pi admits a regular, flat compactification. In other words, when does there exists a flat, proper morphism πˉ:WSˉ\bar\pi:\overline{W}\to\bar S extending π\pi with W\overline{W} regular? One interesting recent example of this occurs in the preprint arXiv:1602.05534 of Laza, Sacca and Voisin where π\pi is a family of abelian 55-folds over a Zariski open subset SS of Sˉ=P5\bar S=\mathbb{P}^5. In that paper, the authors construct W\overline{W} using the theory of compactified Prym varieties and show that it is a holomorphic symplectic manifold (deformation equivalent to O'Grady's 1010-dimensional example). In this note I observe that non-vanishing of the local intersection cohomology of R1πQR^1\pi_*\mathbb{Q} in degree at least 22 provides an obstruction to finding a πˉ\bar\pi. Moreover, non-vanishing in degree 11 provides an obstruction to finding a πˉ\bar\pi with irreducible fibers. Then I observe that, in some cases of interest, results of Brylinski, Beilinson and Schnell can be used to compute the intersection cohomology. I also give examples involving cubic 44-folds, and ask a question about palindromicity of hyperplane sections.

Keywords

Cite

@article{arxiv.1612.01220,
  title  = {Perverse obstructions to flat regular compactifications},
  author = {Patrick Brosnan},
  journal= {arXiv preprint arXiv:1612.01220},
  year   = {2016}
}

Comments

7 pages

R2 v1 2026-06-22T17:13:10.422Z