The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
1answer
78 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 ...
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 ...
1
vote
2answers
169 views

When is a blow-up of $\mathbb{P}^2$ a Mori Dream Space?

Let $p_1,...,p_k\in\mathbb{P}^2$ be general points. Let us consider the blow-up $X_k = Bl_{p_1,...,p_k}\mathbb{P}^2$. It is clear that if $k\leq 3$ then $X_k$ is toric and hence a Mori Dream Space. ...
3
votes
0answers
103 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 ...
2
votes
1answer
52 views

The minimal number of halfspaces to represent a convex but non strongly convex cone

We say a cone at the origin in $R^n$ means that it is an intersection of finitely many halfspaces, i.e. $$C=\bigcap_{i\in I}H_i,\text{ where }|I|<\infty.$$ A cone is strongly convex if $C\cap ...
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 ...
1
vote
1answer
126 views

Deformation space form the point of view of intersection theory

I'm interested in deformations of subvarieties of a toric variety $X$. Suppose we know a subvariety $V$ in the Chow group of $X$, for example, $V$ is a linear combination of powers of hypersurfaces. ...
1
vote
0answers
58 views

How to Calculate Minimal Log Discrepancy on a Toric Variety?

Let $\sigma$ be a $3$ dimensional strongly convex rational polyhedral cone on $\mathbb{R}^3$ and $X_\sigma$, the corresponding affine toric $3$-fol. Also, assume that $\Delta$ is an anti-boundary ...
2
votes
1answer
90 views

Does any smooth hypersurface in (C^*)^n admit a smooth normal crossings compactifcation as a hypersurface in a toric variety?

Question 1. Given a Laurent polynomial $f(z_1,\cdots,z_n)$, such that the corresponding zero locus $Z$ of $f$ in $(\mathbb{C}^*)^n$ is smooth, can we find a smooth toric variety $\bar{X}$ (together ...
1
vote
1answer
97 views

Legal potentials on delzant polytopes

Let $P \subset \mathbb R^n$ be a Delzant polytope defined by inequalities $\ell_i(x) \geq 0, i=1, \ldots, d$. Of course, from the symplectic point of view, the inequalities $a_i \ell_i \geq 0$ still ...
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 ...
1
vote
1answer
190 views

Kahler-Einstein metrics on Toric manifolds are Torus-invariant?

let $(M,\omega)$ be a Kahler-Einstein toric manifold of complex dimension $m$. By toric manifold i mean a manifold that has an open dense subset $X$ biholomorphic to an algebraic torus ...
4
votes
1answer
163 views

Toric Fano Kahler manifolds and Delzant polytopes

Let $P$ be a Delzant polytope in $\mathbb R^n$, given by a set of inequalities $\ell_i(x) > 0$ where $\ell_i(x) = \sum_k \mu_k^i x_k - \lambda_i$. In his paper http://arxiv.org/abs/0803.0985 ...
17
votes
4answers
656 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 ...
1
vote
1answer
139 views

Rational surface singularities as Toric varieties

I originally asked basically this question on MSE here. From an appendix in Steinberg's "Conjugacy classes in algebraic groups" I found a list of the rational surface singularities. Equations of types ...
4
votes
1answer
191 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 ...
3
votes
0answers
126 views

determine if a toric variety is Gorenstein

Let $G$ a simply connected group over $k$ and $car(k)=0$. Let $T_{+}=(T\times T)/Z_{G}$ we consider the closure $\overline{T}_{+}$ of the torus $T_{+}$ in $\prod ...
1
vote
0answers
241 views

Are Grassmannians toric varieties? [closed]

Are Grassmannians $G(k,n)$ toric varieties for all possible $k,n$? If they are toric varieties, are there any descriptions for the fans?
2
votes
0answers
112 views

Intuition about Toroidal Embeddings

I have been trying to understand the very basics of toroidal embeddings, and the definitions on the face of them are not terribly daunting. I've been going with the "locally analytically looks like a ...
0
votes
1answer
129 views

Why the blowup of a toric variety corresponding to a subdivison of fan?

I heard the statement "the blowup of a toric variety corresponding to a subdivison of fan" many times, but could not find reference in the literature. What is the precised statement (blowup a point? ...
2
votes
2answers
365 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 ...
0
votes
0answers
164 views

Connectedeness of toric varieties

Hi, I would like to understand when a toric variety is connected. Given $\Delta$ a fan (possibly with infinitely many cones) in $\mathbb{R}^n$, $n\geq 2$ denote with $X_{\Delta}$ the associated toric ...
0
votes
0answers
160 views

Variation the definition of toric varieties

Let us stick to affine toric variety. By definition, a toric variety is a variety containing a torus $T \cong (\mathbb{C}^*)^n$, with the torus action on $T$ extend to the whole variety. The torus ...
3
votes
0answers
218 views

“Step-by-Step” toric resolution process?

WLOG the fan $\Sigma$ of our toric variety $X_{\Sigma}$ is simplicial. (So $X_{\Sigma}$ has at worst orbifold singularities and all cones $\sigma \in \Sigma$ are simplicial). The classical toric ...
6
votes
1answer
224 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 ...
4
votes
0answers
127 views

Derived category of toroidal varieties

This question comes from the first reduction step of Theorem 4.2 of Kawamata's paper on K-equivalent implies D-equivalent on toroidal varieties. But my question has little to do with this theorem. 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 ...
3
votes
3answers
345 views

Toric Fano manifolds with Picard number 1

As far as I know, toric Fano manifolds are classified only up to dimension 4. In dimension one the projective line is the only example. In dimension two we have five examples: $\mathbb P ^2$, $\mathbb ...
7
votes
0answers
328 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 ...
1
vote
0answers
131 views

About Alexeev and Nakamura's paper “on Mumford's construction of degenerating abelian varieites”

Is there anyone familiar with this paper? It seems to me it contains "some" typos and even some small elementary mistakes, which makes my reading very slow. Of course the key reason for my slow ...
0
votes
0answers
116 views

Relation between the index of (the sum of) lattices in euclidean space, and their orthogonal complement.

I am trying to figure out something concerning the index of lattices. The question came about after reading the paper of W.Fulton and B.Sturmfels, ("Intersection theorey on toric varieties"). To ...
8
votes
1answer
412 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 ...
1
vote
1answer
111 views

Recommendations for binomial system solver

I am interested in solving binomial systems of the form $$ \begin{cases} a_1 x_1^{d_{11}} x_2^{d_{12}} \cdots x_n^{d_{1n}} + b_1 x_1^{d_{11}} x_2^{d_{12}} \cdots x_n^{d_{1n}} &= 0 \\\\ ...
14
votes
0answers
543 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 ...
1
vote
1answer
189 views

Computing rational cohomology of smooth (not necessarily compact) toric varieties

The title pretty much says it all. I am looking for references (lecture notes, books, readable articles, suggestions), preferably example laden, that explain how to compute the rational cohomology of ...
4
votes
1answer
206 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 ...
0
votes
0answers
157 views

tangent bundle of the toric variety of the wonderful compactification.

Let G be a adjoint group over $k$,algebraically closed of caracteristic zero. Let $\overline{G}$ be its wonderful compactification. I denote by $\overline{T}$ the closure of the torus $T$ in ...
3
votes
1answer
232 views

How to recover toric invariants tropically?

My excuses in advance in case my question is too vague (which is mainly due to the fact that I'm not really familiar with tropical/toric geometry, but at least I still believe that the content of the ...
5
votes
2answers
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 ...
4
votes
1answer
575 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 ...
2
votes
0answers
51 views

Associating an ideal to a subdivision

Given a coherent subdivison of a fan, how does one find a torus invariant ideal sheaf whose (normalized) blowup is the given subdivision?
9
votes
2answers
447 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, ...
2
votes
1answer
335 views

Hypersurfaces in Toric Varieties, Help understand a proof from Mikhalkin's paper

Hello, in G. Mikhalkin's Papaer "DECOMPOSITION INTO PAIRS-OF-PANTS FOR COMPLEX ALGEBRAIC HYPERSURFACES": http://arxiv.org/pdf/math/0205011.pdf There is a lemma about the relation between intersection ...
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 ...
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 ...
20
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 ...
3
votes
1answer
215 views

When a quotient singularity is toric?

Let $G \subset SL(n,\mathbb{C})$ be a cyclic subgroup of finite order, Is it true that $\mathbb{C}^n /G$ is toric ? If not then when it is ?
2
votes
2answers
247 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
2answers
616 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
0answers
190 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 ...