Related papers: Tight approximation for rationally simply connecte…

We prove that if E a subset of an n-dimensional manifold, then every continuous R^n-valued map on E that is zero-free on the interior of E can be approximated in the fine topology, and hence, in particular, in the uniform topology, by a…

In this paper we describe an algorithm for implicitizing rational hypersurfaces in case there exists at most a finite number of base points. It is based on a technique exposed in math.AG/0210096, where implicit equations are obtained as…

We establish rigidity results for holomorphic mappings and plurisubharmonic functions in complex geometry. First, under mild conditions, we show that the gradient of a $\operatorname{U}(1)$-invariant strictly plurisubharmonic function in…

We show that if a compact complex surface admits a locally conformally flat metric, then it cannot contain a smooth rational curve of odd self-intersection. In particular, the surface has to be minimal. Then we give a list of possibilities…

In this short note we give a characterization of smooth projective varieties of Picard number one that are separably uniruled but not separably rationally connected. We also give a sufficient condition involving the torsion order and the…

We study the preservation of semisimplicity for holonomic D-modules with respect to the direct and inverse image of mainly finite maps $\pi : X \to Y$ of smooth varieties. A natural filtration of the direct image $\pi_+({\mathcal O}_X)$ is…

For a connected regular scheme X, flat and of finite type over Spec(Z), we construct a reciprocity homomorphism \rho_X: C_X --> \pi_1^\ab(X), which is surjective and whose kernel is the connected component of the identity. The (topological)…

Over the function field of a complex algebraic curve, strong approximation off a non-empty finite set of places holds for the complement of a codimension $2$ closed subset in a homogeneous space under a semisimple algebraic group, and for…

This paper is devoted to the investigation of selected situations when the computation of projective (and other) equivalences of algebraic varieties can be efficiently solved with the help of finding projective equivalences of finite sets…

We construct a family of canonical connections and surrounding basic theory for almost complex manifolds that are equipped with an affine connection. This framework provides a uniform approach to treating a range of geometries. In…

Let X be a smooth, projective variety defined over a local field K. Following Manin, two K-points of X are called R-equivalent if they can be joined by a rational curve defined over K. The main result of this note shows that if there are…

We show that a fairly arbitrary Frechet space topology on the space of holomorphic functions on a domain controls the topology of uniform convergence on compact sets. In fact it turns out that the result we present can be proved more simply…

Take a holomorphic Lie algebroid $(V,\phi)$ over a rationally connected smooth complex projective variety $X$. We show that, under certain conditions, a vector bundle $E$ over $X$ admits a $(V,\phi)$-connection if and only if $E$ is…

Variational analysis presents a unified theory encompassing in particular both smoothness and convexity. In a Euclidean space, convex sets and smooth manifolds both have straightforward local geometry. However, in the most basic hybrid case…

We study the homotopy types of spaces of algebraic (rational) maps from real projective spaces into complex projective spaces. In a previous paper we have shown that the inclusion of the first space into the second one is a homotopy…

Quasi algebraically closed fields, or $C_1$ fields, are defined in terms of a low degree condition. Namely, the field $K$ is $C_1$ if every degree $d$ hypersurface of the projective space $\mathbb{P}_K^n$ contains a $K$-point as soon as…

Let $K=k(C)$ be the function field of a curve over a field $k$ and let $X$ be a smooth, projective, separably rationally connected $K$-variety with $X(K)\neq\emptyset$. Under the assumption that $X$ admits a smooth projective model $\pi:…

We present here "the" cartesian closed theory for real analytic mappings. It is based on the concept of real analytic curves in locally convex vector spaces. A mapping is real analytic, if it maps smooth curves to smooth curves and real…

Let M be an almost complex manifold equipped with a Hermitian form such that its de Rham differential has Hodge type (3,0)+(0,3), for example a nearly Kahler manifold. We prove that any connected component of the moduli space of…

How can we design neural networks that allow for stable universal approximation of maps between topologically interesting manifolds? The answer is with a coordinate projection. Neural networks based on topological data analysis (TDA) use…