Related papers: Complete intersections in simplicial toric varieti…
A group $G$ is said to be intersection-saturated if for every strictly positive integer $n$ and every map $c\colon \mathcal{P}(\{1,\dots, n\})\setminus \emptyset \rightarrow \{0,1\}$, one can find subgroups $H_1,\dots, H_n\leq G$ such that…
Monomial ideals and toric rings are closely related. By consider a Grobner basis we can always associated to any ideal $I$ in a polynomial ring a monomial ideal ${\rm in}_\prec I$, in some special situations the monomial ideal ${\rm…
A toral algebraic set $A$ is an algebraic set in $\C^n$ whose intersection with $\T^n$ is sufficiently large to determine the holomorphic functions on $A$. We develop the theory of these sets, and give a number of applications to function…
The class of nil-essential ideals is a generalisation of the class of essential ideals. Every nil-essential ideal of a reduced ring is essential. Therefore the intersection of all nil-essential ideals over a reduced ring $R$ is the socle of…
Given an ordered sequence of $N$-choose-2 integers, we give necessary and sufficient conditions to have an ordered collection of $N$ simple closed curves on a torus such that the algebraic pairwise intersections of those curves are the…
A subset $A$ of $[n] = \{1, \dots, n\}$ is $k$-separated if, when the elements of $[n]$ are considered on a circle, between any two elements of $A$ there are at least $k$ elements of $[n]$ that are not in $A$. A family $\mathcal{A}$ of sets…
A family of vectors $A \subset [k]^n$ is said to be intersecting if any two elements of $A$ agree on at least one coordinate. We prove, for fixed $k \ge 3$, that the size of a symmetric intersecting subfamily of $[k]^n$ is $o(k^n)$, which…
Let $m>1$ be an integer, and let $I(\mathbb{Z}_m)^*$ be the set of all non-zero proper ideals of $\mathbb{Z}_m$. The intersection graph of ideals of $\mathbb{Z}_m$, denoted by $G(\mathbb{Z}_m)$, is a graph with vertices $I(\mathbb{Z}_m)^*$…
The aim of this paper is to study the topological properties of algebraic sets with zero divisors. We impose a subbasic topology on the set of proper ideals of a $k$-algebra and this new ``$k$-space'' becomes a generalization of the…
Let $A$ denote an affine algebra over an algebraically closed field $k$, with $\dim A=d\geq 3$. In the light of availability of cancellation theorems for stably free modules $P$ with $rank(P)=d-1$ (corank one), we try to implement the…
Let R be a complete discrete valuation ring with algebraically closed residue field k and fraction field K. Let X_K be a projective smooth and geometrically connected scheme over K. N\'eron defined a canonical pairing on X_K between…
We show that any set of distinct homotopy classes of simple closed curves on the torus that pairwise intersect at most $k$ times has size $k + O(\sqrt{k} \log k)$. Prior to this work, a lemma of Agol, together with the state of the art…
In this article we prove that every toric ideal associated with a gap-free graph $G$ has a squarefree lexicographic initial ideal. Moreover, in the particular case when the complementary graph of $G$ is chordal (i.e. when the edge ideal of…
Quasi algebraically closed fields, or $C_1$ fields, are defined in terms of a low degree condition. Namely, the field $K$ is $C_1$ if every degree $d$ hypersurface of the projective space $\mathbb{P}_K^n$ contains a $K$-point as soon as…
Let G be a finite simple graph. In this paper we will show that the binomial edge ideal of G, JG is toric if and only if each connected component of G is complete and in this case it is the sum of toric ideal associated to bipartite…
A non-degenerate toric variety $X$ is called $S$-homogeneous if the subgroup of the automorphism group $\text{Aut}(X)$ generated by root subgroups acts on $X$ transitively. We prove that maximal $S$-homogeneous toric varieties are in…
We consider families of k-subsets of the standard n-set. Two families F, G are said to be cross-intersecting if every member of F has non-empty intersection with every member of G. A family is called non-trivial if the intersection of all…
Nonsingular projective varieties which are both convex and rationally connected are considered. We ask whether such varieties must be algebraic homogeneous spaces G/P. In case X is a complete intersection, an affirmative answer is obtained…
A hypertoric variety is a quaternionic analogue of a toric variety. Just as the topology of toric varieties is closely related to the combinatorics of polytopes, the topology of hypertoric varieties interacts richly with the combinatorics…
Relying on the combinatorial classification of toric ideals using their bouquet structure, we focus on toric ideals of hypergraphs and study how they relate to general toric ideals. We show that hypergraphs exhibit a surprisingly general…