Normal toric orbits and derived realization

A full proof of the orbit-stratification realization theorem for every complex normal separated toric variety of finite type, including singular and nonsimplicial cones. It constructs invariant affine neighborhoods and weighted cone charts, computes the injective maps of incident link groups, and proves unrestricted bounded-below realization over arbitrary unital rings and bounded finite-heart realization over every field. Three exercises have complete solutions.

Read the proofs and solutions online

Native MathML reader · Editable source · Reuse terms · Provenance

Lunts and Schnürer, Simon Telen and Hideyasu Sumihiro receive mathematical credit. The linked Artin–Rees and derived-category providers retain their human attribution and component terms. Source expression is not imported. Original AI teaching and reader code here are CC0.

Rebuild with Python3 and Pandoc by running python build/build_reader.py in this directory. Wide formulas scroll on small screens. This is a checked reading from Constructible and perverse sheaves; the remaining parent-course geometry and curriculum are still being developed.