Questions tagged [toric-varieties]

Toric variety is embedding of algebraic tori.

Filter by
Sorted by
Tagged with
1 vote
0 answers
61 views

Chow ring of simplicial toric varieties

Let $k$ be an algebraically closed field of characteristic zero. Let $X$ be a simplicial toric variety over $k$. In the 2011 book Toric Varieties by Cox, Little and Schenck, there is a theorem that ...
Boris's user avatar
  • 501
2 votes
0 answers
122 views

Cohomology of equivariant toric vector bundles using Klyachko's filtration

I am trying to understand Klyachko's following description of the cohomology groups of locally free (hopefully more generally of reflexive) sheaves on toric varieties. Whereas detailed literature ...
sagirot's user avatar
  • 455
1 vote
0 answers
24 views

Coordinate transformation for 3-dimensional simplicial cone in $\mathbb{R}^3$

Let $k$ be an algebraically closed field and let $\sigma$ be a 3-dimensional simplicial cone in $\mathbb{R}^3$.Let $X$ be the affine toric variety over $k$ associated to the cone $\sigma$, i.e. set $X$...
Boris's user avatar
  • 501
2 votes
0 answers
92 views

Equivariant line bundles over toric variety

Let $X$ be a projective $n$-dimensional toric variety acted by an algebraic torus $T\simeq \mathbb{C}^{\ast n}$. It is well known that any piecewise linear (and integer in some sense) function on ...
asv's user avatar
  • 21.1k
1 vote
1 answer
232 views

Is this toric variety always smooth?

Let $k$ be an algebraically closed field. Let $\sigma$ be a 3-dimensional simplicial cone in $\mathbb{R}^3$ and let $\rho$ be a ray in $\sigma$. Let $U_{\rho}$ be defined as $\operatorname{Spec}(k[\...
Boris's user avatar
  • 501
1 vote
0 answers
150 views

Is this closed subscheme a toric variety?

Let $k$ be an algebraically closed field. Let $\sigma$ be a 3-dimensional simplicial cone in $\mathbb{R}^3$ and let $\rho$ be a ray of $\sigma$. Say $\rho=\sigma\cap H_m$, where $H_m$ is the plane in $...
Boris's user avatar
  • 501
0 votes
0 answers
54 views

existence of moment maps for non-nef toric varieties

The noncompact toric variety $X_1 = \operatorname{Tot} \mathcal{O}(-1) + \mathcal{O}(-1) \to \mathbb{CP}^1$, the total space of the sum of two line bundles over the complex line, is defined as the ...
jj_p's user avatar
  • 533
3 votes
1 answer
201 views

Toric varieties as hypersurfaces of degree (1, ..., 1) in a product of projective spaces

I wonder if some hypersurfaces of multi-degree $(1, ..., 1)$ in a product of projective spaces are toric, with polytope a union of polytopes of toric divisors of the ambient space. This question is ...
Yromed's user avatar
  • 63
1 vote
1 answer
284 views

Three-dimensional analogues of Hirzebruch surfaces

There are several ways of describing a Hirzebruch surface, for example as the blow-up of $\mathbb{P}^2$ at one point or as $\mathbb{P}(\mathcal{O}_{\mathbb{P}^1} \oplus \mathcal{O}_{\mathbb{P}^1}(n))$....
Yromed's user avatar
  • 63
1 vote
0 answers
60 views

Embedding toric varieties in other toric varieties as a real algebraic hypersurface

In the question On a Hirzebruch surface, I've seen that the $n$-th Hirzebruch surface is isomorphic to a surface of bidegree $(n,1)$ in $\mathbb{P}^1\times \mathbb{P}^2$. I am trying to answer the ...
Yromed's user avatar
  • 63
2 votes
0 answers
115 views

Abstract definition of hypertoric varieties

I'm reading Proudfoot's survey on hypertoric varieties. In Section 1.4 he mentioned such a conjecture: Conjecture 1.4.2 Any connected, symplectic, algebraic variety which is projective over its ...
TheWildCat's user avatar
0 votes
0 answers
76 views

How to compute the higher G-theory of the weighted projective space $\mathbb{P}(1,1,m)$ using Mayer-Vietoris sequence?

Let $k$ be an algebraically closed field of characteristic zero. Let $m$ be a positive integer and let $X$ be the weighted projective space $\mathbb{P}(1,1,m)$ over the field $k$.I am trying to ...
Boris's user avatar
  • 501
1 vote
0 answers
113 views

Computing $G$-theory for a 3-dimensional affine simplicial toric variety

Let $k$ be an algebraically closed field of characteristic zero. Let $\sigma$ be the cone in $\mathbb{R}^3$ generated by $e_1,2e_1+e_2,e_1+2e_2+3e_3$. Then it is easy to check that $\sigma$ is a 3-...
Boris's user avatar
  • 501
4 votes
0 answers
167 views

K-theory of toric varieties

Let $X$ be a smooth projective toric variety over $\mathbb{C}$. Is there a good presentation for the K-theory ring $K_0(X)$ in terms of the corresponding fan, analogous to the presentation of the Chow ...
Antoine Labelle's user avatar
3 votes
0 answers
116 views

Computing Grothendieck group of coherent sheaves of affine toric 3-fold from a simplicial cone

Let $k$ be an algebraically closed field of characteristic zero. Let $\sigma$ be a 3-dimensional simplicial cone in $\mathbb{R}^3$. Let $X=\operatorname{Spec}(k[\sigma^{\vee}\cap\mathbb{Z}^3])$ be the ...
Boris's user avatar
  • 501
2 votes
0 answers
47 views

Log discrepancy of a toric exceptional divisor

Let $X$ be a toric singularity determined by a single cone. By taking a partition of the cone we may get a toric resolution of $X$. Question: How can we compute the log discrepancies of the ...
Lineer 's user avatar
  • 478
3 votes
0 answers
86 views

How can one determine the fan of a toric Weil divisor of a complete toric variety?

It's well known that there is a so-called cone-orbit correspondence between the cones in the fan of a toric variety and the orbits of the T-action on the toric variety. My question aims to understand ...
Lineer 's user avatar
  • 478
3 votes
0 answers
53 views

Complex structures compatible with a symplectic toric manifold

Let $(M^{2m},\omega)$ be a compact symplectic manifold with equipped with an effective Hamiltonian torus $\mathbb T^m$ action. Suppose $J_0$ and $J_1$ are two $\mathbb T^m$-invariant compatible ...
Adterram's user avatar
  • 1,361
4 votes
0 answers
106 views

Reference Request: Classification of spherical varieties by "Weyl group invariant fans"

Apologies in advance for the vague question. Let $X$ be a spherical variety with the action of some reductive group $G$. I have been told in conversation several times that such spherical varieties ...
Dcoles's user avatar
  • 51
4 votes
1 answer
135 views

Finitely generated section ring of Mori dream spaces

Set-up: We work over $\mathbb{C}$. Let $X$ be a Mori dream space. Define, following Hu-Keel, the Cox ring of $X$ as the multisection ring $$\text{Cox}(X)=\bigoplus_{(m_1\ldots,m_k)\in \mathbb{N}^k} \...
OrdinaryAttention's user avatar
1 vote
0 answers
135 views

References/applications/context for certain polytopes

First, let's consider an almost trivial notion. With any subspace $V\subset \mathbb R^n$ we associate a convex polytope $P(V)\subset V^*$ as follows. Each of the $n$ coordinates in $\mathbb R^n$ is a ...
Igor Makhlin's user avatar
  • 3,493
1 vote
0 answers
66 views

Zariski Cancellation and Toric Varieties, why isn't this affine variety toric?

The Zariski cancellation problem asks the following. If $ Y $ is a variety such that $ Y \times \mathbb{A}^{1}_{k} \cong \mathbb{A}^{n+1}_{k} $, then is $ Y $ isomorphic to $ \mathbb{A}^{n}_{k} $? ...
Schemer1's user avatar
  • 789
0 votes
1 answer
47 views

Holomorphic cyclic action on smooth toric manifold extends to C^* action?

Let $Z_n$ be a homological trivial cyclic action on a smooth toric manifold compatible with the complex structure, the does it extends to a C^* action?
user56890's user avatar
2 votes
0 answers
91 views

Minimal model program for toroidal pairs

Suppose $(X, \Delta)$ be a toroidal pair over $Z$ where $f:(X, \Delta) \rightarrow (Z, \Delta_Z)$ is a toroidal morphism (see https://arxiv.org/pdf/alg-geom/9707012.pdf sections 1.2, 1.3 for the ...
anonymous's user avatar
  • 335
0 votes
1 answer
163 views

How to compute the $G$-theory of the weighted projective space $\mathbb{P}(1,1,2)$?

Let $k$ be an algebraically closed field of characteristic zero. Let $\Sigma$ be the fan in $\mathbb{R}^2$ consisting of three cones, cone generated by $e_1,e_2$,cone generated by $e_2,-e_1-2e_2$ and ...
Boris's user avatar
  • 501
2 votes
0 answers
73 views

How to estimate the locus of non-zero cohomology for a equivariant toric reflexive sheaf, with a Klyachko description

I am trying to analyze Macaulay2 package "ToricVectorBundles". The package deals with equivariant reflexive sheaves on complete toric varieties. Such a sheaf is described by a set of ...
Maciej Gałązka's user avatar
3 votes
0 answers
127 views

Inverse image Weil divisor on a toric variety as a Cartier divisor

Let $X$ be a normal toric variety over an algebraically closed field and let $D$ be a torus invariant (prime) divisor. Assume $\pi\colon \tilde{X}\rightarrow X$ is a toric resolution of singularities ...
Boaz Moerman's user avatar
2 votes
1 answer
178 views

Is a toric variety over a field of positive characteristic complete if and only if the support is all of $ N_{\mathbb{R}} $?

In Cox, Little and Schenck's book Toric Varieties they show that a toric variety $ X_{\Sigma} $ over a field of characteristic zero is complete if and only if the support is all of $ N_{\mathbb{R}} $. ...
Schemer1's user avatar
  • 789
2 votes
0 answers
92 views

Kouchnirenko's theorem for non-generic polynomials

In Polyèdres de Newton et nombres de Milnor (Theorem 1.18), Kouchnirenko proved that given Laurent polynomials $f_1, \dotsc, f_k$ in $k$ variables, the number of isolated solutions is less than or ...
Cubikova's user avatar
  • 305
1 vote
0 answers
55 views

Singularities of toric pairs

Suppose $(X,B)$ is a log canonical pair and $f: X \rightarrow Y$ an equidimensional toroidal contraction such that every component of $B$ is $f$ -horizontal. Let $\Gamma$ denote the reduced ...
anonymous's user avatar
  • 335
5 votes
0 answers
161 views

Strong factorisation conjecture for toric varieties

In this survey is remarked (see page 6 after Example 1.12) that to prove the Conjecture 1.10 (Strong factorisation). Let $\phi: X \dashrightarrow Y $ be a birational map between two quasi-projective ...
user267839's user avatar
  • 5,938
4 votes
1 answer
136 views

Approximation of convex bodies by polytopes corresponding to smooth toric varieties

Let $P\subset \mathbb{R}^n$ be an $n$-dimensional polytope with rational vertices. There is a well known construction which produces an $n$-dimensional algebraic variety $X_P$ called toric variety. In ...
asv's user avatar
  • 21.1k
1 vote
0 answers
45 views

Is there some kind of construction of a "canonical unirational variety" like the one for toric varieties?

Toric varieties in some sense a "canonical rational variety" in that one can construct them from purely combinatorial data and this combinatorial data makes it possible to turn many ...
Schemer1's user avatar
  • 789
2 votes
2 answers
149 views

If $ Z $ is an $ n $-dimensional, projective variety, containing $ \mathbb{G}_{m}^{n} $, what is the obstruction to $ Z $ being toric?

Let $ Z $ be an $ n $-dimensional, projective, variety, over a field of arbitrary characteristic and let $ \iota: \mathbb G_{m}^{n} \to Z $ be a morphism such that for any $ z \in Z $, the fibre $ \...
Schemer1's user avatar
  • 789
2 votes
0 answers
165 views

How to compute the $G$-theory of this simplicial toric surface?

Let $k$ be an algebraically closed field of characteristic zero. Let $\sigma_0$ be the cone in $\mathbb{R}^2$ generated by $e_1,e_2$.And let $\sigma_1$ be the cone in $\mathbb{R}^2$ generated by $e_2,-...
Boris's user avatar
  • 501
7 votes
0 answers
256 views

Cohomology of fibers of a morphism of a blowup of affine space

Consider $\mathbb A^n$ and let $\Sigma$ be a subdivision of its toric fan $\mathbb R^n_{\geq 0}$. This induces a toric blowup $\pi : Y \to \mathbb A^n$. Let $X \subseteq Y$ be the preimage of the ...
Leo Herr's user avatar
  • 1,084
1 vote
0 answers
59 views

Polytope of a projected toric variety

I was looking for such a result in the book by Cox, Little and Schenck but I'm not able to find a proper reference. All of the following requirements are tacitly assumed to be in the projective ...
gigi's user avatar
  • 1,333
7 votes
3 answers
1k views

Has anyone researched additive analogues of toric geometry in characteristic zero?

One definition of an $ n $-dimensional toric variety is that it is a variety $ Z $ for which there exists an equivariant embedding of $ \mathbb{G}_{m}^{n} $ as a Zariski dense, open sub-variety of $ Z ...
Schemer1's user avatar
  • 789
1 vote
0 answers
53 views

Facets of polytopes and toric morphisms

To every convex lattice polytope $P$ is associated a toric variety $X_P$, which can be realized as a projective variety. Consider a facet $f$ of $P$, i.e. a codimension one boundary of the polytope. ...
giulio bullsaver's user avatar
2 votes
1 answer
201 views

Why are symplectic toric varieties projective?

Let $X$ be a symplectic toric manifold meaning a compact symplectic manifold $(X, \omega)$ with $\dim{X} = 2n$ equipped with a Hamiltonian action of a maximal-dimension torus $\mathbb{T} = (\mathbb{S}^...
Ben C's user avatar
  • 3,226
3 votes
0 answers
100 views

What sort of spaces show up as intersection complexes of toric degenerations of Calabi-Yau Varieties?

Roughly, a toric degeneration is a proper flat family $f:\mathcal{X}\to D$ of relative dimension $n$ with the properties that $\mathcal{X}_t$ is an irreducible normal Calabi-Yau and $\mathcal{X}_0$ is ...
EJAS's user avatar
  • 181
2 votes
0 answers
200 views

Toric decomposition of multipartitions

Fix $k \in \mathbb Z_{>0}$. By a $k$-multipartition $\lambda=(\lambda_1,\dots,\lambda_k)$ of $N$, I mean that each $\lambda_i$ is a partition of some $N_i$ and $\sum N_i = N$. Let's call $\lambda$ ...
user147163's user avatar
1 vote
0 answers
98 views

Seeing $\mathbb{CP}^2 \mathbin\# \overline{\mathbb{CP}^2}$ as a symplectic reduction of different manifolds

I have been reading the paper "Remarks on Lagrangian intersections on toric manifolds" by Abreu and Macarini, which gives several non-displaceability results by avoiding the use of ...
Someone's user avatar
  • 761
1 vote
1 answer
64 views

Does there exist a point $ x $ of an affine toric variety $ U_{\sigma} $ such that $ x $ is not compatibly split?

A variety $ X $ is $ F $-split if there exists an $ \mathcal{O}_{X} $-linear map $ \phi: F_{\ast}(\mathcal{O}_{X}) \to \mathcal{O}_{X} $ such that $ \phi \circ F^{\sharp} = \operatorname{id}_{\mathcal{...
Schemer1's user avatar
  • 789
2 votes
0 answers
87 views

When is a smooth point of a projective, simplicial, toric variety $ X_{\Sigma} $ compatibly $ F $-split?

A variety $ X $ is $ F $-split if there exists an $ \mathcal{O}_{X} $-linear map $ \phi: F_{\ast}(\mathcal{O}_{X}) \to \mathcal{O}_{X} $ such that $ \phi \circ F^{\sharp} = \operatorname{id}_{\mathcal{...
Schemer1's user avatar
  • 789
0 votes
0 answers
70 views

How to compute the multiplicity of a strongly convex, rational, polyhedral cone $ \sigma $?

In David Cox, John Little and Hal Schenck's book Toric Varieties page 302, Chapter 6, Section 4, Proposition 6.4.4, the authors state the following proposition. If $ \Sigma $ is a simplicial fan of ...
Schemer1's user avatar
  • 789
3 votes
0 answers
208 views

When is a wonderful compactification a toric variety?

Given a (projective) hyperplane arrangement $\mathcal{A}$ in $\mathbb{C}^n$, in which we assume the intersection of all hyperplanes is $0$, and a building set $G$, De Concini and Procesi define the ...
Aidan's user avatar
  • 480
2 votes
0 answers
137 views

Line bundles on toric varieties associated to Weyl chamber

I am interested in studying toric varieties associated to the fan of Weyl chambers. General information would be best but I am also interested in the specific case of the Weyl chamber of $\mathfrak{sl}...
Merrick Cai's user avatar
3 votes
1 answer
110 views

What is the subdivision corresponding to the blowup of a toric divisor of a singular toric variety?

Let $X$ be an affine toric variety corresponding to the cone $\sigma$. If $X$ is smooth, blowups of toric strata correspond to star subdivisions of $\sigma$. Suppose that $X$ is singular and let $D \...
Evgeny Goncharov's user avatar
2 votes
0 answers
109 views

Does one only need to look at torus invariant curves to calculate the Seshadri constant for a point of a toric variety?

If $ X $ is an irreducible projective variety, $ L $ is a Nef divisor on $ X $, $ x $ is a point of $ X $, and $ \pi: \operatorname{Bl}_{x}(X) \to X $ is the natural projection morphism, then the ...
Schemer1's user avatar
  • 789

1
2 3 4 5
7