5
votes
1answer
198 views

Can one prove that toric varieties are Cohen-Macaulay by finding a regular sequence?

It's well-known that if $P$ is a finitely generated saturated submonoid of $\mathbb{Z}^n$, then the monoid algebra $k[P]$ is Cohen-Macaulay (at the maximal ideal $m = (P-0)k[P]$). However, all proofs ...
0
votes
0answers
64 views

Computing toric ideals via saturation and Groebner bases of toric ideals

About a month ago I asked this question on math.stackexchange and unfortunately there was no response. Perhaps someone here knows the answer. Let $A \in \mathbb{Z}^{m \times n}$ be a matrix of full ...
3
votes
1answer
117 views

Toric ideal of slice of a polytope?

Given a collection $A:=\{a_1, \ldots ,a_n \}$ of different integer points in $\mathbb{N}^d$, which span an affine hyperplane when viewed in $\mathbb{R}^d$, one can define a toric ideal $I_A$ from a ...
2
votes
0answers
155 views

global sections of structure sheaf on the toric Calabi-Yau

Let P be a lattice polytope and lying in $ N \times {1} \subset N \times \mathbb{R}$. Let $\sigma$ be the cone over this polytope and $X_\sigma$ be the corresponding toric variety, which is an ...
2
votes
2answers
364 views

Stanley-Reisner ring of a simplicial complex is a functor?

Let $K$ bea field and $[n]=\{1,\ldots,n\}$ and $K[x]=K[x_1,\ldots,x_n]$. For $\sigma=\{i_1,\ldots,i_k\}\subseteq [n]$, denote $x_\sigma=x_{i_1}\cdots x_{i_k}=\prod_{i\in\sigma}x_i\in K[x]$. Let ...
8
votes
1answer
411 views

Triangulations of polytopes and tilings of zonotopes

Consider a set $A = \{ a_1,a_2,\ldots, a_n \} $ of vectors in $\mathbb{R}^d$, which lie in a common affine hyperplane. Two convex polytopes may be obtained from $A$, namely the convex hull of the ...
8
votes
0answers
409 views

Proving that a variety is not (isomorphic to) a toric variety

Is there an algorithmic (or other) way to prove that a (projective) variety is not isomorphic to a toric variety? I'd be happy with an algebraic answer (for affine or projective varieties), using the ...
8
votes
0answers
293 views

Computing Ext for toric divisors

Ok, I have an affine (normal) toric variety $X = \text{Spec} k[\sigma]$. Suppose that $F, G$ are two torus invariant Weil divisors on $X$. Is there any relatively straightforward way to compute $$ ...
1
vote
2answers
469 views

Do subsets of generators of a toric ideal generate a toric ideal?

Given a toric ideal, say $J$, in a polynomial ring $k[x_1,...,x_n]$ we can find a finite generating set for $J$. Is it possible, perhaps under additional assumptions on the structure of $J$, to give ...
12
votes
0answers
418 views

A commutative monoid associated with a finite abelian group

Let $M$ be a finite abelian group, and denote by $e_m$, for $m \in M$, the canonical basis of $\mathbb{Z}^M$. For $m, n \in M$ define elements $v_{m,n} \in \mathbb{Z}^M/\langle e_0\rangle$ as $$ ...
5
votes
2answers
564 views

Software for computing multi-graded Hilbert series

The ring of invariants $S^T$ of $k[a,b,c,d]$ under the algebraic torus action $T = k^{*}$ with weights (1,1,-1,-1) is $S = k[ac,ad,bc,bd]$ which has multigraded Hilbert series $\frac{1 - ...