The toric-varieties tag has no wiki summary.

**2**

votes

**2**answers

259 views

### Bound on the (anticanonical) degree of toric Fano varieties

Does there exists a universal constant $C \geq 1$ such that if $X$ is any a smooth, toric, Fano $n$-dimensional manifold admitting a Kähler-Einstein metric, then its anticanonical degree $(-K_X)^n$ ...

**4**

votes

**2**answers

689 views

### nef Cone of a Toric Variety

Is there a systematic/standard way of extracting the nef cone of a toric variety $X$ from its fan (or polytope)? Can I tell from the basis of $A^1(X)$ induced by the one-skeleton, based on ...

**1**

vote

**0**answers

198 views

### Non-toric affine variety containing a torus

Part of the definition of an affine toric variety is that the action of the torus sitting as an open dense subset of the variety extends algebraically to the whole variety. Is there an easy example ...

**3**

votes

**3**answers

671 views

### Do projective hypersurfaces contain projective toric varieties?

Is there an example of a smooth projective hypersurface in $\mathbb{P}^n_k$ ($k=\overline{k}$) that does not contain any projective toric varieties (edit: of positive dimension)? Or is it the case ...

**3**

votes

**0**answers

356 views

### Intersection Theory on a toric variety

Hi All,
I'm having some trouble understanding a result about calculating $D.C$ on a toric variety. The proposition I am trying to follow is from Cox, Little, Schenck. Either there is a mistake with ...

**1**

vote

**1**answer

533 views

### Description of a birational map, Fulton's “Introduction to toric varieties”

This is an exercise of "Introduction to toric varieties" by Fulton, page 71, section 3.4, (the last one in this page.)
The problem is initiated by constructing a complete (toric) variety which is not ...

**2**

votes

**2**answers

318 views

### Toric automorphism of P1 times P1 blown up at four pts

A toric morphism between toric varieties is a morphism that is equivariant w.r.t. to the toric action, see e.g. section 3.2, Notes by H.Verrill and D.Joyner for definitions. In particular, any toric ...

**5**

votes

**2**answers

424 views

### Are the closures of the tori in the decomposition of a torified variety toric varieties?

In "Torified varieties and their geometries over $\mathbb{F}_1$", J. L. Pena and O. Lorscheid define a torified variety as a variety $X$ over $\mathbb{Z}$ along with a family of locally closed ...

**5**

votes

**0**answers

235 views

### Do simplicial toric varieties have “lots” of base point free linear systems?

Question: Let $n$ be a positive integer and let $X$ be a simplicial toric variety. Does every coset of $n\cdot Pic(X)\subseteq Pic(X)$ contain a base point free linear system?
If $X$ is not ...

**8**

votes

**0**answers

296 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
$$
...

**4**

votes

**3**answers

413 views

### Number of $(-1)$ curves on toric surfaces

Hello.
My question is:
Is it possible that a smooth complete toric surface has infinitely many $(-1)$-curves. I know that there is a blow-up of $\mathbb P^2$ in 9 points containing infintely many ...

**2**

votes

**4**answers

432 views

### What is the fan of the toric blow-up of $\mathbb{P}^3$ along the union of two intersecting lines?

Is there a good way to find the fan and polytope of the blow-up of $\mathbb{P}^3$ along the union of two invariant intersecting lines?
Everything I find in the literature is for blow-ups along smooth ...

**1**

vote

**1**answer

541 views

### Smooth complete toric surfaces

Hi,
I'm trying to find all the smooth complete toric surfaces, following section 2.5 of Fulton's book. There is one exercise given that I'm hung up on, hopefully someone can help me out a bit. ...

**5**

votes

**2**answers

576 views

### Deformations of Hirzebruch surfaces and toric action

Hi,
the Hirzebruch surface $F_n$ admits a deformation for $0\leq m\leq n$ defined by the equation
$$
\mathcal{M}=\{ ([x_0:x_1],[y_0:y_1:y_2],t) \in \mathbb{P}^1 \times \mathbb{P}^2 \times ...

**20**

votes

**3**answers

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

**0**answers

364 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

**1**answer

422 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

**0**answers

224 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 ...

**1**

vote

**2**answers

457 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

**1**answer

208 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

**3**answers

732 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?

**11**

votes

**2**answers

682 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 ...

**16**

votes

**1**answer

654 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

**1**answer

143 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

**1**answer

235 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 ...

**0**

votes

**0**answers

530 views

### Help with Fulton's Toric Varieties Book

Greetings.
In Fulton's 'Introduction to Toric Varieties' in section 2.5, there is an exercise (top of p44 in my book) which reads 'If $d \geq 4$ then there must be 2 opposite vectors in the ...

**4**

votes

**3**answers

800 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

**2**answers

497 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

**2**answers

1k 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

**1**answer

396 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

**1**answer

312 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 ...

**5**

votes

**2**answers

2k 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 ...

**5**

votes

**0**answers

433 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 ...

**5**

votes

**2**answers

813 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

**2**answers

486 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

**1**answer

692 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

**0**answers

427 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
$$
...

**4**

votes

**1**answer

739 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

**2**answers

603 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 - ...

**3**

votes

**2**answers

556 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

**2**answers

559 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 ...