O varietate toric este o varietate algebrică care conține torul algebric ca submulțime densă deschisă, astfel încât acțiunea torusului asupra lui însuși prin înmulțire din stânga se extinde la acțiunea asupra întregii varietăți. Dacă varietatea este complexă , atunci torul algebric este . De obicei, soiurile torice sunt considerate a fi normale . Există, de asemenea, o teorie paralelă care folosește varietăți simplectice în loc de varietăți algebrice .
Un soi toric poate fi construit dintr-un evantai și toate soiurile torice normale sunt obținute în acest fel. Această construcţie nu este elementară în sensul pe care îl cere conceptul de spectru al unui inel . O altă construcție este construcția unei varietăți torice proiective având în vedere un politop convex adecvat, care poate fi formulat fără a recurge la conceptele de geometrie algebrică a schemei .
Fie torusul -dimensional ,
este un grup abelian liber numit rețeaua subgrupurilor cu un singur parametru și
este grupul dual abelian, numit rețea monomială . Să presupunem că un con este dat într-un spațiu vectorial , care este strict convex (adică nu conține simultan vectori nenuli și ) și este generat de un număr finit de vectori raționali (vectori din ) ca un con convex . Luați conul dublu care se află în spațiul dual și intersectați-l cu rețeaua . Elementele acestei reţele pot fi considerate monomii din algebră , obţinându - se astfel o subalgebră . Varietatea torica afina corespunzatoare conului este spectrul acestei algebre.
Mai mult, acțiunea torului asupra lui însuși prin multiplicare continuă datorită faptului că algebra este generată de monomii. Datorită convexității stricte a conului , maparea duală față de încorporare este o încorporare deschisă. Deoarece conul este generat de un număr finit de vectori raționali, Lema lui Gordan afirmă că o algebră este generată finit, adică spectrul său este o varietate.
Necesitatea trecerii la conul dublu se explică prin faptul că atunci devine posibilă lipirea conurilor într-un ventilator.