Related papers: No Unwanted Universally Baire Morphisms

A combinatorial code $\mathcal{C}$ is a collection of subsets of $[n]$, or equivalently a set of points in $\{0,1\}^n$. A morphism of codes is a map from one combinatorial code to another such that the coordinates of points in the image can…

In this survey article, we try to summarize the known results towards the long-standing non-inner automorphism conjecture, which states that every finite non-abelian $p$-group has a non-inner automorphism of order $p$.

We prove several conjectures relating the existence of nonvanishing 1- forms to smooth morphisms over abelian varieties, assuming the existence of good minimal models. The proof involves a decomposition result for a family of Calabi-Yau…

In this article we present a 3-dimensional analogue of a well-known theorem of E. Bombieri (in 1973) which characterizes the bi-canonical birationality of surfaces of general type. Let $X$ be a projective minimal 3-fold of general type with…

We construct an appropriate metric on the collection of piecewise $\mathcal C^r$ maps defined on a compact interval. Although this metric space turns out to be not complete, we show that it is indeed a Baire space. As an application, we…

The Borel map takes a smooth function to its infinite jet of derivatives (at zero). We study the restriction of this map to ultradifferentiable classes of Beurling type in a very general setting which encompasses the classical…

We show that for any $t>1$, the set of unconditional convex bodies in $\mathbb{R}^n$ contains a $t$-separated subset of cardinality at least $\exp \exp (C(t) n)$. This implies that there exists an unconditional convex body in $\mathbb{R}^n$…

A binary Cayley graph is a Cayley graph based on a binary group. In 1982, Payan proved that any non-bipartite binary Cayley graph must contain a generalized Mycielski graph of an odd-cycle, implying that such a graph cannot have chromatic…

We extend Borel's theorem on the dominance of word maps from semisimple algebraic groups to some perfect groups. In another direction, we generalize Borel's theorem to some words with constants. We also consider the surjectivity problem for…

We give a systematic construction of uniruled surfaces in positive characteristic. Using this construction, we find surfaces of general type with non-trivial vector fields, surfaces with arbitrarily non-reduced Picard schemes as well as…

The distributive property can be studied through bilinear maps and various morphisms between these maps. The adjoint-morphisms between bilinear maps establish a complete abelian category with projectives and admits a duality. Thus the…

Conformal fundamental forms populate a minimal generating set for low differential order invariants of conformal hypersurface embeddings. In this work we complete the characterization of conformal fundamental forms by proving the general…

We show that for any countable homogeneous ordered graph $G$, the conjugacy problem for automorphisms of $G$ is Borel complete. In fact we establish that each such $G$ satisfies a strong extension property called ABAP, which implies that…

We show that the existence of a universal structure implies the existence of a generic structure for any approximable class $\mathcal{C}$ of countable structures. We also show that the converse is not true. As a consequence, we provide…

I prove that the Borel directed graphs whose vertex set admits a partition into two Borel acyclic sets form a $\mathbf\Sigma^1_2$-complete set; equivalently, that deciding whether a Borel directed graph has Borel dichromatic number at…

Assuming the existence of a strong cardinal, we find a model of ZFC in which for each uncountable regular cardinal $\lambda,$ there is no universal graph of size $\lambda$.

We prove that for any singular integral affine variety $X$ of finite presentation over a perfect field defined over $\mathbb Z$, there exists a smooth morphism from $Y$ onto $X$ such that $Y$ admits a resolution. That is, there exists a…

We study the dominant rational maps from a general surface in P^{3} to surfaces of general type. We prove restrictions on the target surfaces, and special properties of the rational maps. We show that for a small degree the general surface…

Given a Lie group $G$ with finitely many components and a compact Lie group A which acts on $G$ by automorphisms, we prove that there always exists an A-invariant maximal compact subgroup K of G, and that for every such K, the natural map…

We prove the non-existence of special generic maps on $3$-dimensional complex projective space as our new result and a corollary by several methods. Special generic maps are generalizations of Morse functions with exactly two singular…