Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000010226178 | QA565 L58 2002 | Open Access Book | Book | Searching... |
On Order
Summary
Summary
This new-in-paperback edition provides a general introduction to algebraic and arithmetic geometry, starting with the theory of schemes, followed by applications to arithmetic surfaces and to the theory of reduction of algebraic curves.The first part introduces basic objects such as schemes, morphisms, base change, local properties (normality, regularity, Zariski's Main Theorem). This is followed by the more global aspect: coherent sheaves and a finiteness theorem for their cohomology groups. Then follows a chapter on sheaves of differentials, dualizing sheaves, and Grothendieck's duality theory. The first part ends with the theorem of Riemann-Roch and its application to the study of smooth projective curves over a field. Singular curves are treated through a detailed study of the Picard group.The second part starts with blowing-ups and desingularisation (embedded or not) of fibered surfaces over a Dedekind ring that leads on to intersection theory on arithmetic surfaces. Castelnuovo's criterion is proved and also the existence of the minimal regular model. This leads to the study of reduction of algebraic curves. The case of elliptic curves is studied in detail. The book concludes with the fundamental theorem of stable reduction of Deligne-Mumford.This book is essentially self-contained, including the necessary material on commutative algebra. The prerequisites are few, and including many examples and approximately 600 exercises, the book is ideal for graduate students.
Author Notes
Qing Liu is Chargé de recherche, Centre National de la Recherche Scientifique (CNRS), Laboratoire de Théorie des Nombres et d'Algorithmique Arithmétique, Université Bordeaux 1.
Reviews 1
Choice Review
Every serious student of modern number theory must eventually confront the profound synthesis of algebraic geometry and arithmetic embodied in Grothendieck's theory of schemes. For decades English-speaking students have studied R. Hartshorne's Algebraic Geometry (1977) to learn the language of schemes. But Hartshorne concentrates on pure geometry as he mostly suppresses strictly arithmetical issues by working over algebraically closed fields. For students of number theory, that makes the long march through Hartshorne a mere prelude to relearning the subject in greater generality, perhaps by reading the voluminous writings of Grothendieck and his followers. But Liu (Universite Bordeaux) allows the student interested in Diophantine matters to learn algebraic geometry with the appropriate emphasis right from the start. Liu takes beginners all the way from first principles to the modern theory of stable reduction. Although other books do offer a fast passage to modern number theory (Joseph H. Silverman's books on elliptic curves, for example), only Liu provides a systematic development of algebraic geometry aimed at arithmetic. Upper-division undergraduates through professionals. D. V. Feldman University of New Hampshire
Table of Contents
1 Some topics in commutative algebra | p. 1 |
1.1 Tensor products | p. 1 |
1.1.1 Tensor product of modules | p. 1 |
1.1.2 Right-exactness of the tensor product | p. 4 |
1.1.3 Tensor product of algebras | p. 5 |
1.2 Flatness | p. 6 |
1.2.1 Left-exactness: flatness | p. 6 |
1.2.2 Local nature of flatness | p. 9 |
1.2.3 Faithful flatness | p. 12 |
1.3 Formal completion | p. 15 |
1.3.1 Inverse limits and completions | p. 15 |
1.3.2 The Artin-Rees lemma and applications | p. 20 |
1.3.3 The case of Noetherian local rings | p. 22 |
2 General properties of schemes | p. 26 |
2.1 Spectrum of a ring | p. 26 |
2.1.1 Zariski topology | p. 26 |
2.1.2 Algebraic sets | p. 29 |
2.2 Ringed topological spaces | p. 33 |
2.2.1 Sheaves | p. 33 |
2.2.2 Ringed topological spaces | p. 37 |
2.3 Schemes | p. 41 |
2.3.1 Definition of schemes and examples | p. 42 |
2.3.2 Morphisms of schemes | p. 45 |
2.3.3 Projective schemes | p. 50 |
2.3.4 Noetherian schemes, algebraic varieties | p. 55 |
2.4 Reduced schemes and integral schemes | p. 59 |
2.4.1 Reduced schemes | p. 59 |
2.4.2 Irreducible components | p. 61 |
2.4.3 Integral schemes | p. 64 |
2.5 Dimension | p. 67 |
2.5.1 Dyimension of schemes | p. 68 |
2.5.2 The case of Noetherian schemes | p. 70 |
2.5.3 Dimension of algebraic varieties | p. 73 |
3 Morphisms and base change | p. 78 |
3.1 The technique of base change | p. 78 |
3.1.1 Fibered product | p. 78 |
3.1.2 Base change | p. 81 |
3.2 Applications to algebraic varieties | p. 87 |
3.2.1 Morphisms of finite type | p. 87 |
3.2.2 Algebraic varieties and extension of the base field | p. 89 |
3.2.3 Points with values in an extension of the base field | p. 92 |
3.2.4 Frobenius | p. 94 |
3.3 Some global properties of morphisms | p. 99 |
3.3.1 Separated morphisms | p. 99 |
3.3.2 Proper morphisms | p. 103 |
3.3.3 Projective morphisms | p. 107 |
4 Some local properties | p. 115 |
4.1 Normal schemes | p. 115 |
4.1.1 Normal schemes and extensions of regular functions | p. 115 |
4.1.2 Normalization | p. 119 |
4.2 Regular schemes | p. 126 |
4.2.1 Tangent space to a scheme | p. 126 |
4.2.2 Regular schemes and the Jacobian criterion | p. 128 |
4.3 Flat morphisms and smooth morphisms | p. 135 |
4.3.1 Flat morphisms | p. 136 |
4.3.2 Etale morphisms | p. 139 |
4.3.3 Smooth morphisms | p. 141 |
4.4 Zariski's 'Main Theorem' and applications | p. 149 |
5 Coherent sheaves and Cech cohomology | p. 157 |
5.1 Coherent sheaves on a scheme | p. 157 |
5.1.1 Sheaves of modules | p. 157 |
5.1.2 Quasi-coherent sheaves on an affine scheme | p. 159 |
5.1.3 Coherent sheaves | p. 161 |
5.1.4 Quasi-coherent sheaves on a projective scheme | p. 164 |
5.2 Cech cohomology | p. 178 |
5.2.1 Differential modules and cohomology with values in a sheaf | p. 178 |
5.2.2 Cech cohomology on a separated scheme | p. 185 |
5.2.3 Higher direct image and flat base change | p. 188 |
5.3 Cohomology of projective schemes | p. 195 |
5.3.1 Direct image theorem | p. 195 |
5.3.2 Connectedness principle | p. 198 |
5.3.3 Cohomology of the fibers | p. 201 |
6 Sheaves of differentials | p. 210 |
6.1 Kahler differentials | p. 210 |
6.1.1 Modules of relative differential forms | p. 210 |
6.1.2 Sheaves of relative differentials (of degree 1) | p. 215 |
6.2 Differential study of smooth morphisms | p. 220 |
6.2.1 Smoothness criteria | p. 220 |
6.2.2 Local structure and lifting of sections | p. 223 |
6.3 Local complete intersection | p. 227 |
6.3.1 Regular immersions | p. 228 |
6.3.2 Local complete intersections | p. 232 |
6.4 Duality theory | p. 236 |
6.4.1 Determinant | p. 236 |
6.4.2 Canonical sheaf | p. 238 |
6.4.3 Grothendieck duality | p. 243 |
7 Divisors and applications to curves | p. 252 |
7.1 Cartier divisors | p. 252 |
7.1.1 Meromorphic functions | p. 252 |
7.1.2 Cartier divisors | p. 256 |
7.1.3 Inverse image of Cartier divisors | p. 260 |
7.2 Weil divisors | p. 267 |
7.2.1 Cycles of codimension 1 | p. 267 |
7.2.2 Van der Waerden's purity theorem | p. 272 |
7.3 Riemann-Roch theorem | p. 275 |
7.3.1 Degree of a divisor | p. 275 |
7.3.2 Riemann-Roch for projective curves | p. 278 |
7.4 Algebraic curves | p. 284 |
7.4.1 Classification of curves of small genus | p. 284 |
7.4.2 Hurwitz formula | p. 289 |
7.4.3 Hyperelliptic curves | p. 292 |
7.4.4 Group schemes and Picard varieties | p. 297 |
7.5 Singular curves, structure of Pic[supercript 0] (X) | p. 303 |
8 Birational geometry of surfaces | p. 317 |
8.1 Blowing-ups | p. 317 |
8.1.1 Definition and elementary properties | p. 318 |
8.1.2 Universal property of blowing-up | p. 323 |
8.1.3 Blowing-ups and birational morphisms | p. 326 |
8.1.4 Normalization of curves by blowing-up points | p. 330 |
8.2 Excellent schemes | p. 332 |
8.2.1 Universally catenary schemes and the dimension formula | p. 332 |
8.2.2 Cohen-Macaulay rings | p. 335 |
8.2.3 Excellent schemes | p. 341 |
8.3 Fibered surfaces | p. 347 |
8.3.1 Properties of the fibers | p. 347 |
8.3.2 Valuations and birational classes of fibered surfaces | p. 353 |
8.3.3 Contraction | p. 356 |
8.3.4 Desingularization | p. 361 |
9 Regular surfaces | p. 375 |
9.1 Intersection theory on a regular surface | p. 376 |
9.1.1 Local intersection | p. 376 |
9.1.2 Intersection on a fibered surface | p. 381 |
9.1.3 Intersection with a horizontal divisor, adjunction formula | p. 388 |
9.2 Intersection and morphisms | p. 394 |
9.2.1 Factorization theorem | p. 394 |
9.2.2 Projection formula | p. 397 |
9.2.3 Birational morphisms and Picard groups | p. 401 |
9.2.4 Embedded resolutions | p. 404 |
9.3 Minimal surfaces | p. 411 |
9.3.1 Exceptional divisors and Castelnuovo's criterion | p. 412 |
9.3.2 Relatively minimal surfaces | p. 418 |
9.3.3 Existence of the minimal regular model | p. 421 |
9.3.4 Minimal desingularization and minimal embedded resolution | p. 424 |
9.4 Applications to contraction; canonical model | p. 429 |
9.4.1 Artin's contractability criterion | p. 430 |
9.4.2 Determination of the tangent spaces | p. 434 |
9.4.3 Canonical models | p. 438 |
9.4.4 Weierstrass models and regular models of elliptic curves | p. 442 |
10 Reduction of algebraic curves | p. 454 |
10.1 Models and reductions | p. 454 |
10.1.1 Models of algebraic curves | p. 455 |
10.1.2 Reduction | p. 462 |
10.1.3 Reduction map | p. 467 |
10.1.4 Graphs | p. 471 |
10.2 Reduction of elliptic curves | p. 483 |
10.2.1 Reduction of the minimal regular model | p. 484 |
10.2.2 Neron models of elliptic curves | p. 489 |
10.2.3 Potential semi-stable reduction | p. 498 |
10.3 Stable reduction of algebraic curves | p. 505 |
10.3.1 Stable curves | p. 505 |
10.3.2 Stable reduction | p. 511 |
10.3.3 Some sufficient conditions for the existence of the stable model | p. 521 |
10.4 Deligne-Mumford theorem | p. 532 |
10.4.1 Simplifications on the base scheme | p. 533 |
10.4.2 Proof of Artin-Winters | p. 537 |
10.4.3 Examples of computations of the potential stable reduction | p. 543 |
Bibliography | p. 557 |
Index | p. 562 |