-analyticity

Let be a finite-dimensional commutative algebra over and let , and be the ring of -differentiable functions of class , the ring of real analytic mappings with values in and the ring of -analytic functions, respectively, defined on an open subset of . We prove two basic results concerning -differentiability and -analyticity: ) , ) if and only if is defined over .

     

Cohomological detection and regular elements in group cohomology

Suppose that is a compact Lie group or a discrete group of finite virtual cohomological dimension and that is a field of characteristic . Suppose that is a set of elementary abelian -subgroups such that the cohomology is detected on the centralizers of the elements of . Assume also that is closed under conjugation and that is in whenever some subgroup of is in . Then there exists a regular element in the cohomology ring such that the restriction of to an elementary abelian -subgroup is not nilpotent if and only if is in . The converse of the result is a theorem of Lannes, Schwartz and the second author. The results have several implications for the depth and associated primes of the cohomology rings.

     

and the associated line bundles

Let be a compact semi-simple Lie group, and let be a maximal unipotent subgroup of the complexified group . In this paper, we classify all the -invariant Kaehler structures on . For each Kaehler structure , let be the line bundle with connection whose curvature is . We then study the holomorphic sections of , which constitute a -representation space.

     

Integer-valued polynomials on Krull rings

If is a subring of a Krull ring such that is a valuation ring for every finite index , in Spec, we construct polynomials that map into the maximal possible (for a monic polynomial of fixed degree) power of , for all in Spec simultaneously. This gives a direct sum decomposition of Int, the -module of polynomials with coefficients in the quotient field of that map into , and a criterion when Int has a regular basis (one consisting of 1 polynomial of each non-negative degree).

     

Comparative probability on von Neumann algebras

We continue here the study begun in earlier papers on implementation of comparative probability by states. Let be a von Neumann algebra on a Hilbert space and let denote the projections of . A comparative probability (CP) on (or more correctly on is a preorder on satisfying:

with for some .

If , then either or .

If , and are all in and , , then .

A state on is said to implement a on if for , . In this paper, we examine the conditions for implementability of a CP on a general von Neumann algebra (as opposed to only type I factors). A crucial tool used here, as well as in earlier results, is the interval topology generated on by . A will be termed continuous in a given topology on if the interval topology generated by is weaker than the topology induced on by the given topology. We show that uniform continuity of a comparative probability is necessary and sufficient if the von Neumann algebra has no finite direct summand. For implementation by normal states, weak continuity is sufficient and necessary if the von Neumann algebra has no finite direct summand of type I. We arrive at these results by constructing an appropriate additive measure from the CP.

     

On Voiculescu's double commutant theorem

For a separable infinite-dimensional Hilbert space , we consider the full algebra of bounded linear transformations and the unique non-trivial norm-closed two-sided ideal of compact operators . We also consider the quotient -algebra with quotient map

For any -subalgebra of , the relative commutant is given by for all in . It was shown by D. Voiculescu that, for any separable unital -subalgebra of ,

In this note, we exhibit a non-separable unital -subalgebra of for which (VDCT) fails.

     

Chains of strongly non-reflexive dual groups of integer-valued continuous functions

Answering a question of Eklof-Mekler (Almost free modules, set-theoretic methods, North-Holland, Amsterdam, 1990), we prove: (1) If there exists a non-reflecting stationary set of consisting of ordinals of cofinality for each , then there exist abelian groups such that and for each . (2) There exist abelian groups such that for each and for each . The groups are the groups of -valued continuous functions on a topological space and their dual groups.

     

Almost linearity of -bi-Lipschitz maps between real Banach spaces

Let and be real Banach spaces. A map between and is called an -bi-Lipschitz map if for all . In this note we show that if is an -bi-Lipschitz map with from onto , then is almost linear. We also show that if is a surjective -bi-Lipschitz map with , then there exists a linear isomorphism such that

where as and .

     

Amenability and weak amenability of second conjugate Banach algebras

For a Banach algebra , amenability of necessitates amenability of , and similarly for weak amenability provided is a left ideal in . For a locally compact group, indeed more generally, is amenable if and only if is finite. If is weakly amenable, then is weakly amenable.

     

Asymptotic behavior of nonexpansive sequences and mean points

Let be a real Banach space with norm and let be a nonexpansive sequence in (i.e., for all ). Let . We deal with the mean point of concerning a Banach limit. We show that if is reflexive and , then and there exists a unique point with such that . This result is applied to obtain the weak and strong convergence of .

     

Minimal upper bounds of commuting operators

Let be a finite collection of commuting self-adjoint elements of a von Neumann algebra . Then within the (abelian) C*-algebra they generate, these elements have a least upper bound . We show that within , is a minimal upper bound in the sense that if is any self-adjoint element such that for all , then . The corresponding assertion for infinite collections is shown to be false in general, although it does hold in any finite von Neumann algebra. We use this sort of result to show that if are von Neumann algebras, is a faithful conditional expectation, and is positive, then converges in the strong operator topology to the ``spectral order majorant' of in .

     

sets of unbounded Loeb measure

For every and non-Borel subset of an internal set in a saturated nonstandard universe there exists an internal, unbounded, non-atomic measure so that is not finite for any Borel set in

     

On a polynomial inequality of Kolmogoroff's type

We prove an inequality of the form

for polynomials of degree and any fixed . Here is the -norm on with a weight . The coefficients and are given explicitly and depend on and only. The equality is attained for the Hermite orthogonal polynomials .

     

Spectrum of positive entropy multidimensional dynamical systems with a mixed time

It is shown that if an abelian countable group is such that is a finite group and every aperiodic positive entropy action of on a Lebesgue probability space has a countable Haar spectrum in the subspace , where denotes the Pinsker -
algebra of , then every aperiodic positive entropy action of on has the same property. A positive answer to the question of J.P. Thouvenot is obtained as a corollary.

     

Asymptotic analysis of Daubechies polynomials

To study wavelets and filter banks of high order, we begin with the zeros of . This is the binomial series for , truncated after terms. Its zeros give the zeros of the Daubechies filter inside the unit circle, by . The filter has additional zeros at , and this construction makes it orthogonal and maximally flat. The dilation equation leads to orthogonal wavelets with vanishing moments. Symmetric biorthogonal wavelets (generally better in image compression) come similarly from a subset of the zeros of . We study the asymptotic behavior of these zeros. Matlab shows a remarkable plot for . The zeros approach a limiting curve in the complex plane, which is the circle . All zeros have , and the rightmost zeros approach (corresponding to ) with speed . The curve gives a very accurate approximation for finite . The wide dynamic range in the coefficients of makes the zeros difficult to compute for large . Rescaling by allows us to reach by standard codes.

     

Oscillatory singular integrals on and Hardy spaces

We consider boundedness properties of oscillatory singular integrals on and Hardy spaces. By constructing a phase function, we prove that boundedness may fail while boundedness holds for all . This shows that the theory and theory for such operators are fundamentally different.

     

On the size of lemniscates of polynomials in one and several variables

In the convergence theory of rational interpolation and Padé approximation, it is essential to estimate the size of the lemniscatic set and , for a polynomial of degree . Usually, is taken to be monic, and either Cartan's Lemma or potential theory is used to estimate the size of , in terms of Hausdorff contents, planar Lebesgue measure , or logarithmic capacity cap. Here we normalize and show that cap and are the sharp estimates for the size of . Our main result, however, involves generalizations of this to polynomials in several variables, as measured by Lebesgue measure on or product capacity and Favarov's capacity. Several of our estimates are sharp with respect to order in and .

     

Congruence lattices of algebras--- the signed labelling

For an arbitrary algebra a new labelling, called the signed labelling, of the Hasse diagram of is described. Under the signed labelling, each edge of the Hasse diagram of receives a label from the set . The signed labelling depends completely on a subset of the unary polynomials of and its inspiration comes from semigroup theory. For finite algebras, the signed labelling complements the labelled congruence lattices of tame congruence theory (TCT). It provides a different kind of information about those algebras than the TCT labelling particularly with regard to congruence semimodularity. The main result of this paper shows that the congruence lattice of any algebra admits a natural join congruence, denoted , such that satisfies the semimodular law. In an application of that result, it is shown that for a regular semigroup , for which in , is actually a lattice congruence, coincides with , and satisfies the semimodular law.

     

Degrees of unsolvability of first order decision problems for finitely presented groups

We show that for any arithmetical -degree there is a first order decision problem such that has -degree for the free 2-step nilpotent group of rank 2. This implies a conjecture of Sacerdote.

     

On the higher delta invariants of a Gorenstein local ring

Let be a Gorenstein complete local ring. Auslander's higher delta invariants are denoted by for each module and for each integer . We propose a conjecture asking if for any positive integers and . We prove that this is true provided the associated graded ring of has depth not less than . Furthermore we show that there are only finitely many possibilities for a pair of positive integers for which .