Related papers: Toric splittings

Let $I \subseteq R = \mathbb{K}[x_1,\ldots,x_n]$ be a toric ideal, i.e., a binomial prime ideal. We investigate when the ideal $I$ can be "split" into the sum of two smaller toric ideals. For a general toric ideal $I$, we give a sufficient…

Let $I_A \subset K[x_1,\ldots,x_n]$ be a toric ideal. In this paper, we provide a necessary and sufficient condition for the toric variety $V(I_A)$, over an algebraically closed field, to be expressed as the set-theoretic intersection of…

Let $G$ be a simple graph on the vertex set $\{v_{1},\ldots,v_{n}\}$. An algebraic object attached to $G$ is the toric ideal $I_G$. We say that $I_G$ is subgraph splittable if there exist subgraphs $G_1$ and $G_2$ of $G$ such that…

Given two toric ideals $I_1,I_2\subset\si$, it is not always true that $I_1+I_2$ is a toric ideal. Given $I_1,...,I_k\subset\si$ a familly of toric ideals we give necessary conditions in order to have that $I_1+...+I_k$ is a toric ideal.

Assume that $X$ is an affine toric variety of characteristic $p > 0$. Let $\Delta$ be an effective toric $Q$-divisor such that $K_X+\Delta$ is $Q$-Cartier with index not divisible by $p$ and let $\phi_{\Delta}:F^e_* O_X \to O_X$ be the…

We present examples which show that in dimension higher than one or codimension higher than two, there exist toric ideals I_A such that no binomial ideal contained in I_A and of the same dimension is a complete intersection. This result has…

A permutation class $C$ is said to be splittable if there exist two proper subclasses $A, B \subsetneq C$ such that any $\sigma \in C$ can be red-blue colored so that the red (respectively, blue) subsequence of $\sigma$ is order isomorphic…

Let I be the toric ideal defined by a 2 x n matrix of integers, A = ((1 1 ... 1)(a_1 a_2 ... a_n)) with a_1<a_2<...<a_n. We give a combinatorial proof that I is generated by elements of degree at most the sum of the two largest differences…

Given a set $\mathcal A = \{a_1,\ldots,a_n\} \subset \mathbb{N}^m$ of nonzero vectors defining a simplicial toric ideal $I_{\mathcal A} \subset k[x_1,...,x_n]$, where $k$ is an arbitrary field, we provide an algorithm for checking whether…

The slack ideal of a polytope is a saturated determinantal ideal that gives rise to a new model for the realization space of the polytope. The simplest slack ideals are toric and have connections to projectively unique polytopes. We prove…

Let $I_M$ and $I_N$ be defining ideals of toric varieties such that $I_M$ is a projection of $I_N$, i.e. $I_N \subseteq I_M$. We give necessary and sufficient conditions for the equality $I_M=rad(I_N+(f_1,...,f_s))$, where $f_1,...,f_s$…

Tropical ideals, introduced in arXiv:1609.03838, define subschemes of tropical toric varieties. We prove that the top-dimensional parts of their varieties are balanced polyhedral complexes of the same dimension as the ideal. This means that…

Associated to any graph is a toric ideal whose generators record relations among the cuts of the graph. We study these ideals and the geometry of the corresponding toric varieties. Our theorems and conjectures relate the combinatorial…

An ideal I of a commutative ring R is said to be irreducible if it cannot be written as the intersection of two larger ideals. A proper ideal I of a ring R is said to be strongly irreducible if for each ideals J, K of R, J\cap K\subseteq I…

Let $\mathcal A$ be a simple, $\sigma$-unital, non-unital, non-elementary C*-algebra and let $I_{min}$ be the intersection of all the ideals of $\mathcal M(\mathcal A)$ that properly contain $\mathcal A$. $I_{min}$ coincides with the ideal…

A simple formula computing the multiplier ideal of a monomial ideal on an arbitrary affine toric variety is given. Variants for the multiplier module and test ideals are also treated.

We investigate conditions under which a two-dimensional complex semi-torus splits into a direct product of C^* and a one-dimensional compact complex torus.

We indicate a way of distinguishing between structures, for which, two structures are said to be separable.Being separable implies being non-isomorphic. We show that for any first order theory $T$ in a countable language, if it has an…

Extending the notion of indispensable binomials of a toric ideal, we define indispensable monomials of a toric ideal and establish some of their properties. They are useful for searching indispensable binomials of a toric ideal and for…

It is shown that up to dimension four, the toric ideal of a quiver polytope is generated in degree two, with the only exception of the four-dimensional Birkhoff polytope. As a consequence, B{\o}gvad's conjecture holds for quiver polytopes…