Open covers and partition relations

An open cover of a topological space is said to be an -cover if there is for each finite subset of the space a member of the cover which contains the finite set, but the space itself is not a member of the cover. We prove theorems which imply that a set of real numbers has Rothberger's property if, and only if, for each positive integer , for each -cover of , and for each function from the two-element subsets of , there is a subset of such that is constant on , and each element of belongs to infinitely many elements of (Theorem 1). A similar characterization is given of Menger's property for sets of real numbers (Theorem 6).

     

Behaviour of holomorphic automorphisms on equicontinuous subsets of the space

Consider a compact Hausdorff topological space , a -triple and , the -triple of all continuous -valued functions with the pointwise operations and the norm of the supremum. Let be the group of all holomorphic automorphisms of the unit ball of that map every equicontinuous subset lying strictly inside into another such a set. The real Banach-Lie group and its Lie algebra are investigated. The identity connected component of is identified when has the strong Banach-Stone property. This extends to the infinite dimensional setting a well known result concerning the case .

     

Gradient estimates for positive solutions of the Laplacian with drift

Let be a complete Riemannian manifold of dimension without boundary and with Ricci curvature bounded below by where If is a vector field such that and on for some nonnegative constants and then we show that any positive solution of the equation satisfies the estimate

on , for all In particular, for the case when this estimate is advantageous for small values of and when it recovers the celebrated Liouville theorem of Yau (Comm. Pure Appl. Math. 28 (1975), 201-228).

     

A factorization theorem for the derivative of a function in

We show that a function is the derivative of a function in the Hardy space of the unit disk for if and only if where and . Here, can be chosen to be non-vanishing, , and . As an application, we characterize positive measures on the unit disk such that the operator is bounded from the tent space to , where .

     

Group algebras with units satisfying a group identity

Let be the group algebra of a group over a field , and let be its group of units. A conjecture by Brian Hartley asserts that if is a torsion group and satisfies a group identity, then satisfies a polynomial identity. This was verified earlier in case is an infinite field. Here we modify the original proof so that it handles fields of all sizes.

     

type free resolutions of monomial ideals

Let be a monomial ideal of . Bayer-Peeva-Sturmfels studied a subcomplex of the Taylor resolution, defined by a simplicial complex . They proved that if is generic (i.e., no variable appears with the same non-zero exponent in two distinct monomials which are minimal generators), then is the minimal free resolution of , where is the Scarf complex of . In this paper, we prove the following: for a generic (in the above sense) monomial ideal and each integer , there is an embedded prime of . Thus a generic monomial ideal with no embedded primes is Cohen-Macaulay (in this case, is shellable). We also study a non-generic monomial ideal whose minimal free resolution is for some . In particular, we prove that if all associated primes of have the same height, then is Cohen-Macaulay and is pure and strongly connected.

     

The weak closure of the set of left translation operators

It is known that for an amenable locally compact group , is not in the weak closure of of . In this paper, it is proved that the converse of this is true. In other words, if is a non-amenable locally compact group, then is in the weak closure of . This answers several questions of Ülger. Applications to the algebra and the dual of the reduced group -algebra are obtained.

     

Sharper changes in topologies

Let be a Polish group, a Polish topology on a space , acting continuously on , with -invariant and in the Borel algebra generated by . Then there is a larger Polish topology on so that is open with respect to , still acts continuously on , and has a basis consisting of sets that are of the same Borel rank as relative to .

     

-identities on associative algebras

Let be an algebra over a field and a finite group of automorphisms and anti-automorphisms of . We prove that if satisfies an essential -polynomial identity of degree , then the -codimensions of are exponentially bounded and satisfies a polynomial identity whose degree is bounded by an explicit function of . As a consequence we show that if is an algebra with involution satisfying a -polynomial identity of degree , then the -codimensions of are exponentially bounded; this gives a new proof of a theorem of Amitsur stating that in this case must satisfy a polynomial identity and we can now give an upper bound on the degree of this identity.

     

Finite generation of powers of ideals

Suppose is a maximal ideal of a commutative integral domain and that some power of is finitely generated. We show that is finitely generated in each of the following cases: (i) is of height one, (ii) is integrally closed and , (iii) is a monoid domain over a field , where is a cancellative torsion-free monoid such that , and is the maximal ideal . We extend the above results to ideals of a reduced ring such that is Noetherian. We prove that a reduced ring is Noetherian if each prime ideal of has a power that is finitely generated. For each with , we establish existence of a -dimensional integral domain having a nonfinitely generated maximal ideal of height such that is -generated.

     

A bound for

Let denote the largest irreducible character degree of a finite group , and let be a prime. Two results are obtained. First, we show that, if is a -solvable group and if , then . Next, we restrict attention to solvable groups and show that, if and if is a Sylow -subgroup of , then .

     

Toeplitz -algebras on ordered groups and their ideals of finite elements

Let be a discrete abelian group and an ordered group. Denote by the minimal quasily ordered group containing . In this paper, we show that the ideal of finite elements is exactly the kernel of the natural morphism between these two Toeplitz -algebras. When is countable, we show that if the direct sum of -groups , then .

     

Lusin's theorem for derivatives with respect to a continuous function

For a nowhere constant continuous function on a real interval and for a Borel measure on , we give simple necessary and sufficient conditions guaranteeing, for any Borel function on , the existence of a continuous function on such that the derivative of with respect to is, almost everywhere, equal to .

     

Relative Brauer groups of discrete valued fields

Let be a non-trivial finite Galois extension of a field . In this paper we investigate the role that valuation-theoretic properties of play in determining the non-triviality of the relative Brauer group, , of over . In particular, we show that when is finitely generated of transcendence degree 1 over a -adic field and is a prime dividing , then the following conditions are equivalent: (i) the -primary component, , is non-trivial, (ii) is infinite, and (iii) there exists a valuation of trivial on such that divides the order of the decomposition group of at .

     

The degree of coconvex polynomial approximation

Let change its convexity finitely many times in the interval, say times, at . We estimate the degree of approximation of by polynomials of degree , which change convexity exactly at the points . We show that provided is sufficiently large, depending on the location of the points , the rate of approximation is estimated by the third Ditzian-Totik modulus of smoothness of multiplied by a constant , which depends only on .

     

A note on -bases of rings

Let be a tower of rings of characteristic . Suppose that is a finitely presented -module. We give necessary and sufficient conditions for the existence of -bases of over . Next, let be a polynomial ring where is a perfect field of characteristic , and let be a regular noetherian subring of containing such that . Suppose that is a free -module. Then, applying the above result to a tower of rings, we shall show that a polynomial of minimal degree in is a -basis of over .

     

Existence of unliftable modules

Let be a commutative Noetherian local ring, and let where is a non-zerodivisor of contained in . Then a finitely generated -module is said to lift to if there exists a finitely generated -module such that is -regular and . In this paper we give a general construction of finitely generated -modules of finite projective dimension over which fail to lift to provided and the depth of is at least 2.

     

On a problem of Dynkin

Consider an -superdiffusion on , where is an uniformly elliptic differential operator in , and . The -polar sets for are subsets of which have no intersection with the graph of , and they are related to the removable singularities for a corresponding nonlinear parabolic partial differential equation. Dynkin characterized the -polarity of a general analytic set in term of the Bessel capacity of , and Sheu in term of the restricted Hausdorff dimension. In this paper we study in particular the -polarity of sets of the form , where and are two Borel subsets of and respectively. We establish a relationship between the restricted Hausdorff dimension of and the usual Hausdorff dimensions of and . As an application, we obtain a criterion for -polarity of in terms of the Hausdorff dimensions of and , which also gives an answer to a problem proposed by Dynkin in the 1991 Wald Memorial Lectures.

     

The Weierstrass approximation theorem and a characterization of the unit circle

We study real algebraic morphisms from nonsingular real algebraic varieties with into nonsingular real algebraic curves . We show, among other things, that the set of real algebraic morphisms from into is never dense in the space of all maps from into , unless is biregularly isomorphic to a Zariski open subset of the unit circle.

     

Helly-type theorems for hollow axis-aligned boxes

A hollow axis-aligned box is the boundary of the cartesian product of compact intervals in . We show that for , if any of a collection of hollow axis-aligned boxes have non-empty intersection, then the whole collection has non-empty intersection; and if any of a collection of hollow axis-aligned rectangles in have non-empty intersection, then the whole collection has non-empty intersection. The values for and for are the best possible in general. We also characterize the collections of hollow boxes which would be counterexamples if were lowered to , and to , respectively.