Searcharxiv⌕ Search

arXiv subjects

Francesc Planas-Vilanova

Publications and source records attributed to Francesc Planas-Vilanova.

At least 19 recordsLinked to original sources
arXiv2026

Explicit minimal generating sets of a family of prime ideals with unbounded minimal number of generators in a three-dimensional power series ring

We display a new family of prime ideals with unbounded minimal number of generators in a three-dimensional power series ring over a field of characteristic zero. These primes are obtained as the kernel of a quasi-monomial algebra homomorphism. Up to constant coefficients, determined by some specific linear systems with binomial entries, we describe their minimal generating polynomial sets. The advantage of our family with respect to some previous work is, on the one hand, the explicit description of the generating sets and, on the other hand, the simplicity of the exponents of the aforementioned quasi-monomial homomorphism. We also provide a code in Python which states and solves the linear systems that lead to a complete description of the minimal generating sets with a "Gröbner-free" approach.

math.AC↗
arXiv2026

Binomial determinants: some closed formulae

This paper is intended to give closed formulae for binomial determinants with consecutive or almost consecutive rows or columns, as well as calculating the generator of left nullspaces defined by some binomial matrices. In the meantime, we reprove, by different means, the positivity of binomial determinants shown by Gessel and Viennot.

math.CO↗
arXiv2026

Prime ideals of Moh and the characteristic of the field

We reprove and generalize a result of Moh which gives a lower bound on the minimal number of generators of an ideal in a power series ring in three variables x,y,z over a field k. As a consequence, in each characteristic of the field k, we obtain a minimal generating set for the prime ideal P of Moh corresponding to n=3. We deduce that the minimal number of generators of P might decrease depending on the characteristic of k. This contradicts a statement of Sally and leaves as an open problem to find families of prime ideals in the power series ring in the variables x,y,z with an unbounded minimal number of generators, when k has characteristic other than zero. Finally, we show that these minimal generating sets of P are standard basis with the negative degree reverse lexicographic order.

math.AC↗
arXiv2025

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

Elements with unique length factorization of a numerical semigroup generated by three consecutive numbers

Let $S$ be the numerical semigroup generated by three consecutive numbers $a,a+1,a+2$, where $a\in\mathbb{N}$, $a\geq 3$. We describe the elements of $S$ whose factorizations have all the same length, as well as the set of factorizations of each of these elements. We give natural partitions of this subset of $S$ in terms of the length and the denumerant. By using Apéry sets and Betti elements we are able to extend some results, first obtained by elementary means.

math.CO↗
arXiv2021

Divisors of expected Jacobian type

Divisors whose Jacobian ideal is of linear type have received a lot of attention recently because of its connections with the theory of D-modules. In this work we are interested on divisors of expected Jacobian type, that is, divisors whose gradient ideal is of linear type and the relation type of its Jacobian ideal coincides with the reduction number with respect to the gradient ideal plus one. We provide conditions in order to be able to describe precisely the equations of the Rees algebra of the Jacobian ideal. We also relate the relation type of the Jacobian ideal to some D-module theoretic invariant given by the degree of the Kashiwara operator.

math.AC↗
arXiv2019

Noetherian rings of low global dimension and syzygetic prime ideals

Let $R$ be a Noetherian ring. We prove that $R$ has global dimension at most two if, and only if, every prime ideal of $R$ is of linear type. Similarly, we show that $R$ has global dimension at most three if, and only if, every prime ideal of $R$ is syzygetic. As a consequence, one derives a characterization of these rings using the André-Quillen homology.

math.AC↗
arXiv2018

On the integral degree of integral ring extensions

Let $A\subset B$ be an integral ring extension of integral domains with fields of fractions $K$ and $L$, respectively. The integral degree of $A\subset B$, denoted by ${\rm d}_A(B)$, is defined as the supremum of the degrees of minimal integral equations of elements of $B$ over $A$. It is an invariant that lies in between ${\rm d}_K(L)$ and $μ_A(B)$, the minimal number of generators of the $A$-module $B$. Our purpose is to study this invariant. We prove that it is sub-multiplicative and upper-semicontinuous in the following three cases: if $A\subset B$ is simple; if $A\subset B$ is projective and finite and $K\subset L$ is a simple algebraic field extension; or if $A$ is integrally closed. Furthermore, ${\rm d}$ is semicontinuous if $A$ is noetherian of dimension $1$ and with finite integral closure. In general, however, ${\rm d}$ is neither sub-multiplicative nor upper-semicontinuous.

math.AC↗
arXiv2018

Minimal free resolutions of lattice ideals of digraphs

Based upon a previous work of Manjunath and Sturmfels for a finite, complete, undirected graph, and a refined algorithm by Eröcal, Motsak, Schreyer and Steenpaß for computing syzygies, we display a free resolution of the lattice ideal associated to a finite, strongly connected, weighted, directed graph. Moreover, the resolution is minimal precisely when the digraph is strongly complete.

math.AC↗
arXiv2014

The relation type of affine algebras and algebraic varieties

We introduce the notion of relation type of an affine algebra and prove that it is well defined by using the Jacobi-Zariski exact sequence of André-Quillen homology. In particular, the relation type is an invariant of an affine algebraic variety. Also as a consequence of the invariance, we show that in order to calculate the relation type of an ideal in a polynomial ring one can reduce the problem to trinomial ideals. When the relation type is at least two, the extreme equidimensional components play no role. This leads to the non existence of affine algebras of embedding dimension three and relation type two.

math.AC↗
arXiv2014

Non-complete intersection prime ideals in dimension 3

We describe prime ideals of height 2 minimally generated by 3 elements in a Gorenstein, Nagata local ring of Krull dimension 3 and multiplicity at most 3. This subject is related to a conjecture of Y. Shimoda and to a long-standing problem of J. Sally.

math.AC↗
arXiv2014

Degree and algebraic properties of lattice and matrix ideals

We study the degree of non-homogeneous lattice ideals over arbitrary fields, and give formulae to compute the degree in terms of the torsion of certain factor groups of Z^s and in terms of relative volumes of lattice polytopes. We also study primary decompositions of lattice ideals over an arbitrary field using the Eisenbud-Sturmfels theory of binomial ideals over algebraically closed fields. We then use these results to study certain families of integer matrices (PCB, GPCB, CB, GCB matrices) and the algebra of their corresponding matrix ideals. In particular, the family of generalized positive critical binomial matrices (GPCB matrices) is shown to be closed under transposition, and previous results for PCB ideals are extended to GPCB ideals. Then, more particularly, we give some applications to the theory of 1-dimensional binomial ideals. If G is a connected graph, we show as a further application that the order of its sandpile group is the degree of the Laplacian ideal and the degree of the toppling ideal. We also use our earlier results to give a structure theorem for graded lattice ideals of dimension 1 in 3 variables and for homogeneous lattices in Z^3 in terms of critical binomial ideals (CB ideals) and critical binomial matrices, respectively, thus complementing a well-known theorem of Herzog on the toric ideal of a monomial space curve.

math.AC↗
arXiv2012

J. Sally's question and a conjecture of Y. Shimoda

In 2007, Y. Shimoda, in connection with a long-standing question of J. Sally, asked whether a Noetherian local ring, such that all its prime ideals different from the maximal ideal are complete intersections, has Krull dimension at most two. In this paper, having reduced the conjecture to the case of dimension three, if the ring is regular and local of dimension three, we explicitly describe a family of prime ideals of height two minimally generated by three elements. Weakening the hypothesis of regularity, we find that, to achieve the same end, we need to add extra hypotheses, such as completeness, infiniteness of the residue field and the multiplicity of the ring being at most three. In the second part of the paper we turn our attention to the category of standard graded algebras. A geometrical approach via a double use of a Bertini Theorem, together with a result of A. Simis, B. Ulrich and W.V. Vasconcelos, allows us to obtain a definitive answer in this setting. Finally, by adapting work of M. Miller on prime Bourbaki ideals in local rings, we detail some more technical results concerning the existence in standard graded algebras of homogeneous prime ideals with an "excessive" number of generators.

math.AC↗
arXiv2012

The primary components of positive critical binomial ideals

A natural candidate for a generating set of the (necessarily prime) defining ideal of an $n$-dimensional monomial curve, when the ideal is an almost complete intersection, is a full set of $n$ critical binomials. In a somewhat modified and more tractable context, we prove that, when the exponents are all positive, critical binomial ideals in our sense are not even unmixed for $n\geq 4$, whereas for $n\leq 3$ they are unmixed. We further give a complete description of their isolated primary components as the defining ideals of monomial curves with coefficients. This answers an open question on the number of primary components of Herzog-Northcott ideals, which comprise the case $n=3$. Moreover, we find an explicit, concrete description of the irredundant embedded component (for $n\geq 4$) and characterize when the hull of the ideal, i.e., the intersection of its isolated primary components, is prime. Note that these last results are independent of the characteristic of the ground field. Our techniques involve the Eisenbud-Sturmfels theory of binomial ideals and Laurent polynomial rings, together with theory of Smith Normal Form and of Fitting ideals. This gives a more transparent and completely general approach, replacing the theory of multiplicities used previously to treat the particular case $n=3$.

math.AC↗
arXiv2012

The equations of Rees algebras of equimultiple ideals of deviation one

We describe the equations of the Rees algebra R(I) of an equimultiple ideal I of deviation one, provided that I has a reduction J generated by a regular sequence and such that the initial forms of the elements of this sequence, except possibly the last one, are also a regular sequence in the associated graded ring of I. In particular, we prove that there is a single equation of top degree in a minimal generating set of the ideal of equations of R(I) and we relate this degree to the reduction number, recovering several known results in the context.

math.AC↗
arXiv2010

Ideals of Herzog-Northcott type

This paper takes a new look at ideals generated by 2x2 minors of 2x3 matrices whose entries are powers of three elements not necessarily forming a regular sequence. A special case of this are the ideals determining monomial curves in three dimensional space, which were already studied by Herzog. In the broader context studied here, these ideals are identified as Northcott ideals in the sense of Vasconcelos, and so their liaison properties are displayed. It is shown that they are set-theoretically complete intersections, revisiting the work of Bresinsky and of Valla. Even when the three elements are taken to be variables in a polynomial ring in three variables over a field, this point of view gives a larger class of ideals than just the defining ideals of monomial curves. We then characterize when the ideals in this larger class are prime, we show that they are usually radical and, using the theory of multiplicities, we give upper bounds on the number of their minimal prime ideals, one of these primes being a uniquely determined prime ideal of definition of a monomial curve. Finally, we provide examples of characteristic-dependent minimal prime and primary structures for these ideals.

math.AC↗
arXiv2007

Integral degree of a ring and reduction numbers

The supremum of reduction numbers of ideals having principal reductions is expressed in terms of the integral degree, a new invariant of the ring, which is finite provided the ring has finite integral closure. As a consequence, one obtains bounds for the Castelnuovo-Mumford regularity of the Rees algebra and for the Artin-Rees numbers.

math.AC↗