Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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 does the following term mean?

category of geometrically reduced schemes of finite type over some field

(I know what a category and a field is but I cannot translate any of the middle bits)

share|cite|improve this question
up vote 8 down vote accepted

You need to consult a text on scheme theory, for instance Hartshorne's Algebraic Geometry. A scheme of finite type over a field $k$ is one with a finite cover of spectra of rings of the form $k[x_1,\ldots,x_m]/I$ where $I$ is an ideal. A reduced scheme is a scheme where for each open set $U$ the ring of functions defined over $U$ has no nonzero nilpotent elements. It's geometrically reduced if it remains reduced when the base field is changed to its algebraic closure.

share|cite|improve this answer
Thanks a lot, I'll check it out! – anon Sep 19 '10 at 19:42

It is probably worth mentioning that another name for this is the category of abstract (not necessarily separated) algebraic $k$-varieties.

share|cite|improve this answer
Doesn't one usually require separatedness for varieties? – Akhil Mathew Nov 6 '10 at 0:35
@Akhil: this is often the case, but not always. To my mind, once you allow non-quasi-projective varieties, you might as well allow non-separated guys as well. (By the way, some people don't require varieties to be reduced either.) – Pete L. Clark Nov 6 '10 at 2:38

Your Answer


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