Related papers: Specialization morphisms
We exhibit the proximity frames and proximity homomorphisms as a Kleisli category of a comonad whose underlying functor takes a proximity frame to its frame of round ideals. This construction is known in the literature as {\em stable…
We characterise proper morphisms of $\infty$-topoi in terms of a relativised notion of compactness: we show that a geometric morphism of $\infty$-topoi is proper if and only if it commutes with colimits indexed by filtered internal…
The first steps in defining tropicalization for spherical varieties have been taken in the last few years. There are two parts to this theory: tropicalizing subvarieties of homogeneous spaces and tropicalizing their closures in spherical…
In this paper we extend the notion of specialization functor to the case of several closed submanifolds satisfying some suitable conditions. Applying this functor to the sheaf of Whitney holomorphic functions we construct different kinds of…
We define the affinization of an arbitrary monoidal category $\mathcal{C}$, corresponding to the category of $\mathcal{C}$-diagrams on the cylinder. We also give an alternative characterization in terms of adjoining dot generators to…
In this paper we will prove that there exists a covariant functor from the category of schemes to the category of graphs. This functor provides a combination between algebraic varieties and combinatorial graphs so that the invariants…
P. Baird and the second author studied harmonic morphisms from a three-dimensional simply-connected space form to a surface and obtained a complete local and global classification of them. In this paper, we obtain a description of all…
We derive extensions of the monomialization theorems for morphisms of varieties in our earlier work. In this note we show that a local monomialization can be found which satisfies stronger local conditions. Some comments are made about how…
An algebraization of the notion of topology has been proposed more than seventy years ago in a classical paper by McKinsey and Tarski. However, in McKinsey and Tarski's setting the model theoretical notion of homomorphism does not…
In this paper, local monomialization theorems are proven for analytic morphisms of complex and real analytic spaces. This gives the generalization of the local monomialization theorem for morphisms of algebraic varieties over a field of…
We rewrite classical topological definitions using the category-theoretic notation of arrows and are led to concise reformulations in terms of simplicial categories and orthogonality of morphisms, which we hope might be of use in the…
We prove that any noetherian quasi-excellent scheme of characteristic zero admits a strong desingularization which is functorial with respect to all regular morphisms. We show that as an easy formal consequence of this result one obtains…
It is now very known how the subprojectivity of modules provides a fruitful new unified framework of the classical projectivity and flatness. In this paper, we extend this fact to the category of complexes by generalizing and unifying…
Let $X$ be a fixed projective scheme which is flat over a base scheme $S$. The association taking a quasi-projective $S$-scheme $Y$ to the scheme parametrizing $S$-morphisms from $X$ to $Y$ is functorial. We prove that this functor…
In this paper we introduce congruence spaces, which are topological spaces that are canonically attached to monoid schemes and that reflect closed topological properties. This leads to satisfactory topological characterizations of closed…
We study centrality of morphisms in a setting derived from that of a pointed category in which binary products commute with coequalisers. The main results of this paper show that much of the behaviour of central morphisms for unital…
We give a valuative criterion for when a smooth algebraic stack with a separated good moduli space is the quotient of a separated Deligne-Mumford stack by a torus. For doing so, we introduce a new class of morphisms, the so-called effective…
We prove a simultaneous generalization of the classical Riemann-Hurwitz and Plucker formulas, addressing the total inflection of a morphism from a (smooth, projective) curve to an arbitrary (smooth, projective) higher-dimensional variety.…
The notion of a spherical space over an arbitrary base scheme is introduced as a generalization of a spherical variety over an algebraically closed field. It is studied how the sphericity condition behaves in families. In particular it is…
We construct proper pushforwards for partially proper morphisms of analytic adic spaces. This generalises the theory due to van der Put in the case of rigid analytic varieties over a non-Archimedean field. For morphisms which are smooth and…