Related papers: Perfect complexes on algebraic stacks
We introduce a notion of Gieseker stability for coherent sheaves on tame Deligne-Mumford stacks with projective moduli scheme and some chosen generating sheaf on the stack in the sense of Olsson and Starr \cite{MR2007396}. We prove that…
There has been a long-standing question about whether being perfectoid for an algebra is local in the analytic topology. We provide affirmative answers for the algebras (e.g., over $\overline{\mathbb{Z}_p}$) whose spectra are inverse limits…
In a previous work we constructed the $Q$-shaped derived category of any ring $A$ for any suitably nice category $Q$. The $Q$-shaped derived category of $A$, which is denoted by $\mathcal{D}_{Q}(A)$, is a generalization of the ordinary…
For any abelian category \calC satsifying (AB5) over a separated, quasi-compact scheme S, we construct a stack of 2-groups \GL(\calC) over the flat site of S. We will give a concrete description of \GL(\calC) when \calC is the category of…
Inspired by Morse theory, we introduce a topological stack Broken, which we refer to as the moduli stack of broken lines. We show that Broken can be presented as a Lie groupoid with corners and provide a combinatorial description of sheaves…
We generalize the notion of a small sheaf of sets over a topological space or manifold to define the notion of a small stack of groupoids over an \'etale topological or differentiable stack. We then provide a construction analogous to the…
For an exact category having enough projective objects, we establish a bijection between thick subcategories containing the projective objects and thick subcategories of the stable derived category. Using this bijection we classify thick…
We construct Grothendieck topologies on the path category of a finite graph, examining both coarse and discrete cases that offer different perspectives on quiver representations. The coarse topology declares each vertex covered by all…
It is shown that the idempotent completion of the additive hull of the tensor product of the residue category of the category of paths of a locally finite quiver modulo an admissible ideal and a dualizing category is dualizing. Furthermore,…
We endow the homotopy category of well generated (pretriangulated) dg categories with a tensor product satisfying a universal property. The resulting monoidal structure is symmetric and closed with respect to the cocontinuous RHom of dg…
We develop a sheaf cohomology theory of algebraic varieties over an algebraically closed non-trivially valued non-archimedean field $K$ based on Hrushovski-Loeser's stable completion. In parallel, we develop a sheaf cohomology of definable…
We construct, using geometric invariant theory, a quasi-projective Deligne-Mumford stack of stable graded algebras. We also construct a derived enhancement, which classifies twisted bundles of stable graded A-infinity-algebras. The tangent…
We give a moduli-theoretic proof of the classical theorem of Gabriel, stating that a scheme can be reconstructed from the abelian category of quasi-coherent sheaves over it. The methods employed are elementary and allow us to extend the…
Given a compact Lie group $G$ acting on a space $X$, the classical Atiyah-Segal completion theorem identifies topological $K$-theory of the homotopy quotient $X/G$ with an explicit completion of $G$-equivariant topological $K$-theory of…
Fix a scheme $X$ over a field of characteristic zero that is equipped with an action of a reductive algebraic group $G$. We give necessary and sufficient conditions for a $G$-equivariant coherent sheaf on $X$ or a bounded-above complex of…
Let k be a commutative noetherian ring. We construct a strictly-functorial presheaf of small dg-categories over k on the category of k-schemes of finite type, which gives dg-enhancements of the derived categories of perfect complexes.
We compactify the moduli stack of maps from curves to certain quotient stacks $\mathcal{X}=[W/G]$ with a projective good moduli space, extending previous results from quasimap theory. For doing so, we introduce a new birational…
We study the question when a category of ind-objects is abelian. Our answer allows a further generalization of the notion of weakly Tannakian categories introduced by the author. As an application we show that, under suitable conditions,…
Given a smooth projective toric variety $X_\Sigma$ of complex dimension $n$, Fang-Liu-Treumann-Zaslow \cite{FLTZ} showed that there is a quasi-embedding of the differential graded (dg) derived category of coherent sheaves $Coh(X_\Sigma)$…
In this paper we prove that the dimension of the bounded derived category of coherent sheaves on a smooth quasi-projective curve is equal to one. We also discuss dimension spectrums of these categories.