Convex bodies and algebraic geometry: An introduction to the by Tadao Oda

By Tadao Oda

The speculation of toric types (also referred to as torus embeddings) describes a desirable interaction among algebraic geometry and the geometry of convex figures in actual affine areas. This e-book is a unified updated survey of many of the effects and engaging purposes discovered on account that toric forms have been brought within the early 1970's. it really is an up-to-date and corrected English variation of the author's ebook in jap released through Kinokuniya, Tokyo in 1985. Toric kinds are right here taken care of as complicated analytic areas. with no assuming a lot previous wisdom of algebraic geometry, the writer indicates how trouble-free convex figures provide upward thrust to fascinating complicated analytic areas. simply visualized convex geometry is then used to explain algebraic geometry for those areas, corresponding to line bundles, projectivity, automorphism teams, birational adjustments, differential varieties and Mori's thought. therefore this e-book could function an available creation to present algebraic geometry. Conversely, the algebraic geometry of toric kinds supplies new perception into persisted fractions in addition to their higher-dimensional analogues, the isoperimetric challenge and different questions about convex our bodies. proper effects on convex geometry are gathered jointly within the appendix.

Show description

Read Online or Download Convex bodies and algebraic geometry: An introduction to the theory of toric varieties PDF

Similar algebraic geometry books

Mathematical Aspects of Geometric Modeling

This monograph examines intimately yes recommendations which are valuable for the modeling of curves and surfaces and emphasizes the mathematical conception that underlies those rules. the 2 valuable subject matters of the textual content are using piecewise polynomial illustration (this topic appears to be like in a single shape or one other in each chapter), and iterative refinement, often known as subdivision.

Fractured Fractals and Broken Dreams: Self-Similar Geometry through Metric and Measure

Fractal styles have emerged in lots of contexts, yet what precisely is a trend? How can one make distinctive the constructions mendacity inside gadgets and the relationships among them? This publication proposes new notions of coherent geometric constitution to supply a clean method of this time-honored box. It develops a brand new inspiration of self-similarity known as "BPI" or "big items of itself," which makes the sector a lot more uncomplicated for individuals to go into.

Singularity Theory I

From the reports of the 1st printing of this e-book, released as quantity 6 of the Encyclopaedia of Mathematical Sciences: ". .. My basic effect is of a very great ebook, with a well-balanced bibliography, prompt! "Medelingen van Het Wiskundig Genootschap, 1995". .. The authors supply right here an up to the moment advisor to the subject and its major functions, together with a couple of new effects.

Extra info for Convex bodies and algebraic geometry: An introduction to the theory of toric varieties

Example text

8) is locally given by β α ξ: OGr −−→ OGr . We are looking for the subscheme Yν ⊂ Gr, where the rank of ξ is β − h(ν + µ). Let Iν be the ideal sheaf in OGr , spanned locally be the (β − h(ν + µ))-minors of ξ and let Jν be the ideal, spanned by the (β − h(ν + µ) + 1)-minors of ξ. One has an inclusion Jν ⊂ Iν . If Y¯ν is the zero set of Jν and ∆ν the zero set of Iν , then we define Yν = Y¯ν − ∆ν . If τ : T → Gr is a morphism, with τ ∗ Pν locally free of rank h(µ0 + ν), then the rank of β α ∗ τ ξ: OT −−→ OT is β − h(ν + µ).

4 Moduli Functors for Q-Gorenstein Schemes 27 If one considers a moduli functor of polarized manifolds, and if one requires each family (f : X → Y, L) ∈ Fh (Y ) to have a natural section σ : Y → X (as for moduli functors of abelian varieties) then the polarization Lc = L⊗f ∗ σ ∗ L−1 is functorial. In general, if for some ν0 > 0 the dimension r of H 0 (Γ, Hν0 ) is constant, one can define Lc = Lν0 ·r ⊗ f ∗ det(f∗ Lν0 )−1 for (f : X → Y, L) in Fh (Y ). 21, 1). However, one has changed the polarization and the new family (f : X → Y, Lc ) lies in Fh (Y ) for the polynomial h = h(ν0 · r · T ).

50 we consider for a family [N ] (f : X → Y, L) ∈ Fh 0 (Y ) morphisms ζ : X → P l × P m with: a) ζ ∗ (OP l ×P m (1, 0)) ∼ Lν0 ⊗ e X/Y and ζ ∗ (OP l ×P m (0, 1)) ∼ Lν0 +1 ⊗ e X/Y . b) For all y ∈ Y and ζy = ζ|f −1 (y) the morphisms pr1 ◦ ζy : f −1 (y) −−→ P l and pr2 ◦ ζy : f −1 (y) −−→ P m are both embeddings whose images are not contained in a hyperplane. The polarization L is equivalent to ζ ∗ OP l ×P m (−1, 1) ⊗ ζ is the same as giving an Y -isomorphism P(f∗ (Lν0 ⊗ e X/Y )) ×Y P(f∗ (Lν0 +1 ⊗ e−e X/Y .

Download PDF sample

Rated 4.97 of 5 – based on 33 votes