The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
0answers
88 views

A question on the secondary fan

I am studying the secondary fan decomposition of the effective cone of a projective variety $X$. Let as assume that $X$ is a Mori Dream Space. As far as I understand passing from a cone of maximal ...
0
votes
1answer
196 views

Moment map coordinates in tours action

I am trying to understand the proof of lemma 3.1, in this paper In proof, they say that $g(dz_i,d\tau_k)=dz_i(\nabla\tau_k)=0$ I don't understand first and second equality.In second they say, ...
1
vote
1answer
77 views

Reduced stabilizers of torus action on toric variety

I hope my question is not too trivial, but unfortunately i'm just starting to study toric varieties. Let's take $X$ a lattice and $\sigma\subset X^*$ a strongly convex rational polyhedral cone, so ...
3
votes
1answer
79 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 ...
0
votes
0answers
114 views

A question on a toric singularity

Recently I was told that the threefold singularity $$ x^2+y^2+z^2+w^{2n}=0 $$ in $\mathbb{C}^4$ is a toric variety. How can I see this? What are the generators of the toric fan? Moreover, is it true ...
2
votes
0answers
66 views

Explicit equations for conormal bundle to an affine toric variety

Let $L \subset \mathbb{Z}^n$ be a lattice and let $X_L$ be the closed toric subvariety of $\mathbb{C}^n$ cut out by the lattice ideal $I_L = \{x^{l_+} - x^{l_-} \,| \, l_+, l_- \in \mathbb{N}^n \text{ ...
4
votes
2answers
257 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 ...
0
votes
0answers
22 views

What's a toric mirror for a determinated action?

I wonder what are the toric mirrors for the action of a Weyl group of a root system (let's say of type $E_7$) acting on the complex torus $\mathbb{T}=\mathrm{Hom}(Q,\mathbb{C}^*)$ with $Q$ the ...
1
vote
1answer
203 views

Is the Kähler cone of a toric variety always simplicial?

I am working on a familly of toric varieties which seem to have the following property: the closure of the Kähler cone is a simplicial cone (and even a smooth cone with respect to the natural ...
4
votes
2answers
130 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 ...
0
votes
2answers
228 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
138 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
58 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 ...
5
votes
1answer
245 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
2answers
176 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
146 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
87 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
98 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
234 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 ...
3
votes
1answer
134 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
107 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 ...
4
votes
1answer
224 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 ...
1
vote
1answer
165 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 ...
3
votes
1answer
245 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
140 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
302 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
130 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
141 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? ...
0
votes
0answers
179 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
169 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 ...
6
votes
1answer
251 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
139 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
161 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
0answers
252 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 ...
7
votes
0answers
357 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 ...
2
votes
2answers
444 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 ...
1
vote
0answers
146 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
128 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 ...
3
votes
3answers
387 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 ...
1
vote
1answer
127 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 \\\\ ...
4
votes
1answer
214 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 ...
1
vote
2answers
235 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 ...
0
votes
0answers
179 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
257 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
1answer
704 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 ...
15
votes
0answers
581 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 ...
17
votes
4answers
703 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 ...
2
votes
0answers
53 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?
8
votes
1answer
452 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 ...
9
votes
2answers
472 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, ...