Picard groups of completed period images and the Deng-Robles problem

TL;DR

This paper investigates the algebraic structure of completed period images in degenerating Hodge structures, establishing a divisor-theoretic obstruction and confirming the Deng-Robles conjecture in one-dimensional cases.

Contribution

It identifies the Picard group obstruction to the algebraic description of completed period images and proves the Deng-Robles conjecture for one-dimensional pure period images.

Findings

Obstruction to algebraic description expressed as a Picard-generation statement.

Proved the Picard-generation statement for one-dimensional pure period images.

Confirmed the Deng-Robles conjecture in the one-dimensional case.

Abstract

A basic problem in the geometry of degenerating period maps is to determine whether their completed images admit an intrinsic algebraic description. For polarized variations of Hodge structure over smooth quasi-projective surfaces, Deng and Robles formulated such a problem in terms of the Kato-Nakayama-Usui completion of the period image and a conjectural Proj description involving the augmented Hodge line bundle and the boundary divisor on a smooth compactification of the base. We show that the essential obstruction to this description is divisor-theoretic: it may be expressed as a Picard-generation statement on the completed mixed period image. We prove this statement when the pure period image is one-dimensional, and consequently obtain the Deng-Robles Proj description in this case.