# Algebraic geometry 2. Sheaves and cohomology by Kenji Ueno

By Kenji Ueno

Smooth algebraic geometry is outfitted upon basic notions: schemes and sheaves. the idea of schemes was once defined in Algebraic Geometry 1: From Algebraic types to Schemes, (see quantity 185 within the comparable sequence, Translations of Mathematical Monographs). within the current publication, Ueno turns to the speculation of sheaves and their cohomology. Loosely talking, a sheaf is a manner of maintaining a tally of neighborhood details outlined on a topological house, equivalent to the neighborhood holomorphic capabilities on a fancy manifold or the neighborhood sections of a vector package deal. to review schemes, it truly is invaluable to review the sheaves outlined on them, particularly the coherent and quasicoherent sheaves. the first device in figuring out sheaves is cohomology. for instance, in learning ampleness, it truly is often helpful to translate a estate of sheaves right into a assertion approximately its cohomology.

The textual content covers the real subject matters of sheaf conception, together with sorts of sheaves and the basic operations on them, equivalent to ...

coherent and quasicoherent sheaves. right and projective morphisms. direct and inverse pictures. Cech cohomology.

For the mathematician unexpected with the language of schemes and sheaves, algebraic geometry can look far away. despite the fact that, Ueno makes the subject look ordinary via his concise type and his insightful causes. He explains why issues are performed this manner and supplementations his factors with illuminating examples. for this reason, he's in a position to make algebraic geometry very available to a large viewers of non-specialists.

Read or Download Algebraic geometry 2. Sheaves and cohomology PDF

Best algebraic geometry books

Arithmetic of Quadratic Forms

This publication presents an creation to quadratic varieties, construction from fundamentals to the latest effects. Professor Kitaoka is celebrated for his paintings during this zone, and during this e-book he covers many features of the topic, together with lattice concept, Siegel's formulation, and a few effects related to tensor items of confident convinced quadratic varieties.

Generalized Polygons

Generalized Polygons is the 1st booklet to hide, in a coherent demeanour, the speculation of polygons from scratch. specifically, it fills straight forward gaps within the literature and provides an updated account of present examine during this zone, together with such a lot proofs, that are usually unified and streamlined compared to the models commonly recognized.

Probability on Algebraic Structures: Ams Special Session on Probability on Algebraic Structures, March 12-13, 1999, Gainesville, Florida

This quantity provides effects from an AMS distinctive consultation hung on the subject in Gainesville (FL). The papers incorporated are written by way of a global staff of recognized experts who supply a major cross-section of present paintings within the box. furthermore there are expository papers that offer an road for non-specialists to understand difficulties during this zone.

p-adic geometry: lectures from the 2007 Arizona winter school

In contemporary a long time, \$p\$-adic geometry and \$p\$-adic cohomology theories became critical instruments in quantity concept, algebraic geometry, and the idea of automorphic representations. The Arizona wintry weather university 2007, on which the present ebook is predicated, was once a special chance to introduce graduate scholars to this topic.

Additional resources for Algebraic geometry 2. Sheaves and cohomology

Sample text

We consider the semidirect product (3) H[4] := (H × H) Z/4Z where the generator 1 of Z/4Z acts through Θ on H × H. Since Θ2 is the identity we ﬁnd H[2] := H × H × (2Z/4Z) ∼ = H × H × Z/2Z (4) as a subgroup of index 2 in H[4] . We have now Lemma 1. Let H be a non-trivial group and let a1 , c1 , a2 , c2 be elements of H. Assume that 1. the orders of a1 , c1 are even, 2. a21 , a1 c1 , c21 generate H, 3. (ord(a1 ) · ord(c1 ) · ord(a1 c1 ), ord(a2 ) · ord(c2 ) · ord(a2 c2 )) = 1. Set G := H[4] , G0 := H[2] as above and a := (a1 , a2 , 2), c := (c1 , c2 , 2).

Ann. 52 [BE77] Ingrid C. : Algebra structures for ﬁnite free resolutions, and some structure theorems for ideals of codimension 3. Amer. J. Math. 99, no. : Surfaces alg´ebriques complexes Asterisque 54 Soc. Math. France (1978). : L’application canonique pour les surfaces de type g´ en´eral. Invent. Math. 55, no. : L’in´egalit´e pg ≥ 2q − 4 pour les surfaces de type g´en´eral. Appendix to [Deb82]. Bull. Soc. Math. France 110, no. : On Galois extensions of a maximal cyclotomic ﬁeld. Izv. Akad. Nauk SSSR Ser.

In fact, Kulikov proved the result under a more complicated assumption and shortly later Nemirovski [Nem01] noticed, just by using the Miyaoka-Yau inequality, that Kulikov’s assumption was implied by the simple assumption d ≥ 12. Later on generalizations of this result were obtained for singular (normal) surfaces [Kul03] or for curves with more complicated singularities [MP02]. A negative answer instead has the following problem of Chisini (due to work of B. Moishezon (cf. [Moi94]). Chisini’ s problem: (cf.