Derivations nilpotent on subsets of prime rings

ABSTRACT

Let D be a division algebra with center F. Consider the group CK ₁(D) = D*/F*D′ where D* is the group of invertible elements of D and D′ is its commutator subgroup. In this note we shall show that, assuming a division algebra D is a product of cyclic algebras, the group CK ₁(D) is trivial if and only if D is an ordinary quaternion algebra over a real Pythagorean field F. We also characterize the cyclic central simple algebras with trivial CK ₁ and show that CK ₁ is not trivial for division algebras of index 4. Using valuation theory, the group CK ₁(D) is computed for some valued division algebras.

     

Homological properties of Fourier algebras on homogeneous spaces

Let K be a compact subgroup of a locally compact group G. Completely complemented ideals in A(G/K) are characterised. Biprojectivity and biflatness for the Fourier algebra A(G/K) are studied. A(G/K) is operator biprojective precisely when K is open and if this happens, then G does not contain the free group on two generators as a closed subgroup.     

A Criterion for the Triviality of G(D) and Its Applications to the Multiplicative Structure of D

Let D be an F-central division algebra of index n. Here we present a criterion for the triviality of the group G(D) = D*/Nrd _D/F (D*)D′ and thus generalizing various related results published recently. To be more precise, it is shown that G(D) = 1 if and only if SK ₁(D) = 1 and F ^*2 = F ^*2n . Using this, we investigate the role of some particular subgroups of D* in the algebraic structure of D. In this direction, it is proved that a division algebra D of prime index is a symbol algebra if and only if D* contains a non-abelian nilpotent subgroup. More applications of this criterion including the computation of G(D) and the structure of maximal subgroups of D* are also investigated     

Irreducible Subgroups of GL 1(D) Satisfying Group Identities

ABSTRACT

Let D be a finite dimensional F -central division algebra and G an irreducible subgroup of D*: = GL ₁(D). Here we investigate the structure of D under various group identities on G. In particular, it is shown that when [D:F] = p ², p a prime, then D is cyclic if and only if D* contains a nonabelian subgroup satisfying a group identity.     

Co-local subgroups of abelian groups II

In [J. Buckner, M. Dugas, Co-local subgroups of abelian groups, in: Abelian Groups, Rings, Modules, and Homological Algebra, in: Lect. Notes Pure and Applied Math., vol. 249, Taylor and Francis/CRC Press, pp. 25-33] the notion of a co-local subgroup of an abelian group was introduced. A subgroup K of A is called co-local if the natural map is an isomorphism. At the center of attention in [J. Buckner, M. Dugas, Co-local subgroups of abelian groups, in: Abelian Groups, Rings, Modules, and Homological Algebra, in: Lect. Notes Pure and Applied Math., vol. 249, Taylor and Francis/CRC Press, pp. 25-33] were co-local subgroups of torsion-free abelian groups. In the present paper we shift our attention to co-local subgroups K of mixed, non-splitting abelian groups A with torsion subgroup t(A). We will show that any co-local subgroup K is a pure, cotorsion-free subgroup and if D/t(A) is the divisible part of A/t(A)=D/t(A)⊕H/t(A), then K∩D=0, and one may assume that K⊆H. We will construct examples to show that K need not be a co-local subgroup of H. Moreover, we will investigate connections between co-local subgroups of A and A/t(A).     

Amenability and weak amenability of the Fourier algebra

Let G be a locally compact group. We show that its Fourier algebra A(G) is amenable if and only if G has an abelian subgroup of finite index, and that its Fourier–Stieltjes algebra B(G) is amenable if and only if G has a compact, abelian subgroup of finite index. We then show that A(G) is weakly amenable if the component of the identity of G is abelian, and we prove some partial results towards the converse.Research supported by NSERC under grant no. 90749-00.Research supported by NSERC under grant no. 227043-00.     

The Derived Picard Group is a Locally Algebraic Group

Let A be a finite-dimensional algebra over an algebraically closed field K. The derived Picard group DPic _K (A) is the group of two-sided tilting complexes over A modulo isomorphism. We prove that DPic _K (A) is a locally algebraic group, and its identity component is Out⁰ _K (A). If B is a derived Morita equivalent algebra then DPic _K (A)DPic _K (B) as locally algebraic groups. Our results extend, and are based on, work of Huisgen-Zimmermann, Saorín and Rouquier.     

Hyper-Tauberian algebras and weak amenability of Figà-Talamanca-Herz algebras

We study certain commutative regular semisimple Banach algebras which we call hyper-Tauberian algebras. We first show that they form a subclass of weakly amenable Tauberian algebras. Then we investigate the basic and hereditary properties of them. Moreover, we show that if A is a hyper-Tauberian algebra, then the linear space of bounded derivations from A into any Banach A-bimodule is reflexive. We apply these results to the Figà-Talamanca-Herz algebra A_p(G) of a locally compact group G for p∈(1,∞). We show that A_p(G) is hyper-Tauberian if the principal component of G is abelian. Finally, by considering the quantization of these results, we show that for any locally compact group G, A_p(G), equipped with an appropriate operator space structure, is a quantized hyper-Tauberian algebra. This, in particular, implies that A_p(G) is operator weakly amenable.     

Ideals with bounded approximate identities in Fourier algebras

We make use of the operator space structure of the Fourier algebra A(G) of an amenable locally compact group to prove that if H is any closed subgroup of G, then the ideal I(H) consisting of all functions in A(G) vanishing on H has a bounded approximate identity. This result allows us to completely characterize the ideals of A(G) with bounded approximate identities. We also show that for several classes of locally compact groups, including all nilpotent groups, I(H) has an approximate identity with norm bounded by 2, the best possible norm bound.     

Irreducibility of associated matrices

For an n by n matrix A, let K(A) be the associated matrix corresponding to a permutation group (of degree m) and one of its characters. Let D_r(A) be the coefficient of x^m?r in K(A+xI). If A is reducible, then D_r(A) is reducible. If A is irreducible and the character is identically one, then D₁(A) is irreducible. If A is row stochastic and the character is identically one, then D_r(A) is essentially row stochastic. Finally, the results motivate the definition of group induced diagraphs.     

A formula for the central value of certain Hecke L-functions

Let be the negative of a prime, and O_K its ring of integers. Let D be a prime ideal in O_K of prime norm congruent to . Under these assumptions, there exists Hecke characters ψ_D of K with conductor (D) and infinite type (1,0). Their L-series L(ψ_D,s) are associated to a CM elliptic curve A(N,D) defined over the Hilbert class field of K. We will prove a Waldspurger-type formula for L(ψ_D,s) of the form L(ψ_D,1)=Ω∑_[A],Ir(D,[A],I)m_[A],I([D]) where the sum is over class ideal representatives I of a maximal order in the quaternion algebra ramified at |N| and infinity and [A] are class group representatives of K. An application of this formula for the case N=-7 will allow us to prove the non-vanishing of a family of L-series of level 7|D| over K.     

Compact DG modules and Gorenstein DG algebras

When the base connected cochain DG algebra is cohomologically bounded, it is proved that the difference between the amplitude of a compact DG module and that of the DG algebra is just the projective dimension of that module. This yields the unboundedness of the cohomology of non-trivial regular DG algebras. When A is a regular DG algebra such that H(A) is a Koszul graded algebra, H(A) is proved to have the finite global dimension. And we give an example to illustrate that the global dimension of H(A) may be infinite, if the condition that H(A) is Koszul is weakened to the condition that A is a Koszul DG algebra. For a general regular DG algebra A, we give some equivalent conditions for the Gorensteiness. For a finite connected DG algebra A, we prove that D^c(A) and D^c(A ^op) admit Auslander-Reiten triangles if and only if A and A ^op are Gorenstein DG algebras. When A is a non-trivial regular DG algebra such that H(A) is locally finite, D^c(A) does not admit Auslander-Reiten triangles. We turn to study the existence of Auslander-Reiten triangles in D_lf^b(A) and D_lf^b (A ^op) instead, when A is a regular DG algebra. This work was supported by the National Natural Science Foundation of China (Grant No. 10731070) and the Doctorate Foundation of Ministry of Education of China (Grant No. 20060246003)     

Arnold diffusion in a neighborhood of strong resonances

Let D be a central division algebra of degree n over a field K. One defines the genus gen(D) as the set of classes [D′] ∈ Br(K) in the Brauer group of K represented by central division algebras D′ of degree n over K having the same maximal subfields as D. We prove that if the field K is finitely generated and n is prime to its characteristic, then gen(D) is finite, and give explicit estimations of its size in certain situations.     

When is c(x) a Clean Ring?

An element of a ring R is called clean if it is the sum of a unit and an idempotent and a subset A of R is called clean if every element of A is clean. A topological characterization of clean elements of C(X) is given and it is shown that C(X) is clean if and only if X is strongly zero-dimensional, if and only if there exists a clean prime ideal in C(X). We will also characterize topological spaces X for which the ideal C_K(X) is clean. Whenever X is locally compact, it is shown that C_K(X) is clean if and only if X is zero-dimensional.     

Birational maps between generalized Severi-Brauer varieties

A conjecture of Amitsur states that two Severi-Brauer varieties V(A) and V(B) are birationally isomorphic if and only if the underlying algebras A and B are the same degree and generate the same cyclic subgroup of the Brauer group. We examine the question of finding birational isomorphisms between generalized Severi-Brauer varieties. As a first step, we exhibit a birational isomorphism between the generalized Severi-Brauer variety of an algebra and its opposite. We also extend a theorem of P. Roquette to generalized Severi-Brauer varieties and use this to show that one may often reduce the problem of finding birational isomorphisms to the case where each of the separable subfields of the corresponding algebras are maximal, and therefore to the case where the algebras have prime power degree. We observe that this fact allows us to verify Amitsur’s conjecture for many particular cases.     

Continuous fields of C*-algebras over finite dimensional spaces

Let X be a finite dimensional compact metrizable space. We study a technique which employs semiprojectivity as a tool to produce approximations of C(X)-algebras by C(X)-subalgebras with controlled complexity. The following applications are given. All unital separable continuous fields of C*-algebras over X with fibers isomorphic to a fixed Cuntz algebra On, n∈{2,3,…,∞}, are locally trivial. They are trivial if n=2 or n=∞. For n?3 finite, such a field is trivial if and only if (n−1)[A₁]=0 in K₀(A), where A is the C*-algebra of continuous sections of the field. We give a complete list of the Kirchberg algebras D satisfying the UCT and having finitely generated K-theory groups for which every unital separable continuous field over X with fibers isomorphic to D is automatically locally trivial or trivial. In a more general context, we show that a separable unital continuous field over X with fibers isomorphic to a KK-semiprojective Kirchberg C*-algebra is trivial if and only if it satisfies a K-theoretical Fell type condition.     

Quasi-Purifiable Subgroups and Minimal Direct Summands

Let G be an arbitrary Abelian group. A subgroup A of G is said to be quasi-purifiable in G if there exists a pure subgroup H of G containing A such that A is almost-dense in H and H/A is torsion. Such a subgroup H is called a “quasi-pure hull” of A in G. We prove that if G is an Abelian group whose maximal torsion subgroup is torsion-complete, then all subgroups A are quasi-purifiable in G and all maximal quasi-pure hulls of A are isomorphic. Every subgroup A of a torsion-complete p-primary group G is contained in a minimal direct summand of G that is a minimal pure torsion-complete subgroup containing A. An Abelian group G is said to be an “ADE decomposable group” if there exist an ADE subgroup K of G and a subgroup T′ of T(G) such that G = K⊕ T′. An Abelian group whose maximal torsion subgroup is torsion-complete is ADE decomposable. Hence direct products of cyclic groups are ADE decomposable groups.     

Hyperelliptic jacobians with real multiplication

Let K be a field of characteristic p≠2, and let f(x) be a sextic polynomial irreducible over K with no repeated roots, whose Galois group is isomorphic to A₅. If the jacobian J(C) of the hyperelliptic curve C:y²=f(x) admits real multiplication over the ground field from an order of a real quadratic field D, then either its endomorphism algebra is isomorphic to D, or p>0 and J(C) is a supersingular abelian variety. The supersingular outcome cannot occur when p splits in D.     

Extensions and isomorphisms for the generalized Fourier algebras of a locally compact group

It is shown that for amenable groups, all finite-dimensional extensions of A_p(G) algebras split strongly. Furthermore, each extension of A_p(G) which splits algebraically also splits strongly. We also show that if G is an almost connected locally compact group, or a subgroup of GL_n(V) (V being a finite-dimensional vector space), and if for a fixed p∈(1,∞), all finite-dimensional singular extensions of A_p(G) split strongly, then G is amenable. Continuous order isomorphisms for the pointwise order of A_p(G) algebras, are characterized as weighted composition maps. Similarly, order isomorphisms for the pointwise order of B_p(G) algebras, are characterized as ∗-algebra isomorphisms followed by multiplication by an invertible positive multiplier. In addition, it is shown that for amenable groups, an order isomorphism for the pointwise order between A_p(G) algebras that preserve cozero sets is necessarily continuous, and hence induces an algebra isomorphism.