Related papers: First order thickenings and cotorsors

We describe the sheaf T^1(X) of first order deformations of a reduced scheme with normal crossing singularities. In particular, we obtain a formula for T^1(X) in a suitable log resolution of X.

Let $(\mathcal C,\otimes,1)$ be an abelian symmetric monoidal category satisfying certain conditions and let $X$ be a scheme over $(\mathcal C,\otimes,1)$ in the sense of To\"en and Vaqui\'{e}. In this paper we show that when $X$ is…

Let $A$ be a ring, and let $M$ and $N$ be $A$-modules. Then $N$ can be viewed as a group object in the category $A$-Mod/$M$ of $A$-modules over $M$ and Ext$^1(M, N)$ can be interpreted as the set of isomorphism classes of $N$-torsors.…

Let X be a quasi-compact scheme, equipped with an open covering by affine schemes. A quasi-coherent sheaf on X gives rise, by taking sections over the covering sets, to a diagram of modules over the various coordinate rings. The resulting…

In this paper, we study the category of twisted sheaves over a scheme $X$. Let $\mathcal{M}$ be a quasi-coherent sheaf on $X$, and $\alpha$ in $\operatorname{Br}(X)$. We show that the functor $ - \otimes_{\mathcal{O}_X} \mathcal{M} :…

We aim to reconstruct a monoid scheme $X$ from the category of quasi-coherent sheaves over it. This is much in the vein of Gabriel's original reconstruction theorem. Under some finiteness condition on a monoid schemes $X$, we show that the…

In this paper, we introduce the category of blueprints, which is a category of algebraic objects that include both commutative (semi)rings and commutative monoids. This generalization allows a simultaneous treatment of ideals resp.\…

Let X be a quasi-compact and quasi-separated (not necessarily semiseparated) scheme. The category QcoX of all quasi-coherent sheaves of OX-modules has several diferent pure derived categories. Recently, categorical pure derived categories…

We study Gorenstein categories. We show that such a category has Tate cohomological functors and Avramov-Martsinkovsky exact sequences connecting the Gorenstein relative, the absolute and the Tate cohomological functors. We show that such a…

A semiring scheme generalizes a scheme in such a way that the underlying algebra is that of semirings. We generalize \v{C}ech cohomology theory and invertible sheaves to semiring schemes. In particular, when $X=\mathbb{P}^n_M$, a projective…

If F is a type-definable family of commensurable subsets, subgroups or sub-vector spaces in a metric structure, then there is an invariant subset, subgroup or sub-vector space commensurable with F. This in particular applies to…

We show that for a monoidal model category $\M=(\ul{M}, \otimes, I)$, certain co-Segal $\M$-categories are equivalent to strict ones.

We introduce a 1-cocycle on the group of diffeomorphisms Diff$(M)$ of a smooth manifold $M$ endowed with a projective connection. This cocycle represents a nontrivial cohomology class of $\Diff(M)$ related to the Diff$(M)$-modules of second…

This is the first of two papers which aim to understand quasi-isometries of a subclass of unimodular split solvable Lie groups. In the present paper, we show that locally (in a coarse sense), a quasi-isometry between two groups in this…

Given a quasi-compact, quasi-separated scheme X, a bijection between the tensor localizing subcategories of finite type in Qcoh(X) and the set of all subsets $Y\subseteq X$ of the form $Y=\bigcup_{i\in\Omega}Y_i$, with $X\setminus Y_i$…

Let X be a separated finite type scheme over a noetherian base ring K. There is a complex C(X) of topological O_X-modules on X, called the complete Hochschild chain complex of X. To any O_X-module M - not necessarily quasi-coherent - we…

For an essentially small triangulated category $\mathcal{T}$, we introduce the notion of prime thick subcategories and define the spectrum of $\mathcal{T}$, which shares the basic properties with the spectrum of a tensor triangulated…

The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a…

We compare two possible ways of defining a category of 1-combs, the first intensionally as coend optics and the second extensionally as a quotient by the operational behaviour of 1-combs on lower-order maps. We show that there is a full and…

We show that a functor category whose domain is a colored category is a topos.The topos structure enables us to introduce cohomology of colored categories including quasi-schemoids. If the given colored category arises from an association…