Depth Two,Normality, and a Trace Ideal Condition for Frobenius Extensions

A ring extension A ‖ B is depth two if its tensor-square satisfies a projectivity condition w.r.t. the bimodules _A A _B and _B A _A . In this case the structures (A ? _B A) ^B and End  _B A _B are bialgebroids over the centralizer C _A (B) and there is a certain Galois theory associated to the extension and its endomorphism ring. We specialize the notion of depth two to induced representations of semisimple algebras and character theory of finite groups. We show that depth two subgroups over the complex numbers are normal subgroups. As a converse, we observe that normal Hopf subalgebras over a field are depth two extensions. A generalized Miyashita–Ulbrich action on the centralizer of a ring extension is introduced, and applied to a study of depth two and separable extensions, which yields new characterizations of separable and H-separable extensions. With a view to the problem of when separable extensions are Frobenius, we supply a trace ideal condition for when a ring extension is Frobenius.     

On a poset algebra which is hereditarily but not canonically well generated

LetB be a superatomic Boolean algebra.B is well generated, if it has a well founded sublatticeL such thatL generatesB. The free product of Boolean algebrasB andC is denoted byB *C. IfC is a chain thenB(C) denotes the interval algebra overC. Theorem 1: (a)Every Boolean subalgebra of B(ℵ₁) *B(ℵ₀)is well-generated. (b)B(ℵ₁) *B(ℵ₁)contains a non well-generated Boolean subalgebra. Canonical well-generatedness is defined in the introduction. Recall thatB(ℵ₁) *B(ℵ₀) is canonically well-generated, and thus well-generated. We prove the following result. Theorem 2:B(ℵ₁) *B(ℵ₀)contains a non canonically well generated Boolean subalgebra. In contrast with Theorem 1(b), we have the following result. Theorem 3:Let A ={ɑ:α<ℵ₁}⊆℘(w)be a strictly increasing sequence in the relation of almost containment. Let B be the subalgebra of ℘(w)generated by {{n}:n∈ℵ₀}∪A.Then B is superatomic, and B is not embeddable in a well-generated algebra.     

Generalized Smash Products

In this paper．we study the ring #(D．B)and obtain two very interesting results. First we prove in Theorem 3 that the category of rational left BU-modules is equivalent to both the category of #-rational left modules and the category of all(B．D)-Hopf modules BM^D．Cai and Chen have proved this result in the case B=D=A．Secondly they have proved that if A has a nonzero left integral then A#A^*rat is a dense subring of Endk(A)．We prove that #(A,A) is a dense subring of Endk(Q),where Q is a certain subspace of #(A．A)under the condition that the antipode is bijective(see Theorem18).This condition is weaker than the condition that A has a nonzero integral.It is well known the antipode is bijective in case A has a nonzero integral．Furthermore if A has nonzero left integral,Q can be chosen to be A(see Corollary 19)and #(A,A)is both left and right primitive.Thus A#A^*rat #(A,A)-Endk(A)．Moreover we prove that the left singular ideal of the ring #(A,A)is zero．A corollary of this is a criterion for A with nonzero left integral to be finite-dimensional,namely the ring #(A,A)has a finite uniform dimension．     

On the description of overgroups of E(m,R)?E(n,R)

The subgroups E(m,R) ⊗ E(n,R) ≤ H ≤ G = GL(mn,R) are studied under the assumption that the ring R is commutative and m, n ≥ 3. The group GL _m ⊗GL _n is defined by equations, the normalizer of the group E(m,R) ⊗ E(n,R) is calculated, and with each intermediate subgroup H it is associated a uniquely determined lower level (A,B,C), where A,B,C are ideals in R such that mA,A ² ≤ B ≤ A and nA,A ² ≤ C ≤ A. The lower level specifies the largest elementary subgroup satisfying the condition E(m, n,R, A,B,C) ≤ H. The standard answer to this problem asserts that H is contained in the normalizer N _G (E(m,n,R, A,B,C)). Bibliography: 46 titles.     

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.     

Topological *-algebras withC*-enveloping algebras II

UniversalC*-algebrasC*(A) exist for certain topological *-algebras called algebras with aC*-enveloping algebra. A Frechet *-algebraA has aC*-enveloping algebra if and only if every operator representation ofA mapsA into bounded operators. This is proved by showing that every unbounded operator representation π, continuous in the uniform topology, of a topological *-algebraA, which is an inverse limit of Banach *-algebras, is a direct sum of bounded operator representations, thereby factoring through the enveloping pro-C*-algebraE(A) ofA. Given aC*-dynamical system (G,A,α), any topological *-algebraB containingC _c (G,A) as a dense *-subalgebra and contained in the crossed productC*-algebraC*(G,A,α) satisfiesE(B) =C*(G,A,α). IfG = ℝ, ifB is an α-invariant dense Frechet *-subalgebra ofA such thatE(B) =A, and if the action α onB ism-tempered, smooth and by continuous *-automorphisms: then the smooth Schwartz crossed productS(ℝ,B,α) satisfiesE(S(ℝ,B,α)) =C*(ℝ,A,α). WhenG is a Lie group, theC ^∞-elementsC ^∞(A), the analytic elementsC ^ω(A) as well as the entire analytic elementsC ^є(A) carry natural topologies making them algebras with aC*-enveloping algebra. Given a non-unitalC*-algebraA, an inductive system of idealsI _α is constructed satisfyingA =C*-ind limI _α; and the locally convex inductive limit ind limI _α is anm-convex algebra with theC*-enveloping algebraA and containing the Pedersen idealK _a ofA. Given generatorsG with weakly Banach admissible relationsR, we construct universal topological *-algebraA(G, R) and show that it has aC*-enveloping algebra if and only if (G, R) isC*-admissible.     

Homological stability for configuration spaces of manifolds

Let C _n (M) be the configuration space of n distinct ordered points in M. We prove that if M is any connected orientable manifold (closed or open), the homology groups H _i (C _n (M);ℚ) are representation stable in the sense of Church and Farb (). Applying this to the trivial representation, we obtain as a corollary that the unordered configuration space B _n (M) satisfies classical homological stability: for each i, H _i (B _n (M);ℚ)≈H _i (B _n+1(M);ℚ) for n>i. This improves on results of McDuff, Segal, and others for open manifolds. Applied to closed manifolds, this provides natural examples where rational homological stability holds even though integral homological stability fails.     

Codepth Two and Related Topics

A depth two extension A | B is shown to be weak depth two over its double centralizer V _A (V _A (B)) if this is separable over B. We consider various examples and non-examples of depth one and two properties. Depth two and its relationship to direct and tensor product of algebras as well as cup product of relative Hochschild cochains is examined. Section 6 introduces a notion of codepth two coalgebra homomorphism g : C → D, dual to a depth two algebra homomorphism. It is shown that the endomorphism ring of bicomodule endomorphisms End ^D C ^D forms a right bialgebroid over the centralizer subalgebra g ^* : D ^* → C ^* of the dual algebra C ^*. Dedicated to Daniel Kastler on his eightieth birthday.     

Weighted composition operators on growth spaces

Denote by Hol(B _n ) the space of all holomorphic functions in the unit ball B _n of ℂ ⁿ , n ≥ 1. Given g ∈ Hol(B _m ) and a holomorphic mapping φ: B _m → B _n , put C _φ ^g f = g · (f ∘ φ) for f ∈ Hol(B _n ). We characterize those g and φ for which C _φ ^g is a bounded (or compact) operator from the growth space A ^−log(B _n ) or A ^−β (B _n ), β > 0, to the weighted Bergman space A _α ^p (B _m ), 0 < p < ∞, α > −1. We obtain some generalizations of these results and study related integral operators.     

On the Bloch Constant for Κ-Quasiconformal Mappings in Several Complex Variables

We study the Bloch constant for Κ-quasiconformal holomorphic mappings of the unit ball B of C ⁿ . The final result we prove in this paper is: If f is a Κ-quasiconformal holomorphic mappig of B into C ⁿ such that det(f′(0)) = 1, then f(B) contains a schlicht ball of radius at least where C _n > 1 is a constant depending on n only, and as n→∞. Received June 24, 1998, Accepted January 14, 1999     

On almost-divided domains

Let B be a domain, Q a maximal ideal of B, π: B → B/Q the canonical surjection, D a subring of B/Q, and A:=π ⁻¹(D). If both B and D are almost-divided domains (resp., n-divided domains), then A = B × _B/Q D is an almost-divided domain (resp., an n-divided domain); the converse holds if B is quasilocal. If 2 ≤ d ≤ ∞, an example is given of an almost-divided domain of Krull dimension d which is not a divided domain.      

On one class of topological *-algebras with standard identities

Let A be a unital semisimple topological nuclear *-algebra over C and let Z be its center. The algebra A is topologically isomorphic to M _n (Z) if and only if A satisfies the standard identity and the maximality condition. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 59, No. 1, pp. 140–143, January, 2007.     

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.     

Canonical form with respect to semiscalar equivalence for a matrix pencil with nonsingular first matrix

Polynomial n × n matrices A(x) and B(x) over a field \mathbbF \mathbb{F} are called semiscalar equivalent if there exist a nonsingular n × n matrix P over \mathbbF \mathbb{F} and an invertible n × n matrix Q(x) over \mathbbF \mathbb{F} [x] such that A(x) = PB(x)Q(x). We give a canonical form with respect to semiscalar equivalence for a matrix pencil A(x) = A _0x - A ₁, where A ₀ and A ₁ are n × n matrices over \mathbbF \mathbb{F} , and A ₀ is nonsingular.     

An interlacing theorem for matrices whose graph is a given tree

Let A and B be (n×n)-matrices. For an index set S ⊂ {1, …, n}, denote by A(S) the principal submatrix that lies in the rows and columns indexed by S. Denote by S′ the complement of S and define η(A, B) = det A(S) det B(S′), where the summation is over all subsets of {1, …, n} and, by convention, det A(∅) = det B(∅) = 1. C. R. Johnson conjectured that if A and B are Hermitian and A is positive semidefinite, then the polynomial η(λA,-B) has only real roots. G. Rublein and R. B. Bapat proved that this is true for n ⩽ 3. Bapat also proved this result for any n with the condition that both A and B are tridiagonal. In this paper, we generalize some little-known results concerning the characteristic polynomials and adjacency matrices of trees to matrices whose graph is a given tree and prove the conjecture for any n under the additional assumption that both A and B are matrices whose graph is a tree. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 10, No. 3, pp. 245–254, 2004.     

Operator algebras and a theorem of Dieudonne

LetA be aC*-algebra with second dualA″. Let (φ _n)(n=1,...) be a sequence in the dual ofA such that limφ _n(a) exists for eacha εA. In general, this does not imply that limφ _n(x) exists for eachx εA″. But if limφ _n(p) exists whenever p is the range projection of a positive self-adjoint element of the unit ball ofA, then it is shown that limφ _n(x) does exist for eachx inA″. This is a non-commutative generalisation of a celebrated theorem of Dieudonné. A new proof of Dieudonné’s theorem, for positive measures, is given here. The proof of the main result makes use of Dieudonné’s original theorem.     

Bands of invariantly extensible measures

Given two σ-algebrasU ⊂A, invariant under a fixed semigroupG of transformations, the following subsetC of the lattice coneM (U) _G ofG-invariant finite measures onU is shown to be (the positive part of) a band inM (U) _G : AG-invariant measure μ belongs toC iff the setexM Bμ) _G of extremalG-invariant extensions of μ toB is non-empty and eachG-invariant extensionv of μ admits a barycentric decompositionv=→v′ρ(dv′) with some representing probability ρ onexM U μ) _G .—Any band of extensible measures allows to study the corresponding extension problem locally.     

Possible inertias for the hermitian part of A + BX

Given AεM_n (C) and BεM _n,k (C) all possible inertias occurring in the Hermitian part of A+BX are determined as X runs over M_k,n(C).