Errata and Addenda for Algebraic Geometry I (Edition 2) Show errata for edition 1

Here we post a list of errata and addenda. The name tags refer to the people who found the mistake. We are very grateful to all of them. Further remarks and hints - trivial or not - are very welcome.

You can submit errata through the web site (or just send us an email).

Jump to: Major error Minor error Typo/Trivial Remark Unclassified

12 errata listed.

Major Errors

PageDescriptionSubmitted byEd.
p. 457,
Prop. 14.67
The lower right triangle of the diagram constructed at the end of the proof is not commutative in general, therefore the proof is not valid as given here. Furthermore, in Step (i) of the proof of Theorem 14.66 (ed. 1) / Theorem 14.68 (ed. 2), a morphism $f': T'\rightarrow S'$ is considered where $T'$ is a finite disjoint union of affine open subschemes of $S'$ covering $S'$. If $S'$ is not quasi-separated, then it is not possible to find a quasi-compact such $f'$. Therefore, it seems better to handle individually the two cases of this proposition that are needed in the proof of the theorem: The case where $T'$ is a finite disjoint union of open subschemes of $S'$, and the case where $f' : T'=S \rightarrow S'$ is a section of $p: S' \rightarrow S$. Both cases are easy to deal with (the first one because it is clear that morphisms of this kind satisfy descent). A posteriori, the theorem implies that the proposition is actually true in the form stated. M. Bruneaux, P. Godfard 1 2

Minor Errors

PageDescriptionSubmitted byEd.
p. 93,
Exercise 3.26(a)
The statement is true for $V = X$, but not in general. (E.g., take $Y= \mathbb A^1_k$, $U=\mathbb A^1_k\setminus \{0\}$, $I=\{1, 2\}$, $i=1$, $V=U_2\subseteq X$.) Paulo Lima-Filho 1 2

Typographical and Trivial Errors

PageDescriptionSubmitted byEd.
p. 15,
Line -15
Replace $\mathscr M$ by $\mathcal M$. I. Tselepidis 1 2
p. 33,
Line -13, -12
Replace $\mathbb{P}_k^n$ by $\mathbb{P}^n(k)$. E. Hong 1 2
p. 72,
Line -16
Replace "with an open subscheme of $T_i$" by "with an open subscheme $T_i$ of $T$". E. Hong 1 2
p. 75,
Line -1
Replace the reference to Section (4.14) by a reference to Section (4.13). N.T. 1 2
p. 153,
Lines -2, -1
Replace the reference to Section (4.14) by a reference to Section (4.13). Dominik Briganti 1 2
p. 155,
Replace "$k$-scheme" by "$K$-scheme". Dominik Briganti 1 2
p. 223,
Line -6
Replace $M_{1 \times n}$ by $M_{1\times n}(R)$. Sz-Sheng Wang 1 2
p. 456,
Line -10
Replace $\varphi$ by $\varphi'$ (twice). Peng DU 1 2


PageDescriptionSubmitted byEd.
p. 189,
Proof of Corollary 7.19 (4)
Maybe replace the final sentence by the following, to make this clearer: These isomorphisms show that the presheaf $\mathscr H$ on the basis of the topology given by the $D(f)$ is actually a sheaf, and therefore yield the desired isomorphism (7.10.3). Caiyong Qiu 1 2
p. 551,
Example A.6.(3)
The category of sets should also be in the list. Andreas Blatter 1 2