On C*‐Like Locally Convex ∗︁‐Algebras

The main purpose of this paper is to define the notion of C*‐like locally convex∗︁‐algebras and to study the structure of such ∗︁‐algebras.     

Classification and discrete cocompact subgroups of some 7-dimensional connected nilpotent groups

Summary For real connected nilpotent groups, 7 is the lowest dimension where there are infinitely many non-isomorphic groups, and also where some groups (indeed, uncountably many) have no discrete cocompact subgroups. In [21] one infinite family <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"3"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"4"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"5"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"6"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"7"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"8"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>\mathcal{G}$ of 7-dimensional groups was identified and classified. Discrete cocompact subgroups H were identified for some groups in $\mathcal{G}$ in [10], along with simple quotients of $C^{*}(\mathrm{H})$ and relevant flows $(\mathrm{H}_3,\mathbf{T}^3)$. In this paper, such H and attributes are determined for more groups in $\mathcal{G}$; in particular, the members of $\mathcal{G}$ that admit discrete cocompact subgroups are identified precisely. In achieving some of these results, we consider other known ways of classifying the groups in $\mathcal{G}$, and also the classification of the analogous family of complex groups.     

C*-bialgebra Defined as the Direct Sum of UHF Algebras

Let 𝒜₀(*) denote the direct sum of a certain set of uniformly hyperfinite (UHF) algebras, and let 𝒜(*) ≡ C ⊕ 𝒜₀(*). We introduce a non-cocommutative comultiplication Δ_? on 𝒜(*), and give an example of comodule-C*-algebra of the C*-bialgebra (𝒜(*), Δ_?). With respect to Δ_?, we define a nonsymmetric tensor product of *-representations of UHF algebras and show tensor product formulas of Gel'fand–Na\u?mark–Segal (GNS) representations by product states.     

The alternative Daugavet property of C *‐algebras and JB *‐triples

A Banach space X is said to have the alternative Daugavet property if for every (bounded and linear) rank‐one operator T: X → X there exists a modulus one scalar ω such that ∥Id+ωT ∥ = 1 + ∥T ∥. We give geometric characterizations of this property in the setting of C *‐algebras, JB *‐triples, and of their isometric preduals. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Analysis on discrete cocompact subgroups of the generic filiform Lie groups

Summary Let F_n, n≧ 1, denote the sequence of generic filiform (connected, simply connected) Lie groups. Here we study, for each F_n, the infinite dimensional simple quotients of the group C*-algebra of (the most obvious) one of its discrete cocompact subgroups D_n. For D_n, the most attractive concrete faithful representations are given in terms of Anzai flows, in analogy with the representations of the discrete Heisenberg group H₃ ⊆G₃ on L²(T) that result from the irrational rotation flows on T; the representations of D_n generate infinite-dimensional simple quotients A_n,θ of the group C*-algebra C*(D_n). For n>1, there are other infinite-dimensional simple quotients of C*(D_n) arising from non-faithful representations of D_n. Flows for these are determined, and they are also characterized and represented as matrix algebras over simple affine Furstenberg transformation group C*-algebras of the lower dimensional tori.     

矩阵C*代数上的群作用与*-同构

通过矩阵C^*代数上的不变群作用,给出了决定C^*结构的一个充分条件。     

Schur–Weyl Theory for C*‐algebras

To each irreducible infinite dimensional representation $(\pi ,\mathcal {H})$ of a C*‐algebra $\mathcal {A}$, we associate a collection of irreducible norm‐continuous unitary representations $\pi _{\lambda }^\mathcal {A}$ of its unitary group ${\rm U}(\mathcal {A})$, whose equivalence classes are parameterized by highest weights in the same way as the irreducible bounded unitary representations of the group ${\rm U}_\infty (\mathcal {H}) = {\rm U}(\mathcal {H}) \cap (\mathbf {1} + K(\mathcal {H}))$ are. These are precisely the representations arising in the decomposition of the tensor products $\mathcal {H}^{\otimes n} \otimes (\mathcal {H}^*)^{\otimes m}$ under ${\rm U}(\mathcal {A})$. We show that these representations can be realized by sections of holomorphic line bundles over homogeneous Kähler manifolds on which ${\rm U}(\mathcal {A})$ acts transitively and that the corresponding norm‐closed momentum sets $I_{\pi _\lambda ^\mathcal {A}}^{\bf n} \subseteq {\mathfrak u}(\mathcal {A})^{\prime }$ distinguish inequivalent representations of this type.     

Crossed product of C*‐algebras by hypergroups

The crossed product of ‐algebras by groups, groupoids and semigroups are well studied. In this paper we introduce and study the crossed product of ‐algebras by (locally compact) hypergroups. We calculate the crossed products by finite hypergroups of orders 2 and 3.     

Free C-Algebras and the Problem of Uniquenes of Extension in Non-commutative Hahn-Banach Theorem

ＦｒｅＣ＊┐ＡｌｇｅｂｒａｓａｎｄｔｈｅＰｒｏｂｌｅｍｏｆＵｎｉｑｕｅｎｅｓｏｆＥｘｔｅｎｓｉｏｎｉｎＮｏｎ┐ｃｏｍｍｕｔａｔｉｖｅＨａｈｎ┐ＢａｎａｃｈＴｈｅｏｒｅｍ＊）ＺｈａｎｇＬｕｎｃｈｕａｎ（张伦传）ａｎｄＭａＪｉｐｕ（马吉溥）（Ｄｅｐａｒｔ...     

KK ‐theory of amalgamated free products of C *‐algebras

J. Cuntz has conjectured the existence of two cyclic six terms exact sequences relating the KK ‐groups of the amalgamated free product A _{1 ?? B} A ₂ to the KK ‐groups of A ₁, A ₂ and B. First we establish automatic existence of strict and absorbing homomorphisms. Then we use this result to verify the conjecture when B is a countable direct sum of matrix algebras and the embeddings of B into A ₁ and A ₂ are quasiunital. Inspired by the proof we achieve the following nice classification result: A separable C *‐algebra B is a countable direct sum of matrix algebras if and only if the unitary group of the multiplier algebra U M (B) is compact in the strict topology. Finally we prove the conjecture when the amalgamated free product has the property that any asymptotically split extension of A _{1 ?? B} A ₂ is split. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Powers of positive elements in C*‐algebras

In this paper, we show that Ogasawa’s theorem has a proof in Bishop style constructive mathematics (BISH). In 25 , we introduced the elementary constructive theory of C*‐algebras in BISH, but we did not discuss the powers of positive elements there. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

4‐*GDDs(3n) and generalized Steiner systems GS(2, 4, v, 3)

Generalized Steiner systems GS(2, k, v, g) were first introduced by Etzion and used to construct optimal constant weight codes over an alphabet of size g + 1 with minimum Hamming distance 2k ? 3, in which each codeword has length v and weight k. As to the existence of a GS(2, k, v, g), a lot of work has been done for k = 3, while not so much is known for k = 4. The notion k‐*GDD was first introduced and used to construct GS(2, 3, v, 6). In this paper, singular indirect product (SIP) construction for GDDs is modified to construct GS(2, 4, v, g) via 4‐*GDDs. Furthermore, it is proved that the necessary conditions for the existence of a 4‐*GDD(3ⁿ), namely, n ≡ 0, 1 (mod 4) and n ≥ 8 are also sufficient. The known results on the existence of a GS(2, 4, v, 3) are then extended. © 2003 Wiley Periodicals, Inc. J Combin Designs 11: 381–393, 2003; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/jcd.10047     

A constructive proof of the Peter‐Weyl theorem

We present a new and constructive proof of the Peter‐Weyl theorem on the representations of compact groups. We use the Gelfand representation theorem for commutative C*‐algebras to give a proof which may be seen as a direct generalization of Burnside's algorithm [3]. This algorithm computes the characters of a finite group. We use this proof as a basis for a constructive proof in the style of Bishop. In fact, the present theory of compact groups may be seen as a natural continuation in the line of Bishop's work on locally compact, but Abelian, groups [2]. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Prime JB*‐Triples and Extreme Dual Ball Density

Properties of the extreme points ∂_e(E*₁) of the closed dual ball E*₁ of a JB*‐triple E are studied. It is shown that the canonical mapping from ∂_e(E*₁) onto the structure space, Prim (E), of primitive M‐ideals of E is an open mapping. This property is utilised to show that ∂_e(E*₁) is weak* dense in E*₁ if and only if E is an infinite dimensional Hilbert space, an infinite dimensional spin factor or E is prime with zero socle.     

Block‐Transitive and Point‐Primitive 2‐ Designs with Sporadic Socle

The purpose of this paper is to classify all pairs , where is a nontrivial 2‐ design, and acts transitively on the set of blocks of and primitively on the set of points of with sporadic socle. We prove that there exists only one such pair : is the unique 2‐(176,8,2) design and , the Higman–Sims simple group.     

On admissible topologies in JB*‐triples

Given a complex JB*‐triple X, we define and study admissible topologies on X, i.e., locally convex topologies τ on X coarser than the norm topology, invariant under the group of surjective linear isometries of X, and such that the triple product is jointly ‐continuous on bounded subsets of X. As a consequence of the joint ‐continuity of the triple product, all holomorphic automorphisms of the open unit ball are homeomorphisms of and the natural action is jointly ‐continuous on .     

Nowhere‐zero 3‐flow and ‐connectedness in graphs with four edge‐disjoint spanning trees

Given a zero‐sum function with , an orientation D of G with in for every vertex is called a β‐orientation. A graph G is ‐connected if G admits a β‐orientation for every zero‐sum function β. Jaeger et al. conjectured that every 5‐edge‐connected graph is ‐connected. A graph is ‐extendable at vertex v if any preorientation at v can be extended to a β‐orientation of G for any zero‐sum function β. We observe that if every 5‐edge‐connected essentially 6‐edge‐connected graph is ‐extendable at any degree five vertex, then the above‐mentioned conjecture by Jaeger et al. holds as well. Furthermore, applying the partial flow extension method of Thomassen and of Lovász et al., we prove that every graph with at least four edge‐disjoint spanning trees is ‐connected. Consequently, every 5‐edge‐connected essentially 23‐edge‐connected graph is ‐extendable at any degree five vertex.     

Hyers–Ulam–Rassias stability of a generalized Apollonius–Jensen type additive mapping and isomorphisms between C *‐algebras

Let X, Y be Banach modules over a C *‐algebra. We prove the Hyers–Ulam–Rassias stability of the following functional equation in Banach modules over a unital C *‐algebra: It is shown that a mapping f: X → Y satisfies the above functional equation and f (0) = 0 if and only if the mapping f: X → Y is Cauchy additive. As an application, we show that every almost linear bijection h: A → B of a unital C *‐algebra A onto a unital C *‐algebra B is a C *‐algebra isomorphism when h (2^d uy) = h (2^d u) h (y) for all unitaries u ∈ A, all y ∈ A, and all d ∈ Z . (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Algebraic multigrid and 4th‐order discrete‐difference equations of incompressible fluid flow

This paper investigates the effectiveness of two different Algebraic Multigrid (AMG) approaches to the solution of 4th‐order discrete‐difference equations for incompressible fluid flow (in this case for a discrete, scalar, stream‐function field). One is based on a classical, algebraic multigrid, method (C‐AMG) the other is based on a smoothed‐aggregation method for 4th‐order problems (SA‐AMG). In the C‐AMG case, the inter‐grid transfer operators are enhanced using Jacobi relaxation. In the SA‐AMG case, they are improved using a constrained energy optimization of the coarse‐grid basis functions. Both approaches are shown to be effective for discretizations based on uniform, structured and unstructured, meshes. They both give good convergence factors that are largely independent of the mesh size/bandwidth. The SA‐AMG approach, however, is more costly both in storage and operations. The Jacobi‐relaxed C‐AMG approach is faster, by a factor of between 2 and 4 for two‐dimensional problems, even though its reduction factors are inferior to those of SA‐AMG. For non‐uniform meshes, the accuracy of this particular discretization degrades from 2nd to 1st order and the convergence factors for both methods then become mesh dependent. Copyright © 2009 John Wiley & Sons, Ltd.