Serre finiteness and Serre vanishing for non-commutative P^1-bundles

DOI10.1016/J.JALGEBRA.2004.04.003zbMATH Open1057.14003arXivmath/0210080OpenAlexW2032681277MaRDI QIDQ1879653FDOQ1879653

Authors: A. Nyman 

Publication date: 23 September 2004

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

Abstract: Suppose $X$ is a smooth projective scheme of finite type over a field $K$, $mathcalE$ is a locally free ${mathcalO}_X$-bimodule of rank 2, $mathcalA$ is the non-commutative symmetric algebra generated by $mathcalE$ and $sfProjA$ is the corresponding non-commutative $mathbb{P}^1$-bundle. We use the properties of the internal $operatornameHom$ functor $HU(-,-)$ to prove versions of Serre finiteness and Serre vanishing for $sfProjA$. As a corollary to Serre finiteness, we prove that $sfProjA$ is Ext-finite. This fact is used in cite{izu} to prove that if $X$ is a smooth curve over $operatornameSpecK$, $sfProjA$ has a Riemann-Roch theorem and an adjunction formula.

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

Recommendations

• Serre duality for non-commutative ${\mathbb {P}}^{1}$-bundles
• Serre duality for noncommutative projective schemes
• Non-commutative \(\mathbb{P}^{1}\)-bundles over commutative schemes
• Noncommutative projective schemes
• scientific article; zbMATH DE number 1789957

zbMATH Keywords

non-commutative geometryadjunction formulaRiemann-Roch theoremnon-commutative projective bundle

Mathematics Subject Classification ID

Noncommutative algebraic geometry (14A22) Rings arising from noncommutative algebraic geometry (16S38)

Cites Work

• Title not available (Why is that?)
• Noncommutative curves and noncommutative surfaces.
• Title not available (Why is that?)
• Non-commutative \(\mathbb{P}^{1}\)-bundles over commutative schemes
• Serre duality for non-commutative ${\mathbb {P}}^{1}$-bundles
• Title not available (Why is that?)
• Riemann-Roch like theorem for triangulated categories
• The Grothendieck group of a quantum projective space bundle

Cited In (10)

• An abstract characterization of noncommutative projective lines
• The Grothendieck group of a quantum projective space bundle
• Species and non-commutative \(\mathbb{P}^1\)'s over non-algebraic bimodules
• A structure theorem for \(\mathbb P^1\)-Spec \(k\)-bimodules
• The geometry of arithmetic noncommutative projective lines
• Intersection theory over quantum ruled surfaces
• Riemann-Roch like theorem for triangulated categories
• Non-commutative Mori contractions and \(\mathbb P^1\)-bundles
• Non-commutative \(\mathbb{P}^{1}\)-bundles over commutative schemes
• Serre duality for non-commutative ${\mathbb {P}}^{1}$-bundles

This page was built for publication: Serre finiteness and Serre vanishing for non-commutative \(\mathbb P^1\)-bundles

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