The Poincaré series of multiplier ideals of a simple complete ideal in a local ring of a smooth surface

For a simple complete ideal ℘ of a local ring at a closed point on a smooth complex algebraic surface, we introduce an algebraic object, named Poincaré series P_℘, that gathers in a unified way the jumping numbers and the dimensions of the vector space quotients given by consecutive multiplier ideals attached to ℘. This paper is devoted to prove that P_℘ is a rational function giving an explicit expression for it.     

Quasi-socle ideals in a Gorenstein local ring

This paper explores the structure of quasi-socle ideals I=Q:m² in a Gorenstein local ring A, where Q is a parameter ideal and m is the maximal ideal in A. The purpose is to answer the problems as to when Q is a reduction of I and when the associated graded ring is Cohen-Macaulay. Wild examples are explored.     

The module of derivations of regular local rings

It is shown that if A is a ring and A is a regular local k-algebra such that Derk(A) is finitely generated, then it is free under some conditions.     

Poincaré series of modules over compressed Gorenstein local rings

Given two positive integers e and s we consider Gorenstein Artinian local rings R   whose maximal ideal m$\mathfrak{m}$ satisfies m^s≠0=m^s+1${\mathfrak{m}}^s\ne 0={\mathfrak{m}}^{s+1}$ and _rankR/m(m/m²)=e${\mathrm{rank}}_{R/\mathfrak{m}}(\mathfrak{m}/{\mathfrak{m}}^2)=e$. We say that R is a compressed Gorenstein local ring   when it has maximal length among such rings. It is known that generic Gorenstein Artinian algebras are compressed. If s≠3$s\ne 3$, we prove that the Poincaré series of all finitely generated modules over a compressed Gorenstein local ring are rational, sharing a common denominator. A formula for the denominator is given. When s is even this formula depends only on the integers e and s  . Note that for s=3$s=3$ examples of compressed Gorenstein local rings with transcendental Poincaré series exist, due to Bøgvad.     

Characterizing local rings via homological dimensions and regular sequences

Let (R,m) be a Noetherian local ring of depth d and C a semidualizing R-complex. Let M be a finite R-module and t an integer between 0 and d. If the G_C-dimension of M/aM is finite for all ideals a generated by an R-regular sequence of length at most d−t then either the G_C-dimension of M is at most t or C is a dualizing complex. Analogous results for other homological dimensions are also given.     

Numerical solution of the two-dimensional Poincaré equation

This paper deals with numerical approximation of the two-dimensional Poincaré equation that arises as a model for internal wave motion in enclosed containers. Inspired by the hyperbolicity of the equation we propose a discretisation particularly suited for this problem, which results in matrices whose size varies linearly with the number of grid points along the coordinate axes. Exact solutions are obtained, defined on a perturbed boundary. Furthermore, the problem is seen to be ill-posed and there is need for a regularisation scheme, which we base on a minimal-energy approach.     

Valuations dominating regular local rings and proximity relations

We study zero-dimensional valuations dominating a regular local ring of dimension n≥2. For this we introduce the proximity matrix and the multiplicity sequence (extending classical definitions of the case n=2) that are associated with the sequence of the successive quadratic transforms of the ring along the valuation. We describe the precise relations between these invariants and study their properties.     

Generating sequences and Poincaré series for a finite set of plane divisorial valuations

Let V be a finite set of divisorial valuations centered at a 2-dimensional regular local ring R. In this paper we study its structure by means of the semigroup of values, SV, and the multi-index graded algebra defined by V, grVR. We prove that SV is finitely generated and we compute its minimal set of generators following the study of reduced curve singularities. Moreover, we prove a unique decomposition theorem for the elements of the semigroup. The comparison between valuations in V, the approximation of a reduced plane curve singularity C by families of sets V(k) of divisorial valuations, and the relationship between the value semigroup of C and the semigroups of the sets V(k), allow us to obtain the (finite) minimal generating sequences for C as well as for V.We also analyze the structure of the homogeneous components of grVR. The study of their dimensions allows us to relate the Poincaré series for V and for a general curve C of V. Since the last series coincides with the Alexander polynomial of the singularity, we can deduce a formula of A'Campo type for the Poincaré series of V. Moreover, the Poincaré series of C could be seen as the limit of the series of V(k), k?0.     

Symmetric powers of complete modules over a two-dimensional regular local ring

Let be a two-dimensional regular local ring with infinite residue field. For a finitely generated, torsion-free -module , write for the th symmetric power of , mod torsion. We study the modules , , when is complete (i.e., integrally closed). In particular, we show that , for any minimal reduction and that the ring is Cohen-Macaulay.

     

Prescribed subintegral extensions of local Noetherian domains

We show how subintegral extensions of certain local Noetherian domains S$S$ can be constructed with specified invariants including reduction number, Hilbert function, multiplicity and local cohomology. The construction behaves analytically like Nagata idealization but rather than a ring extension of S$S$, it produces a subring R$R$ of S$S$ such that R⊆S$R\subseteq S$ is subintegral.     

Adjoint Ideals and Gorenstein Blowups in Two-dimensional Regular Local Rings

In this article we investigate when a complete ideal in a two-dimensional regular local ring is a multiplier ideal of some ideal with an integral multiplying parameter. In particular, we show that this question is closely connected to the Gorenstein property of the blowup along the ideal.Dedicated to Prof. Kei-ichi Watanabe on the occasion of his 60th birthday.     

Attached primes of the top local cohomology modules with respect to an ideal

Let be a Noetherian local ring and let be an ideal of R. Let M be an R-module of dimension n. In this paper we study the attached primes of the top local cohomology module Received: 12 May 2004     

Degree functions and projectively full ideals in 2-dimensional rational singularities that can be desingularized by blowing up the unique maximal ideal

Let (R,m) be a 2-dimensional rational singularity with algebraically closed residue field and for which the associated graded ring is an integrally closed domain. According to Göhner, (R,m) satisfies condition (N): given a prime divisor v, there exists a unique complete m-primary ideal A_v in R with T(A_v)={v} and such that any complete m-primary ideal with unique Rees valuation v, is a power of A_v. We use the theory of degree functions developed by Rees and Sharp as well as some results about regular local rings, to investigate the degree coefficients d(A_v,v). As an immediate corollary, we find that for a simple complete m₁-primary ideal I₁ in an immediate quadratic transform (R₁,m₁) of (R,m); the inverse transform of I₁ in R is projectively full.     

Some results relating to adjacent ideals in dimension two

We answer some of the questions posed by Noh in [S. Noh, Adjacent integrally closed ideals in dimension two, J. Pure Appl. Algebra 85 (2) (1993) 163-184] concerning the existence of adjacent complete ideals in dimension two.     

Overrings of two-dimensional Noetherian domains representable by Noetherian spaces of valuation rings

Let D be a Noetherian domain of Krull dimension 2, and let H⊆R be integrally closed overrings of D. We examine when H can be represented in the form H=(?_V∈ΣV)∩R, with Σ a Noetherian subspace of the Zariski-Riemann space of the quotient field of D. We characterize also the special case in which Σ can be chosen to be a finite character collection of valuation overrings of D.     

On the topology of valuation-theoretic representations of integrally closed domains

Let F be a field. For each nonempty subset X of the Zariski–Riemann space of valuation rings of F, let $A(X)={?}_{V\in X}V$ and $J(X)={?}_{V\in X}{\mathfrak{M}}_V$, where ${\mathfrak{M}}_V$ denotes the maximal ideal of V. We examine connections between topological features of X and the algebraic structure of the ring $A(X)$. We show that if $J(X)\ne 0$ and $A(X)$ is a completely integrally closed local ring that is not a valuation ring of F, then there is a space Y of valuation rings of F that is perfect in the patch topology such that $A(X)=A(Y)$. If any countable subset of points is removed from Y, then the resulting set remains a representation of $A(X)$. Additionally, if F is a countable field, the set Y can be chosen homeomorphic to the Cantor set. We apply these results to study properties of the ring $A(X)$ with specific focus on topological conditions that guarantee $A(X)$ is a Prüfer domain, a feature that is reflected in the Zariski–Riemann space when viewed as a locally ringed space. We also classify the rings $A(X)$ where X has finitely many patch limit points, thus giving a topological generalization of the class of Krull domains, one that includes interesting Prüfer domains. To illustrate the latter, we show how an intersection of valuation rings arising naturally in the study of local quadratic transformations of a regular local ring can be described using these techniques.     

On the multigraded Hilbert and Poincaré-Betti series and the Golod property of monomial rings

In this paper we study the multigraded Hilbert and Poincaré-Betti series of A=S/a, where S is the ring of polynomials in n indeterminates divided by the monomial ideal a. There is a conjecture about the multigraded Poincaré-Betti series by Charalambous and Reeves which they proved in the case where the Taylor resolution is minimal. We introduce a conjecture about the minimal A-free resolution of the residue class field and show that this conjecture implies the conjecture of Charalambous and Reeves and, in addition, gives a formula for the Hilbert series. Using Algebraic Discrete Morse theory, we prove that the homology of the Koszul complex of A with respect to x₁,…,x_n is isomorphic to a graded commutative ring of polynomials over certain sets in the Taylor resolution divided by an ideal r of relations. This leads to a proof of our conjecture for some classes of algebras A. We also give an approach for the proof of our conjecture via Algebraic Discrete Morse theory in the general case.The conjecture implies that A is Golod if and only if the product (i.e. the first Massey operation) on the Koszul homology is trivial. Under the assumption of the conjecture we finally prove that a very simple purely combinatorial condition on the minimal monomial generating system of a implies Golodness for A.     

Category version of the Poincaré recurrence theorem

We prove a category version of the Poincaré recurrence theorem for a non-invertible map of a Baire space which is continuous, nearly feebly open and has no nonempty open wandering set.     

Zero-divisor graphs of amalgamated duplication of a ring along an ideal

Let R be a commutative ring with identity and let I be an ideal of R. Let R?I be the subring of R×R consisting of the elements (r,r+i) for r∈R and i∈I. We study the diameter and girth of the zero-divisor graph of the ring R?I.