Table of Contents
Fetching ...

The Mirror Clemens-Schmid Sequence

Charles F. Doran, Alan Thompson

Abstract

We introduce a four-term long exact sequence that relates the cohomology of a smooth variety admitting a projective morphism onto a projective base to the cohomology of the open set obtained by removing the preimage of a general linear section. We show that this sequence respects the perverse Leray filtration and induces exact sequences of mixed Hodge structures on its graded pieces. We conjecture that this exact sequence should be thought of as mirror to the Clemens-Schmid sequence, which describes the cohomology of degenerations. We exhibit this mirror relationship explicitly for all Type II and many Type III degenerations of K3 surfaces. In three dimensions, we show that for Tyurin degenerations of Calabi-Yau threefolds our conjecture is a consequence of existing mirror conjectures, and we explicitly verify our conjecture for a more complicated degeneration of the quintic threefold.

The Mirror Clemens-Schmid Sequence

Abstract

We introduce a four-term long exact sequence that relates the cohomology of a smooth variety admitting a projective morphism onto a projective base to the cohomology of the open set obtained by removing the preimage of a general linear section. We show that this sequence respects the perverse Leray filtration and induces exact sequences of mixed Hodge structures on its graded pieces. We conjecture that this exact sequence should be thought of as mirror to the Clemens-Schmid sequence, which describes the cohomology of degenerations. We exhibit this mirror relationship explicitly for all Type II and many Type III degenerations of K3 surfaces. In three dimensions, we show that for Tyurin degenerations of Calabi-Yau threefolds our conjecture is a consequence of existing mirror conjectures, and we explicitly verify our conjecture for a more complicated degeneration of the quintic threefold.

Paper Structure

This paper contains 37 sections, 13 theorems, 33 equations.

Key Result

Theorem 1.1

Let $\pi \colon Y \to B$ be a projective, surjective morphism from a smooth complex projective variety $Y$ to a complex projective variety $B$. Fix an embedding $B \subset \mathbb{P}^N$ and let $Z \subset Y$ be the preimage under $\pi$ of a general linear subspace. Let $U := Y - Z$ denote the comple

Theorems & Definitions (39)

  • Theorem 1.1
  • Definition 1.2
  • Definition 1.3
  • Definition 1.4
  • Definition 1.5
  • Conjecture 1.6
  • Theorem 1.7
  • Conjecture 1.8
  • Theorem 1.9
  • Definition 2.1
  • ...and 29 more