Related papers: Very ampleness in strongly minimal sets

A field $K$ is called ample if for every geometrically integral $K$-variety $V$ with a smooth $K$-point, $V(K)$ is Zariski-dense in $V$. A field $K$ is virtually ample if some finite extension of $K$ is ample. We prove that there exists a…

We investigate space curves with large cohomology. To this end we introduce curves of subextremal type. This class includes all subextremal curves. Based on geometric and numerical characterizations of curves of subextremal type, we show…

It is shown that the complex field equipped with the "approximate exponential map", defined up to ambiguity from a small group, is quasiminimal: every automorphism-invariant subset of the field is countable or co-countable. If the ambiguity…

Let M be a compact, orientable, mean convex 3-manifold with boundary. We show that the set of all simple closed curves in the boundary of M which bound unique area minimizing disks in M is dense in the space of simple closed curves in the…

Suppose $Y$ is a smooth variety equipped with a top form. We prove a simple theorem giving a sharp lower bound on the geometric genus of a family of subvarieties of $Y$, in terms of the dimension of this family. Two elementary applications…

The main purpose of the paper is to establish a closedness theorem over Henselian valued fields $K$ of equicharacteristic zero (not necessarily algebraically closed) with separated analytic structure. It says that every projection with a…

Pop proved that a smooth curve C over an ample field K that has a K-rational point has |K| many K-rational points. We strengthen this result by showing that there are |K| many K-rational points that do not lie in a given proper subfield,…

We construct the first non-trivial examples of complete families of non-degenerate smooth space curves, and show that the base of such a family cannot be a rational curve. Both results rely on the study of the strong semistability of…

The paper is concerned with maximal subgroups of the ample (better known as topological full) groups of homeomorphisms of totally disconnected compact metrizable topological spaces. We describe all maximal subgroups that are stabilizers of…

This survey article discusses some results on the structure of families f:V-->U of n-dimensional manifolds over quasi-projective curves U, with semistable reduction over a compactification Y of U. We improve the Arakelov inequality for the…

We prove the Zil'ber Trichotomy Principle for all 1-dimensional structures which are definable in o-minimal ones. In particular, we show that any stable 1-dimensional structure is necessarily locally modular. The main tool is a theory for…

Let $H: \mathbb{R}^4 \to \mathbb{R}$ be any smooth function. This article introduces some arguments for extracting dynamical information about the Hamiltonian flow of $H$ from high-dimensional families of closed holomorphic curves. We work…

We have recently introduced the trimming property for a complete Riemannian manifold $N^{n}$ as a necessary and sufficient condition for bounded maps to be strongly dense in $W^{1, p}(B^m; N^{n})$ when $p \in \{1, \dotsc, m\}$. We prove in…

We are concerned with rigid analytic geometry in the general setting of Henselian fields $K$ with separated analytic structure, whose theory was developed by Cluckers--Lipshitz--Robinson. It unifies earlier work and approaches of numerous…

Recently, cutting planes derived from maximal lattice-free convex sets have been studied intensively by the integer programming community. An important question in this research area has been to decide whether the closures associated with…

We investigate the Jacobian decomposition of some algebraic curves over finite fields with genus $4$, $5$ and $10$. As a corollary, explicit equations for curves that are either maximal or minimal over the finite field with $p^2$ elements…

Let $K$ be a field. The \'etale open topology on the $K$-points $V(K)$ of a $K$-variety $V$ was introduced in our previous work. The \'etale open topology is non-discrete if and only if $K$ is large. If $K$ is separably, real, $p$-adically…

We prove a number of results to the general effect that, under obviously necessary numerical and determinant constraints, "most" morphisms between fixed bundles on a complex elliptic curve produce (co)kernels which can either be specified…

We study quasiperiodically forced circle endomorphisms, homotopic to the identity, and show that under suitable conditions these exhibit uncountably many minimal sets with a complicated structure, to which we refer to as `strangely…

We introduce a natural notion of depth that applies to individual cutting planes as well as entire families. This depth has nice properties that make it easy to work with theoretically, and we argue that it is a good proxy for the practical…