Skip to main content

Questions tagged [toric-geometry]

For questions related to toric geometry. The objects of study in toric geometry are toric varieties. Toric varieties are called ‘toric’ because they are equipped with a ‘torus action’. By a torus we mean the linear algebraic group $C^∗ ×\dots× C^∗$, not the torus from topology. A toric variety contains a torus as an open subset and this defines the torus action.

Filter by
Sorted by
Tagged with
2 votes
1 answer
48 views

Is an extension of an algebraic group by a multiplicative group a semidirect product?

This is probably a very simple question with a negative answer, but I somehow cannot find a counterexample. Let $X$ be a smooth algebraic variety over an algebraically closed field $k$. Assume that $X$...
L_b's user avatar
  • 684
2 votes
0 answers
53 views

Torus action/limit approach to show that open embedding $U_\tau \subseteq U_\sigma$ implies $\tau$ is face of $\sigma$

Context Both the Fulton and Cox/Little/Schenck books on Toric Varieties include an exercise to show that if an inclusion $\tau\subset \sigma$ of cones induces an open embedding $U_\tau \hookrightarrow ...
Joseph's user avatar
  • 56
1 vote
1 answer
35 views

Loops around torus-invariant divisors on a toric variety

This is going to be a vague question, because I think I have an answer to a question I don't know how to state correctly. So bear with me for a bit, please! Say we have a (smooth, if needed) complex ...
Sergey Guminov's user avatar
1 vote
0 answers
25 views

Clarifying an example for quotient stacks: Whether diagonal is closed substack

In trying to remember an example about quotient stacks, I think I've got something turned around. I am trying to determine whether the diagonal is a closed substack of the (product of) quotient stack(...
locally trivial's user avatar
1 vote
0 answers
67 views

If $S$ is saturated, why is $\mathbb{C}[S]$ integrally closed?

I am trying to understand the following exercise: Let $S \subset M$ be a sub-semigroup of a lattice $M$. If $S$ is saturated in $M$ (meaning that if $p \cdot m \in S$ for $p \in \mathbb{Z}_{\geq 1}$ ...
Daniel's user avatar
  • 5,294
1 vote
1 answer
60 views

If a subcone $\tau \subset \sigma $ induces an open embedding $U_{\tau} \hookrightarrow U_{\sigma}$, then $\tau$ is a face of $\sigma$.

An exercise from Fulton's 'Introduction Toric Varieties' asks the reader to prove that if $\tau \subset \sigma$ is a rational polyhedral subcone of a rational polyhedral cone $\sigma$, so that the ...
Daniel's user avatar
  • 5,294
1 vote
0 answers
77 views

Intersection of divisor and curve on a subvariety

Let $X$ be a normal $\mathbb Q$-factorial variety (irreducible) over an algebraically closed field $k$ of characteristic $0$. Let $D\subseteq X$ be an irreducible divisor (which must be $\mathbb Q$-...
Dave's user avatar
  • 13.6k
1 vote
0 answers
71 views

criteria for when the total space of a vector bundle over a toric variety is a toric variety itself

notice that this is not the same as being a toric vector bundle. also, i'm not interested in the projectivization. rather, i'm perfectly fine working with smooth quasi-projective toric varieties. ...
jj_p's user avatar
  • 2,370
2 votes
1 answer
114 views

Principal bundle (or torsor) for a diagonalizable group over a torus

Let $T$ be an algebraic torus and $G$ a diagonalizable group; both are over an algebraically closed field $k$ of characteristic $0$ (take $k=\mathbb C$, if you like). I am trying to understand ...
Dave's user avatar
  • 13.6k
1 vote
1 answer
174 views

Projection of rational normal curve is still a rational normal curve (of smaller degree)?

We work over $\mathbb{C}$. Let us define the rational normal curve of degree $d$ as the image of the morphism $$\nu_d:\mathbb{P}^1\to \mathbb{P}^d,\quad [x:y]\mapsto [x^d:x^{d-1}y:\ldots:xy^{d-1}:y^d]....
mathstudent's user avatar
0 votes
0 answers
33 views

How to see this assertion about coordinate rings and a localisations

I am studying 'The Homogeneous Coordinate Ring of a Toric Variety' by David Cox, and in the proof of his theorem 2.1 he defines $U_\sigma := \{x\in \mathbb{C}^{\Sigma(1)} : x^{\hat{\sigma}}\neq0\}$ ...
Tom White's user avatar
1 vote
0 answers
44 views

Conditions for evaluation morphisms $H^{0}(X, -K_X) \rightarrow k^n$ to be surjective.

Suppose I have a projective toric variety $X = X(N)$ (over a field $k$) associated to a polytope $N$, and I have $p_1,...,p_n \in D$ generically chosen points in the toric boundary $D$ of $X$. I am ...
Evgeny T's user avatar
  • 1,401
2 votes
0 answers
94 views

Chow group of disjoint union

I have a disjoint union of open sets $U_1,..., U_k$ on a variety $X$. In Fultons "Introduction to toric varieties", he used $X=X_\Sigma$ a toric variety and $U_i=\mathcal{O}(\sigma_i)$ ...
LegNaiB's user avatar
  • 2,757
1 vote
0 answers
44 views

What is wrong with this proof of $\operatorname{Cl}(X_\Sigma) \simeq \mathbb{Z}^{r-n}$?

This question is a bit urgent, as I have written this in my Master's thesis and I have to submit it next week! Proposition: Let $X_\Sigma$ be a toric variety without torus factors, meaning that the ...
LegNaiB's user avatar
  • 2,757
2 votes
1 answer
129 views

Why is for an open subset $U\subset X$ of a variety the field of rational functions equal, i.e. $\mathbb{C}(U)=\mathbb{C}(X)$?

Given any variety $X$, we can get the field of rational functions $\mathbb{C}(X)$. If we take any non-empty open subset of $U$, we get another field of rational fractions $\mathbb{C}(U)$. These fields ...
LegNaiB's user avatar
  • 2,757
3 votes
0 answers
104 views

Drawing the toric diagram for $\mathcal{L}^{m} \rightarrow T^{2}$ geometries.

I'm having some problems to understand the geometry involved in the section 3.1 of the paper Two Dimensional Yang-Mills, Black Holes and Topological Strings. Concretely, I was wondering to know if it ...
Ramiro Hum-Sah's user avatar
1 vote
0 answers
95 views

Intersection multiplicity on toric varieties using simplicial cones

In the book "Introduction to toric varieties" by William Fulton (p. 100) there is a formula for the intersection product of two subvarieties. Let $\tau,\sigma$ be cones in the fan $\Delta$, ...
LegNaiB's user avatar
  • 2,757
4 votes
0 answers
206 views

How does gluing of affine patches of toric varieties at the examples $\mathbb{P}^2$ and $\mathcal{H}_r$ work?

I don't fully understand how the gluing of the affine parts of a toric variety exactly works. I have a hard time developing a common sense or any intuition how to tell the result of a gluing morphism ...
LegNaiB's user avatar
  • 2,757
1 vote
1 answer
170 views

Chow group of UFD is trivial?

In literature I saw the word "Chow group problem" coming up, questioning under what conditions the Chow Group is trivial ($=0$). In general this seems to be quite a difficult question. What ...
LegNaiB's user avatar
  • 2,757
1 vote
0 answers
72 views

Which blowups are toric?

I am interested in blowups of normal toric varieties (i.e. toric varieties which come from a fan $\Sigma$). I know that blowups along torus-invariant closed subvarieties $V(\sigma), \sigma \in\Sigma$ ...
vale80's user avatar
  • 11
2 votes
2 answers
354 views

A semigroup $\mathbb{N}\mathcal{A}$ is saturated in $M$ if and only if $\mathbb{N}\mathcal{A}=\text{Cone}(\mathcal{A})\cap M$

I'll first recall some definitions here for convenience. Given a finite set $S$ in a real vector space $V$, $$\text{Cone}(S)=\{\sum\limits_{u\in S} \lambda_u u\mid \lambda_u\geq 0\}.$$ An affine ...
Nathan Lowry's user avatar
2 votes
1 answer
439 views

Simplicial Toric Varieties

I am trying to solve an exercise in the well known book "Toric Varieties" by Cox, Little and Schenck: Prop $4.2.7$: Let $X_\Sigma$ be the toric variety of the fan $\Sigma$. Then the ...
Vasco1008's user avatar
  • 307
0 votes
1 answer
397 views

A basis for the Picard group of the blow up at $\mathbb{P}^2$ at two points

(Toric) Intro: (Superflous, just to consider the initial data) From a toric point of view, the blow up of $\mathbb{P}^2$ at two points (which we can assume are $[0:1:0]$ and $[0:0:1]$ is given by a ...
user avatar
2 votes
2 answers
364 views

Couple of questions about Picard group of $\mathbb{C}^*$

I'd like to compute the Picard group of $\mathbb{P}^n\times \mathbb{C}^*$. So using toric geometry I've easily found $\text{Cl}(\mathbb{P}^n\times \mathbb{C}^*)\simeq \text{Cl}(\mathbb{P}^n)\oplus\...
user avatar
3 votes
0 answers
148 views

How can I determine whether my variety is toric or not?

Assume throughout that $X$ is a normal rational variety over $\mathbb{C}$. Is there a way to determine whether or not $X$ is a toric variety? I am particularly interested in the following examples. 1)...
Michael Chitayat's user avatar
1 vote
1 answer
255 views

Rational Normal Cone of degree d

Consider the surface in $\mathbb{C}^{d+1}$ parametrized by the map $$\theta:\mathbb{C}^2\rightarrow\mathbb{C}^{d+1}$$ defined by $(s,t)\rightarrow(s^d,s^{d-1}t,\dots,st^{d-1},t^d)$ And $J_d=\...
haziranyagmur's user avatar
2 votes
0 answers
241 views

Is the cotangent bundle to $P^2$ a toric variety?

Is the cotangent bundle to the complex projective plane, $T^* P^2$, a toric variety? More generally, is there a criterion for when a vector bundle over a toric variety is a toric variety? For example,...
jj_p's user avatar
  • 2,370
1 vote
0 answers
50 views

Two equivalent definitions of fibration structure on toric CY $3$-fold

I've been trying to reconcile two seemingly different definitions of what a toric space is, specifically a toric Calabi-Yau 3-fold. The first definition is from the paper Branes and Toric Geometry, by ...
leastaction's user avatar
2 votes
0 answers
247 views

The idea behind Delzant construction of a toric manifold from a convex polytope

I am trying to understand how to visualize a symplectic toric manifold from its moment polytope, following chapter 29.4 in "Lectures on Symplectic Geometry" by Ana Cannas da Silva: https://people.math....
Mickey's user avatar
  • 700
2 votes
1 answer
291 views

The dual of a regular polyhedral cone is regular

A rational polyhedral cone in $\mathbb{R}^n$ is a set of the form $$\sigma=\{\lambda_1x_1+\dots+\lambda_kx_k\in \mathbb{R}^n\mid \lambda_i\in \mathbb{R}_{\geq 0} \; \;\forall \, 1\leq i\leq k\}$$ for ...
Walter Simon's user avatar
4 votes
0 answers
145 views

What happens with subdivisions of normal fans in Sage?

I've been trying to compute specific subdivisions of a particular 4D complete fan, to try to speed up computations I have started looking into using Sage. The problem I'm having is that I would like ...
Ethan Kowalenko's user avatar
2 votes
0 answers
200 views

Is the quotient of a toric variety by a finite group still toric

Suppose $X$ is a toric variety with fan $\Sigma$, and the lattice of its torus is $N$. Suppose there is a representation of finite group $G$, \begin{equation} \phi:G \rightarrow \text{GL}(N \otimes_{\...
Wenzhe's user avatar
  • 2,697
1 vote
1 answer
722 views

Toric surfaces among rational surfaces

I'm learning about rational surfaces. Precisely, I've just read that all minimal rational projective, smooth surfaces are $\mathbb{P}^2$ and the Hirzebruch surfaces $\mathbb{F}_n$, for $n=0,2,3,\ldots$...
amateur's user avatar
  • 185
1 vote
1 answer
120 views

Recovering data about the toric fan from minimal information

I am a physics grad student studying toric diagrams since they naturally arise in the description of certain gauge theories obtained by compactifying M/F-theory on Calabi-Yau 3-folds. In this context, ...
leastaction's user avatar
3 votes
0 answers
282 views

Question about the relation between the Weierstrass equation and weighted projective space

I am reading a review on Toric Geometry for string theorists by Harald Skarke (arXiv:hep-th/9806059). In section 3, the author says A standard way of describing an elliptic curve is by embedding it ...
leastaction's user avatar
0 votes
1 answer
164 views

When is a projective space smooth from the toric perspective?

I am studying the lecture notes on toric geometry (for physicists) by Bouchard (arxiv:hep-th/0702063) and Skarke (arXiv:hep-th/9806059). In these lecture notes, the authors give the following ...
leastaction's user avatar
2 votes
0 answers
74 views

Determining wall crossings in toric geometry

In toric geometry, we can describe manifolds by specifying a fan, which is roughly a collection of cones (of various dimensions) in an $n$-dimensional lattice. Many topological properties can be ...
diracula's user avatar
  • 1,479
3 votes
0 answers
245 views

Is the nodal curve a toric variety?

Let $k$ be a field with $2 \in k^{\times}$. Set $$A:= k[x,y,z]/(y^{2}z = x^{3}+x^{2}z)$$ and let $X := \operatorname{Proj} A$ be the nodal curve. The normalization of $X$ is a morphism $\pi : \mathbb{...
Minseon Shin's user avatar
  • 3,494
1 vote
1 answer
578 views

Does a strongly convex cone have a unique set of minimal generators?

I am studying toric varieties from the book "Toric Varieties" by Cox, Little and Schenck. They define rays as the edges of a strongly convex cone, $\sigma$. Each ray, $\rho$ has a unique ray generator ...
CEH's user avatar
  • 420
2 votes
0 answers
182 views

twisting sheaf of toric projective bundle

Let $X_{\Sigma} = \mathbb{P}_{X_{\Sigma'}}(\mathcal{L_1}\oplus\mathcal{L_2}),X_{\Sigma'}$ be toric varieties ('good' if it's necessary), $\mathcal{L}_i\in \mathrm{Pic}(X_{\Sigma'})$ and $\pi:X_{\...
qwenty's user avatar
  • 1,540
6 votes
1 answer
2k views

Atiyah flop, flip and related toric computation

I am trying to understand the definitions of flips and flops by studying examples in this article of Hacon and McKernan. I would like to ask why the toric varieties constructed in Ex. 1.13 are indeed ...
L_b's user avatar
  • 684
4 votes
1 answer
720 views

What is the Newton polyhedron of a toric variety?

First of all I want to say that my knowledge of toric geometry is minimal. A paper I'm reading considers a toric variety $X$ and then claims that in its Newton polyhedron, $\Delta(X)$, the fixed ...
user347489's user avatar
  • 1,869
2 votes
1 answer
274 views

Why is this not a cartier divisor?

Consider the lattice $$N=\{(a,b,c)\in\mathbb{Z}^3\mid a+b+c\equiv 0\mod 2\}$$ and the Cone $$\sigma=Cone(e_1,e_e,e_3)\subset N_{\mathbb{R}}\cong \mathbb{R}^3$$ The associated affine toric variety $X_{\...
user2520938's user avatar
  • 7,235
1 vote
0 answers
98 views

toroidal compactifications of moduli spaces of ppav

Are the modular toroidal compactifications of ppav's (second Voronoi) defined by Alexeev without self-intersections? i.e. are the irreducible component of the boundary divisor normal? If not, can one ...
cata's user avatar
  • 231
0 votes
0 answers
26 views

toric variety associated to schur polynomial?

In a Schur polynomial, which is homogeneous, monomials are added with fixed coefficients. Collecting the indices of monomials seems to define a toric data for a projective variety. But the ...
user389127's user avatar
1 vote
0 answers
128 views

Induced map on cohomology from inclusion of toric varieties

Suppose you have an equivariant closed immersion of toric varieties $Y \subset X$, and suppose further that they are both smooth (meaning that the torus of $X$ restricts to the torus on $Y$). Suppose ...
Fredrik Meyer's user avatar
1 vote
1 answer
151 views

Reference for a result in toric geometry

I want to know where I can find the proof of the following theorem : if $X$ is a smooth toric variety, then $H^{\bullet}(X) \cong CH^{\bullet}(X)$. Thanks in advance !
user avatar
3 votes
1 answer
324 views

First Chern class of toric manifolds

I have been reading a Mirror Symmetry monograph, and its physical arguments seem to imply that all toric manifolds have semipositive-definite first Chern class. Is this true, and if yes, how does ...
Meer Ashwinkumar's user avatar
0 votes
0 answers
61 views

What do we know about the set of all fans?

I know the question is not very rigorous, but I have been trying to prove some facts about toric varieties and I think giving this set some structure would be very helpful. So, suppose you fix a ...
svelaz's user avatar
  • 740
1 vote
0 answers
566 views

Relation between fan and toric variety

I understand what a fan is, but I don't really know how it associated to a toric variety. Could a non-toric variety has a fan?
Pierre's user avatar
  • 147