Related papers: Harbourne, Schenck and Seceleanu's Conjecture

Let A be a standard graded Artinian algebra over a field of characteristic zero and let z be a linear form in A. We define the central simple modules for each such pair (A, z). Assume that A is Gorenstein. Then we prove that A has the…

We introduce a family of standard bigraded binomial Artinian Gorenstein algebras, whose combinatoric structure characterizes the ones presented by quadrics. These algebras provide, for all socle degree grater than two and in sufficiently…

We provide suitable conditions under which the asymptotic limit of the Hilbert-Samuel coefficients of the Frobenius powers of an $\mathfrak{m}$-primary ideal exists in a Noetherian local ring $(R,\mathfrak{m})$ with prime characteristic…

Let $A$ be a unital associative ring and let $T^{(k)}$ be the two-sided ideal of $A$ generated by all commutators $[a_1, a_2, \dots , a_k]$ $(a_i \in A)$ where $[a_1, a_2] = a_1 a_2 - a_2 a_1$, $[a_1, \dots , a_{k-1}, a_k] = \bigl[ [a_1,…

Recently, motivated by supersymmetric gauge theory, Cachazo, Douglas, Seiberg, and Witten proposed a conjecture about finite dimensional simple Lie algebras, and checked it in the classical cases. Later V. Kac and the author proposed a…

When $I$ is the radical homogeneous ideal of a finite set of points in projective $N$-space, ${\bf P}^N$, over a field $K$, it has been conjectured that $I^{(rN-N+1)}$ should be contained in $I^r$ for all $r\geq 1$. Recent counterexamples…

Fix a codimension $r$ and a socle-vector $s$. Is there an (entry by entry) maximal $h$-vector $h$ among the $h$-vectors of all the (standard graded artinian) algebras having data $(r,s)$? Extending a definition of Iarrobino, if such an $h$…

We study the WLP and SLP of artinian monomial ideals in $S=\mathbb{K}[x_1,\dots ,x_n]$ via studying their minimal free resolutions. We study the Lefschetz properties of such ideals where the minimal free resolution of $S/I$ is linear for at…

Consider integers $k,\ell$ such that $0\le \ell \le \binom{k}2$. Given a large graph $G$, what is the fraction of $k$-vertex subsets of $G$ which span exactly $\ell$ edges? When $G$ is empty or complete, and $\ell$ is zero or…

Frankl and F\"uredi conjectured in 1989 that the maximum Lagrangian of all $r$-uniform hypergraphs of fixed size $m$ is realized by the minimum hypergraph $C_{r,m}$ under the colexicographic order. In this paper, we prove a weaker version…

The symbolic powers $I^{(n)}$ of a radical ideal $I$ in a polynomial ring consist of the functions that vanish up to order $n$ in the variety defined by $I$. These do not necessarily coincide with the ordinary algebraic powers $I^n$, but it…

The long-standing Alekseevskii conjecture states that a connected homogeneous Einstein space G/K of negative scalar curvature must be diffeomorphic to R^n. This was known to be true only in dimensions up to 5, and in dimension 6 for…

We show that the uniform Littlewood Conjecture (ULC) recently introduced by Bandi, Fregoli and Kleinbock is false. More precisely the counterexamples form a residual set, the method further suggests positive Hausdorff dimension. For a…

Let $S = K[x_1,..., x_n]$ be a polynomial ring over a field $K$. Let $I(G) \subseteq S$ denote the edge ideal of a graph $G$. We show that the $\ell$th symbolic power $I(G)^{(\ell)}$ is a Cohen-Macaulay ideal (i.e., $S/I(G)^{(\ell)}$ is…

Let $k\geq 2$ and $\mathcal{P} (n) = (A_1 n + B_1 ) \cdots (A_k n + B_k)$ where all the $A_i, B_i$ are integers. Suppose that $\mathcal{P} (n)$ has no fixed prime divisors. For each choice of $k$ it is known that there exists an integer…

For positive integers $s$ and $L \geq 3$, Berkovich and Uncu (Ann. Comb. $23$ ($2019$) $263$--$284$) conjectured an inequality between the sizes of two closely related sets of partitions whose parts lie in the interval $\{s, \ldots, L+s\}$.…

Lefschetz properties and inverse systems have played key roles in understanding the $h$-vector of simplicial spheres. In 1996, Lee established connections between these two algebraic tools and rigidity theory, an area often used in the…

A conjecture of Erd\H{o}s states that for any infinite set $A \subseteq \mathbb R$, there exists $E \subseteq \mathbb R$ of positive Lebesgue measure that does not contain any nontrivial affine copy of $A$. The conjecture remains open for…

We generalize the classical theorem by Jarnik and Besicovitch on the irrationality exponents of real numbers and Hausdorff dimension. Let a be any real number greater than or equal to 2 and let b be any non-negative real less than or equal…

A long-standing conjecture of Erd\H{o}s and Simonovits asserts that for every rational number $r\in (1,2)$ there exists a bipartite graph $H$ such that $\ex(n,H)=\Theta(n^r)$. So far this conjecture is known to be true only for rationals of…