Related papers: Reflections and Sheafifications in Algebraic and T…
We firstly introduce some key concepts in category theory, such as quotient category, completion of limits, $\mathrm{Mor}$ category, and so on; then give the concept of topology algebras and sheaves, and discuss how to restore the structue…
We are developing tools for working with arbitrary left-exact localizations of $\infty$-topoi. We introduce a notion of higher sheaf with respect to an arbitrary set of maps $\Sigma$ in an $\infty$-topos $\mathscr{E}$. We show that the full…
We study the \'etale sheafification of algebraic K-theory, called \'etale K-theory. Our main results show that \'etale K-theory is very close to a noncommutative invariant called Selmer K-theory, which is defined at the level of categories.…
Cohomology of a compatible family of Lie algebroids defined on a family of transverse manifolds is defined. A sheaf of differential forms on a compatible family of Lie algebroids defined over regular open subsets of a simplicial complex is…
In this paper by using the ring of real-valued continuous functions $C(X)$, we prove a theorem in profinite spaces which states that for a compact Hausdorff space $X$, the set of its connected components $X/_{\sim}$ endowed with some…
We present a uniform theory of constructible sheaves on arbitrary schemes with coefficients in topological or even condensed rings. This is accomplished by defining lisse sheaves to be the dualizable objects in the derived infinity-category…
In this paper, we investigate a sheaf-theoretic interpretation of stratification learning from geometric and topological perspectives. Our main result is the construction of stratification learning algorithms framed in terms of a sheaf on a…
In this paper we give an inherently toric description of a special class of sheaves (known as equivariant sheaves) over toric varieties, due in part to A. A. Klyachko. We apply this technology to heterotic compactifications, in particular…
In this paper, we define $m$-tail reflexive sheaves as reflexive sheaves on projective spaces with the simplest possible cohomology. We prove that the rank of any $m$-tail reflexive sheaf $\mathcal{E}$ on $\mathcal{P}^n$ is greater or equal…
We give an equivalence of triangulated categories between the derived category of finitely generated representations of symplectic reflection algebras associated with wreath products (with parameter t=0) and the derived category of coherent…
Given a general finite group $G$, we consider several categories built on it, their Grothendieck topologies and resulting sheaf categories. For a certain class of transporter categories and their quotients, equipped with atomic topology, we…
This is the second paper in a series on representations over diagrams of abelian categories. We show that, under certain conditions, a compatible family of abelian model categories indexed by a skeletal small category can be amalgamated…
Let $S$ be a scheme contained in $\mathbf{Sch}_{fppf}$. Let $\mathfrak{X}$ be a Noetherian separated algebraic space over $S$. In this paper, we interpret localizing subcategories of the derived category of $\mathfrak{X}$ by using subsets…
We determine the generators of the autoequivalence group of the derived category of coherent sheaves on a bielliptic surface over an algebraically closed field of arbitrary characteristic. As a consequence, we prove that any algebraic…
We make explicit some conditions on a semi-abelian category D such that, for any abelian group A in D and any object Y in D, the cohomology group homomorphisms with coefficients in A, induced by the inclusion of the abelian objects of D at…
In this paper, we provide a uniform approach to $d$-spaces, sober spaces and well-filtered spaces, and develop a general framework for dealing with all these spaces. For a subset system H, the theory of H-sober spaces and super H-sober…
We develop the theory of reflective subfibrations on an $\infty$-topos $\mathcal{E}$. A reflective subfibration $L_\bullet$ on $\mathcal{E}$ is a pullback-compatible assignment of a reflective subcategory $\mathcal{D}_X\subseteq…
Let A be a topological space which is not finitely generated and CH(A) denote the coreflective hull of A in Top. We construct a generator of the coreflective subcategory SCH(A) consisting of all subspaces of spaces from CH(A) which is a…
We develop a theory of general sheaves over weighted projective lines. We define and study a canonical decomposition, analogous to Kac's canonical decomposition for representations of quivers, study subsheaves of a general sheaf, general…
Sheaves are objects of a local nature: a global section is determined by how it looks locally. Hence, a sheaf cannot describe mathematical structures which contain global or nonlocal geometric information. To fill this gap, we introduce the…