2
$\begingroup$

Modern algebraic geometry makes heavy use of two constructions that turn rings into schemes: Spec and Proj. The first construction turns a commutative ring $A$ into a scheme $\operatorname{Spec}(A)$, called the "prime spectrum" of $A$. The second construction turns a graded ring $S$ into a scheme $\operatorname{Proj}(S)$, called $\dots$ "Proj of $S$", according to these three standard sources:

Usually the name of a mathematical object precedes its notation, but for $\operatorname{Proj}(S)$, it seems like the name is the notation. Is that right? What is $\operatorname{Proj}(S)$ actually called?

In the interest of staying within the scope of MSE and avoiding personal opinions, I'd like a reference to a source that gives $\operatorname{Proj}(S)$ a name.

$\endgroup$

1 Answer 1

1
$\begingroup$

After writing this question, I dug a bit deeper and looked at (where else?) EGA. Section 2.3 of Chapter II calls $\operatorname{Proj}(S)$ the spectre premier homogène, which I would translate as homogeneous prime spectrum. In retrospect, this name is very reasonable; I'm not sure why it isn't more widely used. (Googling "prime spectrum" gives 20,400 hits but "homogeneous prime spectrum" gives only about 500.) It's probably just easier to say "Proj of $S$."

$\endgroup$
1
  • 2
    $\begingroup$ I could swear I've also heard "projective spectrum" somewhere, which isn't quite as wordy... $\endgroup$ Feb 13, 2017 at 16:54

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .