The tag has no usage guidance.

learn more… | top users | synonyms

21
votes
3answers
1k views

Is there always a toric isomorphism between isomorphic toric varieties?

Suppose two toric varieties are isomorphic as abstract varieties. Does it follow that there exists a toric isomorphism between them? Edit: the comments below lead me to believe that I'm using the ...
1
vote
0answers
440 views

Toric Kahler Manifolds

One definition of Toric Kahler manifolds that I know is the following - $(M,J,\omega)$ is a Kahler manifold of dimension n with an $\textit{effective}$ $\textbf{T}^n$ action which preserves the ...
4
votes
1answer
463 views

Intersection of curves on projective toric surface and some enumerative questions

Reading on the tropical approach to enumerative geometry I have come across the claim: given a projective toric surface from a polygon P, we can consider a tautological bundle of algebraic / ...
1
vote
0answers
247 views

What is known about the Picard scheme of a complete toric variety over C?

Let $X$ be a complete toric variety over a field $k$. Its Picard scheme is defined to be the scheme representing the functor $Pic_{(X/k)(\text{fppf})}$, where $Pic_{X/k}: Sch_k^{op}\to Set$ sends a ...
4
votes
2answers
523 views

On homology of Toric varieties

Lets $X$ be a simply connected projective toric variety of dimension $n$. Lets $\tau_1,\cdots,\tau_k$ be the set of $(n-1)$-dimensional cones of corresponding fan which is in one-to-one ...
3
votes
1answer
237 views

Can cones (toric monoids) be built as colimits of their faces?

Suppose $L$ is a lattice (free abelian group) and $\sigma$ is a (pointed) spanning rational cone in $L\otimes\mathbb Q$. Then $M=L\cap \sigma$ is a monoid with $M^{gp}=L$. A monoid of this form is ...
3
votes
3answers
934 views

Are projective toric varieties, locally complete intersection?

Let $X^n \subset \mathbb{P}^N$ to be a toric projective variety. Is $X$ a local complete intersection? Is being a local complete intersection an intrinsic property, independent of embedding?
12
votes
2answers
836 views

Is an affine “G-variety” with reductive stabilizers a toric variety?

Let $X=Spec(A)$ be a reduced normal affine scheme over an algebraically closed field $k$ of characteristic $0$, with an action of a connected reductive group $G$. Suppose $x\in X$ is a $G$-...
17
votes
2answers
802 views

About a Delzant polytope. (In particular dodecahedron)

Hi. I have a question. Definition. Delzant polytope $P$ is a rational convex simple polytope with the smooth condition. Here, "smooth" means that for each vertex $v$, the $n$ edges containing $v$ ...
1
vote
1answer
147 views

stabilizer of convex cones in a linear space

Let $V$ be a finite dimensional vector space over $\mathbb{R}$, and $C\subset V$ a convex cone of the form $C=\mathbb{R}_{\geq0}v_i$ for finitely many $v_i$'s in $V$. How can one describe the ...
2
votes
1answer
246 views

About toric varieties---properties of stabilizers

Let P be a normal variety over an algebraically closed field k, G a torus over k acting on P, assume that the stabilizer of the generic point of P is reduced (resp. connected or both), is it ture then ...
5
votes
3answers
889 views

relation between toric geometry and log geometry

Hello, I'm trying to understand the relation between the points of view of log geometry (monoids) and toric geometry (fans). Suppose that $k$ is a field and $P$ is a finitely generated monoid. Then $...
1
vote
2answers
570 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 ...
14
votes
2answers
2k views

What are some open problems in toric varieties?

In light of the nice responses to this question, I wonder what are some open problems in the area of toric geometry? In particular, What are some open problems relating to the algebraic ...
4
votes
1answer
480 views

Secondary fans and Stanley Reisner ideals

Consider a collection of points $S \subset \mathbb R^d$. I would like to understand all possible fans $\Sigma$ whose support is the cone over $S$: $|\Sigma| = cone(S)$. I have heard that the ...
2
votes
1answer
368 views

Is a (quasi)projective toric variety (Q)Proj of its homogeneous coordinate ring?

This is really two questions. First, consider a normal toric variety $X_\Sigma$. Its homogeneous coordinate ring $$R=\mathbb C[x_1,...,x_{|\Sigma(1)|}]$$ is graded by $A_{n-1}(X)$. In analogy ...
7
votes
2answers
3k views

The canonical line bundle of a normal variety

I have heard that the canonical divisor can be defined on a normal variety X since the smooth locus has codimension 2. Then, I have heard as well that for ANY algebraic variety such that the canonical ...
6
votes
0answers
486 views

When should a moment polytope have “smooth” faces?

A codimension $d$ face of a polytope is called rationally smooth if it lies on only $d$ facets, because this is exactly the condition for the corresponding toric variety to have only orbifold ...
7
votes
2answers
928 views

Counting/constructing Toric Varieties

Given a torus $T$ is there way to classify all the toric varieties it gives rise to? That is, classify all toric varieties $X$ whose torus is isomorphic to $T$. Is there a way to construct these ...
4
votes
2answers
525 views

Relationship between topological cohomology and $\ell$-adic cohomology

Let $\Delta \subset \mathbb{R}^n$ be an $n$-dimensional integral polytope, let $f$ be a Laurent polynomial in $n$-variables with coefficients in an extension of the integers and Newton polytope $\...
9
votes
1answer
818 views

Cox rings of toric varieties over arbitrary fields

The Cox ring of a toric variety X can be viewed as a generalisation of the homogeneous coordinate ring of projective n-space. Over the complex numbers, the theory is outlined in The Homogeneous ...
12
votes
0answers
449 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 $$ v_{m,...
4
votes
1answer
809 views

Why does the Euler characteristic of a toric variety equal the number of vertices in the defining polytope?

In this link, Corollary 3.2.2, page 59 the author claims that: The Euler characteristic of the toric variety $X_K$ associated to a convex polytope $K$ is the number of vertices of $K$. I want to see ...
5
votes
2answers
704 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 - abcd}{(1-ac)...
3
votes
2answers
817 views

Moment map for toric actions — online references?

Consider a toric variety, defined as a (normal?) complex projective variety $X$ together with an algebraic action of $(\mathbb C^*)^n$ with finitely many orbits. Now we have two "real symplectic" ...
8
votes
2answers
615 views

Hamiltonian S^1 actions with isolated fixed points

I have in mind the following question for some time. Is there an example of a compact symplectic manifold with a Hamiltonian S^1 action with isolated fixed points, that does not admit a compatible S^1 ...