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 ...
17
votes
4answers
787 views

The Constructions of Davis and Januszkiewicz

One of the most useful tools in the study of convex polytope is to move from polytopes (through their fans) to toric varieties and see how properties of the associated toric variety reflects back on ...
17
votes
2answers
800 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$ ...
16
votes
0answers
679 views

Homology classes of subvarieties of toric varieties

Let $X$ be a smooth proper toric variety, $Z\subseteq X$ a smooth subvariety. Is the fundamental class $[Z] \in H_\ast(X) = A_\ast(X)$ nonzero? Background If $X$ is a Kaehler variety, this is ...
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 ...
12
votes
2answers
829 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$-...
12
votes
0answers
448 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,...
9
votes
2answers
501 views

Detecting tilings by toric geometry

This is probably a silly question, but I figured that if there is a good answer, this would be a good place to ask. Ever since I got my hands on the book "Toric Varieties" by Cox, Little and Schenck, ...
9
votes
1answer
812 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 ...
8
votes
2answers
611 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 ...
8
votes
1answer
543 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
418 views

Big tangent bundle

Let $X$ be a nonsingular complex algebraic variety whose tangent bundle is $T_X$. I use Lazarsfeld's book for the definition of a big vector bundle. A line bundle $L$ is big if it has Itaka dimension ...
8
votes
0answers
451 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
310 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 $$ \...
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 ...
7
votes
2answers
925 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 ...
7
votes
1answer
402 views

Are quadric hypersurfaces toric varieties?

A quadric hypersurface (over an algebraically closed field of characteristic zero) in $\mathbb{P}^n$ for $1\leq n\leq 3$ is a toric variety. (Namely, it's isomorphic to $\mathbb{P}^1\times\mathbb{P}^...
7
votes
3answers
293 views

Existence of a morphism between two toric varieties

Does there exist a morphism between the blow-up of $\mathbb{P}^3$ in four general points and $\mathbb{P}^1\times\mathbb{P}^1$? If not why?
6
votes
1answer
290 views

Derived categories of toric varieties and convex geometry

Toric varieties and convex polyhedra are intimately connected. Some of this can be found in standard text books (the connection between divisors and mixed volumes seems to be a popular example). One ...
6
votes
2answers
810 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 \mathbb{C}...
6
votes
0answers
95 views

Toric Degenerations and Nearby Cycles

Suppose that $f: X \to \mathbb{A}^1$ is a toric degeneration in the sense of Nishinou-Siebert. In other words let X be a (possibly singular) toric variety equipped with a (not necessarily proper) ...
6
votes
0answers
267 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 ...
6
votes
1answer
343 views

How to describe morphisms to a weighted projective space (bundle)?

The case of an usual projective space (bundle) is well known (Grothendiek,EGA II, Publ.Math. IHES, 8, 1961; or Hartshorne, Alg.Geom.).The more general case of toric varieties has been considered by D. ...
5
votes
2answers
984 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 ...
5
votes
1answer
1k views

Clean introduction to toric varieties for an undergraduate audience

I will be giving a talk to a (primarily) undergraduate audience on certain relatively concrete computations with toric varieties and their blowups. The talk is short, about 20 mins. As I result I need ...
5
votes
2answers
448 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
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 $...
5
votes
2answers
701 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)...
5
votes
2answers
233 views

When is $\mathbb C^d\setminus\mathcal Z$ simply connected?

Let $\Delta$ be a fan in the lattice $N\cong\mathbb Z^n$ with $d$ edges $\{\rho_1,\cdots,\rho_d\}$. Consider the co-ordinate ring $\mathbb C[x_1,\cdots,x_n]$. Let $\mathcal Z=\bigcup_C\mathcal V(x_i\ |...
5
votes
1answer
322 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 ...
5
votes
1answer
360 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 affine,...
5
votes
0answers
485 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 ...
4
votes
3answers
494 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 $(-...
4
votes
3answers
717 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 ...
4
votes
1answer
808 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 ...
4
votes
2answers
524 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 $\...
4
votes
2answers
403 views

Cohomology of the toric variety $X_\Sigma=\mathbb C^2\sqcup \mathbb C^2\big/\left((x,y)_1\sim(x^{-1},y^{-1})_2\right)_{x,y\neq 0}$

I'm writing a thesis on Chow rings of toric varieties and am looking for a reference on the singular cohomology ring of the blowup of $\mathbb C^2$ at xy=0, i.e. at the coordinate axes. The ...
4
votes
1answer
333 views

Is there extremal metric on toric Fano manifolds which futaki invariant is nonzero?

According the work by Wang & Zhu, on toric Fano manifolds there exists Kahler-Ricci solitons, if futaki=0 there exist CSCK metric, but if futaki invariant is not vanished, what about extremal ...
4
votes
1answer
230 views

Smooth projective toric varieties which are quotients of product of spheres and torii by a free torus action?

My question is just as in the box. Is every smooth projective toric variety diffeomorphic to a quotient of $\prod_i S^{n_i} \times T^k$ (I know torus is a one-sphere but I just wanted to make clear I ...
4
votes
1answer
109 views

Cohen-Macaulay non-normal toric variety

Given a quasi-smooth toric variety $X$ in the sense of Gelfand-Kapranov-Zelevinsky, i.e. a (not necessarily normal) toric variety $X$ whose normalization is a $\mathbb{Q}$-factorial toric variety and ...
4
votes
1answer
330 views

Learning Quantum (Co)Homology and Landau Ginzburg Superpotential

I am learning about Quantum Homology which I have to use in my research, and I see that in many papers (For example in FOOO, "Spectral invariants with bulk, Quasimorphisms and Lagrangian Floer theory",...
4
votes
1answer
477 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 ...
4
votes
1answer
86 views

Is there a relation between the singularities and the divisor class group of a simplicial toric variety

Let $\Delta$ be a simplicial fan in the lattice $N\cong\mathbb Z^n$ with $d$ edges and $\{u_1,\cdots,u_d\}$ are the primitive vectors along the edges. Let $A$ be the divisor class group of the ...
4
votes
1answer
103 views

Singularities induced by the toric ambient spaces

Let $\Delta \subset \mathbb{R}^4$ be a (reflexive) polytope and $X$ be the hypersurfacedefined by a generic section of the any-canonical bundle of the toric variety $\mathbb{P}_{\Delta}$. Are there ...
4
votes
2answers
150 views

Computational complexity of deciding isomorphism of rational polyhedral cones

Let $C,C'$ be rational polyhedral cones in $\mathbb R^n$ both with non-empty interior. Rational means they are generated by vectors with rational entries. One says that $C,C'$ are isomorphic if there ...
4
votes
1answer
219 views

What is the combinatorial data classifying non-normal affine toric varieties?

Recall that a toric variety is a variety $V$ containing an open dense algebraic torus. Here an algebraic torus means a finite product of copies of the multiplicative group of the ground field (which I ...
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 / ...
4
votes
2answers
522 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 ...
4
votes
1answer
155 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 ...
4
votes
1answer
213 views

On factorization theorem of toric birational morphisms

Let $X_{Σ′}\to X_{Σ}$ be a toric birational morphism between smooth and complete toric varieties induced by a regular subdivision $Σ′\leq Σ$, i.e. every cone in $Σ′$ is contained in a cone in $Σ$ and ...