Failure of the invariant cycle theorem over $\mathbb Z$

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Arapura, Donu, Greer, François, Zhang, Yilong
Format: Preprint
Veröffentlicht: 2026
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866910223075115008
author Arapura, Donu
Greer, François
Zhang, Yilong
author_facet Arapura, Donu
Greer, François
Zhang, Yilong
contents We initiate a study of the local invariant cycle theorem with integral coefficients for 1-parameter semistable families of varieties. We show that it always holds for $H^1$, and it holds for $H^2$ if the general fiber has trivial Albanese variety. The latter generalizes results of Friedman, Griffiths, and Scattone on K3 surfaces and I-surfaces. We construct the first example of a semistable family which fails the local (and global) invariant cycle theorems with integral coefficients. The family has constant period map associated to $H^2$, and its smooth fibers are algebraic surfaces with $p_g=q=1$; in particular, they have non-trivial Albanese varieties. The surfaces in the family have maximal Picard rank and minimal discriminant, and they are closely related to Vinberg's most algebraic K3 surface. Our construction also generalizes the Shioda--Inose construction for rational double covers of K3 surfaces.
format Preprint
id arxiv_https___arxiv_org_abs_2602_07302
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Failure of the invariant cycle theorem over $\mathbb Z$
Arapura, Donu
Greer, François
Zhang, Yilong
Algebraic Geometry
Algebraic Topology
14J27, 14D06, 14J28, 14C30, 32G20
We initiate a study of the local invariant cycle theorem with integral coefficients for 1-parameter semistable families of varieties. We show that it always holds for $H^1$, and it holds for $H^2$ if the general fiber has trivial Albanese variety. The latter generalizes results of Friedman, Griffiths, and Scattone on K3 surfaces and I-surfaces. We construct the first example of a semistable family which fails the local (and global) invariant cycle theorems with integral coefficients. The family has constant period map associated to $H^2$, and its smooth fibers are algebraic surfaces with $p_g=q=1$; in particular, they have non-trivial Albanese varieties. The surfaces in the family have maximal Picard rank and minimal discriminant, and they are closely related to Vinberg's most algebraic K3 surface. Our construction also generalizes the Shioda--Inose construction for rational double covers of K3 surfaces.
title Failure of the invariant cycle theorem over $\mathbb Z$
topic Algebraic Geometry
Algebraic Topology
14J27, 14D06, 14J28, 14C30, 32G20
url https://arxiv.org/abs/2602.07302