相关论文: Tannaka Duality for Geometric Stacks
We give criteria for certain morphisms from an algebraic stack to a (not necessarily algebraic) stack to admit an (appropriately defined) scheme-theoretic image. We apply our criteria to show that certain natural moduli stacks of local…
We develop the theory of ind-geometric stacks, in particular their coherent and ind-coherent sheaf theory. This provides a convenient framework for working with equivariant sheaves on ind-schemes, especially in derived settings. Motivating…
We found a necessary and sufficient condition for the existence of the tensor product of modules over a vertex algebra. We defined the notion of vertex bilinear map and we provide two algebraic construction of the tensor product, where one…
A morphism from a diagonalizable group $G$ to the torus of a toric variety $X$ induces an action of $G$ on $X$. We prove the category of ind-coherent sheaves on the quotient stack is equivalent to the category of sheaves on a cover of a…
Let k be an algebraically closed field of characteristic two. Let R be the ring of Witt vectors of length two over k. We construct a group stack \hat G over k, the metaplectic extension of the Greenberg realization of Sp_{2n}(R). We also…
We show that the Hilbert functor of points on an arbitrary separated algebraic stack is an algebraic space. We also show the algebraicity of the Hilbert stack of points on an algebraic stack and the algebraicity of the Weil restriction of…
Given a compact Kaehler manifold X, it is shown that pairs of the form (E, D), where E is a trivial holomorphic vector bundle on X, and D is an integrable holomorphic connection on $E$, produce a neutral Tannakian category. The…
We consider an algebraic variety X together with the choice of a subvariety Z. We show that any coherent sheaf on X can be constructed out of a coherent sheaf on the formal neighborhood of Z, a coherent sheaf on the complement of Z, and an…
In this paper, we go into the study of the 2-category SSS_\Sigma of \Sigma-constructible stacks. The notions of constructible stack was introduced by D. Treumann. It is a natural generalization of constructible sheaf. D. Treumann has also…
We define a differential Tannakian category and show that under a natural assumption it has a fibre functor. If in addition this category is neutral, that is, the target category for the fibre functor are finite dimensional vector spaces…
We define the notion of fundamental group of an algebraic stack, prove a comparison theorem between the fundamental group of a stack over the complex numbers and that of the associated analytic orbifold, show that this notion coincides with…
We show that the functor from curved differential graded algebras to differential graded categories, defined by the second author in [B], sends Cartesian diagrams to homotopy Cartesian diagrams, under certain reasonable hypotheses. This is…
A wealth of geometric and combinatorial properties of a given linear endomorphism $X$ of $\R^N$ is captured in the study of its associated zonotope $Z(X)$, and, by duality, its associated hyperplane arrangement ${\cal H}(X)$. This…
We construct certain non-degenerate maps and sets, mainly in the complex-analytic category. For example, we show that for every countable subset S in an irreducible complex space X there exists a holomorphic map from the unit disk to X such…
Due to a theorem by Orlov every exact fully faithful functor between the bounded derived categories of coherent sheaves on smooth projective varieties is of Fourier-Mukai type. We extend this result to the case of bounded derived categories…
Modular functors, i.e. consistent systems of projective representations of mapping class groups of surfaces, have been constructed for non-semisimple modular categories already decades ago. Concepts from homological algebra have not been…
We describe the structure of bimodules (over finite dimensional algebras) which have the property that the functor of tensoring with such a bimodule sends any module to a projective module. The main result is that all such bimodules are…
Stacks have become a prevalent tool in studying problems with connections to String Theory, hence we see a need to develop a theory of supersymmetric stacks proper. We first define derived stacks on $\mathbb{Z}_2$-bi-graded k-modules…
We introduce, on a topological space X, a class of stacks of abelian categories we call "stacks of type P." This class of stacks includes the stack of perverse sheaves (of any perversity, constructible with respect to a fixed…
To any dg-category $T$ (over some base ring $k$), we define a $D^{-}$-stack $\mathcal{M}_{T}$ in the sense of \cite{hagII}, classifying certain $T^{op}$-dg-modules. When $T$ is saturated, $\mathcal{M}_{T}$ classifies compact objects in the…