MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

It is well known that Serre [FAC] gave us a nice categorical description for quasi coherent sheaves on projective scheme, it is a proj-category.(graded modules category localized by Serre subcategory)

Now, I wonder whether anybody has developed the proj-category formulation for ind-projective schemes.

It seems that Beilinson-Drinfeld have create some framework to deal with such kind of things, but I am not sure whether they talked about the categorical formulation for ind-Projective scheme in their book...

Of course, I can develop this by myself, however, If there exists some work, I will be happy to look at.

Thanks in advance

share|cite|improve this question
Could you give some basic information (especially the definition) of ind-projective schemes? – Martin Brandenburg Mar 21 '11 at 1:21

Often (perhaps even typically?) in the ind-projective case, people restrict attention to sheaves whose support is finite-dimensional, i.e. if the ind-projective scheme is the limit of the projective schemes $X_n$ under closed immersions, then they consider sheaves which live on one of the $X_n$ (which can then be thought of living on $X_{n'}$ for all higher $n'$ via pushforward). For such sheaves, one may be able to reduce things to Serre's desription, applied to $X_n$. (The complication being that $n$ is not uniquely determined, i.e. can be replaced by $n'$ for any $n' \geq n$.)

Sorry if this doesn't tell you anything that you didn't already know!

share|cite|improve this answer

Your Answer


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.