Related papers: Finiteness theorems on hypersurfaces in partial di…
We prove a suite of results classifying holomorphic maps between configuration spaces of Riemann surfaces; we consider both the ordered and unordered setting as well as the cases of genus zero, one, and at least two. We give a complete…
Ballico proved that a smooth projective variety $X$ of degree $d$ over a finite field of $q$ elements admits a smooth hyperplane section if $q\geq d(d-1)^{\dim X}$. In this paper, we refine this criterion for higher codimensional linear…
We study necessary conditions on the geometry and the topology of domains in $\mathbb{R}^2$ that support a positive solution to a classical overdetermined elliptic problem. The ideas and tools we use come from constant mean curvature…
Reynolds' theory of relational parametricity formalizes parametric polymorphism for System F, thus capturing the idea that polymorphically typed System F programs always map related inputs to related results. This paper shows that Reynolds'…
In his work on singularities, expanders and topology of maps, Gromov showed, using isoperimetric inequalities in graded algebras, that every real valued map on the $n$-torus admits a fibre whose homological size is bounded below by some…
We prove that any surjective self-morphism with $\delta_f > 1$ on a potentially dense smooth projective surface defined over a number field $K$ has densely many $L$-rational points for a finite extension $L/K$.
Given a smooth quasi-projective complex algebraic variety $\mathcal{S}$, we prove that there are only finitely many Hodge-generic non-isotrivial families of smooth projective hypersurfaces over $\mathcal{S}$ of degree $d$ in…
We prove the equivalence of the two important facts about finite metric spaces and universal Urysohn metric spaces $\Bbb U$, namely theorem A and theorem B below: Theorem A (Approximation): The group of isometry $ISO(\Bbb U)$ contains…
This paper is devoted to the resolution of singularities of holomorphic vector fields and of one-dimensional holomorphic foliations in dimension 3 and it has two main objectives. First, from the general perspective of one-dimensional…
We prove that every mapping torus of any free group endomorphism is residually finite. We show how to use a not yet published result of E. Hrushovski to extend our result to arbitrary linear groups. The proof uses algebraic self-maps of…
The paper treats second order fully nonlinear degenerate elliptic equations having a family of subunit vector fields satisfying a full-rank bracket condition. It studies Liouville properties for viscosity sub- and supersolutions in the…
A recent paper of Arnold, Falk, and Winther [Bull AMS, 47 (2010)] showed that a large class of mixed finite element methods can be formulated naturally on Hilbert complexes, where using a Galerkin-like approach, one solves a variational…
We adapt for algebraically closed fields $k$ of characteristic greater than $2$ two results of Voisin, on the decomposition of the diagonal of a smooth cubic hypersurface $X$ of dimension $3$ over $\mathbb C$, namely: the equivalence…
We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued…
A semiclassical linear response theory based on the Vlasov equation is reviewed. The approach discussed here differs from the classical one of Vlasov and Landau for the fact that the finite size of the system is explicitly taken into…
M.Gromov extended the concepts of conformal and quasiconformal mapping to the mappings acting between the manifolds of different dimensions. For instance, any entire holomorphic function $ f: \Cn \to {\mathbb C}$ defines a mapping conformal…
The formalism of hypersurface data is a framework to study hypersurfaces of any causal character abstractly (i.e. without the need of viewing them as embedded in an ambient space). In this paper we exploit this formalism to study the…
This paper generalizes classical results of Griffiths, Dolgachev and Steenbrink on the cohomology of hypersurfaces in weighted projective spaces. Given a $d$-dimensional projective simplicial toric variety $P$ and an ample hypersurface $X$…
Hindman's celebrated Finite Sums Theorem, and its high-dimensional version due to Milliken and Taylor, are extended from covers of countable sets to covers of arbitrary topological spaces with Menger's classic covering property. The methods…
Given a scheme $X$ over $\mathbb{Z}$ and a hyperfield $H$ which is equipped with topology, we endow the set $X(H)$ of $H$-rational points with a natural topology. We then prove that; (1) when $H$ is the Krasner hyperfield, $X(H)$ is…