English
Related papers

Related papers: Contraherent cosheaves on schemes

200 papers

Let $R$ be a ring and Ch($R$) the category of chain complexes of $R$-modules. We put an abelian model structure on Ch($R$) whose homotopy category is equivalent to $K(Proj)$, the homotopy category of all complexes of projectives. However,…

Algebraic Topology · Mathematics 2014-12-15 James Gillespie

The goal of this papers is to extending to the complex analytic framework the relative Kleiman duality for quasi coherent sheaves. Precisely, he show that for any flat,locally projectivea and finitely presented morphism of schemes…

Algebraic Geometry · Mathematics 2024-06-17 Mohamed Kaddar

To any finite group G in SL_2(C), and each `t' in the center of the group algebra of G, we associate a category, Coh_t. It is defined as a suitable quotient of the category of graded modules over (a graded version of) the deformed…

Algebraic Geometry · Mathematics 2007-05-23 Vladimir Baranovsky , Victor Ginzburg , Alexander Kuznetsov

We consider the category $\operatorname{Qcoh}\mathbb{X}$ of quasicoherent sheaves where $\mathbb{X}$ is a weighted noncommutative regular projective curve over a field $k$. This category is a hereditary, locally noetherian Grothendieck…

Representation Theory · Mathematics 2020-09-28 Dirk Kussin , Rosanna Laking

Very flat and contradjusted modules naturally arise in algebraic geometry in the study of contraherent cosheaves over schemes. Here, we investigate the structure and approximation properties of these modules over commutative noetherian…

Commutative Algebra · Mathematics 2019-01-08 Alexander Slavik , Jan Trlifaj

We construct a canonical pseudofunctor ^# on the category of finite-type maps of (say) connected noetherian universally catenary finite-dimensional separated schemes, taking values in the category of Cousin complexes. This pseudofunctor is…

alg-geom · Mathematics 2008-02-03 Joseph Lipman , Pramathanath Sastry

In their article "Elementary construction of perverse sheaves", R.MacPherson and K. Vilonen show that on a Thom-Mather space X the category PervX of perverse sheaves is equivalent to the category C(F, G, T) whose objects are data of…

Algebraic Geometry · Mathematics 2011-03-23 Delphine Dupont

We describe a noncommutative deformation theory for presheaves and sheaves of modules that generalizes the commutative deformation theory of these global algebraic structures, and the noncommutative deformation theory of modules over…

Algebraic Geometry · Mathematics 2017-04-19 Eivind Eriksen

We prove basic facts about reflexivity in derived categories over noetherian schemes; and about related notions such as semidualizing complexes, invertible complexes, and Gorenstein-perfect maps. Also, we study a notion of rigidity with…

Algebraic Geometry · Mathematics 2010-01-21 Luchezar L. Avramov , Srikanth B. Iyengar , Joseph Lipman

Let $S$ be a base scheme, assumed separated and Noetherian. We define \emph{adequate classes} of morphisms of $S$-schemes by formalizing certain properties of homotopy equivalences of complex algebraic varieties. Other examples of adequate…

Algebraic Geometry · Mathematics 2026-05-26 Alexey G. Gorinov , Egor S. Kosolapov

Given a graded monoid A with 1, one can construct a projective monoid scheme MProj(A) analogous to Proj(R) of a graded ring R. This paper is concerned with the study of quasicoherent sheaves (of pointed sets) on MProj(A), and we prove…

Algebraic Geometry · Mathematics 2016-02-18 Oliver Lorscheid , Matt Szczesny

Grothendieck's formal functions theorem states that the coherent cohomology of a Noetherian scheme can be recovered from that of a blowup and the infinitesimal thickenings of the center and of the exceptional divisor of the blowup. In this…

K-Theory and Homology · Mathematics 2026-01-21 Shane Kelly , Shuji Saito , Georg Tamme

For a quasi-compact quasi-separated scheme X and an arbitrary scheme Y we show that the pullback construction implements an equivalence between the discrete category of morphisms Y --> X and the category of cocontinuous tensor functors…

Algebraic Geometry · Mathematics 2014-10-07 Martin Brandenburg , Alexandru Chirvasitu

Let X be the toric scheme over a ring R associated with a fan Sigma. It is shown that there are a group B, a B-graded R-algebra S and a graded ideal I of S such that there is an essentially surjective, exact functor ~ from the category of…

Algebraic Geometry · Mathematics 2014-04-03 Fred Rohrer

Tannaka duality and its extensions by Lurie, Sch\"appi et al. reveal that many schemes as well as algebraic stacks may be identified with their tensor categories of quasi-coherent sheaves. In this thesis we study constructions of cocomplete…

Algebraic Geometry · Mathematics 2014-10-08 Martin Brandenburg

We define the triangulated category of relative singularities of a closed subscheme in a scheme. When the closed subscheme is a Cartier divisor, we consider matrix factorizations of the related section of a line bundle, and their analogues…

Category Theory · Mathematics 2015-07-07 Alexander I. Efimov , Leonid Positselski

We construct a co-$t$-structure on the derived category of coherent sheaves on the nilpotent cone $\mathcal{N}$ of a reductive group, as well as on the derived category of coherent sheaves on any parabolic Springer resolution. These…

Representation Theory · Mathematics 2023-04-26 Pramod N. Achar , William Hardesty

We introduce the notion of a quasicoherent sheaf on a complex noncommutative two-torus $T$ as an ind-object in the category of holomorphic vector bundles on $T$. Extending the results of math.QA/0211262 and math.QA/0308136 we prove that the…

Quantum Algebra · Mathematics 2007-05-23 Alexander Polishchuk

This work is concerned with approximability (\`{a} la Neeman) and Rouquier dimension for triangulated categories associated to noncommutative algebras over schemes. Amongst other things, we establish that the category of perfect complexes…

Algebraic Geometry · Mathematics 2025-01-08 Timothy De Deyn , Pat Lank , Kabeer Manali Rahul

Let X be a separated finite type scheme over a noetherian base ring K. There is a complex C(X) of topological O_X-modules on X, called the complete Hochschild chain complex of X. To any O_X-module M - not necessarily quasi-coherent - we…

Algebraic Geometry · Mathematics 2007-05-23 Amnon Yekutieli