Searcharxiv⌕ Search

arXiv subjects

Josep Alvarez Montaner

Publications and source records attributed to Josep Alvarez Montaner.

12 recordsLinked to original sources
arXiv2017

Monomial generators of complete planar ideals

We provide an algorithm that computes a set of generators for any complete ideal in a smooth complex surface. More interestingly, these generators admit a presentation as monomials in a set of maximal contact elements associated to the minimal log-resolution of the ideal. Furthermore, the monomial expression given by our method is an equisingularity invariant of the ideal. As an outcome, we provide a geometric method to compute the integral closure of a planar ideal and we apply our algorithm to some families of complete ideals.

math.AG↗
arXiv2016

Lyubeznik numbers of local rings and linear strands of graded ideals

In this work we introduce a new set of invariants associated to the linear strands of a minimal free resolution of a $\mathbb{Z}$-graded ideal $I\subseteq R=\Bbbk[x_1, \ldots, x_n]$. We also prove that these invariants satisfy some properties analogous to those of Lyubeznik numbers of local rings. In particular, they satisfy a consecutiveness property that we prove first for Lyubeznik numbers. For the case of squarefree monomial ideals we get more insight on the relation between Lyubeznik numbers and the linear strands of their associated Alexander dual ideals. Finally, we prove that Lyubeznik numbers of Stanley-Reisner rings are not only an algebraic invariant but also a topological invariant, meaning that they depend on the homeomorphic class of the geometric realization of the associated simplicial complex and the characteristic of the base field.

math.AC↗
arXiv2016

Poincaré series of multiplier ideals in two-dimensional local rings with rational singularities

We study the multiplicity of the jumping numbers of an $\mathfrak m$-primary ideal $\mathfrak a$ in a two-dimensional local ring with a rational singularity. The formula we provide for the multiplicities leads to a very simple and efficient method to detect whether a given rational number is a jumping number. We also give an explicit description of the Poincaré series of multiplier ideals associated to $\mathfrak a$ proving, in particular, that it is a rational function.

math.AG↗
arXiv2016

Multiplier ideals in two-dimensional local rings with rational singularities

The aim of this paper is to study jumping numbers and multiplier ideals of any ideal in a two-dimensional local ring with a rational singularity. In particular we reveal which information encoded in a multiplier ideal determines the next jumping number. This leads to an algorithm to compute sequentially the jumping numbers and the whole chain of multiplier ideals in any desired range. As a consequence of our method we develop the notion of jumping divisor that allows to describe the jump between two consecutive multiplier ideals. In particular we find a unique minimal jumping divisor that is studied extensively.

math.AG↗
arXiv2016

Constancy regions of mixed multiplier ideals in two-dimensional local rings with rational singularities

The aim of this paper is to study mixed multiplier ideals associated to a tuple of ideals in a two-dimensional local ring with a rational singularity. We are interested in the partition of the real positive orthant given by the regions where the mixed multiplier ideals are constant. In particular we reveal which information encoded in a mixed multiplier ideal determines its corresponding jumping wall and we provide an algorithm to compute all the constancy regions, and their corresponding mixed multiplier ideals, in any desired range.

math.AG↗
arXiv2014

Lyubeznik table of sequentially Cohen-Macaulay rings

We prove that sequentially Cohen-Macaulay rings in positive characteristic, as well as sequentially Cohen-Macaulay Stanley-Reisner rings in any characteristic, have trivial Lyubeznik table. Some other configurations of Lyubeznik tables are also provided depending on the deficiency modules of the ring.

math.AC↗
arXiv2011

Lyubeznik numbers of monomial ideals

We study Bass numbers of local cohomology modules supported on squarefree monomial ideals paying special attention to Lyubeznik numbers. We build a dictionary between local cohomology modules and minimal free resolutions that allow us to interpret Lyubeznik numbers as the obstruction to the acyclicity of the linear strands of the Alexander dual ideals. The methods we develop also help us to give a bound for the injective dimension of the local cohomology modules in terms of the dimension of the small support.

math.AC↗
arXiv2011

Frobenius and Cartier algebras of Stanley-Reisner rings

We prove that the Frobenius algebra of the injective hull of a complete Stanley-Reisner ring as well as its Matlis dual notion of Cartier algebra can be only principally generated or infinitely generated. As a consequence we are able to show that the set of F-jumping numbers of generalized test ideals associated to complete Stanley-Reisner rings form a discrete set.

math.AC↗
arXiv2004

A surprising fact about D-modules in characteristic p>0

Let R=k[x_1,...,x_d] be the polynomial ring in d independent variables, where k is a field of characteristic p>0. Let D be the ring of k-linear differential operators of R and let f be a polynomial in R. In this work we prove that the localization R[1/f] obtained from R by inverting f is generated as a D-module by 1/f. This is an amazing fact considering that the corresponding characteristic zero statement is very false.

math.AC↗
arXiv2000

Local Cohomology, Arrangement of Subspaces and Monomial Ideals

Let $k$ be a field of characteristic zero and I an ideal defining an arrangement of linear subspaces in the affine space $A^n_k$. We compute the D-module theoretic characteristic cycle of the local cohomology modules $H^r_I(k[x_1,...,x_n])$ in terms of the poset defined by the arrangement. In case I is a monomial ideal, we relate the multiplicities of the characteristic cycle with the Betti numbers of the Alexander dual ideal of I, we also study some extension problems attached to the modules $H^r_I(k[x_1,...,x_n])$. If $k$ is the field of complex numbers we study the ubiquity of these local cohomology modules in the category of perverse sheaves in $A^n_k$ with respect to the stratification given by the coordinate hyperplanes.

math.AG↗