Related papers: Very ampleness in strongly minimal sets

In this document we prove: Let $\mathbb K=(K,+,\cdot,v,\Gamma)$ be an algebraically closed valued field and let $(G,\oplus)$ be a $\mathbb K$-definable group that is either the multiplicative group or contains a finite index subgroup that…

These notes focus on the Lipschitz geometry of sets that are definable in o-minimal structures (expanding the real field). We show that every set which is definable in a polynomially bounded o-minimal structure admits a stratification which…

Let $k$ be a field of characteristic $0$. We consider principal bundles over a $k$-scheme with reductive structure group (not necessarily of finite type). It is showm in particular that for $k$ algebraically closed there exists on any…

We show that in any sequence of a general type MMP, the minimal log discrepancy of singularities takes at most finitely many values, and the fibers of all the extremal contractions and flips belong to a bounded family. A key ingredient in…

We consider a countably generated and uniformly closed algebra of bounded functions. We assume that there is a lower semicontinuous, with respect to the supremum norm, quadratic form and that normal contractions operate in a certain sense.…

We give a constructive proof using tropical modifications of the existence of a family of real algebraic plane curves with asymptotically maximal numbers of even ovals.

We argue that some supersymmetric multiplets can naturally be equipped with the structure of an open-closed homotopy algebra. This structure is readily described through the pure spinor superfield formalism, which in particular associates a…

We construct exponentially large collections of pairwise distinct equisingular deformation families of irreducible plane curves sharing the same sets of singularities. The fundamental groups of all curves constructed are abelian.

A connected topological space is said to be widely-connected if each of its non-degenerate connected subsets is dense in the entire space. The object of this paper is the construction of widely-connected subsets of the plane. We give a…

Fedorchuk's fully closed (continuous) maps and resolutions are applied in constructions of non-metrizable higher-dimensional analogues of Anderson, Choquet, and Cook's continua. Certain theorems on dimension-lowering maps are proved for…

Gromov's compactness theorem for pseudo-holomorphic curves is a foundational result in symplectic geometry. It controls the compactness of the moduli space of pseudo-holomorphic curves with bounded area in a symplectic manifold. In this…

For fixed large genus, we construct families of complete immersed minimal surfaces in R3 with four ends and dihedral symmetries. The families exist for all large genus and at an appropriate scale degenerate to the plane.

A long-standing conjecture of Podewski states that every minimal field is algebraically closed. It was proved by Wagner for fields of positive characteristic, but it remains wide open in the zero-characteristic case. We reduce Podewski's…

The Jacobian $J$ of a complete, smooth, connected curve $X$ admits a canonical divisor $\Theta$, called the Theta divisor. It is well-known that $\Theta$ is ample and, in fact, $3\Theta$ is very ample. For a general complete, integral curve…

A compact space $X$ is said to be minimal if there exists a map $f:X\to X$ such that the forward orbit of any point is dense in $X$. We consider rigid minimal spaces, motivated by recent results of Downarowicz, Snoha, and Tywoniuk [J. Dyn.…

We show that all the possible pairs of integers occur as exponents for free or nearly free irreducible plane curves and line arrangements, by producing only two types of simple families of examples. The topology of the complements of these…

We show that certain families of sets in $\mathbb{R}^2$ (or $\mathbb{R}^n$) which are neither definable nor have bounded VC-dimension are nonetheless uniformly approximately definable in the real field, an o-minimal structure.

Let K be an algebraically closed field of characteristic zero. Given a polynomial f(x,y) in K[x,y] with one place at infinity, we prove that either f is equivalent to a coordinate, or the family (f+c) has at most two rational elements. When…

We continue the development of methods for enumerating nodal curves on smooth complex surfaces, stressing the range of validity. We illustrate the new methods in three important examples. First, for up to eight nodes, we confirm…

The present work deals with the canonical map of smooth, compact complex surfaces of general type in a polarization of type $(1,2,2)$ on an abelian threefold. A natural and classical question is whether the canonical system of such surfaces…