Related papers: Cotilting Sheaves on Noetherian Schemes

We prove that the derived category of a Grothendieck abelian category has a unique dg enhancement. Under some additional assumptions, we show that the same result holds true for its subcategory of compact objects. As a consequence, we…

The main problem addressed in the paper is the Torelli problem for n-dimensional varieties of general type, more specifically for varieties with ample canonical bundle. It asks under which geometrical condition for a variety the period map…

We develop the categorical algebra of the noncommutative base change of a comodule category by means of a Grothendieck category $\mathfrak S$. We describe when the resulting category of comodules is locally finitely generated, locally…

We give a direct proof of the following known result: the Grothendieck group of a triangulated category with a silting subcategory is isomorphic to the split Grothendieck group of the silting subcategory. Moreover, we obtain its…

Studying toric varieties from a scheme-theoretical point of view leads to toric schemes, i.e. "toric varieties over arbitrary base rings". It is shown how the base ring affects the geometry of a toric scheme. Moreover, generalisations of…

A degree $d$ genus $g$ cover of the complex projective line by a smooth irreducible curve $C$ yields a vector bundle on the projective line by pushforward of the structure sheaf. We classify the bundles that arise this way when $d = 5$.…

Let $R$ be a ring and Ch($R$) the category of chain complexes of $R$-modules. We put an abelian model structure on Ch($R$) whose homotopy category is equivalent to $K(Proj)$, the homotopy category of all complexes of projectives. However,…

We prove the conjecture that any Grothendieck $(\infty,1)$-topos can be presented by a Quillen model category that interprets homotopy type theory with strict univalent universes. Thus, homotopy type theory can be used as a formal language…

In this paper we propose and study topological and Hodge theoretic analogues of Grothendieck's section conjecture over the complex numbers. We study these questions in the context of family of curves, in particular Kodaira fibrations, and…

In an arbitrary Grothendieck category, we find necessary and sufficient conditions for the class of $\text{FP}_n$-injective objects to be a torsion class. By doing so, we propose a notion of $n$-hereditary categories. We also define and…

We prove general results about completeness of cotorsion theories and existence of covers and envelopes in locally presentable abelian categories, extending the well-established theory for module categories and Grothendieck categories.…

Let $M$ be a smooth algebraic variety of dimension $2(p+q)$ with an algebraic symplectic form and a compatible deformation quantization $\mathcal{O}_h$ of the structure sheaf. Consider a smooth coisotropic subvariety $j: Y \to M$ of…

It is a well-known fact that although the poset of open sets of a topological space is a Heyting algebra, its Heyting implication is not necessarily stable under the inverse image of continuous functions and hence is not a geometric…

We introduce and study the category of Hodge microsheaves which is a Hodge-version of the category of microsheaves for a certain class of holomorphic exact symplectic manifolds. We then study Hodge-theoretic version of wrapped sheaves and…

A motivic height zeta function associated to a family of varieties parametrised by a curve is the generating series of the classes, in the Grothendieck ring of varieties, of moduli spaces of sections of this family with varying degrees.…

Let \pi : X -> S be a finite type morphism of noetherian schemes. A smooth formal embedding of X (over S) is a bijective closed immersion X -> \frak{X}, where \frak{X} is a noetherian formal scheme, formally smooth over S. An example of…

We study the classification of submodules of module categories over monoidal categories, extending ideas of Coulembier on the classification of tensor ideals in monoidal categories. We develop a framework that applies to module categories…

For a given class of modules $\A$, we denote by $\widetilde{\A}$ the class of exact complexes $X$ having all cycles in $\A$, and by $dw(\A)$ the class of complexes $Y$ with all components $Y_j$ in $\A$. We consider a two sided noetherian…

Let $\mathscr{A}$ be an abelian category having enough projective and injective objects, and let $\mathscr{T}$ be an additive subcategory of $\mathscr{A}$ closed under direct summands. A known assertion is that in a short exact sequence in…

Adhesive and quasiadhesive categories provide a general framework for the study of algebraic graph rewriting systems. In a quasiadhesive category any two regular subobjects have a join which is again a regular subobject. Vice versa, if…