Added to Favorites

Related Searches

Definitions

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.## Abstract formulation

## References

For example, the complex projective plane CP^{2} 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\; ;\; ,!$

- $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.

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.

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Sunday July 27, 2008 at 18:44:49 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Sunday July 27, 2008 at 18:44:49 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2014 Dictionary.com, LLC. All rights reserved.