SearcharxivSearch

arXiv subjects

Gregory Pearlstein

Publications and source records attributed to Gregory Pearlstein.

At least 19 recordsLinked to original sources

Motivic apsects of a remarkable class of Calabi-Yau threefolds

In this note we consider the motivic aspect of the middle cohomology of more than 200 classes of quasi-smooth Calabi--Yau threefolds inside weighted projective 4-space which come with an action of a cyclic group of even order. The action induces a self-dual Chow--K\"unneth decomposition. All but one component correspond to Fano threefolds. For these the generalized Hodge conjecture is known, but thanks to the nature of the decomposition we can give a direct proof for one of the components.

math.AG

A remarkable class of elliptic surfaces of amplitude 1 in weighted projective space

Surfaces of amplitude 1 in ordinary projective space are of general type, but this need not be the case in weighted projective spaces. Indeed, there are 4 classes of quasi-smooth weighted hypersurfaces in $\mathbf{P}(1,2,a,b)$ of amplitude 1 with an elliptic pencil cut out by hyperplanes. Their moduli spaces are constructed, the monodromy of their universal families is determined as well as their period maps. These all turn out to be non-injective. We analyse the reason behind this, which for each type is different. For the two classes that give properly elliptic surfaces this leads to a mixed Torelli-type theorem as in the case of the Catanese-Kunev-Todorov surfaces. We added an application to certain compactifications of moduli spaces of surfaces of general type with $K^2=1$, $p_g=2$ and $q=0$, as well as detailed SageMath-calculations. The appendix written by Wim Nijgh shows that the general member of the type 1 and type 2 elliptic family has "trivial" Picard lattice, i.e. is spanned by fiber components and a multisection.

math.AG

Remarks on eigenspectra of isolated singularities

We introduce a simple calculus, extending a variant of the Steenbrink spectrum, for describing Hodge-theoretic invariants of (smoothings of) isolated singularities with (relative) automorphisms. After computing these "eigenspectra" in the quasi-homogeneous case, we give three applications to singularity bounding and monodromy of VHS.

math.AG

Unimodal singularities and boundary divisors in the KSBA moduli of a class of Horikawa surfaces

Smooth minimal surfaces of general type with $K^2=1$, $p_g=2$, and $q=0$ constitute a fundamental example in the geography of algebraic surfaces, and the 28-dimensional moduli space $\mathbf{M}$ of their canonical models admits a modular compactification $\overline{\mathbf{M}}$ via the minimal model program. We describe eight new irreducible boundary divisors in such compactification parametrizing reducible stable surfaces. Additionally, we study the relation with the GIT compactification of $\mathbf{M}$ and the Hodge theory of the degenerate surfaces that the eight divisors parametrize.

math.AG

Holomorphic Bisectional Curvature and Applications to Deformations and Rigidity for Variations of Mixed Hodge Structure

In this article, we prove a rigidity criterion for period maps of admissible variations of graded-polarizable mixed Hodge structure, and establish rigidity in a number of cases, including families of quasi-projective curves, projective curves with ordinary double points, the complement of the canonical curve in families of Kynev--Todorov surfaces, period maps attached to the fundamental groups of smooth varieties and normal functions.

math.AG

Polarized relations on horizontal SL(2)s

We introduce a relation on real conjugacy classes of SL(2)-orbits in a Mumford-Tate domain D which is compatible with natural partial orders on the sets of nilpotent orbits in the corresponding Lie algebra and boundary orbits in the compact dual. A generalization of the SL(2)-orbit theorem to such domains leads to an algorithm for computing this relation, which is worked out in several examples and special cases including period domains, Hermitian symmetric domains, and complete flag domains, and used to define a poset of equivalence classes of multivariable nilpotent orbits on D.

math.AG

On the moduli space of pairs consisting of a cubic threefold and a hyperplane

We study the moduli space of pairs $(X,H)$ consisting of a cubic threefold $X$ and a hyperplane $H$ in $\mathbb P^4$. The interest in this moduli comes from two sources: the study of certain weighted hypersurfaces whose middle cohomology admit Hodge structures of $K3$ type and, on the other hand, the study of the singularity $O_{16}$ (the cone over a cubic surface). In this paper, we give a Hodge theoretic construction of the moduli space of cubic pairs by relating $(X,H)$ to certain "lattice polarized" cubic fourfolds $Y$. A period map for the pairs $(X,H)$ is then defined using the periods of the cubic fourfolds $Y$. The main result is that the period map induces an isomorphism between a GIT model for the pairs $(X,H)$ and the Baily-Borel compactification of some locally symmetric domain of type IV.

math.AG

Jumps in the Archimedean Height

We introduce a pairing on local intersection cohomology groups of variations of pure Hodge structure, which we call the asymptotic height pairing. Our original application of this pairing was to answer a question on the Ceresa cycle posed by R. Hain and D. Reed. (This question has since been answered independently by Hain.) Here we apply the pairing to show that a certain analytic line bundle, called the biextension line bundle, defined in terms of normal functions, always extends to any smooth partial compactification of the base. We show that the the pairing on intersection cohomology governs the extension of the natural metric on this line bundle studied by Hain and Reed (as well as, more recently, by several other authors). We also prove a positivity property of the asypmtotic height pairing, which generalize results of a recent preprint of J. Burgos Gill, D. Holmes and R. de Jong, along with a continuity property of the pairing in the normal function case. Moreover, we show that the asymptotic height pairing arises in a natural way from certain Mumford-Grothendieck biextensions associated to normal functions.

math.AG

A generic global Torelli theorem for certain Horikawa surfaces

Algebraic surfaces of general type with $q=0$, $p_g=2$ and $K^2=1$ were described by Enriques and then studied in more detail by Horikawa. In this paper we consider a $16$-dimensional family of special Horikawa surfaces which are certain bidouble covers of $\mathbb{P}^2$. The construction is motivated by that of special Kunev surfaces which are counterexamples for infinitesimal Torelli and generic global Torelli problem. The main result of the paper is a generic global Torelli theorem for special Horikawa surfaces. To prove the theorem, we relate the periods of special Horikawa surfaces to the periods of certain lattice polarized $K3$ surfaces using eigenperiod maps and then apply a Torelli type result proved by Laza.

math.AG

Differential Geometry of the Mixed Hodge Metric

We investigate properties of the Hodge metric of a mixed period domain. In particular, we calculate its curvature and the curvature of the Hodge bundles. We also consider when the pull back metric via a period map is Kähler. Several applications in cases of geometric interest are given, such as for normal functions and biextension bundles.

math.AG

Boundary Components of Mumford-Tate Domains

We study certain spaces of nilpotent orbits in Hodge domains, and treat a number of examples. More precisely, we compute the Mumford-Tate group of the limit mixed Hodge structure of a generic such orbit. The result is used to present these spaces as iteratively fibered algebraic-group orbits in a minimal way. We conclude with two applications to variations of Hodge structure.

math.AG

Arithmetic of degenerating principal variations of Hodge structure: examples arising from mirror symmetry and middle convolution

We collect evidence in support of a conjecture of Griffiths, Green and Kerr on the arithmetic of extension classes of limiting mixed Hodge structures arising from semistable degenerations over a number field. After briefly summarizing how a result of Iritani implies this conjecture for a collection of hypergeometric Calabi-Yau threefold examples studied by Doran and Morgan, the authors investigate a sequence of (non-hypergeometric) examples in dimensions 1 through 6 arising from Katz's theory of the middle convolution. A crucial role is played by the Mumford-Tate group (of type G2) of the family of 6-folds, and the theory of boundary components of Mumford-Tate domains.

math.AG

Asymptotics of degenerations of mixed Hodge structures

We construct a hermitian metric on the classifying spaces of graded-polarized mixed Hodge structures and prove analogs of the strong distance estimate between an admissible period map and the approximating nilpotent orbit. We also consider the asymptotic behavior of the biextension metric, the norm estimates and the asymptotics of the reduced limit Hodge filtration.

math.AG

Naive boundary strata and nilpotent orbits

We study certain real Lie-group orbits in the compact duals of Mumford-Tate domains, verifying a prediction made in [Green, Griffiths, Kerr; Mumford-Tate domains: their geometry and arithmetic] and determining which orbits contain a limit point of some period map. A variety of examples are worked out for the groups SU(2,1), Sp_4, and G_2.

math.AG

An Exponential History of Functions with Logarithmic Growth

We survey recent work on normal functions, including limits and singularities of admissible normal functions, the Griffiths-Green approach to the Hodge conjecture, algebraicity of the zero-locus of a normal function, Neron models, and Mumford-Tate groups. Some of the material and many of the examples, esp. in sec. 5-6, are original. The first two sections should be easily accessible to graduate students.

math.AG

A generalization of the Neron models of Green, Griffiths and Kerr

We generalize a construction of the Neron model for a family of intermediate Jacobians due to Green, Griffiths and Kerr by using the theory of mixed Hodge modules. It is a topological group defined over any partial compactification of the base space, and it `graphs' admissible normal functions. Moreover, there is a stratification of the partial compactification such that the restriction over each stratum is a complex Lie group over the stratum.

math.AG