Reflexive modules on normal surface singularities and representations of the local fundamental group

We consider the Riemann-Hilbert correspondence on the complement of a normal surface singularity (X,x). Through a closure operation we obtain a correspondence between the category of finite dimensional representations of the local fundamental group and the category of left D_X,x-modules that are reflexive as O_X,x-modules. We show that under this correspondence profinite representations correspond to invariant modules and that these admit a canonical structure as left D_X,x-modules. We prove that the fundamental module is an invariant module if and only if (X,x) is a quotient singularity. Finally we investigate some algebraisation aspects.     

Self-dual modules over local rings of curve singularities

Let C be a reduced curve singularity. C is called of finite self-dual type if there exist only finitely many isomorphism classes of indecomposable, self-dual, torsion-free modules over the local ring of C. In this paper it is shown that the singularities of finite self-dual type are those which dominate a simple plane singularity.     

Indecomposable modules over one-dimensional Noetherian rings

In this article we consider finitely generated torsion-free modules over certain one-dimensional commutative Noetherian rings R. We assume there exists a positive integer N_R such that, for every indecomposable R-module M and for every minimal prime ideal P of R, the dimension of M_P, as a vector space over the field R_P, is less than or equal to N_R. If a nonzero indecomposable R-module M is such that all the localizations M_P as vector spaces over the fields R_P have the same dimension r, for every minimal prime P of R, then r=1,2,3,4 or 6. Let n be an integer ≥8. We show that if M is an R-module such that the vector space dimensions of the M_P are between n and 2n−8, then M decomposes non-trivially. For each n≥8, we exhibit a semilocal ring and an indecomposable module for which the relevant dimensions range from n to 2n−7. These results require a mild equicharacteristic assumption; we also discuss bounds in the non-equicharacteristic case.     

Degree bounds for Gröbner bases in algebras of solvable type

We establish doubly-exponential degree bounds for Gröbner bases in certain algebras of solvable type over a field (as introduced by Kandri-Rody and Weispfenning). The class of algebras considered here includes commutative polynomial rings, Weyl algebras, and universal enveloping algebras of finite-dimensional Lie algebras. For the computation of these bounds, we adapt a method due to Dubé based on a generalization of Stanley decompositions. Our bounds yield doubly-exponential degree bounds for ideal membership and syzygies, generalizing the classical results of Hermann and Seidenberg (in the commutative case) and Grigoriev (in the case of Weyl algebras).     

Universal central extension and the second invariant of homology of crossed modules in lie algebras

In this paper we show that the kernel of the universal central extension of a crossed module in Lie algebras is the second invariant of this crossed module. As a consequence of this result we obtain a recognition criterion for universal central extensions and a vanishing situation of two invariants associated to a crossed module in Lie algebras.     

Functorial test modules

In this article we introduce a slight modification of the definition of test modules which is an additive functor τ on the category of coherent Cartier modules. We show that in many situations this modification agrees with the usual definition of test modules. Furthermore, we show that for a smooth morphism $f:X\to Y$ of F-finite schemes one has a natural isomorphism $f^{!}°\tau ?\tau °f^{!}$. If f is quasi-finite and of finite type we construct a natural transformation $\tau °f_{?}\to f_{?}°\tau$.     

Flat modules over valuation rings

Let R be a valuation ring and let Q be its total quotient ring. It is proved that any singly projective (respectively flat) module is finitely projective if and only if Q is maximal (respectively artinian). It is shown that each singly projective module is a content module if and only if any non-unit of R is a zero-divisor and that each singly projective module is locally projective if and only if R is self-injective. Moreover, R is maximal if and only if each singly projective module is separable, if and only if any flat content module is locally projective. Necessary and sufficient conditions are given for a valuation ring with non-zero zero-divisors to be strongly coherent or π-coherent.A complete characterization of semihereditary commutative rings which are π-coherent is given. When R is a commutative ring with a self-FP-injective quotient ring Q, it is proved that each flat R-module is finitely projective if and only if Q is perfect.     

More results on congruent modules

W.R. Scott characterized the infinite abelian groups G for which H≅G for every subgroup H of G of the same cardinality as G [W.R. Scott, On infinite groups, Pacific J. Math. 5 (1955) 589-598]. In [G. Oman, On infinite modules M over a Dedekind domain for which N≅M for every submodule N of cardinality |M|, Rocky Mount. J. Math. 39 (1) (2009) 259-270], the author extends Scott’s result to infinite modules over a Dedekind domain, calling such modules congruent, and in a subsequent paper [G. Oman, On modules M for which N≅M for every submodule N of size |M|, J. Commutative Algebra (in press)] the author obtains results on congruent modules over more general classes of rings. In this paper, we continue our study.     

On the string-theoretic Euler number of a class of absolutely isolated singularities

An explicit computation of the so-called string-theoretic E-function of a normal complex variety X with at most log-terminal singularities can be achieved by constructing one snc-desingularization of X, accompanied with the intersection graph of the exceptional prime divisors, and with the precise knowledge of their structure. In the present paper, it is shown that this is feasible for the case in which X is the underlying space of a class of absolutely isolated singularities (including both usual ? _n -singularities and Fermat singularities of arbitrary dimension). As byproduct of the exact evaluation of lim, for this class of singularities, one gets counterexamples to a conjecture of Batyrev concerning the boundedness of the string-theoretic index. Finally, the string-theoretic Euler number is also computed for global complete intersections in ℙ_ℂ ^N with prescribed singularities of the above type. Received: 2 January 2001 / Revised version: 22 May 2001     

The Hilbert functions which force the Weak Lefschetz Property

The purpose of this note is to characterize the finite Hilbert functions which force all of their artinian algebras to enjoy the Weak Lefschetz Property (WLP). Curiously, they turn out to be exactly those (characterized by Wiebe in [A. Wiebe, The Lefschetz property for componentwise linear ideals and Gotzmann ideals, Comm. Algebra 32 (12) (2004) 4601-4611]) whose Gotzmann ideals have the WLP.This implies that, if a Gotzmann ideal has the WLP, then all algebras with the same Hilbert function (and hence lower Betti numbers) have the WLP as well. However, we will answer in the negative, even in the case of level algebras, the most natural question that one might ask after reading the previous sentence: If A is an artinian algebra enjoying the WLP, do all artinian algebras with the same Hilbert function as A and Betti numbers lower than those of A have the WLP as well?Also, as a consequence of our result, we have another (simpler) proof of the fact that all codimension 2 algebras enjoy the WLP (this fact was first proven in [T. Harima, J. Migliore, U. Nagel, J. Watanabe, The weak and strong Lefschetz properties for Artinian K-algebras, J. Algebra 262 (2003) 99-126], where it was shown that even the Strong Lefschetz Property holds).     

Computing Gauss-Manin systems for complete intersection singularitiesS μ

The Gauss-Manin systems with coefficients having logarithmic poles along the discriminant sets of the principal deformations of complete intersection quasihomogeneous singularitiesS are calculated. Their solutions in the form of generalized hypergeometric functions are presented.     

Vector fields and a family of linear type modules related to free divisors

This paper has three main goals. We start describing a method for computing the polynomial vector fields tangent to a given algebraic variety; this is of interest, for instance, in view of (effective) foliation theory. We then pass to furnishing a family of modules of linear type (that is, the Rees algebra equals the symmetric algebra), formed with vector fields related to suitable pairs of algebraic varieties, one of them being a free divisor in the sense of K. Saito. Finally, we derive freeness criteria for modules retaining a certain tangency feature, so that, in particular, well-known criteria for free divisors are recovered.     

Finite Gorenstein representation type implies simple singularity

Let R be a commutative noetherian local ring and consider the set of isomorphism classes of indecomposable totally reflexive R-modules. We prove that if this set is finite, then either it has exactly one element, represented by the rank 1 free module, or R is Gorenstein and an isolated singularity (if R is complete, then it is even a simple hypersurface singularity). The crux of our proof is to argue that if the residue field has a totally reflexive cover, then R is Gorenstein or every totally reflexive R-module is free.     

Combinatorics of rational singularities

A normal surface singularity is rational if and only if the dual intersection graph of a desingularization satisfies some combinatorial properties. In fact, the graphs defined in this way are trees. In this paper we give geometric features of these trees. In particular, we prove that the number of vertices of valency 3 in the dual intersection tree of the minimal desingularization of a rational singularity of multiplicity m 3 is at most m - 2.     

Rank-sets of indecomposable modules over one-dimensional rings

Let R be a one-dimensional, reduced Noetherian ring with finite normalization, and suppose there exists a positive integer N_R such that, for every indecomposable finitely generated torsion-free R-module M and every minimal prime ideal P of R, the dimension of M_P, as a vector space over the localization R_P (a field), is less than or equal to N_R. For a finitely generated torsion-free R-module M, we call the set of all such vector-space dimensions the rank-set of M. What subsets of the integers arise as rank-sets of indecomposable finitely generated torsion-free R-modules? In this article, we give more information on rank-sets of indecomposable modules, to supplement previous work concerning this question. In particular we provide examples having as rank-sets those intervals of consecutive integers that are not ruled out by an earlier article of Arnavut, Luckas and Wiegand. We also show that certain non-consecutive rank-sets never arise.     

Approximation on Nash sets with monomial singularities

This paper is devoted to the approximation of differentiable semialgebraic functions by Nash functions. Approximation by Nash functions is known for semialgebraic functions defined on an affine Nash manifold M, and here we extend it to functions defined on Nash sets  X⊂M$X\subset M$whose singularities are monomial. To that end we discuss first finiteness and weak normality for such sets X. Namely, we prove that (i) X is the union of finitely many open subsets, each Nash diffeomorphic to a finite union of coordinate linear varieties of an affine space, and (ii) every function on X which is Nash on every irreducible component of X extends to a Nash function on M. Then we can obtain approximation for semialgebraic functions and even for certain semialgebraic maps on Nash sets with monomial singularities. As a nice consequence we show that m-dimensional affine Nash manifolds with divisorial corners which are class k   semialgebraically diffeomorphic, for k>m²$k>m^2$, are also Nash diffeomorphic.     

Monodromy eigenvalues and zeta functions with differential forms

For a complex polynomial or analytic function f, there is a strong correspondence between poles of the so-called local zeta functions or complex powers ∫|f|^2sω, where the ω are C^∞ differential forms with compact support, and eigenvalues of the local monodromy of f. In particular Barlet showed that each monodromy eigenvalue of f is of the form , where s₀ is such a pole. We prove an analogous result for similar p-adic complex powers, called Igusa (local) zeta functions, but mainly for the related algebro-geometric topological and motivic zeta functions.