Transformation group C1-algebras with continuous trace

We obtain several results characterizing when transformation group C¹-algebras have continuous trace. These results can be stated most succinctly when ($\text{G, Ω}$) is second countable, and the stability groups are contained in a fixed abelian subgroup. In this case, $\text{C}{}^1\text{(G, Ω)}$ has continuous trace if and only if the stability groups vary continuously on Ω and compact subsets of Ω are wandering in an appropriate sense. In general, we must assume that the stability groups vary continuously, and if ($\text{G, Ω}$) is not second countable, that the natural maps of $\text{G}\text{S}{}_{\mathrm{x}}$ onto G · x are homeomorphisms for each x. Then $\text{C}{}^1\text{(G, Ω)}$ has continuous trace if and only if compact subsets of Ω are wandering and an additional C¹-algebra, constructed from the stability groups and Ω, has continuous trace.     

On tensor products of certain group C1-algebras

If A and B are C¹-algebras there is, in general, a multiplicity of C¹-norms on their algebraic tensor product A ⊙ B, including maximal and minimal norms ν and α, respectively. A is said to be nuclear if α and ν coincide, for arbitrary B. The earliest example, due to Takesaki [11], of a nonnuclear C¹-algebra was $\text{C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{)}$, the C¹-algebra generated by the left regular representation of the free group on two generators F₂. It is shown here that W¹-algebras, with the exception of certain finite type I's, are nonnuclear.If $\text{C}{}^1\text{(F}{}_2\text{)}$ is the group C¹-algebra of F₂, there is a canonical homomorphism λ_l of $\text{C}{}^1\text{(F}{}_2\text{)}$ onto $\text{C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{)}$. The principal result of this paper is that there is a norm ζ on $\text{C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{) ⊙ C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{)}$, distinct from α, relative to which the homomorphism $\text{λ ⊙ λ}{}_{\mathrm{l}}\text{: C}{}^1\text{(F}{}_2\text{) ⊙ C}{}^1\text{(F}{}_2\text{) → C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{) ⊙ C}{}_{\mathrm{l}}{}^1\text{(F}{}_2\text{)}$ is bounded ($\text{C}{}^1\text{(F}{}_2\text{) ⊙ C}{}^1\text{(F}{}_2\text{)}$ being endowed with the norm α). Thus quotients do not, in general, respect the norm α; a consequence of this is that the set of ideals of the α-tensor product of C¹-algebras A and B may properly contain the set of product ideals {$\text{I ? B + A ? J: I ? A, J ? B}$}.Let A and B be C¹-algebras. If A or B is a W¹-algebra there are on A ⊙ B certain C¹-norms, defined recently by Effros and Lance [3], the definitions of which take account of normality. In the final section of the paper it is shown by example that these norms, with α and ν, can be mutually distinct.     

The primitive dual space of [FC]− groups

We show that if G is a σ compact locally compact group with relatively compact conjugacy classes, then the enveloping C¹-algebra $\text{C}{}^1\text{(G)}$ has a Hausdorff primitive ideal space. We also discuss some open problems and a partial converse result.     

Extensions of factorial states of C1-algebras

Let A be a $\text{C}{}^1$-algebra, B be a $\text{C}{}^1$-subalgebra of A, and φ be a factorial state of B. Sometimes, φ may be extended to a factorial state of A by a tensor product method of Sakai (“$\text{C}{}^1$-algebras and $\text{W}{}^1$-algebras, Springer-Verlag, Berlin/Heidelberg/ New York 1971”). Sometimes, there is a weak expectation of A into $\text{π}{}_{\mathrm{\phi }}\text{(B)}$, and then factorial extensions may be found by a method of Sakai and Tsui (Yokohama Math. J.29 (1981), 157–160). These two methods are shown to have the same effect, and the factorial extensions produced by them are analysed.     

Positive definite distributions on K\GK

Let G be a semisimple noncompact Lie group with finite center and let K be a maximal compact subgroup. Then W. H. Barker has shown that if T is a positive definite distribution on G, then T extends to Harish-Chandra's Schwartz space $\text{C}$¹(G). We show that the corresponding property is no longer true for the space of double cosets $\text{K}\text{G}\text{K}$. If G is of real-rank 1, we construct liner functionals $\text{T}{}_{\mathrm{p}}\text{? (C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(K}\text{G}\text{K}\text{))′}$ for each p, 0 < p ? 2, such that $\text{T}{}_{\mathrm{p}}\text{(f 1 f}{}^1\text{) ? 0, ?f ? C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(K}\text{G}\text{K}\text{)}$ but T_p does not extend to a continuous functional on $\text{C}{}^{\mathrm{p}}\text{(K}\text{G}\text{K}\text{)}$. In particular, if p ? 1, T_v does not extend to a continuous functional on $\text{C}{}^1\text{(K}\text{G}\text{K}\text{)}$. We use this to answer a question (in the negative) raised by Barker whether for a K-bi-invariant distribution T on G to be positive definite it is enough to verify that $\text{T(f 1 f}{}^1\text{) ? 0, ?f ? C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(K}\text{G}\text{K}\text{)}$. The main tool used is a theorem of Trombi-Varadarajan.     

K-theory for the leaf space of foliations by Reeb components

The K-theory of the C¹-algebra $\text{C}{}^1\text{(V, F)}$ associated to C^∞-foliations (V, F) of a manifold V in the simplest non-trivial case, i.e., dim V = 2, is studied. Since the case of the Kronecker foliation was settled by Pimsner and Voiculescu (J. Operator Theory4 (1980), 93–118), the remaining problem deals with foliations by Reeb components. The K-theory of $\text{C}{}^1\text{(V, F)}$ for the Reeb foliation of S³ is also computed. In these cases the C¹-algebra $\text{C}{}^1\text{(V, F)}$ is obtained from simpler C¹-algebras by means of pullback diagrams and short exact sequences. The K-groups $\text{K}{}_1\text{(C}{}^1\text{(V, F))}$ are computed using the associated Mayer-Vietoris and six-term exact sequences. The results characterize the C¹-algebra of the Reeb foliation of $\text{T}$² uniquely as an extension of C(S¹) by C(S¹). For the foliations of $\text{T}$² it is found that the K-groups count the number of Reeb components separated by stable compact leaves. A C^∞-foliation of $\text{T}$² such that K₁(C¹($\text{T}$², F)) has infinite rank is also constructed. Finally it is proved, by explicit calculation using (M. Penington, “K-Theory and C¹-Algebras of Lie Groups and Foliations,” D. Phil. thesis, Oxford, 1983), that the natural map $\text{μ: K}{}_1\text{,}{}_{\mathrm{\tau }}\text{(BG) → K}{}_1\text{(C}{}^1\text{(V, F))}$ is an isomorphism for foliations by Reeb components of $\text{T}$² and S³. In particular this proves the Baum-Connes conjecture (P. Baum and A. Connes, Geometric K-theory for Lie groups, preprint, 1982; A. Connes, Proc. Symp. Pure Math.38 (1982), 521–628) when V = $\text{T}$².     

Idéaux primitifs induits dans les produits croisés

Let an amenable second countable locally compact group G act continuously on a separable C¹-algebra A: the structure of the prime ideal space of the crossed product $\text{C}{}^1\text{(G, A)}$ is investigated without any restricting hypothesis on the action of G.     

A multiplication of distributions

If Ω denotes an open subset of $\text{R}$ⁿ (n = 1, 2,…), we define an algebra $\text{g}$ (Ω) which contains the space $\text{D}$′(Ω) of all distributions on Ω and such that $\text{C}{}^{\mathrm{\infty }}\text{(Ω)}$ is a subalgebra of $\text{G}$ (Ω). The elements of $\text{G}$ (Ω) may be considered as “generalized functions” on Ω and they admit partial derivatives at any order that generalize exactly the derivation of distributions. The multiplication in $\text{G}$(Ω) gives therefore a natural meaning to any product of distributions, and we explain how these results agree with remarks of Schwartz on difficulties concerning a multiplication of distributions. More generally if q = 1, 2,…, and $\text{?∈O}{}_{\mathrm{M}}\text{(}\text{R}{}^{\mathrm{2q}}\text{)}$—a classical Schwartz notation—for any G₁,…,G_q∈G(σ), we define naturally an element $\text{?G}{}_1\text{,…,G}{}_{\mathrm{q}}\text{∈G(σ)}$. These results are applied to some differential equations and extended to the vector valued case, which allows the multiplication of vector valued distributions of physics.     

A class of Orlicz-Sobolev spaces with applications to variational problems involving nonlinear Hill's equations

Necessary and sufficient conditions are proved for a $\text{b}$⁽²⁾-Young function G (with independent variable t) to be convex (resp. concave) in t² in terms of inequalities between the second derivative of G and the first derivative of its Legendre transform G? (with independent variable s). It is then proven that a Young function G is convex (resp. concave) in t² if and only if G? is concave (resp. convex) in s². These results, along with another set of inequalities for functions G convex (resp. concave) in t², allow the proof of the uniform convexity and thereby of the reflexivity with respect to Luxemburg's norm $\text{∥f∥}{}_{\mathrm{G}}\text{=}\text{inf}\text{{k > 0: ∝}{}_{\mathrm{\Omega }}\text{dξ G(f}\text{(ξ)}\text{k}\text{) ? 1}}$ of the Orlicz space $\text{L}{}_{\mathrm{G}}\text{(Ω)}$ over an open domain Ω ?$\text{R}$_N with Lebesgue measure dξ. When applied to $\text{G(t) =}\text{¦t¦}{}^{\mathrm{p}}\text{p}$ and $\text{G}\text{?}\text{(s) =}\text{¦s¦}{}^{\mathrm{p\prime }}\text{p′}$ with p^?1 + (p′)^?1 = 1, the preceding results lead to the shortest proof to date of two Clarkson's inequalities and of the reflexivity of L^p-spaces for 1 < p < +∞. Finally, some of these results are used to solve by direct methods variational problems associated with the existence question of periodic orbits for a class of nonlinear Hill's equations; these variational problems are formulated on suitable Orlicz-Sobolev spaces $\text{W}{}^{\mathrm{m}}\text{L}{}_{\mathrm{G}}\text{(Ω)}$ and thereby allow for nonlinear terms which may grow faster than any power of the variable.     

Uncertainty principle and Lp–Lq-sufficient pairs on noncompact real symmetric spaces

We consider a real semi-simple Lie group G with finite center and a maximal compact sub-group K of G. Let $\text{G=K}\text{exp}\text{(}\text{a}{}_{\mathrm{+}}\text{)K}$ be a Cartan decomposition of G. For x∈G denote ∥x∥ the norm of the $\text{a}{}_{\mathrm{+}}$-component of x in the Cartan decomposition of G. Let $\text{a>0,}\text{b>0}$ and 1?p,q?∞. In this Note we give necessary and sufficient conditions on $\text{a,}\text{b}$ such that for all K-bi-invariant measurable function f on G, if e^a∥x∥2f∈L^p(G) and then f=0 almost everywhere. To cite this article: S. Ben Farah, K. Mokni, C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

Elementary proof of the transformation formula for Lambert series involving generalized Dedekind sums

An elementary proof is given of the author's transformation formula for the Lambert series $\text{G}{}_{\mathrm{p}}\text{(x) =}\text{Σ}{}_{\mathrm{n?1}}{}^{\mathrm{<mtext>\infty </mtext>}}\text{n}{}^{\mathrm{?p}}\text{x}{}^{\mathrm{n}}\text{(1?x}{}^{\mathrm{n}}\text{)}$ relating G_p(e^2πiτ) to G_p(e^2πiAτ), where p > 1 is an odd integer and $\text{Aτ =}\text{(aτ + b)}\text{(cτ + d)}$ is a general modular substitution. The method extends Sczech's argument for treating Dedekind's function $\text{log}\text{η(τ) =}\text{πiτ}\text{12}\text{? G}{}_1\text{(e}{}^{\mathrm{2\pi i\tau }}\text{)}$, and uses Carlitz's formula expressing generalized Dedekind sums in terms of Eulerian functions.     

Unbounded derivations tangential to compact groups of automorphisms

We consider unbounded derivations in C¹-algebras commuting with compact groups of ¹-automorphisms. A closed ¹-derivation δ in a C¹-algebra $\text{U}$ is said to be a generator if there exists a strongly continuous one-parameter subgroup t∈$\text{R}$→τ(t)? Aut($\text{U}$) such that $\text{δ =}\text{d}\text{dt}\text{τ(t)¦}{}_{\mathrm{t\; =\; 0}}$. If δ is known to commute with a compact abelian action α:G→Aut($\text{U}$), and if δ(a) = 0 for all a in the fixed point algebra $\text{U}$^α of the action G, then we show that δ is necessarily a generator. Moreover, in any faithful G-covariant representation, there is a commutative operator field γ ∈ ? → v(γ) such that $\text{v(γ)}{}^1\text{= ?v(γ), v(γ)}$ is possibly unbounded but affiliated with the center of {$\text{U}$^α}″, and e^tδ(x) = xe^tv(γ) for all x in the Arveson spectral subspace $\text{U}$^α(γ). In particular, if $\text{U}$ is the CAR algebra over an infinite-dimensional Hilbert space and α is the gauge group, then any such derivation δ is a scalar multiple of the generator of the gauge group.     

The KMS condition and spectral passivity in group duality

Let (A, G, α) be a C¹-dynamical system, where G is abelian, and let φ be an invariant state. Suppose that there is a neighbourhood Ω of the identity in $\text{G}\text{?}$ and a finite constant κ such that $\text{Π}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{n}}\text{φ(x}{}_{\mathrm{i}}{}^1\text{x}{}_{\mathrm{i}}\text{) ? κ}\text{Π}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{n}}\text{φ(x}{}_{\mathrm{i}}\text{x}{}_{\mathrm{i}}{}^1\text{)}$ whenever x_i lies in a spectral subspace $\text{R}{}^{\mathrm{\alpha }}\text{(Ω}{}_{\mathrm{i}}\text{)}$, where $\text{Ω}{}_1\text{+ … + Ω}{}_{\mathrm{n}}\text{? Ω}$. This condition of complete spectral passivity, together with self-adjointness of the left kernel of φ, ensures that φ satisfies the KMS condition for some one-parameter subgroup of G.     

The family of D-weights for a two-rooted graph

Let Π(G) be the set of paths of a particular class Π from the initial to the terminal root of a two-rooted (possibly directed) graph G. We consider the family of $\text{D}$-weights defined by

where Π_x(G) is the family of subsets of Π(G) which cover x(G), the vertex set or the edge (arc) set of G.A number of the common properties and interrelations of these weights are discussed. Some of the weights have been considered previously, [1, 2], in the context of percolation theory but here only combinatorial arguments are used.     

Injectivity and operator spaces

Let B(H) be the bounded operators on a Hilbert space H. A linear subspace R ? B(H) is said to be an operator system if 1 ?R and R is self-adjoint. Consider the category $\text{b}$ of operator systems and completely positive linear maps. R ∈ $\text{C}$ is said to be injective if given A ? B, A, B ∈ $\text{C}$, each map A → R extends to B. Then each injective operator system is isomorphic to a conditionally complete C¹-algebra. Injective von Neumann algebras R are characterized by any one of the following: (1) a relative interpolation property, (2) a finite “projectivity” property, (3) letting M_m = B(C^m), each map R → N ? M_m has approximate factorizations R → M_n → N, (4) letting K be the orthogonal complement of an operator system N ? M_m, each map $\text{M}{}_{\mathrm{m}}\text{K}\text{→ R}$ has approximate factorizations $\text{M}{}_{\mathrm{m}}\text{K}\text{→ M}{}_{\mathrm{n}}\text{→ R}$. Analogous characterizations are found for certain classes of C¹-algebras.     

Induced representations and finite volume homogeneous spaces

We prove that the representation of $\text{C}{}^1\text{(G ×}\text{G}\text{H}\text{)}$ induced from the restriction to H of a unitary representation π of G can be constructed directly from π in the framework of Rieffel's theory of induced representations of C¹-algebras, with the inducing process defined by a generalized conditional expectation. We then show, in the general context of Rieffel's theory, that if the induced representation is CCR, so is the original. In a more special situation, which still generalizes that of a conditional expectation onto a subalgebra, and which includes the operation of inducing from an open subgroup and the above-mentioned process when $\text{G}\text{H}$ is of finite volume, we prove that if the induced representation is type I, so is the original, and obtain a result on intertwining operators. This provides a unified treatment, as well as an extension to the nonseparable case, of certain known results on induction and restriction of representations.     

La “conjecture des cylindres”

The “cylinder conjecture” is to suppose that, if K is a gauge, the critical constants of C(K) = K ×] ? 1, +1 [? Rⁿ⁺¹ and of its basis K ? Rⁿ are equal. The connection with packing constants is studied. The concept of Za(ssenhaus)-packing is introduced. ⊕_i=1^hG + (i ? 1)a (G a lattice) is a linear h-lattice, $\text{ζ}{}_{\mathrm{h}}\text{′(K),}\text{ζ}\text{′}{}_{\mathrm{h}}\text{(K)}$, $\text{η}{}_{\mathrm{h}}\text{′(K),}\text{η}\text{′}{}_{\mathrm{h}}\text{(K)}$ the maximum density for translates of K by a linear h-lattice if the translates form a Za-packing for ζ, a packing for η, and if this packing is strict for ^. For K a bounded central star body, it is possible to find H with ζ₁(C(K)) ≤ 2 ζ_H′(K). H is precised for K a gauge and for K = Bⁿ. It is proved by Woods' methods that $\text{η}{}_1\text{(C(B}{}^4\text{)) =}\text{sup}{}_{\mathrm{i=1,\; 3,\; 4,\; 6,}}\text{7}\text{η}{}_{\mathrm{i}}\text{(B}{}^4\text{)}$; a result of Cleaver is used.     

K-duality for pseudomanifolds with an isolated singularity

We associate to a pseudomanifold X with an isolated singularity a differentiable groupoid G which plays the role of the tangent space of X. We construct a Dirac element D and a Dual Dirac element λ which induce a Poincaré duality in K-theory between the $\text{C}{}^1$-algebras C(X) and $\text{C}{}^1\text{(G)}$. To cite this article: C. Debord, J.-M. Lescure, C. R. Acad. Sci. Paris, Ser. I 336 (2003).