Finiteness of graded local cohomology modules

Let R=?_n∈N0R_n be a Noetherian homogeneous ring with local base ring (R₀,m₀) and irrelevant ideal R₊, let M be a finitely generated graded R-module. In this paper we show that is Artinian and is Artinian for each i in the case where R₊ is principal. Moreover, for the case where , we prove that, for each i∈N₀, is Artinian if and only if is Artinian. We also prove that is Artinian, where and c is the cohomological dimension of M with respect to R₊. Finally we present some examples which show that and need not be Artinian.     

A numerical characterization of the S2-ification of a Rees algebra

Let A be a local ring with maximal ideal . For an arbitrary ideal I of A, we define the generalized Hilbert coefficients . When the ideal I is -primary, j_k(I)=(0,…,0,(−1)^ke_k(I)), where e_k(I) is the classical kth Hilbert coefficient of I. Using these coefficients we give a numerical characterization of the homogeneous components of the S₂-ification of S=A[It,t⁻¹], extending previous results obtained by the author to not necessarily -primary ideals.     

Pure-injective hulls of modules over valuation rings

If is the pure-injective hull of a valuation ring R, it is proved that is the pure-injective hull of M, for every finitely generated R-module M. Moreover , where (A_k)_1≤k≤n is the annihilator sequence of M. The pure-injective hulls of uniserial or polyserial modules are also investigated. Any two pure-composition series of a countably generated polyserial module are isomorphic.     

On the automorphisms of the spectral completion of the algebraic numbers field

Let be the absolute Galois group of Q and let A=C(G,C) be the Banach algebra of all continuous functions defined on G with values in C. Let be the conjugation automorphism of C and let B be the R-Banach subalgebra of A consisting of continuous functions f such that for all σ∈G. Let ‖x‖=sup{|σ(x)|:σ∈G} be the spectral norm on and let be the spectral completion of . Using a canonical isometry between and B we study the structure of the group of R-algebras automorphisms of and the structure of its subgroup of all automorphisms of which when restricted to give rise to elements of G. We introduce a topology on and prove that this last one is homeomorphic and group isomorphic to G.     

A uniform Artin-Rees property for syzygies in rings of dimension one and two

Let be a local Noetherian ring, let M be a finitely generated R-module and let I⊂R be an -primary ideal. Let be a free resolution of M. In this paper we study the question whether there exists an integer h such that IⁿF_i∩ker(∂_i)⊂I^n−hker(∂_i) holds for all i. We give a positive answer for rings of dimension at most two. We relate this property to the existence of an integer s such that I^s annihilates the modules for all i>0 and all integers n.     

Forked Temperley-Lieb algebras and intermediate subfactors

We consider noncommuting pairs P, Q of intermediate subfactors of an irreducible, finite-index inclusion N⊂M of II₁ factors such that P and Q are supertransitive with Jones index less than 4 over N. We show that up to isomorphism of the standard invariant, there is a unique such pair corresponding to each even value but none for the odd values . We also classify the angle values which occur between pairs of intermediate subfactors with small index over their intersection: if [P:N],[Q:N]<4, then the unique nontrivial angle value is always .     

The zero-divisor graph of a reduced ring

In this paper the zero-divisor graph Γ(R) of a commutative reduced ring R is studied. We associate the ring properties of R, the graph properties of Γ(R) and the topological properties of . Cycles in Γ(R) are investigated and an algebraic and a topological characterization is given for the graph Γ(R) to be triangulated or hypertriangulated. We show that the clique number of Γ(R), the cellularity of and the Goldie dimension of R coincide. We prove that when R has the annihilator condition and ; Γ(R) is complemented if and only if is compact. In a semiprimitive Gelfand ring, it turns out that the dominating number of Γ(R) is between the density and the weight of . We show that Γ(R) is not triangulated and the set of centers of Γ(R) is a dominating set if and only if the set of isolated points of is dense in .     

Computing the minimal number of equations defining an affine curve ideal-theoretically

There is an algorithm which computes the minimal number of generators of the ideal of a reduced curve C in affine n-space over an algebraically closed field K, provided C is not a local complete intersection.The existence of such an algorithm follows from the fact that given , there exists , such that if is a height n−1 radical ideal in K[X₁,…,X_n], generated by polynomials of degree at most d, then admits a set of generators of minimal cardinality, with each generator having degree at most d′, except possibly when is an (unmixed) local complete intersection.     

Universal factorization property of certain polycyclic groups

Let H be a torsion-free strongly polycyclic (torsion-free virtually polycyclic, resp.) group. Let G be any group with maximal condition. We show that there exists a torsion-free strongly polycyclic (torsion-free virtually polycyclic, resp.) group and an epimorphism such that for any homomorphism ?:G→H, it factors through , i.e., there exists a homomorphism such that . We show that this factorization property cannot be extended to any finitely generated group G. As an application of factorization, we give necessary and sufficient conditions for N(f,g)=R(f,g) to hold for maps f,g:X→Y between closed orientable n-manifolds where π₁(X) has the maximal condition, Y is an infra-solvmanifold, N(f,g) and R(f,g) denote the Nielsen and Reidemeister coincidence numbers, respectively.     

A construction of covers of arithmetic schemes

Let X be a regular arithmetic scheme, i.e. a regular integral separated scheme flat and of finite type over SpecZ. Assume that for all closed irreducible subschemes C⊆X of dimension 1 with normalisation there are given open normal subgroups NC of , which fulfil the following compatibility condition: For all the pre-images of NC₁ and NC₂ in coincide. If the indices of the NC are bounded, then these data uniquely determine an open normal subgroup of π₁(X), whose pre-image in is NC for all C.     

Homological characterization of the unknot

Given a knot K in the 3-sphere, let Q_K be its fundamental quandle as introduced by Joyce. Its first homology group is easily seen to be . We prove that H₂(Q_K)=0 if and only if K is trivial, and whenever K is non-trivial. An analogous result holds for links, thus characterizing trivial components.More detailed information can be derived from the conjugation quandle: let Q_K^π be the conjugacy class of a meridian in the knot group . We show that , where p is the number of prime summands in a connected sum decomposition of K.     

Image partition regularity of affine transformations

If u,v∈N, A is a u×v matrix with entries from Q, and , then determines an affine transformation from Qv to Qu by . In 1933 and 1943 Richard Rado determined precisely when such transformations are kernel partition regular over N, Z, or Q, meaning that whenever the nonzero elements of the relevant set are partitioned into finitely many cells, there is some element of the kernel of the transformation with all of its entries in the same cell. In 1993 the first author and Imre Leader determined when such transformations with are image partition regular over N, meaning that whenever N is partitioned into finitely many cells, there is some element of the image of the transformation with all of its entries in the same cell. In this paper we characterize the image partition regularity of such transformations over N, Z, or Q for arbitrary .     

Deduction of L. Hörmander's extension of Ásgeirsson's mean value theorem

L. Hörmander's extension of Ásgeirsson's mean value theorem states that if u is a solution of the inhomogeneous ultrahyperbolic equation (Δ_x−Δ_y)u=f, , , then

     

Holomorphy of spectral multipliers of the Ornstein-Uhlenbeck operator

Let γ be the Gauss measure on and the Ornstein-Uhlenbeck operator. For every p in [1,∞)?{2}, set , and consider the sector . The main results of this paper are the following. If p is in (1,∞)?{2}, and , i.e., if M is an Lp(γ)uniform spectral multiplier of in our terminology, and M is continuous on , then M extends to a bounded holomorphic function on the sector . Furthermore, if p=1 a spectral multiplier M, continuous on , satisfies the condition if and only if M extends to a bounded holomorphic function on the right half-plane, and its boundary value M(i·) on the imaginary axis is the Euclidean Fourier transform of a finite Borel measure on the real line. We prove similar results for uniform spectral multipliers of second order elliptic differential operators in divergence form on belonging to a wide class, which contains . From these results we deduce that operators in this class do not admit an H^∞ functional calculus in sectors smaller than .     

Estimation of location parameters for spherically symmetric distributions

Estimation of the location parameters of a p×1 random vector with a spherically symmetric distribution is considered under quadratic loss. The conditions of Brandwein and Strawderman [Ann. Statist. 19(1991) 1639-1650] under which estimators of the form dominate are (i) where -h is superharmonic, (ii) is nonincreasing in R, where has a uniform distribution in the sphere centered at with a radius R, and (iii) . In this paper, we not only drop their condition (ii) to show the dominance of over but also obtain a new bound for a which is sometimes better than that obtained by Brandwein and Strawderman. Specifically, the new bound of a is 0<a<[μ₁/(p²μ_-1)][1-(p-1)μ₁/(pμ_-1μ₂)]^-1 with for i=-1,1,2. The generalization to concave loss functions is also considered. Additionally, we investigate estimators of the location parameters when the scale is unknown and the observation contains a residual vector.     

Cospectral graphs and the generalized adjacency matrix

Let J be the all-ones matrix, and let A denote the adjacency matrix of a graph. An old result of Johnson and Newman states that if two graphs are cospectral with respect to yJ − A for two distinct values of y, then they are cospectral for all y. Here we will focus on graphs cospectral with respect to yJ − A for exactly one value of y. We call such graphs -cospectral. It follows that is a rational number, and we prove existence of a pair of -cospectral graphs for every rational . In addition, we generate by computer all -cospectral pairs on at most nine vertices. Recently, Chesnokov and the second author constructed pairs of -cospectral graphs for all rational , where one graph is regular and the other one is not. This phenomenon is only possible for the mentioned values of , and by computer we find all such pairs of -cospectral graphs on at most eleven vertices.