Questions tagged [toric-varieties]

Toric variety is embedding of algebraic tori.

Filter by
Sorted by
Tagged with
4
votes
0answers
127 views

Non-trivial line bundle on $\mathbb{C}^{\ast} \times \mathbb{C}^{\ast}$

A line bundle is a holomorphic complex-dimension-one bundle on a complex manifold. The complex manifold $X = \mathbb{C}^{\ast} \times \mathbb{C}^{\ast}$ admits a non-trivial line bundle for the ...
2
votes
1answer
140 views

If two symplectic toric manifolds are diffeomorphic, are they necessarily equivariantly diffeomorphic?

Suppose $M$ and $N$ are two symplectic toric manifolds. If $M$ is diffeomorphic to $N$, can we deduce that $M$ is equivariantly diffeomorphic to $N$ with respect to their torus actions?
7
votes
2answers
414 views

Is $(x^2y,xy^2)$ log smooth?

Consider the map $$f:\mathbb C^2\to\mathbb C^2$$ $$(x,y)\mapsto(x^2y,xy^2)$$ We can view $f$ as induced by the map of monoids $g:\mathbb Z^2_{\geq 0}\to\mathbb Z^2_{\geq 0}$ given by the matrix $(\...
5
votes
2answers
177 views

From Delzant polytope to lattice polytope

By definition, an $n$-dimensional Delzant polytope $P$ is not necessarily a lattice polytope. But is there a natural way (or operations) to turn $P$ into a lattice polytope using the fact that the ...
3
votes
2answers
307 views

Embedding of a blow-up

In $\mathbb{P}^1\times\mathbb{P}^2$ take a general divisor $X$ of type $(0,2)$. Consider two general divisors $H_1,H_2$ of type $(2,1)$ and set $Y = X\cap H_1\cap H_2$. Let $Z$ be the blow-up of $X$ ...
3
votes
0answers
99 views

Smooth proper varieties over the integers that are not toric

Does there exist a smooth proper variety $X$ over $\operatorname{Spec} \mathbb Z$ that is not toric? By Fontaine, we know that there is no Abelian scheme over $\operatorname{Spec} \mathbb Z$. Also by ...
0
votes
0answers
102 views

Problem in calculating the global sections of $\mathcal{O}_{\mathbb{P}^3}(d)\otimes \mathcal{I}_Z$

This is an additional question to the one I posed in Equivalence of sequences of blowups of $\mathbb{P}^3$ Let $[x_1,x_2,x_3,x_4]$ be coordinates of $\mathbb{P}^3$ and $Z\subset \mathbb{P}^3$ the ...
3
votes
0answers
86 views

Polytope algebra and toric vareties

Let $\Pi$ denote the McMullen polytope algebra (over the field of rationals $\mathbb{Q}$) generated by convex polytopes with rational vertices in $\mathbb{R}^n$. For a simple polytope $P$ let us ...
2
votes
1answer
175 views

Equivalence of sequences of blowups of $\mathbb{P}^3$

Let $[x_1,x_2,x_3,x_4]$ be coordinates of $\mathbb{P}^3$ and $Z\subset \mathbb{P}^3$ the subscheme given by the ideal $$I_Z=(x_1,x_2,x_3^2) \subset \mathbb{C}[x_1,x_2,x_3,x_4]$$ i.e. $Z$ is a double ...
4
votes
1answer
201 views

Cohomology of divisors on Hirzebruch surfaces

Consider the Hirzebruch surface $\mathbb{F}_n = \mathbb{P}(\mathcal{O}_{\mathbb{P}^1}\oplus \mathcal{O}_{\mathbb{P}^1}(n))\rightarrow\mathbb{P}^1$. The Picard group of $\mathbb{F}_n$ is generated by ...
0
votes
1answer
173 views

What is a toric lattice? [closed]

What is a toric lattice? and how can I construct one in Macaulay2 and compute its basis? is there any alternative method to make one? Since I went through the whole ...
2
votes
0answers
80 views

Amoeba for a K3 surface in $\mathbb {CP}^3$

Let $X=X_\Delta$ be the toric variety associated to a reflexive polyhedron $\Delta$. Consider a Calabi-Yau hypersurface $Y\subset X$, and the image of $Y$ under the moment map $\mu:X\to \Delta$ has ...
3
votes
1answer
163 views

How to create a toric variety whose Cox ring has a specific grading?

If one wanted to obtain a fan for a toric variety of dimension $ n>1 $ whose Cox ring is $ \mathbb{Z}^{2} $ graded with weights $ \{(a_{i},b_{i})\}_{i=1}^{n+2} $, then one could let $ B $ be the $ ...
2
votes
1answer
164 views

When does the Hirzebruch surface have a nef anticanonical divisor?

Let $\mathcal H_r=\mathbb P (\mathcal O_{\mathbb P^1}\oplus \mathcal O_{\mathbb P^1}(r))$ be a Hirzebruch surface for some $r\in\mathbb Z$. As a toric variety, the fan structure is spanned by $(-1,0)$,...
12
votes
0answers
253 views

Rational points of weighted projective spaces

Let $k$ be a field and let $\underline{a}=(a_0,\dots,a_n)$ be a tuple of positive integers. Denote by $P_\underline{a}$ the corresponding weighted projective space over $k$, i.e. the quotient of $U:=\...
3
votes
0answers
71 views

Structure of fibers of (complex) moment map of hypertoric variety

I am primarily interested in the hypertoric variety $\mathfrak M(\mathcal B_d)$ associated to the braid arrangement. Any hypertoric variety $X$, say of complex dimension $2n$, comes equipped with an ...
3
votes
0answers
109 views

Smooth toric compactification of $\mathbb C^n$

By a compactification $(X,Y)$ of $\mathbb C^n$, we mean an irreducible compact complex space $X$ and a closed analytic subspace $Y\subset X$ such that $X\setminus Y$ is biholomorphic to $\mathbb C^n$. ...
1
vote
1answer
165 views

divisors in non-compact toric varieties

Let $X$ be a smooth quasi-projective toric variety of dimension $n$ over $\mathbb C$. Take it to be non-compact, so its fan is not complete. (A good example to keep in mind is a toric Calabi-Yau.) If ...
4
votes
1answer
127 views

Intrinsic definition of a cone in a normal fan

Let $P\subseteq \mathbb{R}^n$ be a full dimensional polytope. Let us assume that $P$ has a facet description with the following inequalities: $$ \left<x,u_F\right> \geq -a_F$$ where $u_F\in \...
4
votes
0answers
74 views

Toric Bézier patches

Toric Bézier patches (as described in https://arxiv.org/abs/0706.2116) are maps from a lattice polytope $P$ to the positive part of its associated toric variety $X_P$. While they are not the inverse ...
2
votes
0answers
116 views

Deformation of toric varieties to complete intersections

I am looking for some systematic study/examples of families of projective complete intersection varieties degenerating to a projective toric variety. In particular, given a projective toric variety, ...
0
votes
0answers
31 views

Connections between toric variety and decompositions of its polytope

Given a collection of points $\mathcal{A} = \{ m \in \mathbb{Z}^n \}$ there is an associated toric variety $Y_{\mathcal{A}}$ as defined by Frank Sottile in here. Is there some connection between ...
14
votes
0answers
295 views

How should we think about the algebraic moment map?

My question is about the "algebraic moment map", as discussed by Frank Sottile in the final section of this paper, or by Bill Fulton in his Introduction to Toric Varieties, where he referes ...
4
votes
0answers
172 views

When is a toric variety a Poincare duality space?

When is a complete toric variety a Poincare duality space? Is there an "if and only if" condition? And is this condition local? Given an analytically-locally-toric compactification of a ...
2
votes
0answers
75 views

Is the blowup of a toric variety corresponding to a subdivision normal?

Toroidal Embeddings 1 by KKMS say subdividing the fan of a toric variety yields the fan of a normalized blowup. How do I avoid normalization? Do I need to choose my subdivision carefully, or is it ...
3
votes
1answer
183 views

When an action on open dense subvariety by an algebraic group extends to variety

A toric variety $X$ over $k$ is a variety which contains an algebraic torus ($T= \mathbb{G}_k^s$) as a dense open subset such that the action of the torus on itself extends to the whole of $X$. Slogan:...
4
votes
1answer
221 views

the map on Picard groups induced by restriction to a toric subvariety

Let $X$ be a (say, complex) toric variety acted upon by a torus $T$ and defined by a fan $\Sigma$ in the cocharacter lattice $N=\mathrm{Hom}(\mathbb{C}^\times, T)$, and let $M$ be the character ...
3
votes
0answers
110 views

Hodge structure on intersection cohomology of toric varieties

Given a convex polytope with integer vertices, one can construct a complex projective variety $X$ called toric variety. In general $X$ is not smooth. As I have heard, by the work of M. Saito, the ...
3
votes
1answer
179 views

Cohomology ring of a hypersurface in toric variety

Let $X^n$ be a smooth projective toric variety corresponding to a simple polytope $P$. It is well known that the cohomology ring $H^*(X)$ can be described in terms of combinatorics of faces of $P$. ...
1
vote
0answers
52 views

Toric resolution in terms of polytopes

Let $P,Q\subset\mathbb{R}^n$ lattice polytopes such that $P$ and $P'=P+Q$ are smooth polytopes. We obtain the birational morphism $f:X_{P'}\to X_Q$ and I am interested in a criterion when this is a ...
3
votes
1answer
282 views

An example in symplectic geometry

$\DeclareMathOperator\SU{SU}$Let $M$ be a coadjoint orbit of dimension 6 of $\SU(3)$, and let $T$ be the maximal torus in $\SU(3)$. If we denote $\mu : M \longrightarrow \mathbb{R}^2$ the moment map ...
5
votes
0answers
91 views

algebraic de Rham cohomology of toric varieties (reference request)

I haven't been able to find anything workable yet, but I'm looking for a reference on the de Rham cohomology of toric varieties, where as many as possible of the following conditions are handled: ...
3
votes
0answers
127 views

Intersection homology of toric resolutions

I'm interested in the intersection homology of toric varieties associated to a polytope $P$ with proper faces F, and a subdivision $P'$ of P. Let $X_P$ be the toric variety associated to the polytope $...
8
votes
1answer
249 views

Separating a lattice simplex from a lattice polytope

Let $P\subset\mathbb{R}^n$ be a convex lattice polytope. Do there always exist a lattice simplex $\Delta\subset P$ and an affine hyperplane $H\subset\mathbb{R}^n$ separating $\Delta$ from the convex ...
2
votes
0answers
94 views

Determining a toric GIT quotient

Consider the following $G = (\mathbb{C}^*)^{\times 3}$-action on $\mathbb{A}^6$: $(\lambda_0,\lambda_1,\lambda_2) \cdot (x_0,x_1,x_2,y_0,y_1,y_2) = (\lambda_0x_0,\lambda_1x_1,\lambda_2x_2,\frac{\...
5
votes
0answers
99 views

Where to read about the toric variety coming from a principal nilpotent element of a (semi)simple algebraic group?

Given a principal (regular) nilpotent element $e$ in the Lie algebra $\mathfrak g$ of a complex semisimple algebraic group $G$, let $\mathfrak s=(e,f,h)$ be an $\mathfrak{sl}_2$-triple for $e$. Then ...
2
votes
0answers
139 views

Gromov-Witten invariants of cocharacter closures in toric varieties

$\require{AMScd}$ Let $X$ be a toric projective variety with dense algebraic torus $\iota:(\mathbb{C}^\times)^n \to X$, and let $u:\mathbb{C}^\times \to X$ be a cocharacter, by which I mean a map ...
3
votes
0answers
147 views

When are two complex Tori biholomorphic

Let $g \ge 1$ be a natural number and $\mathbb{C}^g$ complex vector space which is isomorphic to $\mathbb{R}^{2g}$ is real vector space. An additive subgroup $\Gamma \subset \mathbb{C}^g$ is called a ...
1
vote
0answers
92 views

Isomorphic Jacobians for different choices of basis of $1$-forms

In Otto Forster's Lectures on Riemann Surfaces on page 170 Jacobi Variety is defined in 21.6: Suppose $X$ is a compact Riemann surface of genus $g$ and $ \omega_1,..., \omega_g $ is a basis of $\Omega ...
4
votes
0answers
98 views

Primitive collections as lattice generators for the Mori cone

I am looking at the following theorem from "Toric Varieties" by Cox, Little and Schenk: Theorem 6.4.11: If $X_{\Sigma}$ is a simplicial toric variety, then $\overline{NE}(X_{\Sigma}) = \...
5
votes
0answers
329 views

Distinguishing ample divisors by minimally intersecting curves on a smooth projective toric variety

My question has an easily formulated generalization, which I will state first. Let $\sigma \subseteq \mathbf{R}^n$ be a full-dimensional strongly convex polyhedral cone. For each lattice point $m \in \...
2
votes
0answers
55 views

Explicit formula for the moment map of toric manifold

Let $P$ be a Delzant polytope in $M\otimes{\mathbb R}\cong \mathbb R^n$, and it is well-known that we can associate to it a toric manifold $X=X_P$ with the moment map $\pi: X\to P$. I would like to ...
6
votes
2answers
316 views

Relationship between fans and root data

A (split) reductive linear algebraic group is equivalently described by combinatorial information called a root datum. A toric variety is described by combinatorial information called a fan. Both ...
2
votes
1answer
74 views

Coordinate-symmetric convex polytopes with equal Erhart (quasi)-polynomials

Recall that given a nondegenerate polytope $P \subset \mathbb{R}^n$ which is the convex set of some vectors with integral coordinates, the Erhart polynomial $p_P(t)$ a polynomial such that $p_P(t)$ ...
0
votes
0answers
62 views

Low rank approximation

Can we solve low rank approximation problem by using concept of Gröbner basis? I was trying to find it by Macaulay2 but didn't find the answer. I was trying to do by toric ideals as for them Gröbner ...
2
votes
0answers
77 views

Is toroidalization local?

Let $f:X \to Y$ be a surjective morphism of smooth projective varieties, $D$ be a simple normal crossings divisor on $X$ and $U_Y \subset Y$ be an open subset over which $(X,D)$ is log smooth (in the ...
1
vote
0answers
82 views

Connected components of a codimension one fiber for a finite morphism

Let $f:X \to Y$ be a finite surjective morphism from a $\mathbb{Q}$-factorial variety to a smooth variety. Let $D_Y$ be a prime divisor on $X$ and let $\bigcup D_i$ be the inverse image of $D_Y$. Do ...
2
votes
0answers
100 views

Log canonical centers of toric (and toroidal) varieties

Q1: Let $(X,B)$ be a toric variety. There exists a toric resolution of singularities $f:(Y,E) \to (X,B)$. Here is my question: Is any lc center of $(X,B)$ an irreducible component of an intersection ...
1
vote
0answers
114 views

Birational model of a log smooth pair

Given a log smooth pair $(X,B)$ with a reduced boundary divisor $B$, consider a birational model $\pi:X' \to X$ and a boundary divisor $B'$ which is given by $K_{X'}+B'=\pi^*(K_X+B)$. Here is my ...
2
votes
0answers
72 views

Birational contraction of toric vector bundle

Let $X$ be the toric vector bundle over $\mathbb{P}(1,1,1,2)$ with grading matrix $$ \left(\begin{array}{cccccc} 1 & 1 & 1 & 2 & -2 & 0 \\ 0 & 0 & 0 & 0 & 1 & ...

1
2 3 4 5 6