Related papers: First order thickenings and cotorsors
One goal of applied category theory is to better understand networks appearing throughout science and engineering. Here we introduce "structured cospans" as a way to study networks with inputs and outputs. Given a functor $L \colon…
Given a smooth variety $X$ with an action of a finite group $G$, and a semiorthogonal decomposition of the derived category, $\mathcal{D}([X/G])$, of $G$-equivariant coherent sheaves on $X$ into subcategories equivalent to derived…
We introduce a relative version of the spherical objects of Seidel and Thomas. Define an object E in the derived category D(Z x X) to be spherical over Z if the corresponding functor from D(Z) to D(X) gives rise to autoequivalences of D(Z)…
We investigate the behavior of semi-orthogonal decompositions of bounded derived categories of singular varieties under flat deformations to smooth varieties. We consider a Q-Gorenstein smoothing of a surface with a quotient singularity,…
We extend the logical categories framework to first order modal logic. In our modal categories, modal operators are applied directly to subobjects and interact with the background factorization system. We prove a Joyal-style representation…
Here we consider higher Chern classes of vector bundles of conformal blocks on $\overline{\operatorname{M}}_{0,n}$, giving explicit formulas for them, and extending various results that hold for first Chern classes to them. We use these…
We construct a certain `cobordism category' ${\cal D}$ whose morphisms are suitably decorated cobordism classes between similarly decorated closed oriented 1-manifolds, and show that there is essentially a bijection between…
We prove an analogue of the Lefschetz (1,1) Theorem characterizing cohomology classes of Cartier divisors (or equivalently first Chern classes of line bundles) in the second integral cohomology. Let $X$ be a normal complex projective…
We prove a coherence theorem for invertible objects in a symmetric monoidal category. This is used to deduce associativity, skew-commutativity, and related results for multi-graded morphism rings, generalizing the well-known versions for…
A correspondence between quasicoherent sheaves on toric schemes and graded modules over some homogeneous coordinate ring is presented, and the behaviour of several finiteness properties under this correspondence is investigated.
The aim of this paper is to study the cohomology theory of monoid schemes in general and apply it to vector and line bundles. We will prove that over separated monoid schemes, any vector bundle is a coproduct of line bundles and then go on…
We construct a wide subcategory of the category of finite association schemes with a collection of desirable properties. Our subcategory has a first isomorphism theorem analogous to that of groups. Also, standard constructions taking…
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…
From any monoid scheme $X$ (also known as an $\mathbb{F}_1$-scheme) one can pass to a semiring scheme (a generalization of a tropical scheme) $X_S$ by scalar extension to an idempotent semifield $S$. We prove that for a given irreducible…
In this paper we study sheaves of logarithmic arithmetic differential operators on a particular semistable model of the projective line. The main result here is that the first cohomology group of these sheaves is non-torsion. We also…
Given a tensor triangulated category we investigate the geometry of the Balmer spectrum as a locally ringed space. Specifically we construct functors assigning to every object in the category a corresponding sheaf and a notion of support…
Let G be a reductive algebraic group with a Borel subgroup B. We define the quasi-coherent Hecke category for the pair (G,B). For any regular Noetherian G-scheme X we construct a monoidal action of the Hecke category on the derived category…
We compare deformations of algebras to deformations of schemes in the setting of invariant theory. Our results generalize comparison theorems of Schlessinger and the second author for projective schemes. We consider deformations (abstract…
We classify the prelocalizing subcategories of the category of quasi-coherent sheaves on a locally noetherian scheme. In order to give the classification, we introduce the notion of a local filter of subobjects of the structure sheaf. The…
Let X be the toric scheme over a ring R associated with a fan Sigma. It is shown that there are a group B, a B-graded R-algebra S and a graded ideal I of S such that there is an essentially surjective, exact functor ~ from the category of…