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

What are the differences between the terms prevariety, variety, abstract variety, and algebraic variety? Sometimes I see these terms used in the literature without explicit definitions or references, and it is not clear that all of them have standardized definitions.

share|cite|improve this question
The last three are the same. The first is more general in that it may not be separated. If you tell us more about your background, someone may give a more expansive answer. – Donu Arapura Apr 20 '11 at 15:02
I don't think that this terminology is very standardized... but: I think that algebraic variety should certainly encompass the preceding two terms. The difference between variety and abstract variety is probably whether the thing is explicitly stuffed into affine/projective space or just regarded as a separated scheme of finite-type over a field. The "pre" prefix likely relaxes the separated condition. – Ramsey Apr 20 '11 at 16:46
I agree with Ramsey, if someone says to me abstract variety, then I take it to mean he is definitely thinking about not-necessarily quasi-projective varieties. In particular, it means they are emphasizing the fact that it might not be quasi-projective. Of course, sometimes people say variety and only mean quasi-projective variety. – Karl Schwede Apr 20 '11 at 18:41
@bird1962: Sorry for putting words in your mouth. The original form of the question was tough on my eyes. If you want to revise it further, please follow the link at the top of this page to the "how to ask" page. – S. Carnahan Apr 21 '11 at 5:59

There is no standardized definition. Using one of these terms always implies there is a ground field $k$, and (pre)varieties are $k$-schemes of finite type, possibly with certain restrictions (separated, reduced, irreducible...).
As far as I know, "prevariety" and "abstract variety" are no longer in use. "Prevariety" used to mean "possibly nonseparated" (at least in Mumford's Red Book, where prevarieties are in addition irreducible and reduced). "Abstract" stands for "not embedded in projective space".
Regrettably, some authors use the term "(algebraic) variety" without bothering to define it. In general, such carelessness is an indication that the objects in question are assumed separated and reduced (other cases not being worthy of consideration), or even that $k=\mathbb{C}$ (for the same reason).

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.