arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2407.13651

Roos axiom holds for quasi-coherent sheaves

Leonid Positselski
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $X$ be either a quasi-compact semi-separated scheme, or a Noetherian scheme of finite Krull dimension. We show that the Grothendieck abelian category $X{-}\mathsf{Qcoh}$ of quasi-coherent sheaves on $X$ satisfies the Roos axiom $\mathrm{AB}4^*$-$n$: the derived functors of infinite direct product have finite homological dimension in $X{-}\mathsf{Qcoh}$. In each of the two settings, two proofs of the main result are given: a more elementary one, based on the Cech coresolution, and a more conceptual one, demonstrating existence of a generator of finite projective dimension in $X{-}\mathsf{Qcoh}$ in the semi-separated case and using the co-contra correspondence (with contraherent cosheaves) in the Noetherian case. The hereditary complete cotorsion pair (very flat quasi-coherent sheaves, contraadjusted quasi-coherent sheaves) in the abelian category $X{-}\mathsf{Qcoh}$ for a quasi-compact semi-separated scheme $X$ is discussed.

Explore related subjects

math.AGmath.CT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Leonid Positselski. 2026-02-19. Roos axiom holds for quasi-coherent sheaves. https://doi.org/10.1007/s10485-025-09845-9

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Numerical Elimination: Computing Complements of Real Hypersurfaces Using Pseudo-Witness Sets

Many hypersurfaces in algebraic geometry, such as discriminants, arise as the projection of another variety. The real complement of such a hypersurface decomposes into connected components. In this paper, we propose a new method for computing these components. Existing methods require the explicit equation of the hypersurface as input. However, computing this equation by elimination can be computationally demanding or even infeasible. Our approach instead derives from univariate interpolation by computing the intersection of the hypersurface with a line. Such an intersection may be computed using so-called pseudo-witness sets without computing a defining equation for the hypersurface. We implement our approach in a forthcoming Julia package and demonstrate, on several examples, that the resulting algorithm accurately recovers all components of the real complement of the hypersurface.

math.AG↗
arXiv2026

On G-birational rigidity of projective spaces

In this paper, we study finite subgroups $G\subset\mathrm{Aut}(\mathbb{P}^n)$ such that $\mathbb{P}^n$ is $G$-birationally rigid. For each $n\geqslant 3$, we prove that $\mathrm{Aut}(\mathbb{P}^n)$ contains at most finitely many such subgroups up to conjugation. For $n=4,5,7$, we prove that $\mathbb{P}^n$ is $G$-birationally superrigid if $G$ is a primitive subgroup isomorphic to $\mathrm{PSp}_{4}(\mathbf{F}_3)$, $\mathrm{PSU}_4(\mathbf{F}_3)\rtimes\boldsymbolμ_2$, $\mathrm{O}_8^+(\mathbf{F}_2)\rtimes \boldsymbolμ_2$, respectively.

math.AG↗
arXiv2026

Topological String Blowup Equations via Stable Pairs

The blowup equations of Huang, Sun and Wang are bilinear relations satisfied by the refined topological string partition function of a local Calabi--Yau 3-fold. We prove the blowup equations for the local Hirzebruch surfaces \(\operatorname{Tot}_{\mathbb F_\ell}K_{\mathbb F_\ell}\), \(0\leq\ell\leq2\), as identities of torus-equivariant symmetrized \(K\)-theoretic stable pair invariants; for \(\ell=2\) the invariants are localized indices. The proof identifies the stable pair vertex sum, after division by the fibre contribution, with the equivariant Euler characteristic of \((\det\mathcal V)^\ell\) on the moduli space of framed rank \(2\) sheaves on \(\mathbb P^2\). The blowup formulas of Nakajima--Yoshioka for framed sheaves then yield the unity and vanishing equations. For local \(\mathbb P^2\) we obtain the blowup equations conditionally on two explicitly stated conjectures. We also state the Huang--Sun--Wang conjecture for general local Calabi--Yau 3-folds in the language of stable pairs, and formulate stable pair conjectures for the local rational elliptic surface involving the \(E_8\) lattice.

math.AG↗