Related papers: The existence of UFO implies projectively universa…

Given an open subset $U$ of a complex Banach space $E$, a weight $v$ on $U$, and a complex Banach space $F$, let $\Hv(U,F)$ denote the Banach space of all weighted holomorphic mappings $f\colon U\to F$, under the weighted supremum norm…

The philosophy that ``a projective manifold is more special than any of its smooth hyperplane sections" was one of the classical principles of projective geometry. Lefschetz type results and related vanishing theorems were among the…

Given a variety of universal algebras. A method is suggested for describing automorphisms of a category of free algebras of this variety. Applying this general method all automorphisms of such categories are found in two cases: 1) for the…

The category $Ban$ of Banach spaces and linear maps of norm $\leq 1$ is locally $\aleph_1$-presentable but not locally finitely presentable. We prove, however, that $Ban$ is locally finitely presentable in the enriched sense over complete…

The $F$-theorem states that in three dimensions the sphere free energy of a field theory must decrease between ultraviolet and infrared fixed points of the renormalization group flow, and it has been proven for unitary conformal field…

We prove a number of results motivated by global questions of uniformity in computability theory, and universality of countable Borel equivalence relations. Our main technical tool is a game for constructing functions on free products of…

Recent work showed that a theorem of Joris (that a function $f$ is smooth if two coprime powers of $f$ are smooth) is valid in a wide variety of ultradifferentiable classes $\mathcal C$. The core of the proof was essentially…

Given varieties $X, Y, W$ and dominant morphisms $\phi:X\to Y$ and $f:X\to W$ such that $f$ is constant on fibres of $\phi$ , we give sufficient conditions to guarantee that $f$ descends to a rational map or a morphism $Y\to W.$ We pay…

Riehl and Verity have established that for a quasi-category $A$ that admits limits, and a homotopy coherent monad on $A$ which does not preserve limits, the Eilenberg-Moore object still admits limits; this can be interpreted as a…

Let $X$ be a complex manifold, $\pi: E \rightarrow X$ a locally trivial holomorphic fibration with fiber $F$, and $\mathfrak{g}$ a Lie algebra with an invariant symmetric form. We associate to this data a holomorphic prefactorization…

Let F be a finitely generated discrete group. Given a covering map H to G of Lie groups with G either compact or complex reductive, there is an induced covering map Hom(F, H) to Hom(F, G). We show that when the fundamental group of G is…

We prove that for every countable discrete group $G$, there is a $G$-flow on $\omega^*$ that has every $G$-flow of weight $\leq\! \aleph_1$ as a quotient. It follows that, under the Continuum Hypothesis, there is a universal $G$-flow of…

A universal geometric cluster algebra over an exchange matrix B is a universal object in the category of geometric cluster algebras over B related by coefficient specializations. (Following an earlier paper on universal geometric cluster…

In this paper, we introduce the $\mathcal{F}$-metric space concept, which generalizes the metric space notion. We define a natural topology $\tau_{\mathcal{F}}$ in such spaces and we study their topological properties. Moreover, we…

Assume that two algebraic varieties of finite type over the complex numbers are related by a morphism whose fibers are precisely the orbits for the action of a unipotent group. We show that the two varieties have the same topological Euler…

The "Universality Theorem" for gravity shows that f(R) theories (in their metric-affine formulation) in vacuum are dynamically equivalent to vacuum Einstein equations with suitable cosmological constants. This holds true for a generic (i.e.…

Given an $\infty$-category $\mathcal{C}$ with pullbacks, its $(\infty,2)$-category $\mathbf{Span}(\mathcal{C})$ of spans has the universal property of freely adding right adjoints to morphisms in $\mathcal{C}$ satisfying a Beck--Chevalley…

We show that if g is a generic (in the sense of Baire category) isometry of a generic subspace of the Urysohn metric space U, then g does not extend to a full isometry of U. The same holds for the Urysohn sphere S. Let M be a Fraisse…

It is well known that any model for derived manifolds must form a higher category. In this paper, we propose a universal property for this higher category, classifying it up to equivalence. Namely, the $\infty$-category $\mathbf{DMfd}$ of…

For a compact subset $K$ of the complex plane $\mathbb C,$ let $C(K)$ denote the algebra of continuous functions on $K$. For an open subset $U \subset K,$ let $A(K,U) \subset C(K)$ be the algebra of functions that are analytic in $U.$ We…