7 research outputs found
Irrational Toric Varieties
Classical toric varieties are among the simplest objects in algebraic geometry. They arise in an elementary fashion as varieties parametrized by monomials whose exponents are a finite subset A of Zⁿ . They may also be constructed from a rational fan Σ in Rⁿ . The combinatorics of the set A or fan Σ control the geometry of the associated toric variety. These toric varieties have an action of an algebraic torus with a dense orbit. Applications of algebraic geometry in geometric modeling and algebraic statistics have long studied the nonnegative real part of a toric variety as the main object, where the set A may be an arbitrary set in Rⁿ. These are called irrational affine toric varieties. This theory has been limited by the lack of a construction of an irrational toric variety from an arbitrary fan in Rⁿ.
We construct a theory of irrational toric varieties associated to arbitrary fans. These are (R>)ⁿ-equivariant cell complexes dual to the fan. Such an irrational toric variety is projective (may be embedded in a simplex) if and only if its fan is the normal fan of a polytope, and in that case, the toric variety is homeomorphic to that polytope. We use irrational toric varieties to show that the space of Hausdorff limits of translates an irrational toric variety associated to a finite subset A of Rⁿ is homeomorphic to the secondary polytope of A
Irrational Toric Varieties
Classical toric varieties are among the simplest objects in algebraic
geometry. They arise in an elementary fashion as varieties parametrized by
monomials whose exponents are a finite subset of .
They may also be constructed from a rational fan in .
The combinatorics of the set or fan control the geometry
of the associated toric variety. These toric varieties have an action of an
algebraic torus with a dense orbit. Applications of algebraic geometry in
geometric modeling and algebraic statistics have long studied the nonnegative
real part of a toric variety as the main object, where the set
may be an arbitrary set in . These are called irrational affine
toric varieties. This theory has been limited by the lack of a construction of
an irrational toric variety from an arbitrary fan in .
We construct a theory of irrational toric varieties associated to arbitrary
fans. These are -equivariant cell complexes dual to the fan.
Such an irrational toric variety is projective (may be embedded in a simplex)
if and only if its fan is the normal fan of a polytope, and in that case, the
toric variety is homeomorphic to that polytope. We use irrational toric
varieties to show that the space of Hausdorff limits of translates an
irrational toric variety associated to a finite subset of
is homeomorphic to the secondary polytope of .Comment: This thesis is a longer version of arXiv:1807.0591
Irrational Toric Varieties
Classical toric varieties are among the simplest objects in algebraic geometry. They arise in an elementary fashion as varieties parametrized by monomials whose exponents are a finite subset A of Zⁿ . They may also be constructed from a rational fan Σ in Rⁿ . The combinatorics of the set A or fan Σ control the geometry of the associated toric variety. These toric varieties have an action of an algebraic torus with a dense orbit. Applications of algebraic geometry in geometric modeling and algebraic statistics have long studied the nonnegative real part of a toric variety as the main object, where the set A may be an arbitrary set in Rⁿ. These are called irrational affine toric varieties. This theory has been limited by the lack of a construction of an irrational toric variety from an arbitrary fan in Rⁿ.
We construct a theory of irrational toric varieties associated to arbitrary fans. These are (R>)ⁿ-equivariant cell complexes dual to the fan. Such an irrational toric variety is projective (may be embedded in a simplex) if and only if its fan is the normal fan of a polytope, and in that case, the toric variety is homeomorphic to that polytope. We use irrational toric varieties to show that the space of Hausdorff limits of translates an irrational toric variety associated to a finite subset A of Rⁿ is homeomorphic to the secondary polytope of A