Related papers: Homomorphism and embedding universal structures fo…

We consider the problem of characterizing isomorphisms of types, or, equivalently, constructive cardinality of sets, in the simultaneous presence of disjoint unions, Cartesian products, and exponentials. Mostly relying on results about…

By a result of Orlov there always exists an embedding of the derived category of a finite-dimensional algebra of finite global dimension into the derived category of a high-dimensional smooth projective variety. In this article we give some…

We continue the work of [1, 2, 3] by analyzing the equivalence relation of bi-embeddability on various classes of countable planes, most notably the class of countable non-Desarguesian projective planes. We use constructions of the second…

For given Boolean algebras $\mathbb{A}$ and $\mathbb{B}$ we endow the space $\mathcal{H}(\mathbb{A},\mathbb{B})$ of all Boolean homomorphisms from $\mathbb{A}$ to $\mathbb{B}$ with various topologies and study convergence properties of…

We introduce a general theory of parametrized objects in the setting of infinity categories. Although spaces and spectra parametrized over spaces are the most familiar examples, we establish our theory in the generality of objects of a…

We construct a model category (in the sense of Quillen) for set theory, starting from two arbitrary, but natural, conventions. It is the simplest category satisfying our conventions and modelling the notions of finiteness, countability and…

We consider embeddings of a finite complex in a sphere. We give a homotopy theoretic classification of such embeddings in a wide range.

This study first provides a brief overview of the structure of typical Grassmann manifolds. Then a new type of supergrassmannians is construced using an odd involution in a super ringed space and by gluing superdomains together. Next,…

In a recent paper, Amini et al. introduce a general framework to prove duality theorems between special decompositions and their dual combinatorial object. They thus unify all known ad-hoc proofs in one single theorem. While this…

In this paper, we establish a structure theorem for a smooth projective variety $X$ with semi-positive holomorphic sectional curvature. Our structure theorem contains the solution for Yau's conjecture and it can be regarded as a natural…

The Zariski theorem says that for every hypersurface in a complex projective (resp. affine) space of dimension at least 3 and for every generic plane in the projective (resp. affine) space the natural embedding generates an isomorphism of…

In this paper we provide explicit dual Ramsey statements for several classes of finite relational structures (such as finite linearly ordered graphs, finite linearly ordered metric spaces and finite posets with a linear extension) and…

We established a hyperplane restriction theorem for the local holomorphic mappings between projective spaces, which is inspired by the corresponding theorem of Green for homogeneous ideals in polynomial rings. Our theorem allows us to give…

Urysohn constructed a separable complete universal metric space homogeneous for all finite subspaces, which is today called the Urysohn universal metric space. Some authors have recently investigated an ultrametric analogue of this space.…

Applying a general categorical construction for the extension of dualities, we present a new proof of the Fedorchuk duality between the category of compact Hausdorff spaces with their quasi-open mappings and the category of complete normal…

I use local differential geometric techniques to prove that the algebraic cycles in certain extremal homology classes in Hermitian symmetric spaces are either rigid (i.e., deformable only by ambient motions) or quasi-rigid (roughly…

In this paper, we obtain two extension theorems for cohomology classes and holomorphic sections defined on analytic subvarieties, which are defined as the supports of the quotient sheaves of multiplier ideal sheaves of…

This paper surveys, and in some cases generalises, many of the recent results on homomorphisms and the higher Ext groups for q-Schur algebras and for the Hecke algebra of type A. We review various results giving isomorphisms between Ext…

We establish universality and ultra-homogeneity of $(\mathcal{U},u_\mathrm{GH})$, the collection of all compact ultrametric spaces endowed with the so-called Gromov-Hausdorff ultrametric. This result also gives rise to a novel construction…

This paper is devoted to the study of the gluing construction for perverse sheaves on $G/U$ introduced by Kazhdan and Laumon ($G$ is a semisimple gourp, $U$ is the unipotent radical of a Borel subgroup in $G$). Kazhdan and Laumon…