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

Mathematics – Rings and Algebras

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

9 pages, content changed

Scientific paper

Suppose $X$ is a smooth projective scheme of finite type over a field $K$, $\mathcal{E}$ is a locally free ${\mathcal{O}}_{X}$-bimodule of rank 2, $\mathcal{A}$ is the non-commutative symmetric algebra generated by $\mathcal{E}$ and ${\sf Proj}\A$ is the corresponding non-commutative $\mathbb{P}^{1}$-bundle. We use the properties of the internal $\operatorname{Hom}$ functor $\HU(-,-)$ to prove versions of Serre finiteness and Serre vanishing for ${\sf Proj}\A$. As a corollary to Serre finiteness, we prove that ${\sf Proj}\A$ is Ext-finite. This fact is used in \cite{izu} to prove that if $X$ is a smooth curve over $\operatorname{Spec}K$, ${\sf Proj }\A$ has a Riemann-Roch theorem and an adjunction formula.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

Serre finiteness and Serre vanishing for non-commutative P^1-bundles does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Serre finiteness and Serre vanishing for non-commutative P^1-bundles, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Serre finiteness and Serre vanishing for non-commutative P^1-bundles will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-397908

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.