On the Karoubi Filtration of a Category

Let be an -filtered category in the sense of Karoubi. This is the categorical analogue of an ideal in a ring . Pedersen and Weibel constructed a fibration of K-theory spectra associated with the sequence . We present a new easier proof based on Waldhausen' generic fibration.     

K-Theory for Triangulated Categories 3 $\frac{3}{4}$\frac{3}{4}: A Direct Proof of the Theorem of the Heart

Let be a triangulated category, and assume it admits at least one model. In this article, we define a K-theory for . The main theorem is that, given any bounded i-structure on , the K-theory of the heart agrees with the K-theory of . An immediate consequence tells us that, if two Abelian categories occur as hearts of a triangulated category for two different t-structures, then their K-theories must be isomorphic.The proof was also sketched in previous articles in this series. The virtue of this article is in the careful detail in which it is written down.     

K-Theory for the Banach Algebra of Operators on James''s Quasi-reflexive Banach Spaces

We prove that the K-groups of the Banach algebra of bounded, linear operators on the pth James space , where 1 < p < , are given by and . Moreover, for each Banach space and each non-zero, closed ideal contained in the ideal of inessential operators, we show that and . This enables us to calculate the K-groups of for each Banach space which is a direct sum of finitely many James spaces and -spaces.     

Profinite and Continuous Higher K-Theory of Exact Categories, Orders, and Group Rings

Let be a rational prime, an exact category. In this article, we define and study for all , the profinite higher K-theory of , that is as well as , where is the -dimensional mod- Moore space. We study connections between and prove several -completeness results involving these and associated groups including the cases where is the category of finitely generated (resp. finitely generated projective) modules over orders in semi-simple algebras over number fields and p-adic fields. We also define and study continuous K-theory of orders in p-adic semi-simple algebras and show some connection between the profinite and continuous K-theory of .     

Equivariant K-Homology and Restriction to Finite Cyclic Subgroups

For a discrete group G, we prove that a G-map between proper G–CW-complexes induces an isomorphism in G-equivariant K-homology if it induces an isomorphism in C-equivariant K-homology for every finite cyclic subgroup C of G. As an application, we show that the source of the Baum–Connes assembly map, namely K _* ^G (E(G, in)), is isomorphic to K _* ^G (E(G, )), where E(G, ) denotes the classifying space for the family of finite cyclic subgroups of G. Letting be the family of virtually cyclic subgroups of G, we also establish that and related results.     

Determinants in Triangulated Categories

For a small triangulated category , Bass's K ₁ group is described, and the theorem of the heart is proved. We define the determinant map from to Neeman's , and we compute this map when is the derived category of an Abelian category .     

Finite rank operators in Jacobson radical \mathcal{R}_{\mathcal{N} \otimes \mathcal{M}}

In this paper we investigate finite rank operators in the Jacobson radical of Alg( ), where are nests. Based on the concrete characterizations of rank one operators in Alg( ) and , we obtain that each finite rank operator in can be written as a finite sum of rank one operators in and the weak closure of equals Alg( ) if and only if at least one of is continuous.     

A Complete Formulation of the Baum–Connes Conjecture for the Action of Discrete Quantum Groups

We formulate a version of the Baum–Connes conjecture for a discrete quantum group, building on our earlier work. Given such a quantum group , we construct a directed family -algebras (F varying over some suitable index set), borrowing the ideas of Cuntz such that there is a natural action of satisfying the assumptions of Goswami and Kuku which makes it possible to define the analytical assembly map, say , i= 0, 1, as in our previous work, from the -equivariant K-homolgy groups of to the K-theory groups of the reduced dual (c.f. [9] and the references therein for more details). As a result, we can define the Baum–Connes maps , and in the classical case, i.e. when for a discrete group, the isomorphism of the above maps for i= 0, 1 is equivalent to the Baum–Connes conjecture. Furthermore, we verify its truth for an arbitrary finite-dimensional quantum group and obtain partial results for the dual of (2).     

Isometries and direct decompositions of pseudo MV-algebras

In the paper isometries in pseudo MV-algebras are investigated. It is shown that for every isometry f in a pseudo MV-algebra = (A, ⊕, ⁻, ^∼, 0, 1) there exists an internal direct decomposition of with commutative such that and for each x ∈ A. On the other hand, if is an internal direct decomposition of a pseudo MV-algebra = (A, ⊕, ⁻, ^∼, 0, 1) with commutative, then the mapping g: A → A defined by is an isometry in and .      

Furstenberg family and chaos

A Furstenberg family F is a family,consisting of some subsets of the set of positive integers,which is hereditary upwards,i.e.A■B and A∈F imply B∈F.For a given system (i.e.,a pair of a complete metric space and a continuous self-map of the space) and for a Furstenberg family F, the definition of F-scrambled pairs of points in the space has been given,which brings the well-known scrambled pairs in Li-Yorke sense and the scrambled pairs in distribution sense to be F-scrambled pairs corresponding respectively to suitable Furstenberg family F.In the present paper we explore the basic properties of the set of F-scrambled pairs of a system.The generically F-chaotic system and the generically strongly F-chaotic system are defined.A criterion for a generically strongly F-chaotic system is showed.     

Metrics in the sphere of a C*-module

Given a unital C*-algebra and a right C*-module over , we consider the problem of finding short smooth curves in the sphere = {x ∈ : 〈x, x〉 = 1}. Curves in are measured considering the Finsler metric which consists of the norm of at each tangent space of . The initial value problem is solved, for the case when is a von Neumann algebra and is selfdual: for any element x ₀ ∈ and any tangent vector ν at x ₀, there exists a curve γ(t) = e ^tZ (x ₀), Z ∈ , Z* = −Z and ∥Z∥ ≤ π, such that γ(0) = x ₀ and (0) = ν, which is minimizing along its path for t ∈ [0, 1]. The existence of such Z is linked to the extension problem of selfadjoint operators. Such minimal curves need not be unique. Also we consider the boundary value problem: given x ₀, x ₁ ∈ , find a curve of minimal length which joins them. We give several partial answers to this question. For instance, let us denote by f ₀ the selfadjoint projection I − x ₀ ⊗ x ₀, if the algebra f ₀ f ₀ is finite dimensional, then there exists a curve γ joining x ₀ and x ₁, which is minimizing along its path.      

Reality properties of conjugacy classes in algebraic groups

Let be a (not necessarily semi-finite) σ-finite von Neumann algebra. We prove that there exists a finite von Neumann algebra so that for every 1 < p < 2, the Haagerup L ^p -space associated with embeds isomorphically into . We also provide a proof of the following non-commutative generalization of a classical result of Rosenthal: if is a semi-finite von Neumann algebra then every reflexive subspace of embeds isomorphically into L ^r ( ) for some r > 1. Dedicated to Professor H. P. Rosenthal on the occasion of his sixty-fifth birthday Research partially supported by NSF grant DMS-0456781.     

Multipolytopes and convex chains

For a simple complete multipolytope in ℝⁿ, Hattori and Masuda defined a locally constant function on ℝⁿ minus the union of hyperplanes associated with , which agrees with the density function of an equivariant complex line bundle over a Duistermaat-Heckman measure when arises from a moment map of a torus manifold. We improve the definition of and construct a convex chain on ℝⁿ. The well-definiteness of this convex chain is equivalent to the semicompleteness of the multipolytope . Generalizations of the Pukhlikov-Khovanskii formula and an Ehrhart polynomial for a simple lattice multipolytope are given as corollaries. The constructed correspondence ⨑ub;simple semicomplete multipolytopes⫂ub; →; ⨑ub;convex chains⫂ub; is surjective but not injective. We will study its “kernel.”     

Optimal Subcodes of Second Order Reed-Muller Codes andMaximal Linear Spaces of Bivectors of Maximal Rank

There are exactlytwo non-equivalent [32,11,12]-codes in the binaryReed-Muller code which contain and have the weight set {0,12,16,20,32}. Alternatively,the 4-spaces in the projective space over the vector space for which all points have rank 4 fall into exactlytwo orbits under the natural action of PGL(5) on .     

Indecomposable Elements in K1 of a Smooth Projective Variety

Let X be a smooth projective variety over the complex numbers. We consider the cohomology of the sheaves and arising from Deligne–Beilinson cohomology and the Hodge filtration on the singular cohomology of X. We show that one can identify with the image of the truncated regulator map c¯2,1. In particular, this implies that is countable. Since this group is a direct summand of coker , this gives a partial answer to Voisin's conjecture that cocker() is countable. In the case of X a surface, we prove that the Albanese kernel T(X) is isomorphic to the group of global sections of if and only if pg=0.     

Abundant and ample straight left orders

A subsemigroup S of a semigroup Q is a straight left order in Q and Q is a semigroup of straight left quotients of S if every q ∈ Q can be written as for some with a b in Q and if, in addition, every element of S that is square cancellable lies in a subgroup of Q. Here a ^♯ denotes the group inverse of a in some (hence any) subgroup of Q. If S is a straight left order in Q, then Q is necessarily regular; the idea is that Q has a better understood structure than that of S. Necessary and sufficient conditions exist on a semigroup S for S to be a straight left order. The technique is to consider a pair of preorders on S. If such a pair satisfies conditions mimicking those satisfied by on a regular semigroup, and if certain subsemigroups of S are right reversible, then S is a straight left order. The conditions required for to satisfy are somewhat lengthy. In this paper we aim to circumvent some of these by specialising in two ways. First we consider only fully stratified left orders, that is, the case where (certainly the most natural choice for ) and the other is to insist that S be abundant, that is, every -class and every -class of S contains an idempotent. Our results may be used to show that the monoid of endomorphisms of a hereditary basis algebra of finite rank is a fully stratified straight left order. This revised version was published online in August 2006 with corrections to the Cover Date.     

Property ∏σ and tensor products of operator algebras

In this paper, we introduce Property ∏σ of operator algebras and prove that nest subalgebras and the finite-width CSL subalgebras of arbitrary von Neumann algebras have Property ∏σ.Finally, we show that the tensor product formula alg ML1-(×)algNL2 = algM-(×)N(L1 (×) L2) holds for any two finite-width CSLs L1 and L2 in arbitrary von Neumann algebras M and N, respectively.     

Divisibility in the K0‐Group of the Algebra of Operators on a Banach Space

Let Figiel's reflexive Banach space which is not isomorphic to its Cartesian square. We show that the K ₀group of the algebra of continuous, linear operators on contain a subgroup isomorphic to the group c ₀₀( ) of sequences rational numbers with z _n=0 eventually.     

Théorie de Kasparov équivariante et groupo?des I

Let be a locally compact topological groupoid, A and B two C*-algebras endowed with a continuous action of . We define an operator K-theory group K K (A,B). We describe two basic properties of this theory: the existence of a Kasparov product and functoriality with respect to groupoid cocycles.     

Quantum duality in quantum deformations

In accordance with the quantum duality principle, the twisted algebra is equivalent to the quantum group and has two preferred bases: one inherited from the universal enveloping algebra and the other generated by coordinate functions of the dual Lie group . We show howthe transformation can be explicitly obtained for any simple Lie algebra and a factorable chain of extended Jordanian twists. In the algebra , we introduce a natural vector grading , compatible with the adjoint representation of the algebra. Passing to the dual-group coordinates allows essentially simplifying the costructure of the deformed Hopf algebra , considered as a quantum group . The transformation can be used to construct new solutions of the twist equations. We construct a parameterized family of extended Jordanian deformations and study it in terms of ; we find new realizations of the parabolic twist. Dedicated to the birthday of my teacher, Yurii Novozhilov __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 148, No. 1, pp. 112–125, July, 2006.