Orbit-cone correspondence Created 2026-09-24 Updated 2026-11-05
For a normal split toric variety of dimension , the orbit-cone correspondence assigns an orbit of the algebraic torus to each toric cone , withThe zero toric cone gives the dense algebraic torus; a ray of a fan gives a codimension-one orbit. The torus-fixed points correspond exactly to full-dimensional toric cones. A maximal toric cone need not be full-dimensional: the toric fan containing only the zero toric cone gives the algebraic torus itself and has no fixed point when .
Primitive lattice vector 2026-11-05
A primitive lattice vector is a nonzero element of a finite-rank free abelian group that cannot be written with and an integer . In an integral basis, this is equivalent to the greatest common divisor of its coordinates being one. The property is independent of the chosen lattice basis.
For example, is primitive although neither coordinate is one: the integer functional satisfies . Hence , showing that extends to a lattice basis. In contrast, is not primitive.
Every rational ray of a fan contains a unique primitive generator pointing along it. This generator gives the integral normalization used in toric divisors and cocharacters; replacing it by a larger positive multiple leaves the geometric ray unchanged but changes its lattice data.
Ray of a fan Created 2026-09-24 Updated 2026-10-14