Related papers: Sheaves that fail to represent matrix rings
The question of when the derived category of a ring satisfies Brown--Adams representability is revisited via studying the transfer of pure homological dimension along definable functors: it is shown that, for any ring, the pure global…
We prove a representability theorem for moduli functors of framed torsion-free sheaves on nonsingular complex projective surfaces, using formal geometry along a curve in the surface. This has as a consequence that a certain restriction…
We outline a proof of a geometric version of the Satake isomorphism. Given a connected, complex algebraic reductive group G we show that the tensor category of representations of the dual group $\check G$ is naturally equivalent to a…
Let $G$ be the universal Chevalley-Demazure group scheme corresponding to a reduced irreducible root system of rank $\geq 2$, and let $R$ be a commutative ring. We analyze the linear representations $\rho \colon G(R)^+ \to GL_n (K)$ over an…
Every small monoidal category with universal finite joins of central idempotents is monoidally equivalent to the category of global sections of a sheaf of local monoidal categories on a topological space. Every small stiff monoidal category…
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…
It has long been known that a key ingredient for a sheaf representation of a universal algebra A consists in a distributive lattice of commuting congruences on A. The sheaf representations of universal algebras (over stably compact spaces)…
Here we continue to characterize a recently introduced notion, le-modules $_{R}M$ over a commutative ring $R$ with unity \cite{Bhuniya}. This article introduces and characterizes Zariski topology on the set $Spec(M)$ of all prime submodule…
We construct a weak representation of the category of framed affine tangles on a disjoint union of triangulated categories ${\mathcal D}_{2n}$. The categories we use are that of coherent sheaves on Springer fibers over a nilpotent element…
In this paper we give a geometric version of the Satake isomorphism. Given a connected complex reductive algebraic group, we show that the category of representations of its Langlands dual is naturally equivalent to a certain category of…
We compare the obstruction classes defined in arXiv:1101.4069 to those defined by Illusie. We also give sheaf theoretic proofs of some of the standard properties of the cotangent complex.
We introduce a class of noncommutative spectra and give the sheaf structure on the class of noncommutative spectra.
The arrows of a category are elements of particular sets, the hom-sets. These sets are functorial, and their functoriality specifies how to compose the arrows with other arrows of the same category. In particular, it allows to form…
We study the sheafification of $W_{\mathrm{rat}} (\mathcal{O})$ and of the maps $\underline{\mathbb{Z}} \mathcal{O} \to W_{\mathrm{rat}} (\mathcal{O})$ and $W_{\mathrm{rat}} (\mathcal{O}) \to W_J (\mathcal{O})$ in various Grothendieck…
We give canonical matrices of a pair (A,B) consisting of a nondegenerate form B and a linear operator A satisfying B(Ax,Ay)=B(x,y) on a vector space over F in the following cases: (i) F is an algebraically closed field of characteristic…
In this paper we continue our study of modules satisfying the prime radical condition ($\mathbb{P}$-radical modules), that was introduced in Part I (see \cite{BS}). Let $R$ be a commutative ring with identity. The purpose of this paper is…
We study a notion of total acyclicity for complexes of flat sheaves over a scheme. It is Zariski-local - i.e. it can be verified on any open affine covering of the scheme - and it agrees, in their setting, with the notion studied by Murfet…
Let $F$ be a field, and let Zar$(F)$ be the space of valuation rings of $F$ with respect to the Zariski topology. We prove that if $X$ is a quasicompact set of rank one valuation rings in Zar$(F)$ whose maximal ideals do not intersect to…
Stressing the role of dual coalgebras, we modify the definition of affine schemes over the 'field with one element'. This clarifies the appearance of Habiro-type rings in the commutative case, and, allows a natural noncommutative…
We prove that commutative semirings in a cartesian closed presentable $\infty$-category, as defined by Groth, Gepner, and Nikolaus, are equivalent to product-preserving functors from the $(2,1)$-category of bispans of finite sets. In other…