Splitting sets in integral domains

Let be an integral domain. A saturated multiplicatively closed subset of is a splitting set if each nonzero may be written as where and for all . We show that if is a splitting set in , then is a splitting set in , a multiplicatively closed subset of , and that is a splitting set in is an lcm splitting set of , i.e., is a splitting set of with the further property that is principal for all and . Several new characterizations and applications of splitting sets are given.

     

Invariant projections and convolution operators

We prove the existence of invariant projections from the Banach space of -pseudomeasures onto with for closed neutral subgroup of a locally compact group . As a main application we obtain that every closed neutral subgroup is a set of -synthesis in and in fact locally -Ditkin in . We also obtain an extension theorem concerning the Fourier algebra.

     

A new construction of semi-free actions on Menger manifolds

A new construction of semi-free actions on Menger manifolds is presented. As an application we prove a theorem about simultaneous coexistence of countably many semi-free actions of compact metric zero-dimensional groups with the prescribed fixed-point sets: Let be a compact metric zero-dimensional group, represented as the direct product of subgroups , a -manifold and (resp., ) its pseudo-interior (resp., pseudo-boundary). Then, given closed subsets of , there exists a -action on such that (1) and are invariant subsets of ; and (2) each is the fixed point set of any element .

     

Unbounded quasi-integrals

Let be a locally compact Hausdorff space. We define a quasi-measure in , a quasi-integral on , and a quasi-integral on . We show that all quasi-integrals on are bounded, continuity properties of the quasi-integral on , representation of quasi-integrals on in terms of quasi-measures, and unique extension of quasi-integrals on to .

     

Oscillation inequalities for rectangles

In this paper we extend previously obtained results on norm inequalities for square functions, oscillation and variation operators, with actions, to the case of actions. The technique involves the use of a result about vector valued maximal functions, due to Fefferman and Stein, to reduce the problem to a situation where we can apply our previous results.     

Line bundles for which a projectivized jet bundle is a product

We characterize the triples , consisting of line bundles and on a complex projective manifold , such that for some positive integer , the -th holomorphic jet bundle of , , is isomorphic to a direct sum .

     

A note on asymptotically isometric copies of

Nonreflexive Banach spaces that are complemented in their bidual by an L-projection--like preduals of von Neumann algebras or the Hardy space --contain, roughly speaking, many copies of which are very close to isometric copies. Such -copies are known to fail the fixed point property. Similar dual results hold for .

     

On a conjecture about MRA Riesz wavelet bases

Let be a compactly supported refinable function in such that the shifts of are stable and for a -periodic trigonometric polynomial . A wavelet function can be derived from by . If is an orthogonal refinable function, then it is well known that generates an orthonormal wavelet basis in . Recently, it has been shown in the literature that if is a -spline or pseudo-spline refinable function, then always generates a Riesz wavelet basis in . It was an open problem whether can always generate a Riesz wavelet basis in for any compactly supported refinable function in with stable shifts. In this paper, we settle this problem by proving that for a family of arbitrarily smooth refinable functions with stable shifts, the derived wavelet function does not generate a Riesz wavelet basis in . Our proof is based on some necessary and sufficient conditions on the -periodic functions and in such that the wavelet function , defined by , generates a Riesz wavelet basis in .

     

Extending Baire Property by countably many sets

We prove that if ZFC is consistent so is ZFC + ``for any sequence of subsets of a Polish space there exists a separable metrizable topology on with , and Borel in for all .' This is a category analogue of a theorem of Carlson on the possibility of extending Lebesgue measure to any countable collection of sets. A uniform argument is presented, which gives a new proof of the latter as well.

Some consequences of these extension properties are also studied.

     

Minimal index of a -crossed product by a finite group

Let be the -crossed product of a simple unital -algebra by a finite group . In this paper we show that the canonical conditional expectation from to has the minimal index if is simple. It is also proved that if is an outer action, then the canonical one is the unique conditional expectation of index-finite type from to , while there are infinitely many conditional expectations when a nontrivial subgroup of acts innerly on .

     

The mixed Hodge structure on the fundamental group of a punctured Riemann surface

Given a compact Riemann surface of genus and distinct points and on , we consider the non-compact Riemann surface with basepoint . The extension of mixed Hodge structures associated to the first two steps of is studied. We show that it determines the element in , where represents the canonical divisor of as well as the corresponding extension associated to . Finally, we deduce a pointed Torelli theorem for punctured Riemann surfaces.

     

Types in reductive -adic groups: The Hecke algebra of a cover

In this paper, is a non-Archimedean local field and is the group of -points of a connected reductive algebraic group defined over . Also, is an irreducible representation of a compact open subgroup of , the pair being a type in . The pair is assumed to be a cover of a type in a Levi subgroup of . We give conditions, generalizing those of earlier work, under which the Hecke algebra is the tensor product of a canonical image of and a sub-algebra , for a compact open subgroup of containing .

     

Almost-everywhere discontinuity of the spectral radius

Let denote the spectral radius of an operator . We construct operators and  on such that is discontinuous almost everywhere on the unit disk.

     

Lifting wreath product extensions

Let and be finite groups and let be a hilbertian field. We show that if has a generic extension over and satisfies the arithmetic lifting property over , then the wreath product of and also satisfies the arithmetic lifting property over . Moreover, if the orders of and are relatively prime and is abelian, then any extension of by (which is necessarily a semidirect product) has the arithmetic lifting property.

     

A two-dimensional Hahn-Banach theorem

Let , where and is a Banach space. Let be an extension of to all of (i.e., ) such that has minimal (operator) norm. In this paper we show in particular that, in the case and the field is R, there exists a rank- such that for all if and only if the unit ball of is either not smooth or not strictly convex. In this case we show, furthermore, that, for some , there exists a choice of basis such that ; i.e., each is a Hahn-Banach extension of .

     

Products of Michael spaces and completely metrizable spaces

For disjoint subsets of the Michael space has the topology obtained by isolating the points in and letting the points in retain the neighborhoods inherited from . We study normality of the product of Michael spaces with complete metric spaces. There is a ZFC example of a Lindelöf Michael space , of minimal weight , with Lindelöf but with not normal. ( denotes the countable product of a discrete space of cardinality .) If denotes , the normality of implies the normality of for any complete metric space (of arbitrary weight). However, the statement `` normal implies normal' is axiom sensitive.

     

A dichotomy theorem for subsets of the power set of the natural numbers

The following dichotomy is established for any pair , of hereditary families of finite subsets of : Given , an infinite subset of , there exists an infinite subset of so that either , or , where denotes the set of all finite subsets of .

     

Coefficient ideals and the Cohen-Macaulay property of Rees algebras

Let be a local ring and let be an ideal of positive height. If is a reduction of , then the coefficient ideal is by definition the largest ideal such that . In this article we study the ideal when the Rees algebra is Cohen-Macaulay.

     

Single elements of finite CSL algebras

An element of an (abstract) algebra is a single element of if and imply that or . Let be a real or complex reflexive Banach space, and let be a finite atomic Boolean subspace lattice on , with the property that the vector sum is closed, for every . For any subspace lattice the single elements of Alg are characterised in terms of a coordinatisation of involving . (On separable complex Hilbert space the finite distributive subspace lattices which arise in this way are precisely those which are similar to finite commutative subspace lattices. Every distributive subspace lattice on complex, finite-dimensional Hilbert space is of this type.) The result uses a characterisation of the single elements of matrix incidence algebras, recently obtained by the authors.

     

The cohomology rings of the orbit spaces of free transformation groups of the product of two spheres

Let , a prime (resp. , act freely on a finitistic space with (resp. rational) cohomology ring isomorphic to that of . In this paper we determine the possible cohomology algebra of the orbit space .