Related papers: Specialization morphisms
We investigate questions related to the notion of recognizability of sequences of morphisms, a generalization of Moss{\'e}'s Theorem. We consider the most general class of morphisms including ones with erasable letters. The main result…
The article $-$ part of a larger thesis which aims to give a detailed description of the generalisation to the category of groups with operators of the classical theory of semisimplicity for modules $-$ presents a straightforward…
Necessary and sufficient conditions for the exactness (in the algebraic sense) of certain sequences of continuous group homomorphisms are established.
We study equivariant projective compactifications of reductive groups obtained by closing the image of a group in the space of operators of a projective representation. We describe the structure and the mutual position of their orbits under…
Morphisms are homomorphisms under the concatenation operation of the set of words over a finite set. Changing the elements of the finite set does not essentially change the morphism. We propose a way to select a unique representing member…
We transfer several elementary geometric properties of rigid-analytic spaces to the world of adic spaces, more precisely to the category of adic spaces which are locally of (weakly) finite type over a non-archimedean field. This includes…
It turns out that one can read off facts about schemes up to universal homeomorphism from their Galois categories. Here we propose a first modest slate of entries in a dictionary between the geometric features of a perfectly reduced scheme…
In this thesis we define the notion of a locally stratified space. Locally stratified spaces are particular kinds of streams and d-spaces which are locally modelled on stratified spaces. We construct a locally presentable and cartesian…
In this short note, we will explain that the good moduli space morphisms behave as if they are proper when we consider sheaf operations, though they are not separated. For example, the decomposition theorem and the base change theorem hold…
We address the question of finding algebraic properties that are respectively equivalent, for a morphism between algebraic varieties over an algebraically closed field of characteristic zero, to be an homeomorphism for the Zariski topology…
A bounded automorphism of a field or a group with trivial approximate centre is definable. In an expansion of a field by a Pfaffian family F of additive endomorphisms such that algebraic closure in the expansion coincides with relative…
We show that, for a fixed order $\gamma\geq 1$, each local minimizer of a rather general nonsmooth optimization problem in Euclidean spaces is either M-stationary in the classical sense (corresponding to stationarity of order $1$),…
A generalization of the notion of an $\infty$-category is presented, allowing for ($\infty$-)cat(egorie)s that may have non-invertible higher morphisms.
In this paper we show that an affine space is determined by the abstract group structure of its group of regular automorphisms in the category of connected affine varieties. To prove this we study commutative subgroups of the group of…
The purpose of this paper is extend the notion of morphism of groupoids introduced by Zakrzewski to locally compact $\sigma$-compact groupoids endowed with Haar systems and to use the extension to construct a covariant functor from this…
In this paper, we develop a continual analog of decomposition over orthogonal bases in spaces generated by equidistant shifts of a single function. By doing so, we obtain an explicit expression for best approximation by spaces of shifts in…
In this paper, we consider some variations on Mann's definition $\infty$-categorical definition of abstract six-functor formalisms. We consider Nagata six-functor formalisms, that have the additional requirement of having Grothendieck and…
We prove the functoriality for proper push-forward of the characteristic cycles of constructible complexes by morphisms of smooth projective schemes over a perfect field, under the assumption that the direct image of the singular support…
Given a scheme S and a flat morphism T \to S of finite presentation we define a surjective S-morphism to an {\'e}tale and separated S-scheme, which is universal in an obvious sense. Properties of this morphism are deduced from a thorough…
For a formal scheme $\mathfrak{X}$ of finite type over a complete rank one valuation ring, we construct a specialization morphism \[ \pi^{\rm dJ}_1(\mathfrak{X}_\eta) \to \pi^{\rm proet}_1(\mathfrak{X}_k) \] from the de Jong fundamental…