Strongly and weakly almost periodic linear maps on semigroup algebras

Let S be a foundation locally compact topological semigroup. Two new topologies τ _c and τ _w are introduced on M _a (S)^*. We introduce τ _c and τ _w almost periodic functionals in M _a (S)^*. We study these classes and compare them with each other and with the norm almost periodic and weakly almost periodic functionals. For f∈M _a (S)^*, it is proved that T _f ∈ℬ(M _a (S),M _a (S)^*) is strong almost periodic if and only if f is τ _c -almost periodic. Indeed, we have obtained a generalization of a well known result of Crombez for locally compact group to a more general setting of foundation topological semigroups. Finally if P(S) (the set of all probability measures in M _a (S)) has the semiright invariant isometry property, it is shown that the set of τ _w -almost periodic functionals has a topological left invariant mean.     

Weakly almost periodic functionals on the measure algebra

It is shown that the collection of weakly almost periodic functionals on the convolution algebra of a commutative Hopf von Neumann algebra is a C*-algebra. This implies that the weakly almost periodic functionals on M(G), the measure algebra of a locally compact group G, is a C*-subalgebra of M(G)* = C ₀(G)**. The proof builds upon a factorisation result, due to Young and Kaiser, for weakly compact module maps. The main technique is to adapt some of the theory of corepresentations to the setting of general reflexive Banach spaces.     

Multi-positive linear functionals on locally<Emphasis Type="Italic">C</Emphasis>*-algebras

We will show that ann×n matrix of continuous linear functionals on a locallyC*-algebraA, which satisfies the generalized positivity condition induces a continuous *-representation ofA on a Hilbert space. This generalizes the classical GNS-representation. Also, we give a necessary and sufficient condition such that this representation is irreducible, and determine a certain class of extreme points in the set of all continuous completely positive linear maps fromA toM _n (ℂ) that preserve identity.     

Maximal sets in α-recursion theory

Let α be an admissible ordinal, and leta ^* be the Σ₁-projectum ofa. Call an α-r.e. setM maximal if α→M is unbounded and for every α→r.e. setA, eitherA∩(α-M) or (α-A)∩(α-M) is bounded. Call and α-r.e. setM amaximal subset of α^* if α^*−M is undounded and for any α-r.e. setA, eitherA∩(α^*-M) or (⇌^*-A)∩(α^*-M) is unbounded in α^*. Sufficient conditions are given both for the existence of maximal sets, and for the existence of maximal subset of α^*. Necessary conditions for the existence of maximal sets are also given. In particular, if α ≧ ℵ ^L then it is shown that maximal sets do not exist. Research partially supported by NSF Grant GP-34088 X. Some of the results in this paper have been taken from the second author’s Ph. D. Thesis, written under the supervision of Gerald Sacks.     

P-convessità e convergenza di geodetiche

Summary We consider a sequence of energy functionals for regular paths with fixed extremes and whose range is contained in a corresponding sequence(M _h)_h∈Z+ of subsets of an Hilbert space. Assuming on eachM _h a condition similar top-convexity [C], we prove that if(M _h)_h∈Z+ is convergent in the sense of Kuratowsky toM the corresponding sequence(f _h)_h∈Z+of energy functionals is Γ-convergent to the functionalf relative toM and critical points off _h,i.e. the geodesics, are convergent to those off.      

Weak Morrey spaces and strong solutions to the Navier-Stokes equations

We consider the Cauchy problem of Navier-Stokes equations in weak Morrey spaces. We first define a class of weak Morrey type spaces Mp*,λ(Rn) on the basis of Lorentz space Lp,∞ = Lp*(Rn)(in particular, Mp*,0(Rn) = Lp,∞, if p ＞ 1), and study some fundamental properties of them; Second,bounded linear operators on weak Morrey spaces, and establish the bilinear estimate in weak Morrey spaces. Finally, by means of Kato's method and the contraction mapping principle, we prove that the Cauchy problem of Navier-Stokes equations in weak Morrey spaces Mp*,λ(Rn) (1＜p≤n) is time-global well-posed, provided that the initial data are sufficiently small. Moreover, we also obtain the existence and uniqueness of the self-similar solution for Navier-Stokes equations in these spaces, because the weak Morrey space Mp*,n-p(Rn) can admit the singular initial data with a self-similar structure. Hence this paper generalizes Kato's results.     

Completely positive maps and*-isomorphism ofC *-algebras II

LetA, B be unitalC ^*-algebras,D _A ¹ the set of all completely positive maps ϕ fromA toM _n (C), with Tr ϕ(I)≤1(n≥3). If Ψ is an α-invariant affine homeomorphism betweenD _A ¹ andD _B ¹ with Ψ (0)=0, thenA is^*-isomorphic toB. Obtained results can be viewed as non-commutative Kadison-Shultz theorems. This work is supported by the National Natural Science Foundation of China.     

Codimension one minimal cycles with coefficients inZ orZ p , and variational functionals on fibered spaces

Given a compact, oriented Riemannian manifold M, without boundary, and a codimension-one homology class in H_* (M, Z) (or, respectively, in H_* (M, Z_p) with p an odd prime), we consider the problem of finding a cycle of least area in the given class: this is known as the homological Plateau’s problem. We propose an elliptic regularization of this problem, by constructing suitable fiber bundles ξ (resp. ζ) on M, and one-parameter families of functionals defined on the regular sections of ξ, (resp. ζ), depending on a small parameter ε. As ε → 0, the minimizers of these functionals are shown to converge to some limiting section, whose discontinuity set is exactly the minimal cycle desired.     

Asymptotic analysis and scaling of friction parameters

We consider an eigenvalue problem associated to the antiplane shearing on a system of collinear faults under a slip-dependent friction law. Firstly we consider a periodic system of faults in the whole plane. We prove that the first eigenvalues/eigenfunctions of different physical periodicity are all equal and that the other eigenvalues converge to this first common eigenvalue as their physical period becomes indefinitely large. Secondly we consider a large scale fault system composed on a small scale collinear faults periodically disposed. If β₀^* is the first eigenvalue of the periodic problem in the whole plane, we prove that the first eigenvalue of the microscopic problem behaves as β₀^*/∈ when ∈→ 0 regardless the geometry of the domain (here ∈ is the scale quotient). The geophysical implications of this result is that the macroscopic critical slip D_c scales with D_c^∈/∈ (here D_c^∈ is the small scale critical slip).     

Covariant version of the Stinespring type theorem for Hilbert <Emphasis Type="Italic">C</Emphasis>*-modules

In this paper, we prove a covariant version of the Stinespring theorem for Hilbert C*-modules. Also, we show that there is a bijective correspondence between operator valued completely positive maps, (u′, u)-covariant with respect to the dynamical system (G, η, X) on Hilbert C*-modules and (u′, u)-covariant operator valued completely positive maps on the crossed product G × _η X of X by η.     

A homotopy theoretic realization of string topology

Let M be a closed, oriented manifold of dimension d. Let LM be the space of smooth loops in M. In [2] Chas and Sullivan defined a product on the homology H _* (LM) of degree -d. They then investigated other structure that this product induces, including a Batalin -Vilkovisky structure, and a Lie algebra structure on the S¹ equivariant homology H _* ^{S 1} (LM). These algebraic structures, as well as others, came under the general heading of the ”string topology” of M. In this paper we will describe a realization of the Chas-Sullivan loop product in terms of a ring spectrum structure on the Thom spectrum of a certain virtual bundle over the loop space. We also show that an operad action on the homology of the loop space discovered by Voronov has a homotopy theoretic realization on the level of Thom spectra. This is the ” cactus operad” defined in [6] which is equivalent to operad of framed disks in . This operad action realizes the Chas - Sullivan BV structure on H _* (LM). We then describe a cosimplicial model of this ring spectrum, and by applying the singular cochain functor to this cosimplicial spectrum we show that this ring structure can be interpreted as the cup product in the Hochschild cohomology, HH ^* (C ^* (M); C ^* (M)). Received: 31 July 2001 / Revised version: 11 September 2001 Published online: 5 September 2002     

On amenable groups of automorphisms on Von Neumann algebras

LetG ⊂ Aut ℳ be a countable group, ℳ a Von Neumann algebra. LetE be a set of pure states on ℳ such thatG*E ⊂E, S ^G be the set ofG invariant states on ℳ andS _E ^G =S ^G ∩w* cl coE. We investigate in this paper some geometric properties for the setS _E ^G which turn out to be equivalent to amenability for the groupG. For example, we show thatS _E ^G ⊂ ℳ_* (S _E ^G has the WRNP) implies that ℳ contains minimal projections (ê containsfinite G invariant orbits) hold true, for all ℳ iffG is amenable. Furthermore we show that ifG is amenable thenS ^G ∩M _* ^⊥ contains a big set, thus improving results obtained by Ching Chou in [2]. These results imply that no action of an amenable countable groupG on an arbitraryW* algebra ℳ iss — strongly ergodic. Moreover cardS ^G ∩M _* ^⊥ ≧2 ^c (see M. Choda [4], K. Schmidt [21] and compare with A. Connes and B. Weiss [5]). The author gratefully acknowledges the support of an Izaak Walton Killam Memorial Senior Fellowship.     

Ideals of a C *-algebra generated by an operator algebra

In this paper, we consider ideals of a C ^*-algebra C^*(B){C^*(\mathcal{B})} generated by an operator algebra B{\mathcal{B}} . A closed ideal J í C^*(B){J\subseteq C^*(\mathcal{B})} is called a K-boundary ideal if the restriction of the quotient map on B{\mathcal{B}} has a completely bounded inverse with cb-norm equal to K ⁻¹. For K = 1 one gets the notion of boundary ideals introduced by Arveson. We study properties of the K-boundary ideals and characterize them in the case when operator algebra λ-norms itself. Several reformulations of the Kadison similarity problem are given. In particular, the affirmative answer to this problem is equivalent to the statement that every bounded homomorphism from C^*(B){C^*(\mathcal{B})} onto B{\mathcal{B}} which is a projection on B{\mathcal{B}} is completely bounded. Moreover, we prove that Kadison’s similarity problem is decided on one particular C ^*-algebra which is a completion of the *-double of M₂(\mathbbC){M_2(\mathbb{C})} .     

A note on Property Np

Let M be a very ample line bundle on a smooth complex projective variety Y and let ϕ _M :Y→P(H ⁰(Y, M)^*) be the map associated to M; we are concerned with the problem to see whether the syzygies of ϕ _M (Y) give information on the syzygies of ϕ _M ^s (Y). In particular we prove that if Y is a smooth complex projective variety and M is a line bundle on Y satisfying Property N _p , then M ^s satisfies Property N _p if s≥p. Received: 11 June 1999 / Revised version: 22 November 1999     

Para-tt*-bundles on the tangent bundle of an almost para-complex manifold

In this paper we study para-tt ^*-bundles (TM, D, S) on the tangent bundle of an almost para-complex manifold (M, τ). We characterise those para-tt ^*-bundles with ${\nabla=D + S}In this paper we study para-tt ^*-bundles (TM, D, S) on the tangent bundle of an almost para-complex manifold (M, τ). We characterise those para-tt ^*-bundles with induced by the one-parameter family of connections given by and prove a uniqueness result for solutions with a para-complex connection D. Flat nearly para-K?hler manifolds and special para-complex manifolds are shown to be such solutions. We analyse which of these solutions admit metric or symplectic para-tt ^*-bundles. Moreover, we give a generalisation of the notion of a para-pluriharmonic map to maps from almost para-complex manifolds (M, τ) into pseudo-Riemannian manifolds and associate to the above metric and symplectic para-tt ^*-bundles generalised para-pluriharmonic maps into , respectively, into SO ₀(n,n)/U ^π(C ⁿ ), where U ^π(C ⁿ ) is the para-complex analogue of the unitary group.      

Weak almost periodicity and the strong ergodic limit theorem for contraction semigroups

We show that if (S(t)) _t≧0 is a contraction semigroup on a closed convex subset of a uniformly convex Banach space, then every bounded and “asymptotically isometric” almost-orbit of (S(t)) _t≧0 is weakly almost periodic in the sense of Eberlein. As one consequence, results on the existence of almost periodic solutions to the abstract Cauchy problem are obtained without the need fora priori compactness assumptions. As a further consequence, the known strong ergodic limit theorems for (almost-) orbits of nonlinear contraction semigroups turn out to be special cases of Eberlein’s classical ergodic theorem for weakly almost periodic functions.     

Preduals of semigroup algebras

For a locally compact group G, the measure convolution algebra M(G) carries a natural coproduct. In previous work, we showed that the canonical predual C ₀(G) of M(G) is the unique predual which makes both the product and the coproduct on M(G) weak^*-continuous. Given a discrete semigroup S, the convolution algebra ℓ ¹(S) also carries a coproduct. In this paper we examine preduals for ℓ ¹(S) making both the product and the coproduct weak^*-continuous. Under certain conditions on S, we show that ℓ ¹(S) has a unique such predual. Such S include the free semigroup on finitely many generators. In general, however, this need not be the case even for quite simple semigroups and we construct uncountably many such preduals on ℓ ¹(S) when S is either ℤ₊×ℤ or (ℕ,⋅).     

Random Matrices: the Distribution of the Smallest Singular Values

Let ξ be a real-valued random variable of mean zero and variance 1. Let M _n (ξ) denote the n × n random matrix whose entries are iid copies of ξ and σ _n (M _n (ξ)) denote the least singular value of M _n (ξ). The quantity σ _n (M _n (ξ))² is thus the least eigenvalue of the Wishart matrix M_nM_n^*{M_nM_n^\ast}.     

Equivariant plateau problems

Let (M, Q) be a compact, three dimensional manifold of strictly negative sectional curvature. Let (Σ, P) be a compact, orientable surface of hyperbolic type (i.e. of genus at least two). Let θ : π₁(Σ, P) → π₁(M, Q) be a homomorphism. Generalising a recent result of Gallo, Kapovich and Marden concerning necessary and sufficient conditions for the existence of complex projective structures with specified holonomy to manifolds of non-constant negative curvature, we obtain necessary conditions on θ for the existence of a so called θ-equivariant Plateau problem over Σ, which is equivalent to the existence of a strictly convex immersion i : Σ → M which realises θ (i.e. such that θ = i _*).