Related papers: A note on \'etale endomorphisms of normal schemes
Injectivity of objects with respect to a set $\ch$ of morphisms is an important concept of algebra, model theory and homotopy theory. Here we study the logic of injectivity consequences of $\ch$, by which we understand morphisms $h$ such…
A ring R is called right principally-injective if every R-homomorphism from a principal right ideal aR to R (a in R), extends to R, or equivalently if every system of equations xa=b (a, b in R) is solvable in R. In this paper we show that…
We consider the semigroup of \'etale polynomial mappings $\mathbb{C}^2\rightarrow\mathbb{C}^2$ where the binary operation is composition. We prove that both the right and the left composition operators on this semigroup are injective. This…
We give some results on quadratic normality of reducible curves canonically embedded and partially extend this study to their projective normality.
We treat Koll\'ar's injectivity theorem from the analytic (or differential geometric) viewpoint. More precisely, we give a curvature condition which implies Koll\'ar type cohomology injectivity theorems. Our main theorem is formulated for a…
We show that if a graded submodule of a Noetherian module cannot be written as a proper intersection of graded submodules, then it cannot be written as a proper intersection of submodules at all. More generally, we show that a natural…
We consider an arbitrary int-amplified surjective endomorphism $f$ of a normal projective variety $X$ over $\mathbb{C}$ and its $f^{-1}$-stable prime divisors. We extend the early result for the case of polarized endomorphisms to the case…
We show that coherent topoi are right Kan injective with respect to flat embeddings of topoi. We recover the ultrastructure on their category of points as a consequence of this result. We speculate on possible notions of ultracategory in…
We interpret Galois covers in terms of particular monoidal functors, extending the correspondence between torsors and fiber functors. As applications we characterize tame $G$-covers between normal varieties for finite and \'etale group…
We describe a general program for studying the dynamics of surjective endomorphisms of algebraic varieties that are amenable to techniques from the minimal model program. We obtain density results on the pre-periodic points of surjective…
A commutative residuated lattice A is said to be subidempotent if the lower bounds of its neutral element e are idempotent (in which case they naturally constitute a Brouwerian algebra A*). It is proved here that epimorphisms are surjective…
Let R be a local complete ring. For an R-module M the canonical ring map R\to End_R(M) is in general neither injective nor surjective; we show that it is bijective for every local cohomology module M := H^h_I(R) if H^l_I(R) = 0 for every…
We give a new sufficient condition for the normal extensions in an admissible Galois structure to be reflective. We then show that this condition is indeed fulfilled when X is the (protomodular) reflective subcategory of S-special objects…
Let $G$ be a complex reductive group and $V$ a $G$-module. Then the $m$th jet scheme $G_m$ acts on the $m$th jet scheme $V_m$ for all $m\geq 0$. We are interested in the invariant ring $\mathcal{O}(V_m)^{G_m}$ and whether the map…
We introduce the jet schemes of a holomorphic foliation, and thereby prove an alternate characterisation of simple singularities of codimension-$1$ foliations, independent of any normal form. This leads to an equivalent condition for the…
In this article we extend Deligne's construction of Grothendieck's six operations on the derived category of torsion sheaves over the \'etale site of a scheme for morphisms of finite type to a larger class of morphisms. This class includes…
We introduce the notion of a separator for a morphism of schemes f:T\to S; in particular, it is universal among morphisms from T to separated S-schemes. A separator is a local isomorphism; this property conveys the intuition of gluing some…
We give a new definition of the derived category of constructible $\ell$-adic sheaves on a scheme, which is as simple as the geometric intuition behind them. Moreover, we define a refined fundamental group of schemes, which is large enough…
In this paper, we discuss a generalization of log canonical singularities in the non-$\mathbb{Q}$-Gorenstein setting. We prove that if a normal complex projective variety has a non-invertible polarized endomorphism, then it has log…
The present note studies \emph{surjective rational endomorphisms} $f: \mathbb{P}^2 \dashrightarrow \mathbb{P}^2$ with \emph{cubic} terms and the indeterminacy locus $I_f \ne \emptyset$. We develop an experimental approach, based on some…