Counting points in hypercubes and convolution measure algebras

It is shown that ifA andB are non-empty subsets of {0, 1} ⁿ (for somenεN) then |A+B|≧(|A||B|)^α where α=(1/2) log₂ 3 here and in what follows. In particular if |A|=2 ^n-1 then |A+A|≧3 ^n-1 which anwers a question of Brown and Moran. It is also shown that if |A| = 2 ^n-1 then |A+A|=3 ^n-1 if and only if the points ofA lie on a hyperplane inn-dimensions. Necessary and sufficient conditions are also given for |A +B|=(|A||B|)^α. The above results imply the following improvement of a result of Talagrand [7]: ifX andY are compact subsets ofK (the Cantor set) withm(X),m(Y)>0 then λ(X+Y)≧2(m(X)m(Y))^α wherem is the usual measure onK and λ is Lebesgue measure. This also answers a question of Moran (in more precise terms) showing thatm is not concentrated on any proper Raikov system.     

Group rings over Dedekind rings

Seghal posed the following question: IfA andB are rings, doesA[X,X ⁻¹] ℞B[X,X ⁻¹] implyA ℞B. In general the answer to this question is no. In this note we give an affirmative answer in the case thatA andB are Dedekind rings. The author is research assistant at the NFWO.     

On pointwise and analytic similarity of matrices

LetA(ε) andB(ε) be complex valued matrices analytic in ε at the origin.A(ε)≈ _p B(ε) ifA(ε) is similar toB(ε) for any |ε|<r,A(ε)≈_a B(ε) ifB(ε)=T(ε)A(ε)T ⁻¹(ε) andT(ε) is analytic and |T(ε)|≠0 for |ε|<r! In this paper we find a necessary and sufficient conditions onA(ε) andB(ε) such thatA(ε)≈ _a B(ε) provided thatA(ε)≈ _p B(ε). This problem arises in study of certain ordinary differential equations singular with respect to a parameter ε in the origin and was first stated by Wasow. Sponsored by the United States Army under Contract No. DAAG29-75-C-0024     

C-semigroups and strongly continuous semigroups

We show that, whenA generates aC-semigroup, then there existsY such that [M(C)] →Y →X, andA| _Y , the restriction ofA toY, generates a strongly continuous semigroup, where ↪ means “is continuously embedded in” and ‖x‖_[Im(C)]≡‖C ⁻¹ x‖. There also existsW such that [C(W)] →X →W, and an operatorB such thatA=B| _X andB generates a strongly continuous semigroup onW. If theC-semigroup is exponentially bounded, thenY andW may be chosen to be Banach spaces; in general,Y andW are Frechet spaces. If ρ(A) is nonempty, the converse is also true. We construct fractional powers of generators of boundedC-semigroups. We would like to thank R. Bürger for sending preprints, and the referee for pointing out reference [37]. This research was supported by an Ohio University Research Grant.     

Restricted sumsets and a conjecture of Lev

LetA, B, S be finite subsets of an abelian groupG. Suppose that the restricted sumsetC={α+b: α ∈A, b ∈B, and α − b ∉S} is nonempty and somec∈C can be written asa+b witha∈A andb∈B in at mostm ways. We show that ifG is torsion-free or elementary abelian, then |C|≥|A|+|B|−|S|−m. We also prove that |C|≥|A|+|B|−2|S|−m if the torsion subgroup ofG is cyclic. In the caseS={0} this provides an advance on a conjecture of Lev. This author is responsible for communications, and supported by the National Science Fund for Distinguished Young Scholars (No. 10425103) and the Key Program of NSF (No. 10331020) in China.     

Generating primitive positive clones

Suppose is a set of operations on a finite set A. Define PPC() to be the smallest primitive positive clone on A containing . For any finite algebra A, let PPC#(A) be the smallest number n for which PPC(CloA) = PPC(Clo _n A). S. Burris and R. Willard [2] conjectured that PPC#(A) ≤|A| when CloA is a primitive positive clone and |A| > 2. In this paper, we look at how large PPC#(A) can be when special conditions are placed on the finite algebra A. We show that PPC#(A) ≤|A| holds when the variety generated by A is congruence distributive, Abelian, or decidable. We also show that PPC#(A) ≤|A| + 2 if A generates a congruence permutable variety and every subalgebra of A is the product of a congruence neutral algebra and an Abelian algebra. Furthermore, we give an example in which PPC#(A) ≥|A| - 1)² so that these results are not vacuous. Received August 30, 1999; accepted in final form April 4, 2000.     

Isometries of JB-algebras

A bijective linear mapping between two JB-algebrasA andB is an isometry if and only if it commutes with the Jordan triple products ofA andB. Other algebraic characterizations of isometries between JB-algebras are given. Derivations on a JB-algebraA are those bounded linear operators onA with zero numerical range. For JB-algebras of selfadjoint operators we have: IfH andK are left Hilbert spaces of dimension ≥3 over the same fieldF (the real, complex, or quaternion numbers), then every surjective real linear isometryf fromS(H) ontoS(K) is of the formf(x)=UoxoU ⁻¹ forx inS(H), whereτ is a real-linear automorphism ofF andU is a real linear isometry fromH ontoK withU(λh)=τ(λ)U(h) for λ inF andh inH. Supported by Acción Integrada Hispano-Alemana HA 94 066 B     

Real-linear isometries between function algebras

Let A and B be uniformly closed function algebras on locally compact Hausdorff spaces with Choquet boundaries Ch A and ChB, respectively. We prove that if T: A → B is a surjective real-linear isometry, then there exist a continuous function κ: ChB → {z ∈ ℂ: |z| = 1}, a (possibly empty) closed and open subset K of ChB and a homeomorphism φ: ChB → ChA such that T(f) = κ(f ∘φ) on K and T( f ) = k[`(fof)]T\left( f \right) = \kappa \overline {fo\phi } on ChB \ K for all f ∈ A. Such a representation holds for surjective real-linear isometries between (not necessarily uniformly closed) function algebras.     

On free quadratic extensions of rings

The quaternion algebraB[j] over a commutative ringB with 1 defined byS. Parimala andR. Sridharan is generalized in two directions: (1) the ringB may be non-commutative with 1, and (2)j ² may be any invertible element (not necessarily –1). LetG={} be an automorphism group ofB of order 2, andA={b inB| (b)=b}. LetB[j] be a generalized quaternion algebra such thataj (a) for eacha inB. It will be shown thatB is Galois (for non-commutative ring extensions) overA which is contained in the center ofB if and only ifB[j] is Azumaya overA. Also,A[j] is a splitting ring forB[j] such thatA[j] is Galois overA. Moreover, we shall determine which automorphism group ofA[j] is a Galois group.     

A note on the coefficient rings of polynomial rings

LetA andB be two reduced commutative rings with finitely many minimal prime ideals. If the polynomial algebrasA[X ₁ …X _n ]=B[Y ₁ …Y _n ] whereX _i ,Y _iF are variables overA andB respectively, then there exists an injective ring homomorphism ϕ:A→B such thatB is finitely generated over ϕ(A).     

Products of groups and group classes

Letχ be a Schunck class, and let the finite groupG=AB=BC=AC be the product of two nilpotent subgroupsA andB andχ-subgroupC. If for every common prime divisorp of the orders ofA andB the cyclic group of orderp is anχ-group, thenG is anχ-group. This generalizes earlier results of O. Kegel and F. Peterson. Some related results for groups of the formG=AB=AK=BK, whereK is a nilpotent normal subgroup ofG andA andB areχ-groups for some saturated formationχ, are also proved.     

On homomorphisms from the Hamming cube to Z

WriteF for the set of homomorphisms from {0, 1} ^d toZ which send0 to 0 (think of members ofF as labellings of {0, 1} ^d in which adjacent strings get labels differing by exactly 1), andF ₁ for those which take on exactlyi values. We give asymptotic formulae for |F| and |F|. In particular, we show that the probability that a uniformly chosen memberf ofF takes more than five values tends to 0 asd→∞. This settles a conjecture of J. Kahn. Previously, Kahn had shown that there is a constantb such thatf a.s. takes at mostb values. This in turn verified a conjecture of I. Benjaminiet al., that for eacht>0,f a.s. takes at mosttd values. Determining |F| is equivalent both to counting the number of rank functions on the Boolean lattice 2^[d] (functionsf: 2^[d]→N satisfyingf( ) andf(A)≤f(A∪x)≤f(A)+1 for allA∈2^[d] andx∈[d]) and to counting the number of proper 3-colourings of the discrete cube (i.e., the number of homomorphisms from {0, 1} ^d toK ₃, the complete graph on 3 vertices). Our proof uses the main lemma from Kahn’s proof of constant range, together with some combinatorial approximation techniques introduced by A. Sapozhenko. Research supported by a Graduate School Fellowship from Rutgers University.     

K-Theory and analytic isomorphisms

Ifs is a central nonzerodivisor of a ringA, letB denote thes-adic completion ofA. By a theorem of Karoubi, there is a long exact sequence relating theK-theory ofA, B, A[s ^–1], andB[s ^–1]. This sequence was first exploited by Vorst in his thesis. We give two applications of the Karoubi sequence: (1) an example of a 2-dimensional normal domain withNK ₀0, answering a question of Murthy, and (2) a complete computation ofK ₂ of an (affine) seminormal curve over an algebraically closed field.Supported by NSF Grant MCS-79-03537     

Défaut d'exactitude des modéles¶de Néron toriques sur un corps local

Let R be a complete discrete valuation ring with mixed characteristic. Denote by K its field of fractions and by k its residue field. Let 0 →A ^K →B ^K →C ^K → 0 be an exact sequence of abelian varieties over K and consider the corresponding complex of Nérons models 0 →A→B→C→ 0, over R. We assume that the identity component B _k ⁰ of the special fibre B _k of B is a torus and we study the defect of exactmess at B in this last sequence.

---

Re?u: 4 décembre 1997/ Version revisée: 15 décembre 1997     

Reduced products which are not saturated

Summary IfT is a complete theory of Boolean algebra, then we writeA ⊲_T B to denote that for every cardinal κ and every κ-regular filter over a setI such that the Boolean algebra 2 _F ^I of all subsets ofI reduced byF is a model ofT, the reduced powerA _F ^I isK ⁺-saturated wheneverB _F ^I isK ⁺-saturated. The relation ⊲_T generalizes the relation ◃ introduced by Keisler. As in the case of Keisler's ◃ it happens that ⊲_T’s are relations between complete theories, i.e. ifA≡B thenA ⊲_T B andB ⊲_T A. In this paper some examples of theories which are maximal (minimal) with respect to ⊲_T’s are provided and the relations ⊲_T are compared with each other. Presented by J. Mycielski     

Coinvariants for a coadjoint action of quantum matrices

Let K be a (algebraically closed ) field. A morphism A ⟼ g ⁻¹ Ag, where A ∈ M(n) and g ∈ GL(n), defines an action of a general linear group GL(n) on an n × n-matrix space M(n), referred to as an adjoint action. In correspondence with the adjoint action is the coaction α: K[M(n)] → K[M(n)] ⊗ K[GL(n)] of a Hopf algebra K[GL(n)] on a coordinate algebra K[M(n)] of an n × n-matrix space, dual to the conjugation morphism. Such is called an adjoint coaction. We give coinvariants of an adjoint coaction for the case where K is a field of arbitrary characteristic and one of the following conditions is satisfied: (1) q is not a root of unity; (2) char K = 0 and q = ±1; (3) q is a primitive root of unity of odd degree. Also it is shown that under the conditions specified, the category of rational GL _q × GL _q -modules is a highest weight category.     

Sums of lengtht in Abelian groups

LetG be an Abelian group written additively,B a finite subset ofG, and lett be a positive integer. Fort≦|B|, letB _t denote the set of sums oft distinct elements overB. Furthermore, letK be a subgroup ofG and let σ denote the canonical homomorphism σ:G→G/K. WriteB _t (modB _t) forB _tσ and writeB _t (modK) forBσ. The following addition theorem in groups is proved. LetG be an Abelian group with no 2-torsion and letB a be finite subset ofG. Ift is a positive integer such thatt<|B| then |B _t (modK)|≧|B (modK)| for any finite subgroupK ofG.     

Complete positivity,tensor products and C*-nuclearity for inverse limits of C*-algebras

The paper aims at developing a theory of nuclear (in the topological algebraic sense) pro-C^*-algebras (which are inverse limits of C^*-algebras) by investigating completely positive maps and tensor products. By using the structure of matrix algebras over a pro-C^*-algebra, it is shown that a unital continuous linear map between pro-C^*-algebrasA andB is completely positive iff by restriction, it defines a completely positive map between the C^*-algebrasb(A) andb(B) consisting of all bounded elements ofA andB. In the metrizable case,A andB are homeomorphically isomorphic iff they are matricially order isomorphic. The injective pro-C^*-topology α and the projective pro-C^*-topology v on A⊗B are shown to be minimal and maximal pro-C^*-topologies; and α coincides with the topology of biequicontinous convergence iff eitherA orB is abelian. A nuclear pro-C^*-algebraA is one that satisfies, for any pro-C^*-algebra (or a C^*-algebra)B, any of the equivalent requirements; (i) α =v onA ⊗B (ii)A is inverse limit of nuclear C^*-algebras (iii) there is only one admissible pro-C^*-topologyon A⊗B (iv) the bounded partb(A) ofA is a nuclear C⊗-algebra (v) any continuous complete state map A→B^* can be approximated in simple weak^* convergence by certain finite rank complete state maps. This is used to investigate permanence properties of nuclear pro-C^*-algebras pertaining to subalgebras, quotients and projective and inductive limits. A nuclearity criterion for multiplier algebras (in particular, the multiplier algebra of Pedersen ideal of a C^*-algebra) is developed and the connection of this C^*-algebraic nuclearity with Grothendieck’s linear topological nuclearity is examined. A σ-C^*-algebraA is a nuclear space iff it is an inverse limit of finite dimensional C^*-algebras; and if abelian, thenA is isomorphic to the algebra (pointwise operations) of all scalar sequences.     

Factorization for non-nevanlinna classes of analytic functions

A generalization of the Blaschke product is constructed. This product enables one to factor out the zeros of the members of certain non-Nevanlinna classes of functions analytic in the unit disc, so that the remaining (non-vanishing) functions still belong to the same class. This is done for the classesA ⁻ⁿ (0<n<∞) andB ⁻ⁿ (0<n<2) defined as follows:f ∈A ⁻ⁿ iff |f(z)|≦C _f (1−|z|)⁻ⁿ ,f ∈B ⁻ⁿ iff |f(z)|≦exp {C _f (1−|z|)⁻ⁿ }, whereC _f depends onf.     

Characterization of separating couples

Let A, B be two archimedean ℓ-algebras and let U,V be two positive linear maps from A to B. We call that the couple (U,V) is separating with respect to A and B if |a||b| = 0 in A implies |U (a)||V (b)| = 0 in B. In this paper, we prove that if A is an f-algebra with unit elment e, if B is an ℓ-algebra and if (U,V) is a separating couple with respect to A and B then (U ^∼∼,V ^∼∼), where U ^∼∼ (resp V ^∼∼) is the bi-adjoint of U (resp of V), is again a separating couple with respect to the order continuous order biduals (A′)′ _n and (B′)′ _n of A and B respectively furnished with their Arens products respectively. Moreover, in the case where B′ separates the points of B, we give a characterization of any separating couple with respect to A and B.