Related papers: Specialization morphisms
Given a thick subcategory of a triangulated category, we define a colocalisation and a natural long exact sequence that involves the original category and its localisation and colocalisation at the subcategory. Similarly, we construct a…
Morphisms, structure preserving maps, are everywhere in Mathematics as useful tools for thinking and problem solving, or as objects to study. Here, we argue that the idea of operations being compatible across two domains goes beyond its…
Majorization is a partial order on real vectors which plays an important role in a variety of subjects, ranging from algebra and combinatorics to probability and statistics. In this paper, we consider a generalized notion of majorization…
We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a…
Discrete symmetries of dynamical flows give rise to relations between periodic orbits, reduce the dynamics to a fundamental domain, and lead to factorizations of zeta functions. These factorizations in turn reduce the labor and improve the…
We study the geometry of the morphism between moduli spaces of hypersurfaces in $\mathbb P^{n-1}$ that sends a smooth hypersurface of degree $d+1$ to its associated hypersurface of degree $n(d-1)$. As a result, we obtain a compactification…
We recall the notion of a differential operator over a smooth map (in linear and non-linear settings) and consider its versions such as formal $\hbar$-differential operators over a map. We study constructions and examples of such operators,…
These notes provide an introduction to the theory of localization for triangulated categories. Localization is a machinery to formally invert morphisms in a category. We explain this formalism in some detail and we show how it is applied to…
We already saw in [A1] that the space of dynamically marked rational maps can be identified to a subspace of the space of covers between trees of spheres on which there is a notion of convergence that makes it sequentially compact. In the…
Given an algebraic theory which can be described by a (possibly symmetric) operad $P$, we propose a definition of the \emph{weakening} (or \emph{categorification}) of the theory, in which equations that hold strictly for $P$-algebras hold…
Internal preneighbourhood spaces inside any finitely complete category with finite coproducts and proper factorisation structure were first introduced in my earlier paper. This paper proposes a closure operation on internal preneighbourhood…
A morphism of nonreduced Gieseker - Maruyama functor (of semistable coherent torsion-free sheaves) on a surface to the nonreduced functor of admissible semistable pairs with the same Hilbert polynomial, is constructed. This leads to the…
We give a definition of a functor compactifying the functor of bundles on a surfaces. Earlier different authors have defined similar spaces as either images under a morphism or a quotient by an equivalence relation. We use the technique of…
We introduce a notion of the ``explanation" of one (generalized) probabilistic model by another as particular kind of span in the category $\Prob$ of probabilistic models and morphisms. We show that explanations compose under a standard…
In this paper, we introduce variants of formal nearby cycles for a locally noetherian formal scheme over a complete discrete valuation ring. If the formal scheme is locally algebraizable, then our nearby cycle gives a generalization of…
We provide a new construction of Huber's universal compactification in the case of the structure morphism of a quasi-compact, separated rigid analytic space over a non-archimedean field. We make use of Raynaud's theory of formal models and…
The paper deals with a comprehensive theory of mappings, whose local behavior can be described by means of linear subspaces, contained in the graphs of two (primal and dual) generalized derivatives. This class of mappings includes the…
We show the surjectivity of a specialisation map on higher $(0,1)$-cycles for a smooth projective scheme over an excellent henselian discrete valuation ring. This gives evidence for a conjecture stated in an article of Kerz, Esnault and…
In this paper we study relative Riemann-Zariski spaces attached to a morphism of schemes and generalizing the classical Riemann-Zariski space of a field. We prove that similarly to the classical RZ spaces, the relative ones can be described…
We introduce the notion of local fibration, a generalization of the notion of fibration which takes into account the presence of Grothendieck topologies on the two categories, and show that the classical results about fibrations lift to…