Searcharxiv⌕ Search

arXiv subjects

Philippe Gimenez

Publications and source records attributed to Philippe Gimenez.

At least 19 recordsLinked to original sources
arXiv2026

Generalized Andr\'asfai graphs and special Betti diagrams of edge ideals

Edge ideals of graphs were introduced by Villarreal in 1990, and have been the subject of many studies since then. In the same year, Fr\"oberg characterized edge ideals with regularity 2 in combinatorial terms. This result was generalized by Fern\'andez-Ramos and Gimenez to regularity 3 for bipartite graphs. A key ingredient in these results is the particular shape of the Betti diagrams of the edge ideals of the graphs obtained after removing a Hamiltonian cycle from either a complete graph $ K_k$ or a complete bipartite graph $K_{k,k}$. In this work, we consider the family of Generalized Andr\'asfai graphs ${\rm GA}(t,k)$ with $t\geq 1 $ and $k \geq 2$. This family extends the families of complete graphs, since $K_{k+1} = {\rm GA}(1,k)$, and complete bipartite $k$-regular graphs, since $K_{k,k} = {\rm GA}(2,k)$. We show that the results known for $ K_k$ and $ K_{k,k}$ can be naturally extended to this family. More precisely, when removing a suitable Hamiltonian cycle from ${\rm GA}(t,k)$, the resulting edge ideal has regularity $t+2$, projective dimension $t(k-2)$ and a Betti diagram exhibiting a generalized version of the same special shape.

math.AC↗
arXiv2026

Castelnuovo-Mumford regularity of toric varieties with at most one singular point

We establish upper bounds for the Castelnuovo--Mumford regularity of the coordinate ring of a simplicial projective toric variety with at most one singular point. In the smooth case, our results recover the bound of Herzog and Hibi [Proc. Amer. Math. Soc. 131 (2003), 2641--2647], and therefore the Eisenbud--Goto bound. Furthermore, when the variety has exactly one singular point and dimension at least $3$, we prove that its regularity also satisfies the Eisenbud--Goto bound. The proof combines combinatorial and homological methods: we study the asymptotic behavior of the sumsets associated to the toric variety and relate it to Castelnuovo--Mumford regularity via a Hochster-like formula.

math.AC↗
arXiv2025

Computational Aspects of the Short Resolution

Let $R:= \Bbbk[x_1,\ldots,x_{n}]$ be a polynomial ring over a field $\Bbbk$, $I \subset R$ be a homogeneous ideal with respect to a weight vector $\omega = (\omega_1,\ldots,\omega_n) \in (\mathbb{Z}^+)^n$, and denote by $d$ the Krull dimension of $R/I$. In this paper we study graded free resolutions of $R/I$ as $A$-module whenever $A :=\Bbbk[x_{n-d+1},\ldots,x_n]$ is a Noether normalization of $R/I$. We exhibit a Schreyer-like method to compute a (non-necessarily minimal) graded free resolution of $R/I$ as $A$-module. When $R/I$ is a $3$-dimensional simplicial toric ring, we describe how to prune the previous resolution to obtain a minimal one. We finally provide an example of a $6$-dimensional simplicial toric ring whose Betti numbers, both as $R$-module and as $A$-module, depend on the characteristic of $\Bbbk$.

math.AC↗
arXiv2024

Sifted degrees of the equations of the Rees module and their connection with the Artin-Rees numbers

Let $A$ be a noetherian ring, $I$ an ideal of $A$ and $N\subset M$ finitely generated $A$-modules. The relation type of $I$ with respect to $M$, denoted by ${\bf rt}\,(I;M)$, is the maximal degree in a minimal generating set of relations of the Rees module ${\bf R}(I;M)=\oplus_{n\geq 0}I^nM$. It is a well-known invariant that gives a first measure of the complexity of ${\bf R}(I;M)$. To help to measure this complexity, we introduce the sifted type of ${\bf R}(I;M)$, denoted by ${\bf st}\,(I;M)$, a new invariant which counts the non-zero degrees appearing in a minimal generating set of relations of ${\bf R}(I;M)$. Just as the relation type ${\bf rt}\,(I;M/N)$ is closely related to the strong Artin-Rees number ${\bf s}\,(N,M;I)$, it turns out that the sifted type ${\bf st}\,(I;M/N)$ is closely related to the medium Artin-Rees number ${\bf m}\,(N,M;I)$, a new invariant which lies in between the weak and the strong Artin-Rees numbers of $(N,M;I)$. We illustrate the meaning, interest and mutual connection of ${\bf m}\,(N,M;I)$ and ${\bf st}\,(I;M)$ with some examples.

math.AC↗
arXiv2024

Proyective Cohen-Macaulay monomial curves and their affine charts

In this paper, we explore when the Betti numbers of the coordinate rings of a projective monomial curve and one of its affine charts are identical. Given an infinite field $k$ and a sequence of relatively prime integers $a_0 = 0 < a_1 < \cdots < a_n = d$, we consider the projective monomial curve $\mathcal{C}\subset\mathbb{P}_k^{\,n}$ of degree $d$ parametrically defined by $x_i = u^{a_i}v^{d-a_i}$ for all $i \in \{0,\ldots,n\}$ and its coordinate ring $k[\mathcal{C}]$. The curve $\mathcal{C}_1 \subset \mathbb A_k^n$ with parametric equations $x_i = t^{a_i}$ for $i \in \{1,\ldots,n\}$ is an affine chart of $\mathcal{C}$ and we denote by $k[\mathcal{C}_1]$ its coordinate ring. The main contribution of this paper is the introduction of a novel (Gr\"obner-free) combinatorial criterion that provides a sufficient condition for the equality of the Betti numbers of $k[\mathcal{C}]$ and $k[\mathcal{C}_1]$. Leveraging this criterion, we identify infinite families of projective curves satisfying this property. Also, we use our results to study the so-called shifted family of monomial curves, i.e., the family of curves associated to the sequences $j+a_1 < \cdots < j+a_n$ for different values of $j \in \mathbb N$. In this context, Vu proved that for large enough values of $j$, one has an equality between the Betti numbers of the corresponding affine and projective curves. Using our results, we improve Vu's upper bound for the least value of $j$ such that this occurs.

math.AC↗
arXiv2024

Gluing And Splitting of Homogeneous Toric Ideals

We show that any two homogeneous affine semigroups can be glued by embedding them suitably in a higher dimensional space. As a consequence, we show that the sum of their homogeneous toric ideals is again a homogeneous toric ideal, and that the minimal graded free resolution of the associated semigroup ring is the tensor product of the minimal resolutions of the two smaller parts. We apply our results to toric ideals associated to graphs to show how two of them can be a splitting of a toric ideal associated to a graph or an hypergraph.

math.AC↗
arXiv2023

Subfield subcodes of projective Reed-Muller codes

Explicit bases for the subfield subcodes of projective Reed-Muller codes over the projective plane and their duals are obtained. In particular, we provide a formula for the dimension of these codes. For the general case over the projective space, we generalize the necessary tools to deal with this case as well: we obtain a universal Gr\"obner basis for the vanishing ideal of the set of standard representatives of the projective space and we show how to reduce any monomial with respect to this Gr\"obner basis. With respect to the parameters of these codes, by considering subfield subcodes of projective Reed-Muller codes we obtain long linear codes with good parameters over a small finite field.

cs.IT↗
arXiv2023

Castelnuovo-Mumford regularity of projective monomial curves via sumsets

Let $A=\{a_0,\ldots,a_{n-1}\}$ be a finite set of $n\geq 4$ non-negative relatively prime integers such that $0=a_0<a_1<\cdots<a_{n-1}=d$. The $s$-fold sumset of $A$ is the set $sA$ of integers that contains all the sums of $s$ elements in $A$. On the other hand, given an infinite field $k$, one can associate to $A$ the projective monomial curve $\mathcal{C}_A$ parametrized by $A$, \[ \mathcal{C}_A=\{(v^d:u^{a_1}v^{d-a_1}:\cdots :u^{a_{n-2}}v^{d-a_{n-2}}:u^d) \mid \ (u:v)\in\mathbb{P}^{1}_k\}\subset\mathbb{P}^{n-1}_k\,. \] The exponents in the previous parametrization of $\mathcal{C}_A$ define a homogeneous semigroup $\mathcal{S}\subset\mathbb{N}^2$. We provide several results relating the Castelnuovo-Mumford regularity of $\mathcal{C}_A$ to the behaviour of the sumsets of $A$ and to the combinatorics of the semigroup $\mathcal{S}$ that reveal a new interplay between commutative algebra and additive number theory.

math.AC↗
arXiv2022

Saturation and vanishing ideals

We consider an homogeneous ideal $I$ in the polynomial ring $S=K[x_1,\dots,$ $x_m]$ over a finite field $K=\mathbb{F}_q$ and the finite set of projective rational points $\mathbb{X}$ that it defines in the projective space $\mathbb{P}^{m-1}$. We concern ourselves with the problem of computing the vanishing ideal $I(\mathbb{X})$. This is usually done by adding the equations of the projective space $I(\mathbb{P}^{m-1})$ to $I$ and computing the radical. We give an alternative and more efficient way using the saturation with respect to the homogeneous maximal ideal.

math.AC↗
arXiv2022

On gluing semigroups in $\mathbb{N}^n$ and the consequences

A semigroup $\langle C\rangle$ in $\mathbb{N}^n$ is a gluing of $\langle A\rangle$ and $\langle B\rangle$ if its finite set of generators $C$ splits into two parts, $C=k_1A\sqcup k_2B$ with $k_1,k_2\geq 1$, and the defining ideals of the corresponding semigroup rings satisfy that $I_C$ is generated by $I_A+I_B$ and one extra element. Two semigroups $\langle A\rangle$ and $\langle B\rangle$ can be glued if there exist positive integers $k_1,k_2$ such that, for $C=k_1A\sqcup k_2B$, $\langle C\rangle$ is a gluing of $\langle A\rangle$ and $\langle B\rangle$. Although any two numerical semigroups, namely semigroups in dimension $n=1$, can always be glued, it is no longer the case in higher dimensions. In this paper, we give necessary and sufficient conditions on $A$ and $B$ for the existence of a gluing of $\langle A\rangle$ and $\langle B\rangle$, and give examples to illustrate why they are necessary. These generalize and explain the previous known results on existence of gluing. We also prove that the glued semigroup $\langle C\rangle$ inherits the properties like Gorenstein or Cohen-Macaulay from the two parts $\langle A\rangle$ and $\langle B\rangle$.

math.AC↗
arXiv2019

Gluing semigroups -- when and how

Given two semigroups $\langle A\rangle$ and $\langle B\rangle$ in ${\mathbb N}^n$, we wonder when they can be glued, i.e., when there exists a semigroup $\langle C\rangle$ in ${\mathbb N}^n$ such that the defining ideals of the corresponding semigroup rings satisfy that $I_C=I_A+I_B+\langle\rho\rangle$ for some binomial $\rho$. If $n\geq 2$ and $k[A]$ and $k[B]$ are Cohen-Macaulay, we prove that in order to glue them, one of the two semigroups must be degenerate. Then we study the two most degenerate cases: when one of the semigroups is generated by one single element (simple split) and the case where it is generated by at least two elements and all the elements of the semigroup lie on a line. In both cases we characterize the semigroups that can be glued and say how to glue them. Further, in these cases, we conclude that the glued $\langle C\rangle$ is Cohen-Macaulay if and only if both $\langle A\rangle$ and $\langle B\rangle$ are also Cohen-Macaulay. As an application, we characterize precisely the Cohen-Macaulay semigroups that can be glued when $n=2$.

math.AC↗
arXiv2017

The structure of the minimal free resolution of semigroup rings obtained by gluing

We construct a minimal free resolution of the semigroup ring k[C] in terms of minimal resolutions of k[A] and k[B] when is a numerical semigroup obtained by gluing two numerical semigroups and . Using our explicit construction, we compute the Betti numbers, graded Betti numbers, regularity and Hilbert series of k[C], and prove that the minimal free resolution of k[C] has a differential graded algebra structure provided the resolutions of k[A] and k[B] possess them. We discuss the consequences of our results in small embedding dimensions. Finally, we give an extension of our main result to semigroups in N^n

math.AC↗
arXiv2017

Symbolic powers of monomial ideals and Cohen-Macaulay vertex-weighted digraphs

In this paper we study irreducible representations and symbolic Rees algebras of monomial ideals. Then we examine edge ideals associated to vertex-weighted oriented graphs. These are digraphs having no oriented cycles of length two with weights on the vertices. For a monomial ideal with no embedded primes we classify the normality of its symbolic Rees algebra in terms of its primary components. If the primary components of a monomial ideal are normal, we present a simple procedure to compute its symbolic Rees algebra using Hilbert bases, and give necessary and sufficient conditions for the equality between its ordinary and symbolic powers. We give an effective characterization of the Cohen--Macaulay vertex-weighted oriented forests. For edge ideals of transitive weighted oriented graphs we show that Alexander duality holds. It is shown that edge ideals of weighted acyclic tournaments are Cohen--Macaulay and satisfy Alexander duality

math.AC↗
arXiv2017

Pruned cellular free resolutions of monomial ideals

Using discrete Morse theory, we give an algorithm that prunes the excess of information in the Taylor resolution and constructs a new cellular free resolution for an arbitrary monomial ideal. The pruned resolution is not simplicial in general, but we can slightly modify our algorithm in order to obtain a simplicial resolution. We also show that the Lyubeznik resolution fits into our pruning strategy. We finally use our methods to give a different approach to the theory of splitting of monomial ideals.

math.AC↗
arXiv2015

A note on Gorenstein monomial curves

Let $k$ be an arbitrary field. In this note, we show that if a sequence of relatively prime positive integers ${\bf a}=(a_1,a_2,a_3,a_4)$ defines a Gorenstein non complete intersection monomial curve ${\mathcal C}({\bf a})$ in ${\mathbb A}_k^4$, then there exist two vectors ${\bf u}$ and ${\bf v}$ such that ${\mathcal C}({\bf a}+t{\bf u})$ and ${\mathcal C}({\bf a}+t{\bf v})$ are also Gorenstein non complete intersection affine monomial curves for almost all $t\geq 0$.

math.AC↗
arXiv2014

On complete monomial ideals

In dimension two, we study complete monomial ideals combinatorially, their Rees algebras and develop effective means to find their defining equations.

math.AC↗
arXiv2012

Syzygies of differentials of forms

Given a standard graded polynomial ring $R=k[x_1,...,x_n]$ over a field $k$ of characteristic zero and a graded $k$-subalgebra $A=k[f_1,...,f_m]\subset R$, one relates the module $Ω_{A/k}$ of Kähler $k$-differentials of $A$ to the transposed Jacobian module $\mathcal{D}\subset \sum_{i=1}^n R dx_i$ of the forms $f_1,...,f_m$ by means of a {\em Leibniz map} $Ω_{A/k}\rar \mathcal{D}$ whose kernel is the torsion of $Ω_{A/k}$. Letting $\fp$ denote the $R$-submodule generated by the (image of the) syzygy module of $Ω_{A/k}$ and $\fz$ the syzygy module of $\mathcal{D}$, there is a natural inclusion $\fp\subset \fz$ coming from the chain rule for composite derivatives. The main goal is to give means to test when this inclusion is an equality -- in which case one says that the forms $f_1,...,f_m$ are {\em polarizable}. One surveys some classes of subalgebras that are generated by polarizable forms. The problem has some curious connections with constructs of commutative algebra, such as the Jacobian ideal, the conormal module and its torsion, homological dimension in $R$ and syzygies, complete intersections and Koszul algebras. Some of these connections trigger questions which have interest in their own.

math.AC↗