English
Related papers

Related papers: First order thickenings and cotorsors

200 papers

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…

Category Theory · Mathematics 2020-11-11 John C. Baez , Kenny Courser

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…

Algebraic Geometry · Mathematics 2019-09-10 Bronson Lim , Alexander Polishchuk

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)…

Algebraic Geometry · Mathematics 2015-10-21 Rina Anno , Timothy Logvinenko

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,…

Algebraic Geometry · Mathematics 2024-10-22 Yujiro Kawamata

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…

Logic in Computer Science · Computer Science 2025-04-07 Silvio Ghilardi , Jérémie Marquès

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…

Algebraic Geometry · Mathematics 2016-09-19 Angela Gibney , Swarnava Mukhopadhyay

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…

Quantum Algebra · Mathematics 2008-11-26 Vijay Kodiyalam , Vishwambhar Pati , V. S. Sunder

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…

Algebraic Geometry · Mathematics 2007-05-23 J. Biswas , V. Srinivas

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…

Category Theory · Mathematics 2014-10-01 Daniel Dugger

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.

Algebraic Geometry · Mathematics 2014-04-03 Fred Rohrer

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…

Algebraic Geometry · Mathematics 2014-02-14 Ilia Pirashvili

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…

Combinatorics · Mathematics 2012-08-07 Christopher French

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…

Algebraic Geometry · Mathematics 2014-07-29 Fred Rohrer

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…

Algebraic Geometry · Mathematics 2018-07-26 Jaiung Jun , Kalina Mincheva , Jeffrey Tolliver

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…

Representation Theory · Mathematics 2014-10-08 Deepam Patel , Tobias Schmidt , Matthias Strauch

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…

Category Theory · Mathematics 2021-11-12 James Rowe

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…

Representation Theory · Mathematics 2015-10-27 Sergey Arkhipov , Tina Kanstrup

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…

Algebraic Geometry · Mathematics 2018-09-10 Jan Arthur Christophersen , Jan O. Kleppe

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…

Algebraic Geometry · Mathematics 2016-03-16 Ryo Kanda

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…

Algebraic Geometry · Mathematics 2014-04-03 Fred Rohrer