Related papers: First order thickenings and cotorsors

We determine the quotient category which is the representation category of the kernel of the homomorphism from Nori's fundamental group scheme to its \'etale and local parts. Pierre Deligne pointed out an error in the first version of this…

We compute the rational homology of the moduli stack $\mathcal{M}$ of objects in the derived category of certain smooth complex projective varieties $X$ including toric varieties, flag varieties, curves, surfaces, and some 3- and 4-folds.…

Let $X$ be a smooth proper scheme over an algebraically closed field $k$ in characteristic $p$. In this short note, by interpreting $\mathcal{D}_{X}$-modules as $F$-divided sheaves and establishing a cohomological boundedness property for…

For a noetherian scheme that has an ample family of invertible sheaves, we prove that direct products in the category of quasi-coherent sheaves are not exact unless the scheme is affine. This result can especially be applied to all…

Let A be an abelian variety and let us fix a Weil cohomology with coefficients in F. Let $H^1(A,F)$ be the first cohomology group of A and $Lef(A) \subset GL(H^1(A,F))$ be its Lefschetz group, i.e. the sub-group of $GL(H^1(A,F))$ of linear…

Let {\cal T} be a triangulated category, {\cal A} a full subcategory of {\cal T} and {\cal X} a functorially finite subcategory of {\cal A}. If {\cal A} has the properties that any {\cal X}-monomorphism of {\cal A} has a cone and any {\cal…

The Univalent Foundations requires a logic that allows us to define structures on homotopy types, similar to how first-order logic with equality ($\text{FOL}_=$) allows us to define structures on sets. We develop the syntax, semantics and…

The first part of this paper provides a new formulation of chiral differential operators (CDOs) in terms of global geometric quantities. The main result is a recipe to define all sheaves of CDOs on a smooth cs-manifold; its ingredients…

Under suitably nice conditions, given a coalgebra object in a tensor category we compute the layers of its coradical (socle) filtration.

A functor of sets $\mathbb X$ over the category of $K$-commutative algebras is said to be an affine functor if its functor of functions, $\mathbb A_{\mathbb X}$, is reflexive and $\mathbb X=\Spec \mathbb A_{\mathbb X}$. We prove that affine…

We study the Fulton-Macpherson operational Chow rings of good moduli spaces of properly stable, smooth, Artin stacks. Such spaces are \'etale locally isomorphic to geometric invariant theory quotients of affine schemes, and are therefore…

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…

We give an alternate formulation of pseudo-coherence over an arbitrary derived stack X. The full subcategory of pseudo-coherent objects forms a stable sub-infinity-category of the derived category associated to X. Using relative…

Motivated by applications to the categorical and geometric local Langlands correspondences, we establish an equivalence between the category of filtered $\mathcal{D}$-modules on a smooth stack $X$ and the category of $S^1$-equivariant…

We study the cohomology theory of sheaf complexes for open embeddings of topological spaces and related subjects. The theory is situated in the intersection of the general Cech theory and the theory of derived categories. That is to say, on…

Higher order cohomology of arithmetic groups is expressed in terms of (g,K)-cohomology. Generalizing results of Borel, it is shown that the latter can be computed using functions of (uniform) moderate growth. A higher order versions of…

Let $\mathcal{F}$ be a foliation on a projective manifold $X$ with $-K_{\mathcal{F}}$ nef. Assume that either $\mathcal{F}$ is regular, or it has a compact leaf. We prove that there is a locally trivial fibration $f\colon X\to Y$, and a…

The definition of order indices for density matrices is extended to finite systems. This makes it possible to characterize the level of ordering in such finite systems as macromolecules, nanoclusters, quantum dots, or trapped atoms. The…

A model structure on the category of (small) bigroupoids and pseudofunctors is constructed. In this model structure, every object is cofibrant. In order to keep certain calculations of manageable size, a coherence theorem for bigroupoids…

This paper studies the universal first-order Massey product of a prefactorization algebra, which encodes higher algebraic operations on the cohomology. Explicit computations of these structures are carried out in the locally constant case,…