Toric geometry

Toric geometry

In mathematics and theoretical physics, toric geometry is a set of methods in algebraic geometry in which certain complex manifolds are visualized as fiber bundles with multi-dimensional tori as fibers.

For example, the complex projective plane CP2 may be represented by three complex coordinates satisfying

:|z_1|^2+|z_2|^2+|z_3|^2 = 1 , ,!

where the sum has been chosen to account for the real rescaling part of the projective map, and the coordinates must be moreover identified by the following U(1) action:

:(z_1,z_2,z_3)approx e^{iphi} (z_1,z_2,z_3) . ,!

The approach of toric geometry is to write

:(x,y,z) = (|z_1|^2,|z_2|^2,|z_3|^2) . ,!

The coordinates x,y,z are non-negative, and they parameterize a triangle because

:x+y+z=1 ; ,! that is,:quad z=1-x-y . ,!

The triangle is the toric base of the complex projective plane. The generic fiber is a two-torus parameterized by the phases of z_1,z_2; the phase of z_3 can be chosen real and positive by the U(1) symmetry.

However, the two-torus degenerates into three different circles on the boundary of the triangle i.e. at x=0 or y=0 or z=0 because the phase of z_1,z_2,z_3 becomes inconsequential, respectively.

The precise orientation of the circles within the torus is usually depicted by the slope of the line intervals (the sides of the triangle, in this case).

Many more complicated complex manifolds, for example some del Pezzo surfaces, admit a toric description.

Abstract formulation

The origins of toric geometry were in particular compactification questions; but it was soon formulated as the geometric theory of algebraic varieties "V" defined by monomial sets of equations. The geometric equivalent to that is to have an action on "V" of an algebraic torus, with an open orbit. This is the theory of toric varieties or torus embeddings. Computationally they can be treated by means of the semigroup defined by the exponents in the monomials, making them particularly tractable.

A toroidal embedding is a variety that is locally isomorphic to a toric variety. Here, "locally" is in the sense of differential geometry, not with respect to the Zariski topology.

Toric geometry can also be used in relation with invariant theory (particularly geometric invariant theory), roughly in the way maximal torus theory is applied to Lie groups, but relating to moduli spaces rather than representation theory.

References

*


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Toric variety — In algebraic geometry, a toric variety or torus embedding is a normal variety containing an algebraic torus as a dense subset, such that the action of the torus on itself extends to the whole variety. Contents 1 The toric variety of a fan 2… …   Wikipedia

  • Toric manifold — In mathematics, a toric manifold is a topological analogue of toric variety in algebraic geometry. It is an even dimensional manifold with an effective smooth action of n dim compact torus which is locally standard with the orbit space a simple… …   Wikipedia

  • toric — [ tɒrɪk, tɔ:rɪk] adjective 1》 Geometry having the form of a torus or part of a torus. 2》 (of a contact lens) having two different curves instead of one, used to correct both astigmatism and short or long sightedness …   English new terms dictionary

  • toric — /ˈtɔrɪk/ (say tawrik) adjective 1. denoting or relating to a lens with a surface forming a portion of a torus, used for spectacles. 2. Geometry of or relating to a torus. {tor(us) + ic} …  

  • Discrete geometry — A collection of circles and the corresponding unit disk graph Combinatorial geometry redirects here. The term combinatorial geometry is also used in the theory of matroids to refer to a simple matroid, especially in older texts. Discrete geometry …   Wikipedia

  • List of algebraic geometry topics — This is a list of algebraic geometry topics, by Wikipedia page. Contents 1 Classical topics in projective geometry 2 Algebraic curves 3 Algebraic surfaces 4 …   Wikipedia

  • List of mathematics articles (T) — NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie …   Wikipedia

  • Complex projective plane — In mathematics, the complex projective plane, usually denoted CP2, is the two dimensional complex projective space. It is a complex manifold described by three complex coordinates where, however, the triples differing by an overall rescaling are… …   Wikipedia

  • Dedekindsche Zeta-Funktion — Die Dedekindsche Zeta Funktion eines Zahlkörpers K ist definiert als wobei die ganzen Ideale des Zahlkörpers K durchläuft und deren Absolutnorm ist. Die Reihe ζK(s) ist absolut und gleichmäßig konvergent im Bereich …   Deutsch Wikipedia

  • Dedekindsche ζ-Funktion — Die Dedekindsche Zetafunktion eines Zahlkörpers K ist definiert als wobei die ganzen Ideale des Zahlkörpers K durchläuft und deren Absolutnorm ist. Die Reihe ζK(s) ist absolut und gleichmäßig konvergent …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”