arXiv Science⌕ Search

arXiv subjects

Francesco Navarra

Publications and source records attributed to Francesco Navarra.

At least 19 recordsLinked to original sources

Ideals of 2-minors of nearly determinantal matrices

We introduce nearly determinantal matrices and study their ideals of $2$-minors. We classify nearly determinantal matrices whose ideals of $2$-minors are prime. Furthermore, we characterize those nearly determinantal matrices whose ideals of $2$-minors are prime and Cohen--Macaulay with linear resolutions.

math.AC↗

Palindromic switching rook polynomials and domino-stable collections of cells

Let $\mathcal{P}$ be a finite collection of cells. Two non-attacking rook configurations on $\mathcal{P}$ are switching-equivalent if one can be obtained from the other by a sequence of switches inside rectangles contained in $\mathcal{P}$. The switching rook polynomial of $\mathcal{P}$ enumerates the resulting equivalence classes according to the number of rooks. We characterize the collections of cells whose switching rook polynomial is palindromic. More precisely, we introduce a new combinatorial property, called domino-stability, and we prove that the switching rook polynomial of $\mathcal{P}$ is palindromic if and only if $\mathcal{P}$ is domino-stable.

math.CO↗

Rank identifications in join-meet ideals of thin distributive lattices

Let $L$ be a thin distributive lattice of rank $m+1$, and let $I_L$ be its join-meet ideal in the polynomial ring $S_L$. For $A\subseteq\{1,\dots,m\}$, let $J_A$ be the ideal obtained from $I_L$ by identifying, for every $i\in A$, the variables of the two elements of $L$ of rank $i$. We prove that $J_A$ is prime if and only if $A$ contains no turning rank and does not contain both ranks adjacent to a turning rank. In this case, $S_L/J_A$ is the toric ring obtained from Hibi's parametrization of the Hibi ring of $L$ by identifying suitable pairs of variables, and for an arbitrary $A$ we describe the saturation of $J_A$ as a lattice ideal.

math.AC↗

$t$-Young complexes and squarefree powers of $t$-path ideals

We introduce a new class of simplicial complexes, called \emph{$t$-Young complexes}, arising from Young diagrams and a positive integer~$t$. We show that every $t$-Young complex is either contractible or homotopy equivalent to a wedge of spheres, and a complete characterization of their vertex-decomposability is provided. Interestingly, $t$-Young complexes naturally appear as the Alexander dual complexes of squarefree powers of $t$-path ideals of path graphs. For this family, we use generating functions to obtain an explicit formula for homotopy type. As applications, we determine the projective dimension and the Krull dimension of these squarefree powers.

math.AC↗

Polyocollection ideals and primary decomposition of polyomino ideals

In this article, we study the primary decomposition of some binomial ideals. In particular, we introduce the concept of polyocollection, a combinatorial object that generalizes the definitions of collection of cells and polyomino, that can be used to compute a primary decomposition of non-prime polyomino ideals. Furthermore, we give a description of the minimal primary decomposition of non-prime closed path polyominoes. In particular, for such a class of polyominoes, we characterize the set of all zig-zag walks and show that the minimal prime ideals have a very nice combinatorial description.

math.AC↗

On the Linearity of Squarefree Powers of Edge Ideals

Let $G$ be a graph and $I(G)$ its edge ideal. The $p$-th squarefree power $I(G)^{[p]}$ is the monomial ideal generated by squarefree monomials corresponding to the matchings of size $p$ of $G$. In this paper, we provide a combinatorial characterization of when $I(G)^{[p]}$ is linearly related, i.e., when its first syzygy module is generated by linear forms. Moreover, for a $1$-dimensional flag simplicial complex $Δ$ and its Stanley-Reisner ideal $I_Δ$, which arises as the edge ideal of the complement graph of $Δ$, we describe the shape of the Betti table of $I_Δ^{[p]}$ and we give a combinatorial characterization of when $I_Δ^{[p]}$ has a linear resolution.

math.AC↗

An algebraic study of ideals of weak graph homomorphisms

Let $G$ and $H$ be finite simple graphs and assume that either both are undirected or both are directed. We introduce and study the ideal of weak graph homomorphisms $I_{G\to H}$. We characterize all graphs $G$ and $H$ for which every (equivalently, some) power of $I_{G\to H}$ has a linear resolution. Moreover, unmixedness, Cohen-Macaulayness, projective dimension and Castelnuovo-Mumford regularity of these ideals are studied.

math.AC↗

The Complete Intersection property for binomial ideals of collections of cells

In this paper, we provide a combinatorial characterization of those collections of cells whose inner $2$-minor ideals are complete intersections. More precisely, given a collection of cells $\mathcal C$ and its associated inner $2$-minor ideal $I_{\mathcal C}$, we prove that $I_{\mathcal C}$ is a complete intersection if and only if $\mathcal C$ is a chessboard.

math.AC↗

On the rook polynomial of grid polyominoes

Grid polyominoes form a class of thin polyominoes with one or more holes arranged in a grid-like pattern in the plane. In this paper, we prove that the rook polynomial of grid polyominoes coincides with the h-polynomial of their corresponding coordinate ring. Our approach is based on the theory of simplicial complexes and extends previous results for frame polyominoes, which are special cases of polyominoes with exactly one hole.

math.CO↗

Minimal primes and radicality of ideals generated by adjacent 2-minors

In this paper, we provide a complete description of the minimal primes of ideals generated by adjacent $2$-minors, in terms of the so-called admissible sets and associated lattice ideals. We prove that for these ideals, the properties of being unmixed, Cohen-Macaulay, level, Gorenstein, and complete intersection are equivalent. Moreover, we give a combinatorial characterization of all convex collections of cells satisfying any of these equivalent properties. Finally, we study the radicality of these ideals and derive necessary combinatorial conditions based on minimal non-radical configurations.

math.AC↗

On squarefree powers of simplicial trees

In this article, we study the squarefree powers of facet ideals associated with simplicial trees. Specifically, we examine the linearity of their minimal free resolution and their regularity. Additionally, we investigate when the first syzygy module of squarefree powers of a simplicial tree is generated by linear relations. Finally, we provide a combinatorial formula for the regularity of the squarefree powers of $t$-path ideals of path graphs.

math.AC↗

Switching rook polynomial of collections of cells

We explore the novel connection between rook placements on collections of cells, also known as pruned chessboards, and the algebraic properties of ideals generated by $2$-minors. We design an algorithm to compute the switching rook polynomial of a collection of cells and show that it coincides with the $h$-polynomial of the associated coordinate ring for all collections up to rank 10 and polyominoes up to rank 12. Motivated by this evidence, we conjecture that the correspondence holds in general, and we prove it for certain convex collections of cells by algebraic tools.

math.AC↗

Recent Advances in the Theory of Polyomino Ideals

Polyomino ideals, defined as the ideals generated by the inner $2$-minors of a polyomino, are a class of binomial ideals whose algebraic properties are closely related to the combinatorial structure of the underlying polyomino. We provide a unified account of recent advances on two central themes: the characterization of prime polyomino ideals and the emerging connection between the Hilbert-Poincaré series and Gorensteinness of $K[\mathcal{P}]$ with the classical rook theory. Some further related properties, as radicality, primary decomposition, and levelness are discussed, and a \textit{Macaulay2} package, namely \texttt{PolyominoIdeals}, is also presented.

math.AC↗

Non-simple polyominoes of Kőnig type and their canonical module

We study the Kőnig type property for non-simple polyominoes. We prove that, for closed path polyominoes, the polyomino ideals are of Kőnig type, extending the results of Herzog and Hibi for simple thin polyominoes. As an application of this result, we give a combinatorial interpretation for the canonical module of the coordinate ring of a sub-class of closed path polyominoes, namely circle closed path polyominoes. In this case, we compute also the Cohen-Macaulay type and we show that $K[\mathcal{P}]$ is a level ring.

math.AC↗

On Cohen-Macaulay non-prime collections of cells

In this paper we investigate Cohen-Macaulayness, Gorensteinness and the Hilbert-Poincaré series for some classes of non-prime collections of cells. In particular, we show that all closed path polyominoes are Cohen-Macaulay and we characterize those that are Gorenstein.

math.AC↗

Shellable flag simplicial complexes of non-simple polyominoes

In this article we investigate the shellability of the flag simplicial complexes attached to non-simple and thin polyominoes. As a consequence, we obtain the Cohen-Macaulayness and a combinatorial interepetation of the $h$-polynomial of the related coordinate rings.

math.AC↗

Generalized Numerical semigroups up to isomorphism

A generalized numerical semigroup is a submonoid $S$ of $\mathbb{N}^d$ with finite complement in it. We characterize isomorphisms between these monoids in terms of permutation of coordinates. Considering the equivalence relation that identifies the monoids obtained by the action of a permutation and establishing a criterion to select a representative from each equivalence class, we define some procedures for generating the set of all generalized numerical semigroups of given genus up to isomorphism. Finally, we present computational data and explore properties related to the number of generalized numerical semigroups of a given genus up to isomorphism.

math.CO↗