arXiv++ Combinatorics

We present an explicit construction of a minimal cellular resolution for the edge ideals of forests, based on discrete Morse theory. In particular, the generators of the free modules are subsets of the generators of the modules in the Lyubeznik resolution. This procedure allows to ease the computation of the graded Betti numbers and the projective dimension.

Let $X$ be a matrix with entries in a polynomial ring over an algebraically closed field $K$. We prove that, if the entries of $X$ outside some $(t \times t)$-submatrix are algebraically dependent over $K$, the arithmetical rank of the ideal $I_t(X)$ of $t$-minors of $X$ drops at least by one with respect to the generic case; under suitable assumptions, it drops at least by $k$ if $X$ has $k$ zero entries. This upper bound turns out to be sharp if $\mathrm{char}\, K=0$, since it then coincides with the lower bound provided by the local cohomological dimension.

We prove that, for the edge ideal of a cactus graph, the arithmetical rank is bounded above by the sum of the number of cycles and the maximum height of its associated primes. The bound is sharp, but in many cases it can be improved. Moreover, we show that the edge ideal of a Cohen-Macaulay graph that contains exactly one cycle or is chordal or has no cycles of length 4 and 5 is a set-theoretic complete intersection.

We prove that, for the edge ideal of a graph whose cycles are pairwise vertex-disjoint, the arithmetical rank is bounded above by the sum of the number of cycles and the maximum height of its associated primes.

We give an almost complete classification of empty lattice simplices in dimension 4 using the conjectural results of Mori-Morrison-Morrison, later proved by Sankaran and Bober. In particular, all of these simplices correspond to cyclic quotient singularities, and all but finitely many of them have width bounded by 2.

In this paper we give an additive representation of the factorial, which can be proven by a simple quick analytical argument. We also present some generalizations, which are linked, on the one hand to an arithmetical theorem proven by Euler (decomposition of primes as the sum of two squares), and, on the other hand, to modern combinatorics (Stirling numbers).

We show that for the edge ideals of a certain class of forests, the arithmetical rank equals the projective dimension.

We determine the arithmetical rank of every edge ideal of a Ferrers graph.