Related papers: Remarks on logarithmic \'etale sheafification

In this note I introduce a new approach to (or rather a new language for) representation theory of groups. Namely, I propose to consider a (complex) representation of a group $G$ as a sheaf on some geometric object (a stack). This point of…

The van Est map is a map from Lie groupoid cohomology (with respect to a sheaf taking values in a representation) to Lie algebroid cohomology. We generalize the van Est map to allow for more general sheaves, namely to sheaves of sections…

We give a homotopy theoretic characterization of sheaves on a stack and, more generally, a presheaf of groupoids on an arbitary small site C. We use this to prove homotopy invariance and generalized descent statements for categories of…

Let ${\widetilde {\mathcal O}}(\mathbf B)$ be the category of (open) subcategories of a topological groupoid ${\mathbf B}.$ This paper concerns with the ${\mathbf {Cat}}$-valued sheaves over category ${\widetilde {\mathcal O}}(\mathbf B).$…

Several notions of sheaf on various types of quantale have been proposed and studied in the last twenty five years. It is fairly standard that for an involutive quantale Q satisfying mild algebraic properties the sheaves on Q can be defined…

We develop sheaf theory in the context of difference algebraic geometry. We introduce categories of difference sheaves and develop the appropriate cohomology theories. As specializations, we get difference Galois cohomology, difference…

In this paper we will first introduce the notion of affine structures on a ringed space and then obtain several properties. Affine structures on a ringed space, arising mainly from complex analytical spaces of algebraic schemes over number…

Based on the logarithmic algebraic geometry and the theory of Deligne systems, we define an abelian category of $\ell$-adic sheaves with weight filtrations on a logarithmic scheme over a finite field, which is similar to the category of…

Any toric flip naturally induces an equivalence between the associated categories of equivariant reflexive sheaves, and we investigate how slope stability behaves through this functor. On one hand, for a fixed toric sheaf, and natural…

In this article, we prove that the Swan conductor of an \'etale sheaf on a smooth variety defined by Abbes and Saito's logarithmic ramification theory can be computed by its classical Swan conductors after restricting it to curves. It…

Through the subsequent discussion we consider a certain particular sort of (topological) algebras, which may substitute the `` structure sheaf algebras'' in many--in point of fact, in all--the situations of a geometrical character that…

A construction of the tangent dg Lie algebra of a sheaf of operad algebras on a site is presented. The requirements on the site are very mild; the requirements on the algebra are more substantial. A few applications including the…

Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces---so-called ``topological semantics''. The first is classical higher-order logic, with…

We explicitly calculate an arithmetic adelic quotient group for a locally free sheaf on an arithmetic surface when the fiber over the infinite point of the base is taken into account. The calculations are presented via a short exact…

From personal experience, I report about the development of sheaf representations for algebraic structures between the years 1966 and 1976. Starting with rings, lattice-ordered groups and rings it turns to general algebraic structures.

We study the homotopy groups of generic leaves of logarithmic foliations on complex projective manifolds. We exhibit a relation between the homotopy groups of a generic leaf and of the complement of the polar divisor of the logarithmic…

Passing from arithmetic schemes to algebraic schemes, in a similar manner we will have the computation of the \'etale fundamental group of an algebraic scheme and then will define and discuss the qc fundamental group of an algebraic scheme…

There is an interplay between models, specified by variables and equations, and their connections to one another. This dichotomy should be reflected in the abstract as well. Without referring to the models directly -- only that a model…

We prove that every algebraic stack, locally of finite type over an algebraically closed field with affine stabilizers, is \'etale-locally a quotient stack in a neighborhood of a point with a linearly reductive stabilizer group. The proof…

In this paper we consider the K-theory of smooth algebraic stacks, establish lambda and gamma operations, and show that the higher K-theory of such stacks is always a pre-lambda-ring, and is a lambda-ring if every coherent sheaf is the…