Toric degeneration of branching algebras

For each classical symmetric pair (G,H), there is a naturally defined multi-graded algebra , called the branching algebra for (G,H), which encodes the branching rule from G to H. This algebra has a natural family of subalgebras, depending on integer parameters. For a certain range of the parameters, the subalgebras have a particularly simple structure and are called stable branching algebras.In this paper, we show that the stable branching algebras for eight out of the ten families of classical symmetric pairs are flat deformations of the semigroup algebras of explicitly described lattice cones.     

On the cohomology of joins of operator algebras

By analogy with the join in topology, the join A*B for operator algebras A and B acting on Hilbert spaces H and K, respectively, was defined by Gilfeather and Smith (Amer. J. Math. 116 (1994) 541-561). Assuming that K is finite dimensional, they calculated the Hochschild cohomology groups for A*B with coefficients in L(K⊕H). We assume that A is a maximal abelian von Neumann algebra acting on H, A is a subalgebra of , and B is an ultraweakly closed subalgebra of M_n(A) containing A⊗1_n. We show that B may be decomposed into a finite sum of free modules. In this context, we redefine the join of A and B, generalize the calculations of Gilfeather and Smith, and calculate , for all m?0.     

A variant of the hypergraph removal lemma

Recent work of Gowers [T. Gowers, A new proof of Szemerédi's theorem, Geom. Funct. Anal. 11 (2001) 465-588] and Nagle, Rödl, Schacht, and Skokan [B. Nagle, V. Rödl, M. Schacht, The counting lemma for regular k-uniform hypergraphs, Random Structures Algorithms, in press; V. Rödl, J. Skokan, Regularity lemma for k-uniform hypergraphs, Random Structures Algorithms, in press; V. Rödl, J. Skokan, Applications of the regularity lemma for uniform hypergraphs, preprint] has established a hypergraph removal lemma, which in turn implies some results of Szemerédi [E. Szemerédi, On sets of integers containing no k elements in arithmetic progression, Acta Arith. 27 (1975) 299-345], and Furstenberg and Katznelson [H. Furstenberg, Y. Katznelson, An ergodic Szemerédi theorem for commuting transformations, J. Anal. Math. 34 (1978) 275-291] concerning one-dimensional and multidimensional arithmetic progressions, respectively. In this paper we shall give a self-contained proof of this hypergraph removal lemma. In fact we prove a slight strengthening of the result, which we will use in a subsequent paper [T. Tao, The Gaussian primes contain arbitrarily shaped constellations, preprint] to establish (among other things) infinitely many constellations of a prescribed shape in the Gaussian primes.     

具有d-Koszul子模滤的分次模

引入了弱d-Koszul模,它是d-Koszul模的一种自然推广．设A是d-Koszul代数,M是有限生成的分次A-模,则M是弱d-Koszul模当且仅当M具有子模滤:0(?)U0(?)U1(?)…(?)Up=M,使得所有的A-模Ui／Ui-1是d-Koszul模．设M为一个弱d-Koszul模,则作为分次ExtA*(A0,A0)-模,其Koszul对偶:ε(M)=ExtA*(M,A0)是由0次生成的．     

Some exact sequences for Toeplitz algebras of spherical isometries

A family of commuting bounded operators on a Hilbert space is said to be a spherical isometry if in the weak operator topology. We show that every commuting family of spherical isometries is jointly subnormal, which means that it has a commuting normal extension on some Hilbert space Suppose now that the normal extension is minimal. Then we show that every bounded operator in the commutant of has a unique norm preserving extension to an operator in the commutant of Moreover, if is the commutator ideal in then is *-isomorphic to We also show that the commutant of the minimal normal extension is completely isometric, via the compression mapping, to the space of Toeplitz-type operators associated to We apply these results to construct exact sequences for Toeplitz algebras on generalized Hardy spaces associated to strictly pseudoconvex domains.

     

Basic subgroups in modular abelian group algebras

Suppose F is a perfect field of char F = p ≠ 0 and G is an arbitrary abelian multiplicative group with a p-basic subgroup B and p-component G _p . Let FG be the group algebra with normed group of all units V(FG) and its Sylow p-subgroup S(FG), and let I _p (FG; B) be the nilradical of the relative augmentation ideal I(FG; B) of FG with respect to B. The main results that motivate this article are that 1 + I _p (FG; B) is basic in S(FG), and B(1 + I _p (FG; B)) is p-basic in V(FG) provided G is p-mixed. These achievements extend in some way a result of N. Nachev (1996) in Houston J. Math. when G is p-primary. Thus the problem of obtaining a (p-)basic subgroup in FG is completely resolved provided that the field F is perfect. Moreover, it is shown that G _p (1 + I _p (FG; B))/G _p is basic in S(FG)/G _p , and G(1 + I _p (FG; B))/G is basic in V(FG)/G provided G is p-mixed. As consequences, S(FG) and S(FG)/G _p are both starred or divisible groups. All of the listed assertions enlarge in a new aspect affirmations established by us in Czechoslovak Math. J. (2002), Math. Bohemica (2004) and Math. Slovaca (2005) as well.     

Intermediate subfactors with no extra structure

If are type II factors with and we show that restrictions on the standard invariants of the elementary inclusions , , and imply drastic restrictions on the indices and angles between the subfactors. In particular we show that if these standard invariants are trivial and the conditional expectations onto and do not commute, then is or . In the former case is the fixed point algebra for an outer action of on and the angle is , and in the latter case the angle is and an example may be found in the GHJ subfactor family. The techniques of proof rely heavily on planar algebras.

     

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)     

Lie triple derivations on nest algebras

Let δ be a Lie triple derivation from a nest algebra ?? into an ??‐bimodule ??. We show that if ?? is a weak* closed operator algebra containing ?? then there are an element S ∈ ?? and a linear functional f on ?? such that δ (A) = SA – AS + f (A)I for all A ∈ ??, and if ?? is the ideal of all compact operators then there is a compact operator K such that δ (A) = KA – AK for all A ∈ ??. As applications, Lie derivations and Jordan derivations on nest algebras are characterized. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Composition algebras of the second kind

The concept of a composition algebra of the second kind is introduced. We prove that such algebras are non-degenerate monocomposition algebras without unity. A big number of these algebras in any finite dimension are constructed, as well as two algebras in a countable dimension. The constructed algebras each contains a non-isotropic idempotent e² = e. We describe all orthogonally non-isomorphic composition algebras of the second kind in the following forms: (1) a two-dimensional algebra (which has turned out to be unique); (2) three-dimensional algebras in the constructed series. For every algebra A, the group Ortaut A of orthogonal automorphisms is specified. __________ Translated from Algebra i Logika, Vol. 46, No. 4, pp. 428–447, July–August, 2007.