English
Related papers

Related papers: Algebraic Geometry over Non-Algebraically Closed F…

200 papers

We prove in this paper that for a quasi-compact and semi-separated (non necessarily noetherian) scheme X, the derived category of quasi-coherent sheaves over X, D(A_qc(X)), is a stable homotopy category in the sense of Hovey, Palmieri and…

Algebraic Geometry · Mathematics 2017-04-27 Leovigildo Alonso , Ana Jeremias , Marta Perez , Maria J. Vale

Let $G$ be a group scheme of finite type over a field, and consider the cohomology ring $H^*(G)$ with coefficients in the structure sheaf. We show that $H^*(G)$ is a free module of finite rank over its component of degree 0, and is the…

Algebraic Geometry · Mathematics 2012-07-31 Michel Brion

We give a description of the value of a finitary localizing invariant, such as algebraic $K$-theory, on the category of sheaves on a locally coherent space $X$. This in particular includes all spaces that arise as spectra of commutative…

K-Theory and Homology · Mathematics 2025-10-16 Georg Lehner

A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include models based on coherence spaces, finiteness spaces and…

Logic in Computer Science · Computer Science 2022-04-25 Takeshi Tsukada , Kazuyuki Asada

Inspired from the work of P. Scholze on the finiteness of \(\mathbf{F}_{p}\)-cohomology groups of proper rigid-analytic varieties over \(p\)-adic fields, Zavyalov recently introduced the notion of almost coherent rings, which plays a key…

Commutative Algebra · Mathematics 2026-01-21 Xiaolei Zhang

Let R be the free algebra on x and y modulo the relations x^5=yxy and y^2=xyx endowed with the grading deg x=1 and deg y=2. Let B_3 denote the blow up of the projective plane at three non-colliear points. The main result in this paper is…

Rings and Algebras · Mathematics 2012-01-13 S. Paul Smith

In the preprint arXiv:2511.07900 we proved that there exists a localizing ring $A_M$ for $A$ an associative ring with unit, and $M=\oplus_{i=1}^rM_i$ a direct sum of $r\geq 1$ simple right $A$-modules. For a homomorphism of associative…

Algebraic Geometry · Mathematics 2025-11-13 Arvid Siqveland

We prove that on separated algebraic surfaces every coherent sheaf is a quotient of a locally free sheaf. This class contains many schemes that are neither normal, reduced, quasiprojective or embeddable into toric varieties. Our methods…

Algebraic Geometry · Mathematics 2019-02-20 Philipp Gross

Let $X$ be a normal arithmetically Gorenstein scheme in ${\mathbb P}^n$. We give a criterion for all codimension two ACM subschemes of $X$ to be in the same Gorenstein biliaison class on $X$, in terms of the category of ACM sheaves on $X$.…

Algebraic Geometry · Mathematics 2007-05-23 Marta Casanellas , Robin Hartshorne

We construct a quasi-coherent sheaf of associative algebras which controls a category of $AV$-modules over a smooth quasi-projective variety. We establish a local structure theorem, proving that in \'etale charts these associative algebras…

Representation Theory · Mathematics 2026-02-02 Yuly Billig , Colin Ingalls

For a commutative ring $A$, we have the category of (bounded-below) chain complexes of $A$-modules $Ch_{+}(A\mymod)$, a closed symmetric monoidal category with a compatible stable Quillen model structure. The associated homotopy category is…

Algebraic Geometry · Mathematics 2020-06-30 Shai Haran

We show that every flat quasi-coherent sheaf on a quasi-compact quasi-separated scheme is a directed colimit of locally countably presentable flat quasi-coherent sheaves. More generally, the same assertion holds for any countably…

Algebraic Geometry · Mathematics 2025-01-23 Leonid Positselski , Jan Stovicek

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…

Algebraic Geometry · Mathematics 2007-05-23 Vladimir Baranovsky

Let $X$ be a smooth projective and geometrically irreducible curve over the finite field $\mathbb{F}_q$ with $q$ elements and $K$ be its function field. Let $\infty$ be a fixed closed point on $X$ and $A$ be the ring of functions regular…

Number Theory · Mathematics 2025-10-14 Oğuz Gezmiş , Sriram Chinthalagiri Venkata

We prove that any geometrically connected curve $X$ over a field $k$ is an algebraic $K(\pi,1)$, as soon as its geometric irreducible components have nonzero genus. This means that the cohomology of any locally constant constructible…

Algebraic Geometry · Mathematics 2024-09-25 Christophe Levrat

We study non-commutative projective lines over not necessarily algebraic bimodules. In particular, we give a complete description of their categories of coherent sheaves and show they are derived equivalent to certain bimodule species. This…

Representation Theory · Mathematics 2015-10-16 D. Chan , A. Nyman

We study and relate categories of modules, comodules and contramodules over a representation of a small category taking values in (co)algebras, in a manner similar to modules over a ringed space. As a result, we obtain a categorical…

Rings and Algebras · Mathematics 2023-02-15 Mamta Balodi , Abhishek Banerjee , Samarpita Ray

We consider categorical and geometric purity for sheaves of modules over a scheme satisfying some mild conditions, both for the category of all sheaves and for the category of quasicoherent sheaves. We investigate the relations between…

Algebraic Geometry · Mathematics 2019-06-06 Alexander Slavik , Mike Prest

A Lie algebroid on a variety X/k is an extension \alpha: g_X \to T_X of the tangent sheaf both as O_X-module and Lie algebra over the base field, with the obvious compatibilities; and given a Lie algebroid one has its associated ring of…

Algebraic Geometry · Mathematics 2007-05-23 Rolf Kaellstroem

Let $X$ be a smooth symplectic variety over a field $k$ of characteristic $p>2$ equipped with a restricted structure, which is a class $[\eta] \in H^0(X, \Omega^1_X/d\mathcal O_X)$ whose de Rham differential equals the symplectic form. In…

Algebraic Geometry · Mathematics 2022-12-01 Ekaterina Bogdanova , Dmitry Kubrak , Roman Travkin , Vadim Vologodsky