Relation categories and coproduct congruence categories in universal algebra

It is known that a categoryV-Rel ofadmissible relations can be formed for any variety of algebrasV, such that morphismsAB correspond to subalgebras ofA x B. We adapt the relation category construction of Hilton and Wu to categoriesC with finite limits and colimits and an image factorization system. The existence ofC-Rel and a dualcograph constructionC-Cogr are proved equivalent to certain stability properties of pullbacks or pushouts forC. For algebraic varietiesV,V -Cogr exists iffV satisfies the amalgamation property (AP) and the congruence extension property (CEP). MorphismsAB inV-Cogr correspond to congruences on the coproductA + B. It is showed that congruence permutability (CP), the intersection property for amalgamations (IPA), the Hamiltonian property, and the property that congruences 6 are determined by the equivalence class [0] can be given characterizations in terms of interlocked pullbacks and pushouts in such a categoryC. A new property IDA (intersections determine amalgamations) is defined, which is dual to CP in this context. Familiar results, such as CP implies congruence modularity, can be proved in such categories. Dually, ifV satisfies AP, CEP, IPA and IDA, it has modular lattices of subalgebras. These results are related to order duality for Su and Con. (For certain varietiesV, the subalgebras ofA are in one-one correspondence with the morphisms below 1_A inV -Rel orV-Cogr, and the congruences correspond to the morphisms above 1_A.) IfV is pointed (eachA in V has a smallest trivial subalgebra), then a category formulation is obtained for: CP implies the Jónsson-Tarski decomposition properties. The dual shows that pointed varieties satisfying IDA have a restricted form, with pointed unary varieties and varieties ofR-modules as special cases.Dedicated to Bjarni Jónsson on his 70th birthday ntprbPresented by G. McNulty.     

Homomorphisms onC ∞ (E) andC ∞-bounding sets

We prove, for the class of real locally convex spacesE that are continuously and linearly injectable into somec ₀(), that every non-zero homomorphism on the algebraC (E) ofC -functions onE is given by a point evaluation at some point ofE. Furthermore, if every real-valuedC -function on the weak topology of a quasi-complete locally convex spaceE is bounded on a subsetA ofE, thenA is relatively weakly compact.     

CertainC*-algebras with real rank zero and their corona and multiplier algebras: II

We first determine the homotopy classes of nontrivial projections in a purely infinite simpleC*-algebraA, in the associated multiplier algebraM(A) and the corona algebraM A/A in terms ofK _*(A). Then we describe the generalized Fredholm indices as the group of homotopy classes of non-trivial projections ofA; consequently, we determine theK _*-groups of all hereditaryC*-subalgebras of certain corona algebras. Secondly, we consider a group structure of *-isomorphism classes of hereditaryC*-subalgebras of purely infinite simpleC*-algebras. In addition, we prove that ifA is aC*-algebra of real rank zero, then each unitary ofA, in caseA it unital, each unitary ofM(A) and ofM(A)/A, in caseA is nonunital but -unital, can be factored into a product of a unitary homotopic to the identity and a unitary matrix whose entries are all partial isometries (with respect to a decomposition of the identity).Partially supported by a grant from the National Science Foundation.     

Binomial Matrices

Every s×s matrix A yields a composition map acting on polynomials on R ^s . Specifically, for every polynomial p we define the mapping C _A by the formula (C _A p)(x):=p(Ax), xR ^s . For each nonnegative integer n, homogeneous polynomials of degree n form an invariant subspace for C _A . We let A ⁽ⁿ⁾ be the matrix representation of C _A relative to the monomial basis and call A ⁽ⁿ⁾ a binomial matrix. This paper studies the asymptotic behavior of A ⁽ⁿ⁾ as n. The special case of 2×2 matrices A with the property that A ²=I corresponds to discrete Taylor series and motivated our original interest in binomial matrices.     

C-Cosine Functions and the Abstract Cauchy Problem, II

For a bounded linear injectionCon a Banach spaceXand a closed linear operatorA : D(A) X → Xwhich commutes withCwe prove that (1) the abstract Cauchy problem,u″(t) = Au(t),t R,u(0) = Cx,u′(0) = Cy, has a unique strong solution for everyx,y D(A) if and only if (2)A₁ = AD(A²) generates aC₁-cosine function onX₁(D(A) with the graph norm), if (and only if, in caseAhas nonempty resolvent set) (3)Agenerates aC-cosine function onX. HereC₁ = CX₁. Under the assumption thatAis densely defined andC⁻¹AC = A, statement (3) is also equivalent to each of the following statements: (4) the problemv″(t) = Av(t) + C(x + ty) + ∫^t₀ Cg(r) dr,t R,v(0) = v′(0) = 0, has a unique strong solution for everyg L¹_locandx, y X; (5) the problemw″(t) = Aw(t) + Cg(t),t R,w(0) = Cx,w′(0) = Cy, has a unique weak solution for everyg L¹_locandx, y X. Finally, as an application, it is shown that for any bounded operatorBwhich commutes withCand has range contained in the range ofC,A + Bis also a generator.     

Splitting recursively enumerable subalgebras in recursive Boolean algebras

A Boolean algebraB= is recursive ifB is a recursive subset of ω and the operations Λ, v and ┌ are partial recursive. A subalgebraC ofB is recursive an (r.e.) ifC is a recursive (r.e.) subset of B. Given an r.e. subalgebraA, we sayA can be split into two r.e. subalgebrasA ₁ andA ₂ if (A ₁ ∪A ₂)^*=A andA ₁ ∩A ₂={0, 1}. In this paper we show that any nonrecursive r.e. subalgebra ofB can be split into two nonrecursive r.e. subalgebras ofB. This is a natural analogue of the Friedberg's splitting theorem in ω recursion theory.     

Generalized Bargmann transform and a group representation

Let FA(Cn) denote the Fock space associated with a real linear transformation A on Cn which is symmetric and positive definite relative to the real inner product Re〈z,w〉, z,w∈Cn. Let BA denote the Bargmann transform, mapping L²(Rn) unitarily onto FA(Cn). In this note, we show that one can find a group G, whose unitary irreducible representation at its base vector coincides with up to a constant multiple, where denotes the adjoint of BA and Kw denotes the reproducing kernel of FA(Cn).     

A quotient ofC (w w ) which is not isomorphic to a subspace ofC(α),a < w 1

A quotient space ofC (w ^w ), the continuous functions on the ordinals not greater thanW ^w with the order topology, is constructed which is not isomorphic to a subspace ofC(α),a < w ₁. Supported in part by NSF-MCS 7610613.     

On non-semisplit extensions,tensor products and exactness of groupC *-algebras

Summary We show the existence of a block diagonal extensionB of the suspensionS(A) of the reduced groupC ^*-algebraA = C _r ^* (SL ₂()), such that there is only oneC ^*-norm on the algebraic tensor productB ^op B, butB is not nuclear (even not exact). Thus the class of exactC ^*-algebras is not closed under extensions.The existence comes from a new established tensorial duality between the weak expectation property (WEP) of Lance and the local variant (LLP) of the lifting property.We characterize the local lifting property of separable unitalC ^*-algebrasA as follows:A has the local lifting property if and only if Ext (S(A)) is a group, whereS(A) is the suspension ofA.If moreoverA is the quotient algebra of aC ^*-algebra withWEP (for brevity:A isQWEP) but does not satisfyLLP then there exists a quasidiagonal extensionB of the suspensionS(A) by the compact operators such that on the algebraic tensor productB ^op B there is only oneC ^*-norm.The question if everyC ^*-algebra isQWEP remains open, but we obtain the following results onQWEP: AC ^*-algebraC isQWEP if and only ifC ^** isQWEP. A von NeumannII ₁-factorN with separable predualN _* isQWEP if and only ifN is a von Neumann subfactor of the ultrapower of the hyperfiniteII ₁-factor. IfG is a maximally almost periodic discrete non-amenable group with Haagerup's Herz-Schur multiplier constant _G =1 then the universal groupC ^*-algebraC ^*(G) is not exact but the reduced groupC ^*-albegraC _r ^* (G) is exact and isQWEP but does not satisfyWEP andLLP.We study functiorial properties of the classes ofC ^*-algebras satisfyingWEP, LLP resp. beingQWEP.As applications we obtain some unexpected relations between some open questions onC ^*-algebras.Oblatum 13-IV-92Work partially supported by DFG     

Kac–Moody groups and cluster algebras

Let Q be a finite quiver without oriented cycles, let Λ be the associated preprojective algebra, let g be the associated Kac–Moody Lie algebra with Weyl group W, and let n be the positive part of g. For each Weyl group element w, a subcategory Cw of mod(Λ) was introduced by Buan, Iyama, Reiten and Scott. It is known that Cw is a Frobenius category and that its stable category is a Calabi–Yau category of dimension two. We show that Cw yields a cluster algebra structure on the coordinate ring C[N(w)] of the unipotent group N(w):=N∩(w−1N₋w). Here N is the pro-unipotent pro-group with Lie algebra the completion of n. One can identify C[N(w)] with a subalgebra of , the graded dual of the universal enveloping algebra U(n) of n. Let S^? be the dual of Lusztig?s semicanonical basis S of U(n). We show that all cluster monomials of C[N(w)] belong to S^?, and that S^?∩C[N(w)] is a C-basis of C[N(w)]. Moreover, we show that the cluster algebra obtained from C[N(w)] by formally inverting the generators of the coefficient ring is isomorphic to the algebra C[Nw] of regular functions on the unipotent cell Nw of the Kac–Moody group with Lie algebra g. We obtain a corresponding dual semicanonical basis of C[Nw]. As one application we obtain a basis for each acyclic cluster algebra, which contains all cluster monomials in a natural way.     

The weak hereditary class of a variety

We study the weak hereditary class S _w ( ) of all weak subalgebras of algebras in a total variety }. We establish an algebraic characterization, in the sense of Birkhoff’s HSP theorem, and a syntactical characterization of these classes. We also consider the problem of when such a weak hereditary class is weak equational.     

Isomorphisms of lattices of subalgebras of semirings of continuous nonnegative functions

In this work, lattice isomorphisms of semirings C ⁺(X) of continuous nonnegative functions over an arbitrary topological space X are characterized. It is proved that any isomorphism of lattices of all subalgebras with a unit of semirings C ⁺(X) and C ⁺(Y) is induced by a unique isomorphism of semirings. The same result is also correct for lattices of all subalgebras excepting the case of two-point Tychonovization of spaces.     

The center of the 3-dimensional and 4-dimensional Sklyanin algebras

LetA=A(E, ) denote either the 3-dimensional or 4-dimensional Sklyanin algebra associated to an elliptic curveE and a point E. Assume that the base field is algebraically closed, and that its characteristic does not divide the dimension ofA. It is known thatA is a finite module over its center if and only if is of finite order. Generators and defining relations for the centerZ(A) are given. IfS=Proj(Z(A)) andA is the sheaf ofO _S -algebras defined byA(S _(f))=A[f ^–1]₀ then the centerL ofA is described. For example, for the 3-dimensional Sklyanin algebra we obtain a new proof of M. Artin's result thatSpec L². However, for the 4-dimensional Sklyanin algebra there is not such a simple result: althoughSpec L is rational and normal, it is singular. We describe its singular locus, which is also the non-Azumaya locus ofA.     

Laurent-Padé approximants to four kinds of Chebyshev polynomial expansions. Part II: Clenshaw-Lord type approximants

Laurent-Padé (Chebyshev) rational approximantsP _m (w, w ⁻¹)/Q _n (w, w ⁻¹) of Clenshaw-Lord type [2,1] are defined, such that the Laurent series ofP _m /Q _n matches that of a given functionf(w, w ⁻¹) up to terms of orderw ^±(m+n) , based only on knowledge of the Laurent series coefficients off up to terms inw ^±(m+n) . This contrasts with the Maehly-type approximants [4,5] defined and computed in part I of this paper [6], where the Laurent series ofP _m matches that ofQ _n f up to terms of orderw ^±(m+n ), but based on knowledge of the series coefficients off up to terms inw ^±(m+2n). The Clenshaw-Lord method is here extended to be applicable to Chebyshev polynomials of the 1st, 2nd, 3rd and 4th kinds and corresponding rational approximants and Laurent series, and efficient systems of linear equations for the determination of the Padé-Chebyshev coefficients are obtained in each case. Using the Laurent approach of Gragg and Johnson [4], approximations are obtainable for allm≥0,n≥0. Numerical results are obtained for all four kinds of Chebyshev polynomials and Padé-Chebyshev approximants. Remarkably similar results of formidable accuracy are obtained by both Maehly-type and Clenshaw-Lord type methods, thus validating the use of either.     

Rationally convex sets on the unit sphere in ℂ2

Let X be a rationally convex compact subset of the unit sphere S in ?², of three-dimensional measure zero. Denote by R(X) the uniform closure on X of the space of functions P/Q, where P and Q are polynomials and Q≠0 on X. When does R(X)=C(X)? Our work makes use of the kernel function for the $\bar{\delta}_{b}Let X be a rationally convex compact subset of the unit sphere S in ℂ², of three-dimensional measure zero. Denote by R(X) the uniform closure on X of the space of functions P/Q, where P and Q are polynomials and Q≠0 on X. When does R(X)=C(X)? Our work makes use of the kernel function for the operator on S, introduced by Henkin in [5] and builds on results obtained in Anderson–Izzo–Wermer [3]. We define a real-valued function ε _X on the open unit ball intB, with ε _X (z,w) tending to 0 as (z,w) tends to X. We give a growth condition on ε _X (z,w) as (z,w) approaches X, and show that this condition is sufficient for R(X)=C(X) (Theorem 1.1). In Section 4, we consider a class of sets X which are limits of a family of Levi-flat hypersurfaces in intB. For each compact set Y in ℂ², we denote the rationally convex hull of Y by . A general reference is Rudin [8] or Aleksandrov [1].     

Time-optimal controls of the equation of evolution in a separable and reflexive Banach space

Let a variable, closed, bounded, and convex subset ofX, a separable and reflexive Banach space, be denoted byG(t). Suppose thatG(t) varies upper-semicontinuously with respect to inclusion ast varies in [0,T]. We say that the strongly measurable mapu from [0,T] toX is an admissible control if, for almost everyt in [0,T],u(t) is an element ofU, a closed, bounded, and convex subset ofX, and u _p M ^1p, where p>1 andM>0.Ifx ^u is the weak solution todx/dt+A(t)x=u(t), 0tT, whereA(t) is as defined by Tanabe in Ref. 1, we say that the responsex ^u to the controlu hits the target in timeT ^u ifx ^u (0)=0 andx ^u (T ^u ) is an element ofG(T ^u ). If there is a control with this property, then there is a time-optimal control.     

Embedding an AH-Algebra into a Simple C*-Algebra with Prescribed KK-Data

Let X be a connected finite CW complex. We show that, given a positive homomorphism Hom(K _*(C(X)), K _*(A)) with [1 _C(X)][1 _A ], where A is a unital separable simple C ^*-algebra with real rank zero, stable rank one and weakly unperforated K ₀(A), there exists a homomorphism h: C(X)A such that h induces . We also prove a structure result for unital separable simple C ^*-algebras A with real rank zero, stable rank one and weakly unperforated K ₀(A), namely, there exists a simple AH-algebra of real rank zero contained in A which determines the K-theory of A.