# Confusing definitions in Liu's Algebraic geometry and arithmetic curves?

In Qing Liu's book Algebraic geometry and arithmetic curves I came across several confusing definitions. Several times he defines a notion only for a subclass of schemes/morphisms but later he is never explicitly mentioning these extra conditions again. Here are some examples:

• Let $X$ be a locally Noetherian scheme, and let $x \in X$ be a point. We say that $X$ is regular at $x$ if [...]. We say that $X$ is regular if it is regular at all of its points. Question: If he later says "Let $X$ be a regular scheme", then is it implicit that $X$ is locally Noetherian? If so, then why doesn't he say "A scheme is called regular if it is locally Noetherian and [...]"?

• Let $X$ be a reduced Noetherian scheme. Let $\xi_1,\ldots,\xi_n$ be the generic points of $X$. We say that a morphism of finite type $f:Z \rightarrow X$ is a birational morphism if [...]. Question: If he later says that a morphism $f:Z \rightarrow X$ of (arbitrary) schemes is birational, then is it implicit that $X$ is reduced Noetherian and that $f$ is of finite type? If so, then why doesn't he say "A morphism $f$ is called birational if it is of finite type, if $X$ is reduced Noetherian and if [...]"?

• Now it gets really confusing: Let $X$ be a reduced locally Noetherian scheme. A proper birational morphism $\pi:Z \rightarrow X$ with $Z$ regular is called a desingularization of $X$. Question: He defined birational only for reduced Noetherian schemes. What is birational for reduced locally Noetherian schemes? Is his desingularization now automatically of finite type?

Edit:

1. In Liu's book I found the following definition now: We say that a morphism $f:X \rightarrow Y$ is proper if it is of finite type, separated and universally closed. So, first of all, I think that this definition is now given in the non-confusing style, and second, this implies that the desingularizations above are of finite type (although it doesn't answer the locally Noetherian/Noetherian question).

2. I was asking "...then why doesn't he say that..." because I wasn't sure (and I'm still not sure) if there is some "higher truth" in this style of definition. Of course nobody except for Liu himself can answer this but perhaps someone else has more experience than I have and can give an explanation for this...

• As to "why" only the author can provide a definite answer. Although he seems to be participating in MO, it would appear to be less argumentative if you asked him directly. I personally have always thought that "Let X have property P. We say that X is Q if ..." means that in talking about X that are Q, we only consider X with P (seems a bit tautological). It's a great devise for not dragging along monstrous sequences of standard assumptions (kind of like saying "in this book, all rings are commutative and have an identity"). Jul 18 '10 at 13:18
• As for 1), the explanation is as given by Victor. As far as I know, regularity is defined only for locally noetherian schemes, so regular scheme are supposed to be locally noetherian, as least in my book. So yes, maybe it is better so say a scheme is regular if it is locally noetherian and etc. For 2), the reason is different. I only consider birational finite type morphism over a reduced noetherian scheme. Contrarily to 1), as pointed out by Georges, it can be defined in a much more general setting. Here I can not say a morphism if birational if it is finite type etc. Jul 18 '10 at 14:14
• Continued: I think in the book, the word birational is never used out of this situation. For 3), yes I should just restrict to noetherian and not locally noetherian schemes. It is already so hard to desingularize noetherian schemes :). Yes by definition (EGA IV), desingularization morphism are proper, so in particular are of finite type. Jul 18 '10 at 14:17
• Arminius's questions are of course completely legitimate and interesting, but I'd like to emphasize that Qing's book is very well-written and contains an amazing wealth of material. I bought it in 2003 but I am still very far, alas, from having mastered it... Jul 18 '10 at 14:52
• Dear Georges, merci pour les compliments ! Dear Arminus, there is no problem critizing my book, and you are wellcome to do it. As I am keep writing an errata, it will help me to improve the book. Jul 18 '10 at 22:26

Dear Arminius, I'm certainly not going to answer your questions "why doesn't he say...?": Qing is a frequent and friendly contributor to MO and he will answer himself if he wants to.