トーリック多様体

トーリック多様体は「単項式＝単項式」で貼りあわせる．加法は使わない．ただし関係式をイデアルとして見るときには移項して「単項式−単項式＝０」になるので加法が必要になる．「単項式−単項式」で生成されるイデアルに代わる概念で，「単項式＝単項式」で生成される何か，という概念が必要だ．