Related papers: o-minimal GAGA and a conjecture of Griffiths

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…

We prove that the image of period map is algebraic, as conjectured by Griffiths.

We address two questions related to the semiampleness of line bundles arising from Hodge theory. First, we prove there is a functorial compactification of the image of a period map of a polarizable integral pure variation of Hodge…

We prove a conjecture of Griffiths on simultaneous normalization of all periods which asserts that the image of the lifted period map on the universal cover lies in a bounded domain in a complex Euclidean space. As an application we prove…

We review the theory of almost coherent modules that was introduced in "Almost Ring Theory" by Gabber and Ramero. Then we globalize it by developing a new theory of almost coherent sheaves on schemes and on a class of "nice" formal schemes.…

We establish the relative minimal model program with scaling for locally projective morphisms of quasi-excellent algebraic spaces admitting dualizing complexes, quasi-excellent formal schemes admitting dualizing complexes, semianalytic…

Given a projective morphism $f:X\to Y$ from a complex space to a complex manifold, we prove the Griffiths semi-positivity and minimal extension property of the direct image sheaf $f_\ast(\mathscr{F})$. Here, $\mathscr{F}$ is a coherent…

We prove a conjecture of Griffiths on simultaneous normalization of all periods which asserts that the image of the lifted period map on the universal cover lies in a bounded domain in complex Euclidean space.

We discuss the relationship between o-minimality and the so called Zilber-Pink conjecture. Since the work of Pila and Zannier, algebraization theorems in o-minimal geometry had profound impacts in Diophantine geometry (most notably on the…

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…

We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields, such as (i) G is definably an almost direct product of a semisimple group and a commutative group, and (ii) the group (G, .) is…

In this paper, we investigate the properties of $A$-coherent and $A$-quasi-coherent sheaves within the framework of algebraic geometry over non-algebraically closed fields. We define an $\mathcal{O}_X$-module to be $A$-coherent (resp.…

A common criticism of infinity-categories in algebraic geometry is that they are an extremely technical subject, so abstract to be useless in everyday mathematics. The aim of this note is to show in a classical example that quite the…

We introduce a generalized notion of finiteness that provides a structural principle for the set of effective theories that can be consistently coupled to quantum gravity. More concretely, we propose a Tameness Conjecture that states that…

The moduli space of Higgs bundles can be defined as a quotient of an infinite-dimensional space. Moreover, by the Kuranishi slice method, it is equipped with the structure of a normal complex space. In this paper, we will use analytic…

We show that for algebraic groups over local fields of characteristic zero, the following are equivalent: Every homomorphism has a closed image, every unitary representation decomposes into a direct sum of finite-dimensional and mixing…

We study global sections of Hodge bundles arising from two complementary constructions: a deformation-theoretic construction, which yields global geometric consequences for period maps, and a construction from the matrix representation of…

We study directed sets definable in o-minimal structures, showing that in expansions of ordered fields these admit cofinal definable curves, as well as a suitable analogue in expansions of ordered groups, and furthermore that no analogue…

Given a self-map of a compact metric space $X$, we study periodic points of the map induced on the hyperspace of closed subsets of $X$. We give some necessary conditions on admissible sets of periods for these maps. Seemingly unrelated to…

Let $G$ be a connected, simply connected nilpotent Lie group, identified with a real algebraic subgroup of $\mathrm{UT}(n,\mathbb{R})$, and let $\Gamma$ be a lattice in $G$, with $\pi:G\to G/\Gamma$ the quotient map. For a semi-algebraic…