Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $R=k[x,y,z]/(x^2+y^2+z^2-1)$ be an algebraic sphere over some field $k$. Is it true that any projective module of rank 1 is isomorphic to $R$? More generally, what is the structure of $\operatorname{K_0}(R)$?

share|improve this question
    
Is $k$ really arbitrary ? –  user18119 Feb 5 '13 at 22:55
    
It looks natural to ask this question for real numbers because this is suppose to be some analog of a sphere, and also for complex numbers because it might be simpler. These are two examples I had in mind when asked, but if there is a dependence on a basic field, it would be interesting to understand that too. –  Alex Feb 5 '13 at 23:50
    
The Picard group of $R$ is trivial over $\mathbb R$ but non-trivial over $\mathbb C$. I will come back to this later. –  user18119 Feb 6 '13 at 9:26
add comment

1 Answer

up vote 1 down vote accepted

This only answers the first part of your question. The ring $R$ is always regular if $k$ has charateristic different from $2$. It is known (see Swan: Vector bundles and projective modules, Theorem 5) that $R$ is a UFD if $k=\mathbb R$ and $R$ is not UFD if $k=\mathbb R$. As $R$ is integrally closed, this is equivalent to say Pic$(R)$ is trivial in the first case, and non-trivial in the second case.

Over $\mathbb R$, Swan, op.cit, Theorem 3 implies that $K_0(R)$ is non-trivial.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.