On cohomology and vector bundles over monoid schemes

DOI10.1016/J.JALGEBRA.2015.04.008zbMATH Open1405.14046arXiv1308.5253OpenAlexW2031190738MaRDI QIDQ2344282FDOQ2344282

Authors: Ilia Pirashvili 

Publication date: 13 May 2015

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: The aim of this paper is to study the cohomology theory of monoid schemes in general and apply it to vector and line bundles. We will prove that over separated monoid schemes, any vector bundle is a coproduct of line bundles and then go on to study the line bundles in more detail. Amongst other things, we prove that over separated monoid schemes, $sfPic$ respects finite products. Next we will introduce the notion of $s$-cancellative monoids. They are monoids for which $ax=ay$ implies that $(xy{)}^{n}x=(xy{)}^{n}y,ninmathbbN$. This class is important since it is the biggest class of monoids for which $M_{mathfrakp}^{\ast }$ maps injectively into its group of fractions for every prime ideal $mathfrakp$. As we will see in section 6, this will enable us to embed $mathcal{O}_X^{\ast }$ injectively in a constant sheaf provided $X$ is locally $s$-cancellative. We develop the theory of $s$-divisors and we prove that for an $s$-cancellative monoid scheme $X$, the group $sfPic(X)$ can be described in terms of $s$-divisors. For cancellative monoid schemes, $s$-divisors agree with the Cartier divisors. We then introduce the notion of $s$-smooth monoid schemes, which generalise smooth monoids schemes, and prove that for them $H^i(X,mathcal{O}_X^{\ast })=0$ for all $igeq2$. Furthermore we show that it is a local property and respects finite products. Finally we investigate the relationship between line bundles over a monoid scheme $X$ and over its geometric realisation $X_k$, where $k$ is a commutative ring. We prove that if $k$ is an integral domain (resp. principal ideal domain) and $X$ is a cancellative and torsion free (resp. seminormal and torsion-free) monoid scheme, then the induced map $sfPic(X)osfPic(X_k)$ is a monomorphism (resp. isomorphism).

Full work available at URL: https://arxiv.org/abs/1308.5253

Recommendations

• Picard groups and class groups of monoid schemes
• Vector bundles on the projective line over a discrete valuation ring and the cohomology of canonical sheaves
• Algebraic \(K\)-theory and Grothendieck-Witt theory of monoid schemes
• Topos points of quasi-coherent sheaves over monoid schemes
• Quasicoherent sheaves on projective schemes over \(\mathbb{F}_1\)

zbMATH Keywords

cohomologyPicard groupfield with one elementvector bundlemonoidcartier divisorF1 scheme

Mathematics Subject Classification ID

Commutative semigroups (20M14) Foundations of algebraic geometry (14A99)

Cites Work

• Polytopes, Rings, and K-Theory
• Sur La Classification Des Fibres Holomorphes Sur La Sphere de Riemann
• Title not available (Why is that?)
• Toric varieties, monoid schemes and cdh descent
• Title not available (Why is that?)
• Schemes over $$ \mathbb{F}_1 $$
• \(\mathbb F_1\)-schemes and toric varieties
• Toric Singularities
• Picard groups and class groups of monoid schemes
• Vector bundles over projective spaces. The case \({\mathbb F_1}\)
• Title not available (Why is that?)
• Algebraic geometry and commutative algebra
• On the spectrum of monoids and semilattices.

Cited In (7)

• Local Picard group of pointed monoids and their algebras
• Title not available (Why is that?)
• Topos points of quasi-coherent sheaves over monoid schemes
• On Noetherian schemes over (\mathcal{C},\otimes,1)$ and the category of quasi-coherent sheaves
• Degree as a monoid
• Hall Lie algebras of toric monoid schemes
• Vector bundles on tropical schemes

This page was built for publication: On cohomology and vector bundles over monoid schemes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2344282)