Related papers: On internally projective sheaves of groups
We extend the methods of geometric invariant theory to actions of non--reductive groups in the case of homomorphisms between decomposable sheaves whose automorphism groups are non--reductive. Given a linearization of the natural action of…
This is the third installment in a series of papers on algebraic set theory. In it, we develop a uniform approach to sheaf models of constructive set theories based on ideas from categorical logic. The key notion is that of a "predicative…
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 equivariant reflexive sheaf over a polarised toric variety, we study slope stability of its reflexive pullback along a toric fibration. Examples of such fibrations include equivariant blow-ups and toric locally trivial fibrations. We…
In this paper we will study the projetivity of various natural modules associated to operator Segal algebras of the Fourier algebra of a locally compact group. In particular, we will focus on the question of identifying when such modules…
We revisit sheaves on locales by placing them in the context of the theory of quantale modules. The local homeomorphisms $p:X\to B$ are identified with the Hilbert $B$-modules that are equipped with a natural notion of basis. The…
Some coherent sheaves on projective varieties have a non reduced versal deformation space. For example, this is the case for most unstable rank 2 vector bundles on ${\mathbb P}_2$. In particular, it may happen that some moduli spaces of…
In this paper we will study the homological properties of various natural modules associated to the Fourier algebra of a locally compact group. In particular, we will focus on the question of identifying when such modules will be projective…
We define the notion of a sheaf over a complex of groups. As an application, we give a criterion for the developability of a complex of groups. When the developability is witnessed by a morphism to $\mathrm{GL}(V)$ for some $V$, our…
Let X be a projective irreducible smooth algebraic variety. A "fine moduli space" of sheaves on X is a family F of coherent sheaves on X parametrized by an integral variety M such that : F is flat on M; for all distinct points x, y of M the…
We study stacks of slope-semistable twisted sheaves on orbisurfaces with projective coarse spaces and prove that in certain cases they have many of the asymptotic properties enjoyed by the moduli of slope-semistable sheaves on smooth…
In earlier work (arXiv:0801.0261), we gave a definition of an abelian category of motivic (constructible) sheaves over a base in characteristic zero using Nori's method. This category has Hodge and etale realizations, and is stable under…
In this paper, we identify some categorical structures in which one can model predicative formal systems: in other words, predicative analogues of the notion of a topos, with the aim of using sheaf models to interprete predicative formal…
This informal note provides some elementary examples to motivate the local structural results of [1] on the moduli space of genus one stable maps to projective space. The hope is that these examples will be helpful for graduate students to…
We introduce an axiomatization of Grothendieck sites with additional structure, and we describe sheaves that reconstruct groupoids which are internal to the site structure. This setting applies to various concrete situations, where a Nash…
We show that the moduli spaces of stable sheaves on projective schemes admit certain non-commutative structures, which we call quasi NC structures, generalizing Kapranov's NC structures. The completion of our quasi NC structure at a closed…
We show that there exists a fine moduli space for torsion-free sheaves on a projective surface, which have a "good framing" on a big and nef divisor. This moduli space is a quasi-projective scheme. This is accomplished by showing that such…
Given a normal projective irreducible stack $\mathscr X$ over an algebraically closed field of characteristic zero we consider framed sheaves on $\mathscr X$, i.e., pairs $(\mathcal E,\phi_{\mathcal E})$, where $\mathcal E$ is a coherent…
The higher direct image complex of a coherent sheaf (or finite complex of coherent sheaves) under a projective morphism is a fundamental construction that can be defined via a Cech complex or an injective resolution, both inherently…
In this paper, it is shown that the projectivity of a rational module for an infinitesimal unipotent group scheme over an algebraically closed field of positive characteristic can be detected on a family of closed subgroups.