Related papers: Very ampleness in strongly minimal sets

We provide new constraints for algebro-geometric subgroups of mapping class groups, namely images of fundamental groups of curves under complex algebraic maps to the moduli space of smooth curves. Specifically, we prove that the restriction…

We conjecture that for a strongly minimal theory T in a finite signature satisfying the Zilber Trichotomy, there are only three possibilities for the recursive spectrum of T: all countable models of T are recursively presentable; none of…

Consider the semialgebraic structure over the real field. More generally, let an ominimal structure be over a real closed field. We show that a definable metric space X with a definable metric d is embedded into a Euclidean space so that…

Let $A$ be a non-isotrivial almost ordinary abelian surface with possibly bad reductions over a global function field of odd characteristic $p$. Suppose $\Delta$ is an infinite set of positive integers, such that…

We prove that for an o-minimal expansion of the real additive group $\cal R$ and a set $P\subseteq \mathbb{R}$ of dimension $0$ such that $\langle\mathcal{R},P\rangle$ is sparse, has definable choice and every definable set has interior or…

We prove that the set of closed orbits in a real reductive representation contains a subset which is open with respect to the real Zariski topology if it has non-empty interior. In particular the set of closed orbits is dense.

We study metric measure spaces that admit "thick" families of rectifiable curves or curve fragments, in the form of Alberti representations or curve families of positive modulus. We show that such spaces cannot be bi-Lipschitz embedded into…

We demonstrate that the functorial properties of the symplectic field theory under strong cobordisms and surgery cobordisms can produce finite algebraic (planar) torsions from simple examples, which gives a unified treatment of most of the…

To give characterizations of monotonically countably paracompact spaces with set-valued maps, Yamazaki [22] introduced the notion of strictly increasing closed cover of a topological space with which the boundedness of a set-valued map was…

A line bundle with a base-point-free multiple is called semiample. I give a cohomological characterization of semiample line bundles. The result is a common generalization of the Fujita-Zariski criterion for semiampleness and the…

We prove that infinite p-adically discrete sets have Diophantine definitions in large subrings of some number fields. First, if K is a totally real number field or a totally complex degree-2 extension of a totally real number field, then…

I prove, answering a question of Zilber, that if $M$ is an algebraic variety of dimension strictly greater than one and $(M, \ldots)$ is a strongly minimal structure with atomic relations definable in the Zariski language on $M$, then $M$…

We classify real families of minimal degree rational curves that cover an embedded rational surface. A corollary is that if the projective closure of a smooth surface is not biregular isomorphic to the projective closure of the unit-sphere,…

We consider various notions of completeness in symplectic topology and ask two related questions. Does a complete open symplectic manifold remain complete after excising a subset? Can two sets be made arbitrarily far apart by adjusting the…

Classification theory and the study of projective varieties which are covered by rational curves of minimal degrees naturally leads to the study of families of singular rational curves. Since families of arbitrarily singular curves are hard…

We characterize the Zariski topologies over an algebraically closed field in terms of general dimension-theoretic properties. Some applications are given to complex manifold and to strongly minimal sets.

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 consider the $L^p$ mapping properties of maximal averages associated to families of curves, and thickened curves, in the plane. These include the (planar) Kakeya maximal function, the circular maximal functions of Wolff and Bourgain, and…

We give a proof of the Gromov compactness theorem using the language of stable curves (i.e. cusp-curve of Gromov, or stable maps of Kontsevich and Manin) in general setting: An almost complex structure on a target manifold is only…

We show quantifier elimination theorems for real closed valued fields with separated analytic structure and overconvergent analytic structure in their natural one-sorted languages and deduce that such structures are weakly o-minimal. We…