Algebraic geometry ag: Groebner base of an toric ideal

I know about the Toric ideals that is a kind of binomial ideal, that is, generated by $ x ^ u – x ^ v $, where $ Au = Av $ (A is the associated matrix). So, finding all the whole solutions of $ AX = 0 $Can we somehow find the generators of the toric ideal? More specifically, can we determine the basis of Grobner? With the help of whole solutions?

ag.algebraic geometry: special kinds of ideals (for example, toric) that support a faster Buchberger algorithm?

I have heard that the Toric ideals allow Buchberger's algorithm to be considerably accelerated (see Basics of Grobner's Toric ideals, Observation 2,3). My question is twofold:

  • What are the precise theoretical limits of complexity known for Buchberger's algorithm for toric ideals?

  • Are there other kinds of non-trivial ideals on which a grobner base can be calculated efficiently? Can you please provide a reference?

For context, I want to use a grobner base as a way to encode data flow analysis problems in the compiler's construction, so that it allows multiple analyzes to "share" information easily. Therefore, knowing special types of ideals and fast algorithms to calculate your Grobner base would help design specific data flow analysis.

ag algebraic geometry – equivalent cohomology algebra of toric variety

Leave $ X $ be a complex, projective and smooth toric variety of complex dimension $ n $. It is acted by the true bull $ T = (S ^ 1) ^ n $.

Is it true that the $ T $-cohomology equivalent $ H ^ * _ T (X, mathbb {Z}) $ from $ X $ is isomorphic as a graduated algebra for $$ H ^ * (X, mathbb {Z}) otimes H ^ * _ T (pt, mathbb {Z}) simeq H ^ * (X, mathbb {Z}) otimes mathbb {Z } (x_1, points, x_n), $$
where $ x_i $ have grade 2?

Observation. I think I have proof of such isomorphism in the graduate category $ H_T ^ * (pt, mathbb {Z}) $-modules instead of graduated algebras (which seems to be well known).

algebraic geometry ag. – Local toric varieties and tropicalization

Leave $ K $ be a valuable field and consider the ring $ R = K ((x_1, points, x_m)) $ from Laurent's formal series. This is "the germ of the bull in $ 0 $"Is there a theory of" local toric varieties "where $ R $ replace the usual ring $ K (x_1 ^ { pm 1}, dots, x_m ^ { pm 1}) $?

One observation: one easily sees that a necessary condition for a fan to define a local toric variety is that the fan support lies in $ ( mathbb {R} _ { geq 0}) ^ m $. This makes sense, since none of the coordinate functions can have poles near $ 0 $.

The next step would be to tropicalize a subset $ Y $ from $ text {Spec} (R) $, which should give a tropical variety $ Trop (Y) $ inside $ ( mathbb {R} _ { geq 0}) ^ m $. When $ K $ You are given the trivial assessment, $ Trop (Y) $ it must be a fan and any local toric variety whose fan is compatible with $ Trop (Y) $, should give a "compaction" of $ Y $.

It is not clear to me how this should work. Is there any literature on this subject?

ag geometry algebraic: is the limit divisor of a soft projective toric variety a snc splitter?

Leave $ X $ be a soft projective toric variety.
Leave $ T $ be the great bull acting $ X $.
Leave $ D = X backslash T $ be the limit divisor

Question 1. Will $ D_i $ be a soft projective toric variety for each irreducible component of $ D $?

Question 2. Can we replace "soft" with "normal" above?

PD Only on char = 0 field.

ag geometry algebraic: polynomial inlays of toric varieties of polytopes?

Background: Leave $ P $ be an integral polytope, and $ X_P $ The toric variety associated with the normal range.

$ X_P $ It is always projective, because the collection of characters corresponding to the points $ mathbb {Z} ^ n cap P $ together they give an inlay of $ X_P $ in projective space.

However, the dimension of this embedding is the number of integer points, which is generally exponentially large in a reasonable description of $ P $.

Questions:

  • Suppose that $ P $ is given by $ Ax leq b $ in $ mathbb {Q} ^ n $, with $ A in M_ {n times m} ( mathbb {Q}) $ Y $ b in mathbb {Q} ^ n $and that they promised us that $ P $ is integral is there a projective incorporation of $ X_P $ that only requires $ POLY (| A |, | b |) $ bits to specify?
  • There is a family $ A_n, b_n $ such that the minimum dimension of an inlay grows exponentially in $ | A |, | b | $?
  • Are there any polytope parameters (in the sense of parametrized complexity) that control the size of a minimum (and efficiently computable) insert?

I'm deliberately lazy about whether the coding of $ A $ is in binary or unary; Inlays of polynomial or pseudopolinomial size would be interesting for me.

Motivation: I am curious about whether there are polytope parameters that are evident through simple additions of the corresponding toric variety, and that could help with computational problems on the side of the polytope.

For example, if we know that $ X_P $ It is a smooth complete intersection and we have the equations that cut it, we can calculate its Euler characteristic using the formula on page 146 of "About Chern's classes and Euler's characteristic for complete non-singular intersections" by Vicente Navarro Aznar. This would count the number of vertices of $ P $, which is usually a $ # P $ Difficult problem Of course, most polytopes will not provide a smooth toric variety or a complete intersection, and it is very likely that calculating the scale is difficult, so this observation is of limited use.

Anyway, I'm curious to know if we can measure the complexity of the politoe by the complexity of the toric variety as a projective variety. The basic question is whether or not we can efficiently find small inlays in general, hence this question.

abstract algebra: toric variety associated with the cone on a polytope

Leave $ P = [0, m] subset M _ { mathbb {R} ^ 2} $ be the line segment and consider the cone about $ P $.

What is the toric variety of the cone about $ P $?

The point is that I'm not completely sure how to build a cone $ sigma $ of the polytope $ P $. Should it be just the cone generated by $ me_1 $? In which case we would not get the variety $ mathbb {C} times T ^ 1 $, where $ T $ denotes the bull?

What does the "affine variety of the cone of a polytope" really mean? I'm sorry if this question seems too trivial, but I couldn't find any reference that answers this question explicitly.

Reference: Calabi-Yau toric varieties

I am looking for a reference of the following fact:

Leave $ N cong mathbb {Z} ^ n $ a trellis and $ P subset N _ { mathbb {R}} = N otimes _ { mathbb {Z}} mathbb {R} $ a convex lattice polytope. Leave $ P_1, points, P_k $ be soft (all $ P_j $are elementary simplifications) subdivision of $ P $ which consists of convex lattice polytopes and takes the fan $ Sigma $ considering the cones on the faces of the $ P_j $& # 39; s. Then the toric variety $ V _ {Sigma} $ It is a soft Calabi-Yau.

Algebraic geometry ag: Picard groups of toric varieties in positive characteristics

For a toric variety $ X _ {Sigma} $ about the complex numbers associated with a fan $ Sigma $ There is a simple short and exact sequence that calculates the divisor class group. To each dimensional cone $ rho $ in the fan there is a divisor of Weil invariant of the bull $ D _ { rho} $ (which is the closure of the associated bull orbit in $ X _ {Sigma} $) The exact short sequence is
$ M rightarrow bigoplus _ { rho in Sigma (1)} mathbb {Z} cdot D _ { rho} rightarrow text {Cl} (X _ { Sigma}) rightarrow 0 $ (where $ M $ it is the network of characters and the sum in the middle is over all the rays associated with the fan).

This description is based on the correspondence of Orbit Cone which is tested in the book by Cox Little and Schenck (which deals only with toric varieties on $ mathbb {C} $) The proof they present does not directly generalize to the characteristic zero fields and, although I have seen that many theorems move to algebraically closed fields, it is not clear to me that this description does generalize. Leave $ lambda ^ n $ denote the cocaracter associated with $ n $ in the network of characters. For example, correspondence requires that the intersection $ U _ { sigma_1} cap U _ { sigma_2} = U _ { sigma_1 cap sigma_2} $ and this in turn is based on the Proposition that $ n $ is in a cone $ sigma $ If and only if $ lim_ {t rightarrow 0} lambda ^ n (t) $ converges on $ U _ {sigma} $. This seems to make use of the fact that $ mathbb {C} $ It has an appropriate topology.

Is there any example of a soft fan? $ Sigma $ and a finite field $ mathbb {F} $ such that the associated toric variety $ X _ { Sigma, mathbb {F}} $ has a Picard group that is not isomorphic to the Picard group of $ X _ { Sigma, mathbb {C}} $, or it is true that the Picard group in this case only depends on the fan and not on the definition field. Also, what about more than $ bar { mathbb {F}} $?

geometry ag.algebraica: When is the vector beam on the toric variety a toric variety?

Is it true that a set of vectors on a toric variety is also a toric variety if and only if it is divided? If so, how do we show it?

This seems to be the content of a commentary in the Oda Tata lectures on bull inlays, although the language is slightly different, and there is no evidence.