ag.algebraic geometry – Curve with no embedding in a toric surface

I am looking for a smooth proper curve $C$ such that there does not exist any closed embedding $C to S$ where $S$ is a (normal projective) toric surface.

Using the result on p.25 of Harris Mumford, On the kodaira dimension of the moduli space of curves, I can conclude that a very general curve cannot have any such embedding.

However, I am not able to write down an explicit example. Does anyone know such an example or what sort of obstruction might work to check this in particular examples.

ag.algebraic geometry – Gromov-Witten invariants of cocharacter closures in toric varieties


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 admitting a factorization of the form
$$mathbb{C}^times xrightarrow{h} (mathbb{C}^times)^n xrightarrow{iota} X qquad text{where}qquad htext{ is a group homomorphism}$$

Definition. The closure $bar{u}:C to X$ of the cocharacter $u$ is the unique extension of $u$ to a singular toric curve $C$ that commutes with the $mathbb{C}^times$-action on $mathbb{C}^times$ and $C$.

This construction seems pretty natural to me. Furthermore, a cocharacters are abundant since a cocharacter $u$ is equivalent to an element of $mathbb{Z}^n$ via the map
$$a = (a_1,dots,a_n) mapsto u_a qquadtext{with}qquad u_a(z) = (z^{a_1},dots,z^{a_n})$$
However, I am having trouble finding information about these curves. For example, I am interested in the following question.

Question 1. Are there other characterizations of the curves arising from this construction?

I am also interested in the Gromov-Witten theory of these curves. All that I can ask here is the following vague question.

Question 2. Is there some sense in which the curves $bar{u}_a$ has a “non-trivial count in Gromov-Witten theory”?

I’m lookin for an answer like: for each $a in mathbb{Z}^n$, there exists a $0$-dimensional moduli space of stable curves $overline{mathcal{M}}_{g,n}(X,A)$ that naturally includes $bar{u}_a$ (somehow) and where $GW^{X,A}_{g,n} neq 0 in H_0(X)$. This is almost certainly too specific, but anything in this general direction would be great.

ag.algebraic geometry – Distinguishing ample divisors by minimally intersecting curves on a projective simplicial toric variety

My question has an easily formulated generalization, which I will state first. Let $sigma subseteq mathbf{R}^n$ be a strongly convex polyhedral cone. For each minimally generating lattice point $m in sigma^o cap mathbf{Z}^n$ of the interior cone $sigma^o subseteq sigma$, let $S(m) subseteq sigma^{vee} cap mathbf{Z}^n$ denote the set of lattice points $u$ with $langle u,m rangle = 1$. My question is:

Does $S(m) = S(m’)$ imply that $m = m’$?

As a special case, assume that $sigma$ is the nef cone of a simplicial projective toric variety $X_{Sigma}$. Then my question seems to amount to the following:

If $D_1$ and $D_2$ are two ample divisors minimally generating in the ample cone, then does $D_1 cdot C = 1 Leftrightarrow D_2 cdot C = 1$ for all effective curves $C$ imply that $D_1 = D_2$?

This is the case I am most interested in.

ag.algebraic geometry – Toric compactification of toric Calabi-Yau’s

Let $X$ be a toric Calabi-Yau in complex dimension $ngeq 3$. In particular, this means that it is described by some fan $F$ that is spanned by vectors lying in the hyperplane $H_1 = {(x_1,ldots,x_n) in mathbb{R}^n,:, sum^n_{i}x_i = 1}$. We also have that $X$ is smooth.

A toric spin compactification of $X$ is a smooth projective toric variety given by a fan $tilde{F}$ containing $F$, such that the added divisors at infinity correspond to vectors in the union of hyperplanes

$$H_{text{odd}} = bigcup_{kin 2mathbb{Z}+1}H_k,,qquad H_{k} = {(x_1,ldots,x_n)inmathbb{R}^n,:,sum^n_{i=1}x_i = k},.$$

Is it possible to construct an example of $X$ for which there doesn’t exist a toric spin compactification?

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 $.


  • 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.