Vanishing of cohomology over Gorenstein rings of small codimension

We prove that if , are finite modules over a Gorenstein local ring of codimension at most , then the vanishing of for is equivalent to the vanishing of for . Furthermore, if has no embedded deformation, then such vanishing occurs if and only if or has finite projective dimension.

     

Some finiteness conditions on the set of overrings of an integral domain

Let be an integral domain with quotient field and integral closure . An overring of is a subring of containing , and denotes the set of overrings of . We consider primarily two finiteness conditions on : (FO), which states that is finite, and (FC), the condition that each chain of distinct elements of is finite. (FO) is strictly stronger than (FC), but if , each of (FO) and (FC) is equivalent to the condition that is a Prüfer domain with finite prime spectrum. In general satisfies (FC) iff satisfies (FC) and all chains of subrings of containing have finite length. The corresponding statement for (FO) is also valid.

     

Every set of finite Hausdorff measure is a countable union of sets whose Hausdorff measure and content coincide

A set is -straight if has finite Hausdorff -measure equal to its Hausdorff -content, where is continuous and non-decreasing with . Here, if satisfies the standard doubling condition, then every set of finite Hausdorff -measure in is shown to be a countable union of -straight sets. This also settles a conjecture of Foran that when , every set of finite -measure is a countable union of -straight sets.

     

The Nevanlinna counting functions for Rudin's orthogonal functions

and denote the Hardy spaces on the open unit disc . Let be a function in and . If is an inner function and , then is orthogonal in . W.Rudin asked if the converse is true and C. Sundberg and C. Bishop showed that the converse is not true. Therefore there exists a function such that is not an inner function and is orthogonal in . In this paper, the following is shown: is orthogonal in if and only if there exists a unique probability measure on [0,1] with supp such that for nearly all in where is the Nevanlinna counting function of . If is an inner function, then is a Dirac measure at .

     

Perfect cliques and colorings of Polish spaces

A coloring of a set is any subset of , where 1$"> is a natural number. We give some sufficient conditions for the existence of a perfect -homogeneous set, in the case where is and is a Polish space. In particular, we show that it is sufficient that there exist -homogeneous sets of arbitrarily large countable Cantor-Bendixson rank. We apply our methods to show that an analytic subset of the plane contains a perfect -clique if it contains any uncountable -clique, where is a natural number or (a set is a -clique in if the convex hull of any of its -element subsets is not contained in ).

     

On a proposed characterization of Schatten-class composition operators

For an analytic function which maps the open unit disc to itself, let be the operator of composition with on the Bergman space . It has been a longstanding problem to determine whether or not the membership of in the Schatten class , , is equivalent to the condition that the function has a finite integral with respect to the Möbius-invariant measure on . We show that the answer is negative when .

     

Approximation methods for nonlinear operator equations

Let be a real normed linear space and be a uniformly quasi-accretive map. For arbitrary define the sequence by where is a positve real sequence satisfying the following conditions: (i) ; (ii) . For , assume that 0$"> and that , where (the set of all positive integers): and is a strictly increasing function with . It is proved that a Mann-type iteration process converges strongly to . Furthermore if, in addition, is a uniformly continuous map, it is proved, without the condition on , that the Mann-type iteration process converges strongly to . As a consequence, corresponding convergence theorems for fixed points of hemi-contractive maps are proved.

     

Mbekhta's subspaces and a spectral theory of compact operators

Let be an operator on an infinite-dimensional complex Banach space. By means of Mbekhta's subspaces and , we give a spectral theory of compact operators. The main results are: Let be compact. . The following assertions are all equivalent: (1) 0 is an isolated point in the spectrum of (2) is closed; (3) is of finite dimension; (4) is closed; (5) is of finite dimension; . sufficient conditions for to be an isolated point in ; . sufficient and necessary conditions for to be a pole of the resolvent of .

     

Imbeddings of free actions on handlebodies

Fix a free, orientation-preserving action of a finite group on a -dimensional handlebody . Whenever acts freely preserving orientation on a connected -manifold , there is a -equivariant imbedding of into . There are choices of closed and Seifert-fibered for which the image of is a handlebody of a Heegaard splitting of . Provided that the genus of is at least , there are similar choices with closed and hyperbolic.

     

Covering with translates of a compact set

Motivated by a question of Gruenhage, we investigate when is the union of less than continuum many translates of a compact set . It will follow from one of our general results that if a compact set has packing dimension less than 1, then is not the union of less than continuum many translates of .

     

On Schwarz type inequalities

We show Schwarz type inequalities and consider their converses. A continuous function is said to be semi-operator monotone on if is operator monotone on . Let be a bounded linear operator on a complex Hilbert space and be the polar decomposition of . Let and for . (1) If a non-zero function is semi-operator monotone on , then for , where . (2) If are semi-operator monotone on , then for . Also, we show converses of these inequalities, which imply that semi-operator monotonicity is necessary.

     

Catégorie de Lusternik-Schnirelmann et genre des -espaces

Soit un espace ayant le type d'homotopie rationnelle d'un produit de sphères impaires. Si, pour tout nombre premier , la LS-catégorie de tous les -localisés de est majorée par , nous montrons que la LS-catégorie de est majorée par . Si est un élément dans le genre de Mislin de , nous en déduisons: . Dans le cas d'un -espace de rang 2, nous avons exactement , pour tout espace dans le genre de .

     

Graphs that are not complete pluripolar

Let be domains in . Under very mild conditions on we show that there exist holomorphic functions , defined on with the property that is nowhere extendible across , while the graph of over is not complete pluripolar in . This refutes a conjecture of Levenberg, Martin and Poletsky (1992).

     

Fully transitive -groups with finite first Ulm subgroup

An abelian -group is called (fully) transitive if for all with ( ) there exists an automorphism (endomorphism) of which maps onto . It is a long-standing problem of A. L. S. Corner whether there exist non-transitive but fully transitive -groups with finite first Ulm subgroup. In this paper we restrict ourselves to -groups of type , this is to say -groups satisfying . We show that the answer to Corner's question is no if is finite and is of type .

     

Approximation of measurable mappings by sequences of continuous functions

Let be a completely regular Hausdorff space, a positive, finite Baire measure on , and a separable metrizable locally convex space. Suppose is a measurable mapping. Then there exists a sequence of functions in which converges to a.e. . If the function is assumed to be weakly continuous and the measure is assumed to be -smooth, then a separability condition is not needed.

     

On strong convergence to common fixed points of nonexpansive semigroups in Hilbert spaces

In this paper, we prove the following strong convergence theorem: Let be a closed convex subset of a Hilbert space . Let be a strongly continuous semigroup of nonexpansive mappings on such that . Let and be sequences of real numbers satisfying , 0$"> and . Fix and define a sequence in by for . Then converges strongly to the element of nearest to .

     

On a characterization of the maximal ideal spaces of algebraically closed commutative -algebras

Let be the algebra of all complex-valued continuous functions on a compact Hausdorff space . We say that is algebraically closed if each monic polynomial equation over has a continuous solution. We give a necessary and sufficient condition for to be algebraically closed for a locally connected compact Hausdorff space . In this case, it is proved that is algebraically closed if each element of is the square of another. We also give a characterization of a first-countable compact Hausdorff space such that is algebraically closed.

     

On polynomial products in nilpotent and solvable Lie groups

We are dealing with Lie groups which are diffeomorphic to , for some . After identifying with , the multiplication on can be seen as a map . We show that if is a polynomial map in one of the two (sets of) variables or , then is solvable. Moreover, if one knows that is polynomial in one of the variables, the group is nilpotent if and only if is polynomial in both its variables.

     

Conditional weak laws in Banach spaces

Let be a separable Banach space. Let be centered i.i.d. random vectors taking values on with law , , and let Under suitable conditions it is shown for every open and convex set that \varepsilon \Big\vert\frac{{\displaystyle S_n}}{\displaystyle n}\in D\right)$"> converges to zero (exponentially), where is the dominating point of As applications we give a different conditional weak law of large numbers, and prove a limiting aposteriori structure to a specific Gibbs twisted measure (in the direction determined solely by the same dominating point).

     

Block bases of the Haar system as complemented subspaces of

It is shown that the span of , where is the Haar system in and the canonical basis of , is well isomorphic to a well complemented subspace of . As a consequence we get that there is a rearrangement of the (initial segments of the) Haar system in , any block basis of which is well isomorphic to a well complemented subspace of .