Related papers: Phantom covering ideals in categories without enou…

For a non-isotrivial family of surfaces of general type over a complex projective curve, we give upper bounds for the degree of the direct images of powers of the relative dualizing sheaf. They imply that, fixing the curve and the possible…

A locally truncated geometry with diagram of type affine E7 is studied. One considers a parapolar space, locally of type A_{7,4}, which is subject to an extra axiom. A covering of this space is constructed; it is proved that this covering…

We prove a general theorem which includes most notions of "exact completion". The theorem is that "k-ary exact categories" are a reflective sub-2-category of "k-ary sites", for any regular cardinal k. A k-ary exact category is an exact…

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 characterize the variety of compatible fundamental matrix triples by computing its multidegree and multihomogeneous vanishing ideal. This answers the first interesting case of a question recently posed by Br{\aa}telund and Rydell. Our…

This text is devoted to the systematic study of relative properties in the context of Berkovich analytic spaces. We first develop a theory of flatness in this setting. After having shown through a counter-example that naive flatness cannot…

It was shown by A. Beauville that if the canonical map $\varphi_{|K_M|}$ of a complex smooth projective surface $M$ is generically finite, then ${\rm deg}(\varphi_{|K_M|})\leq 36$. The first example of a surface with canonical degree 36 was…

We study two notions of purity in categories of sheaves: the categorical and the geometric. It is shown that pure injective envelopes exist in both cases under very general assumptions on the scheme. Finally we introduce the class of…

Homotopical localizations with respect to a set of maps are known to exist in cofibrantly generated model categories (satisfying additional assumptions). In this paper we expand the existing framework, so that it will apply to not…

For a smooth proper scheme over a local field of mixed characteristics which has semistable reduction we define the category of its semistable etale sheaves and under certain hypothesis we prove the appropriate semistable comparison…

In the present paper, we practicaly complete the solution of the problem on the description of overgroups of the subsystem subgroup $E(\Delta,R)$ in the Chevalley group $G(\Phi,R)$ over the ring $R$, where $\Phi$ is a simply laced root…

We develop the basic theory of derived quasi-coherent ideals for stacks relative to a given derived algebraic context. We compare different notions of adic completeness with respect to derived ideals, define and compare formal spectra and…

Let T be a complete local (Noetherian) ring and let A be a local subring of T such that the completion of A with respect to its maximal ideal is T. We investigate the possible structures of the partially ordered set Spec(A). Specifically,…

Let F : W --> V be a dominant rational map between quasi-projective varieties of the same dimension. We give two proofs that h_V(F(P)) >> h_W(P) for all points P in a nonempty Zariski open subset of W. For dominant rational maps F : P^n -->…

Sheaves are objects of a local nature: a global section is determined by how it looks locally. Hence, a sheaf cannot describe mathematical structures which contain global or nonlocal geometric information. To fill this gap, we introduce the…

We give scheme-theoretic descriptions of the category of fibre functors on the categories of sheaves associated to the Zariski, Nisnevich, \'etale, rh, cdh, ldh, eh, qfh, and h topologies on the category of separated schemes of finite type…

The traditional approach of defining the fundamental group first and then constructing universal coverings works well only for the class of Poincar\' e spaces. For general spaces there were several attempts to define generalized coverings…

We define the normal Hochschild cohomology of an admissible subcategory of the derived category of coherent sheaves on a smooth projective variety $X$ --- a graded vector space which controls the restriction morphism from the Hochschild…

A classic result by Raynaud and Gruson says that the notion of an (infinite dimensional) vector bundle is Zariski local. This result may be viewed as a particular instance (for n = 0) of the locality of more general notions of…

In this paper, by reviewing the concept of subcovering and semicovering maps, we extend the notion of subcovering map to subsemicovering map. We present some necessary or sufficient conditions for a local homeomorphism to be a…