Neither first countable nor Cech-complete spaces are maximal Tychonoff connected

A connected Tychonoff space is called maximal Tychonoff connected if there is no strictly finer Tychonoff connected topology on . We show that if is a connected Tychonoff space and locally separable spaces, locally \v{C}ech-complete spaces, first countable spaces, then is not maximal Tychonoff connected. This result is new even in the cases where is compact or metrizable.

     

-convexity of Orlicz-Bochner spaces

A characterization of -convexity of arbitrary Banach space is given. Moreover, it is proved that the Orlicz-Bochner function space is P-convex if and only if both spaces and are -convex. In particular, the Lebesgue-Bochner space with is -convex iff is -convex.

     

Paraexponentials, Muckenhoupt weights, and resolvents of paraproducts

We analyze the stability of Muckenhoupt's and classes of weights under a nonlinear operation, the -operation. We prove that the dyadic doubling reverse Hölder classes are not preserved under the -operation, but the dyadic doubling classes are preserved for . We give an application to the structure of resolvent sets of dyadic paraproduct operators.

     

A characterization for spaces of sections

The space of smooth sections of a bundle over a compact smooth manifold can be equipped with a manifold structure, called an -manifold, where represents the Fréchet algebra of real valued smooth functions on . We prove that the -manifold structure characterizes the spaces of sections of bundles over and its open subspaces. We also describe the -maps between -manifolds.

     

Zero divisors and

Let be a discrete group, the group ring of over and the Lebesgue space of with respect to Haar measure. It is known that if is torsion free elementary amenable, and , then . We will give a sufficient condition for this to be true when , and in the case we will give sufficient conditions for this to be false when .

     

Quasipositive plumbing (constructions of quasipositive knots and links, V)

A Seifert surface is a fiber surface if a push-off induces a homotopy equivalence; roughly, is quasipositive if pushing into produces a piece of complex plane curve. A Murasugi sum (or plumbing) is a way to fit together two Seifert surfaces to build a new one. Gabai proved that a Murasugi sum is a fiber surface iff both its summands are; we prove the analogue for quasipositive Seifert surfaces. The slice (or Murasugi) genus of a link is the least genus of a smooth surface bounded by . By the local Thom Conjecture, if is quasipositive; we derive a lower bound for for any Seifert surface , in terms of quasipositive subsurfaces of .

     

Extendibility of homogeneous polynomials on Banach spaces

We study the -homogeneous polynomials on a Banach space that can be extended to any space containing . We show that there is an upper bound on the norm of the extension. We construct a predual for the space of all extendible -homogeneous polynomials on and we characterize the extendible 2-homogeneous polynomials on when is a Hilbert space, an -space or an -space.

     

Closure ordering and the Kostant-Sekiguchi correspondence

Let be a real semisimple Lie group with Lie algebra . The Kostant-Sekiguchi correspondence is a bijection between nilpotent orbits on and nilpotent orbits on . In this note we prove that the closure relations among nilpotent orbits are preserved under the Kostant-Sekiguchi correspondence. The techniques rely on work of M. Vergne and P. Kronheimer.

     

Derivations mapping into the socle, II

Let be a unital Banach algebra. Several characterizations of continuous derivations of having only elements with finite spectrum in their ranges are obtained. In particular, if is semisimple, then such derivations map into its socle.

     

Degrees of high-dimensional subvarieties of determinantal varieties

Let , where is a prime, and . In , let be the variety defined by . We show that any subvariety of of codimension less than must have degree a multiple of . We also show that the bounds on the codimension in our results are strict by exhibiting subvarieties of the appropriate codimension whose degrees are prime to .

     

A classification of all is a Prüfer domain

Let be an integral domain with quotient field . The ring of integer-valued polynomials over is defined by . It is known that if is a Prüfer domain, then is an almost Dedekind domain with all residue fields finite. This condition is necessary and sufficient if is Noetherian, but has been shown to not be sufficient if is not Noetherian. Several authors have come close to a complete characterization by imposing bounds on orders of residue fields of and on normalized values of particular elements of . In this note we give a double-boundedness condition which provides a complete charaterization of all integral domains such that is a Prüfer domain.

     

Centralizers in residually finite torsion groups

Let be a residually finite torsion group. We show that, if has a finite 2-subgroup whose centralizer is finite, then is locally finite. We also show that, if has no -torsion, and is a finite 2-group acting on in such a way that the centralizer is soluble, or of finite exponent, then is locally finite.

     

Banach spaces failing the almost isometric universal extension property

If is an infinite dimensional, separable, uniformly smooth Banach space, then there is an , a Banach space containing as a closed subspace and a norm one map from to a space which does not extend to an operator from to with .

     

Optimal estimation of shell thickness in Cutland's construction of Wiener measure

In Cutland's construction of Wiener measure, he used the product of Gaussian measures on , where is an infinite integer. It is mentioned by Cutland and Ng that for the product measure ,

where and with any positive infinite number. We prove here that may be replaced by with any positive infinite number. This is the optimal estimation for the shell thickness. It is also proved that . And for the *Lebesgue measure , is finite and not infinitesimal iff with finite, while for the *Lebesgue area of the sphere , should be .

     

A note on Greenberg's conjecture and the abc conjecture

For any totally real number field and any prime number , Greenberg's conjecture for asserts that the Iwasawa invariants and are both zero. For a fixed real abelian field , we prove that the conjecture is ``affirmative' for infinitely many (which split in if we assume the abc conjecture for .

     

Relative to any nonrecursive set

There is a countable first order structure such that for any set of integers , is not recursive if and only if there is a presentation of which is recursive in .

     

Continuous multiplicative mappings on

Let and be compact Hausdorff topological spaces, and let and be real Banach algebras of all real-valued continuous functions on and , respectively. The general form of continuous multiplicative mappings is given.

     

A uniqueness theorem for harmonic functions

The main result of this note is the following theorem: Theorem 1. Let be a half ball in and . Assume that is in and harmonic in , and that for every positive integer there exists a constant such that

Then .

First we prove it for , and then we show by induction that it holds for all .

     

Some extremal problems in

Fix a positive integer and . We provide expressions for the weighted distance

where is normalized Lebesgue measure on the unit circle, is a nonnegative integrable function, and ranges over the trigonometric polynomials with frequencies in

or

These distances are related to other extremal problems, and are shown to be positive if and only if is integrable. In some cases they are expressed in terms of the series coefficients of the outer functions associated with .

     

Average curvature of convex curves in

A well-known result states that, if a curve in has geodesic curvature less than or equal to one at every point, then is embedded. The converse is obviously not true, but the embeddedness of a curve does give information about the curvature. We prove that, if is a convex embedded curve in , then the average curvature (curvature per unit length) of , denoted , satisfies . This bound on the average curvature is tight as for a horocycle.