Related papers: Arithmetic sparsity in mixed Hodge settings
Let $f : X \to S$ be a family of smooth projective algebraic varieties over a smooth connected base $S$, with everything defined over $\overline{\mathbb{Q}}$. Denote by $\mathbb{V} = R^{2i} f_{*} \mathbb{Z}(i)$ the associated integral…
We prove a mixed version of a conjecture of Griffiths: that the closure of the image of any admissible mixed period map is quasiprojective, with a natural ample bundle. Specifically, we consider the map from the image of the mixed period…
Let $X$ be a complex algebraic variety. With $\mathbb{Q}$-coefficients, the compactly supported cohomology groups $H^{i}_{c}(X, \mathbb{Q})$ and the compactly supported intersection cohomology groups $IH^{i}_{c}(X, \mathbb{Q})$ have mixed…
Given an algebraic variety $X\subset\mathbb{P}^N$ with stabilizer $H$, the quotient $PGL_{N+1}/H$ can be interpreted a parameter space for all $PGL_{N+1}$-translates of $X$. We define $X$ to be a $\textit{homogeneous variety}$ if $H$ acts…
We show that, for a system of univariate polynomials given in sparse encoding, we can compute a single polynomial defining the same zero set, in time quasi-linear in the logarithm of the degree. In particular, it is possible to determine…
Let $K$ be a global field and let $Z$ be a geometrically irreducible algebraic variety defined over $K$. We show that if a big set $S\subseteq Z$ of rational points of bounded height occupies few residue classes modulo $\mathfrak{p}$ for…
Compact K\"{a}hler manifolds satisfy several nice Hodge-theoretic properties such as the Hodge symmetry, the Hard Lefschetz property and the Hodge-Riemann bilinear relations, etc. In this note, we investigate when such nice properties hold…
Motivated by a question of Baldi-Klingler-Ullmo, we provide a general sufficient criterion for the existence and analytic density of typical Hodge loci associated to a polarizable $\mathbb{Z}$-variation of Hodge structures $\mathbb{V}$. Our…
To any complex algebraic variety endowed with a morphism to a complex affine torus we associate multivariable cohomological Alexander modules, and define natural mixed Hodge structures on their maximal Artinian submodules. The key…
We prove that for every reductive algebraic group $H$ with centre of positive dimension and every integer $K$ there is a smooth and projective variety $X$ and an algebraic $H$-torsor $P \to X$ such that the classifying map $X \to \Bclass H$…
An isolated hypersurface singularity comes equipped with many different pairings on different spaces, the intersection form and the Seifert form on the Milnor lattice, a polarizing form for a mixed Hodge structure on a dual space, and a…
We prove that the uniformizing map of any arithmetic quotient, as well as the period map associated to any pure polarized $\mathbb{Z}$-variation of Hodge structure $\mathbb{V}$ on a smooth complex quasi-projective variety $S$, are…
Motivated by classical Alexander invariants of affine hypersurface complements, we endow certain finite dimensional quotients of the homology of abelian covers of complex algebraic varieties with a canonical and functorial mixed Hodge…
Let V be a normal affine variety over the real numbers R, and let S be a semi-algebraic subset of V(R). We study the subring B(S) of the coordinate ring of V consisting of the polynomials that are bounded on S. We introduce the notion of…
We find an explicit combinatorial gradient vector field on the well known complex S (Salvetti complex) which models the complement to an arrangement of complexified hyperplanes. The argument uses a total ordering on the facets of the…
We prove that affine invariant manifolds in strata of flat surfaces are algebraic varieties. The result is deduced from a generalization of a theorem of M\"oller. Namely, we prove that the image of a certain twisted Abel-Jacobi map lands in…
We reveal a complexity chasm, separating the trinomial and tetranomial cases, for solving univariate sparse polynomial equations over certain local fields. First, for any fixed field $K\in\{\mathbb{Q}_2,\mathbb{Q}_3,\mathbb{Q}_5,\ldots\}$,…
We prove a variant of the multidimensional polynomial Szemer\'edi theorem of Bergelson and Leibman where one replaces polynomial sequences with other sparse sequences defined by functions that belong to some Hardy field and satisfy certain…
Given a polynomial map $f:\Bbb C^{n+1}\to\Bbb C$, one can attach to it a geometrical variation of mixed Hodge structures (MHS) which gives rise to a limit MHS. The equivariant Hodge numbers of this MHS are analytical invariants of the…
Faltings proved that there are finitely many abelian varieties of genus $g$ over a number field $K$, with good reduction outside a finite set of primes $S$. Fixing one of these abelian varieties $A$, we prove that there are finitely many…