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

DOI10.1016/J.JALGEBRA.2004.04.003MaRDI QIDQ1879653zbMATH OpenOpenAlexFDO

Authors A. Nyman

Publication date 23 September 2004

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

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 1066305 (Why is no real title available?)
• scientific article; zbMATH DE number 2157081 (Why is no real title available?)
• Non-commutative \(\mathbb{P}^{1}\)-bundles over commutative schemes
• Noncommutative curves and noncommutative surfaces.
• Riemann-Roch like theorem for triangulated categories
• Serre duality for non-commutative ${\mathbb {P}}^{1}$-bundles
• 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
• Riemann-Roch like theorem for triangulated categories
• Intersection theory over quantum ruled surfaces
• Non-commutative Mori contractions and 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)