Related papers: A Sheaf of Boehmians

We define an equivalence relation among coherent sheaves on a projective variety called biliaison. We prove the existence of sheaves that are minimal in a biliaison class in a suitable sense, and show that all sheaves in the same class can…

In this paper, we present a generalization of Grothendieck pretopologies -- suited for semicartesian categories with equalizers $C$ -- leading to a closed monoidal category of sheaves, instead of closed cartesian category. This is proved…

We present a unified framework for representing commutative rings through affine algebraic theories and Boolean rings through hyperaffine algebraic theories. This yields categorical equivalences between these theories and, respectively,…

The Fourier-Mukai transform is lifted to the derived category of sheaves with connection on abelian varieties. The case of flat connections (D-modules) is discussed in detail.

The purpose of this note is to record a connection between sheaves on complete Boolean algebras and conditional sets. This connection yields a transfer principle for conditional set theory. On the other hand we use conditional set theory to…

In this paper we study the Bernstein-Gel'fand-Gel'fand (BGG) correspondence linking sheaves on a projective space to graded modules over an exterior algebra. We give an explicit construction of a Beilinson monad for a sheaf on projective…

Let $A$ be an abelian variety over an algebraically closed field. We show that $A$ is the automorphism group scheme of some smooth projective variety if and only if $A$ has only finitely many automorphisms as an algebraic group. This…

We prove new Brown representability theorems for triangulated categories using metric techniques as introduced in the work of Neeman. In the setting of algebraic geometry, this gives us new representability theorems for homological and…

We show that for any two von Neumann algebras $M$ and $N$, the space of non-unital normal homomorphisms $N\to M$ with finite support, modulo conjugation by unitaries in $M$, is Dedekind complete with respect to the partial order coming from…

This paper explores the sheaves with the action of a lie algebra and computes their cohomology in a new category. Then in the following sections, We try to generalize a classical result in [GM, Ch. IV] about exterior algebra. We add the…

Let S be a smooth projective surface, K be the canonical class of S and H be an ample divisor such that H.K<0 . In this paper we prove that for any rigid (Ext^1(F,F)=0) semistable sheaf F in the sense of Mumford--Takemoto stability w.r.t. H…

This paper makes contributions to ``pure'' sheaf model theory, the part of model theory in which the models are sheaves over a complete Heyting algebra. We start by outlining the theory in a way we hope is readable for the non-specialist.…

Let S be a smooth projective algebraic surface. Generalizing results of Nakajima and Grojnowski, we construct (under some assumptions) an action of the oscillator algebra associated to the cohomology of S, on the cohomology of the moduli…

There are many examples of dualities between topological spaces and algebras in the literature. Particularly, many of those examples come from the algebraic counterpart of a logical system, e.g, boolean and heyting algebras, MV-algebras,…

We present an explicit expression of the cohomology complex of a constructible sheaf of abelian groups on the small \'etale site of an irreducible curve over an algebraically closed field, when the torsion of the sheaf is invertible in the…

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…

Many important theorems in differential topology relate properties of manifolds to properties of their underlying homotopy types -- defined e.g. using the total singular complex or the \v{C}ech nerve of a good open cover. Upon embedding the…

In this short note, we will explain that the good moduli space morphisms behave as if they are proper when we consider sheaf operations, though they are not separated. For example, the decomposition theorem and the base change theorem hold…

Given an exact Lagrangian submanifold $L$ in $T^*N$, we want to construct a complex of sheaves in the derived category of sheaves on $N\times {\mathbb R} $, such that its singular support, $SS({\mathcal F}^\bullet_L)$, is equal to $\widehat…

This paper is devoted to the study of the gluing construction for perverse sheaves on $G/U$ introduced by Kazhdan and Laumon ($G$ is a semisimple gourp, $U$ is the unipotent radical of a Borel subgroup in $G$). Kazhdan and Laumon…