Noncommutative localization in algebraic L-theory

Given a noncommutative (Cohn) localization A→σ⁻¹A which is injective and stably flat we obtain a lifting theorem for induced f.g. projective σ⁻¹A-module chain complexes and localization exact sequences in algebraic L-theory, matching the algebraic K-theory localization exact sequence of Neeman-Ranicki [Amnon Neeman, Andrew Ranicki, Noncommutative localisation in algebraic K-theory I, Geom. Topol. 8 (2004) 1385-1425] and Neeman [Amnon Neeman, Noncommutative localisation in algebraic K-theory II, Adv. Math. 213 (2007) 785-819].     

On the Isomorphism Conjecture in algebraic K-theory

The Isomorphism Conjecture is a conceptional approach towards a calculation of the algebraic K-theory of a group ring RΓ, where Γ is an infinite group. In this paper we prove the conjecture in dimensions n<2 for fundamental groups of closed Riemannian manifolds with strictly negative sectional curvature and arbitrary coefficient rings R. If R is regular this leads to a concrete calculation of low dimensional K-theory groups of RΓ in terms of the K-theory of R and the homology of the group.     

Additivity for derivator K-theory

We prove the additivity theorem for the K-theory of triangulated derivators. This solves one of the conjectures made by Maltsiniotis in [G. Maltsiniotis, La K-théorie d'un dérivateur triangulé, in: Alexei Davydov, Michael Batanin, Michael Johnson, Stephen Lack, Amnon Neeman (Eds.), Categories in Algebra, Geometry and Physics, Conference and Workshop in honor of Ross Street's 60th Birthday, in: Contemp. Math., vol. 431, Amer. Math. Soc., 2007, pp. 341-368]. We also review some basic definitions and results in the theory of derivators in the sense of Grothendieck.     

K-theory of equivariant quantization

Using an equivariant version of Connes? Thom isomorphism, we prove that equivariant K-theory is invariant under strict deformation quantization for a compact Lie group action.     

Comparison between algebraic and topological K-theory of locally convex algebras

This paper is concerned with the algebraic K-theory of locally convex C-algebras stabilized by operator ideals, and its comparison with topological K-theory. We show that if L is locally convex and J a Fréchet operator ideal, then all the different variants of topological K-theory agree on the completed projective tensor product , and that the obstruction for the comparison map to be an isomorphism is (absolute) algebraic cyclic homology. We prove the existence of an exact sequence (Theorem 6.2.1)We show that cyclic homology vanishes in the case when J is the ideal of compact operators and L is a Fréchet algebra whose topology is generated by a countable family of sub-multiplicative seminorms and admits an approximate right or left unit which is totally bounded with respect to that family (Theorem 8.3.3). This proves the generalized version of Karoubi's conjecture due to Mariusz Wodzicki and announced in his paper [M. Wodzicki, Algebraic K-theory and functional analysis, in: First European Congress of Mathematics, Vol. II, Paris, 1992, in: Progr. Math., vol. 120, Birkhäuser, Basel, 1994, pp. 485-496].We also consider stabilization with respect to a wider class of operator ideals, called sub-harmonic. Every Fréchet ideal is sub-harmonic, but not conversely; for example the Schatten ideal Lp is sub-harmonic for all p>0 but is Fréchet only if p?1. We prove a variant of the exact sequence above which essentially says that if A is a C-algebra and J is sub-harmonic, then the obstruction for the periodicity of K_∗(AC_⊗J) is again cyclic homology (Theorem 7.1.1). This generalizes to all algebras a result of Wodzicki for H-unital algebras announced in [M. Wodzicki, Algebraic K-theory and functional analysis, in: First European Congress of Mathematics, Vol. II, Paris, 1992, in: Progr. Math., vol. 120, Birkhäuser, Basel, 1994, pp. 485-496].The main technical tools we use are the diffeotopy invariance theorem of Cuntz and the second author (which we generalize in Theorem 6.1.6), and the excision theorem for infinitesimal K-theory, due to the first author.     

The homotopy limit problem for two-primary algebraic K-theory

We solve the homotopy limit problem for two-primary algebraic K-theory of fields, that is, the Quillen-Lichtenbaum conjecture at the prime 2.     

Chern character for twisted K-theory of orbifolds

For an orbifold X and α∈H³(X,Z), we introduce the twisted cohomology and prove that the non-commutative Chern character of Connes-Karoubi establishes an isomorphism between the twisted K-groups and the twisted cohomology . This theorem, on the one hand, generalizes a classical result of Baum-Connes, Brylinski-Nistor, and others, that if X is an orbifold then the Chern character establishes an isomorphism between the K-groups of X tensored with C, and the compactly-supported cohomology of the inertia orbifold. On the other hand, it also generalizes a recent result of Adem-Ruan regarding the Chern character isomorphism of twisted orbifold K-theory when the orbifold is a global quotient by a finite group and the twist is a special torsion class, as well as Mathai-Stevenson's theorem regarding the Chern character isomorphism of twisted K-theory of a compact manifold.     

The range of united K-theory

We prove that the united K-theory functor is a surjective functor from the category of real simple separable purely infinite C^∗-algebras to the category of countable acyclic CRT-modules. As a consequence, we show that every complex Kirchberg algebra satisfying the universal coefficient theorem is the complexification of a real C^∗-algebra.     

K-duality for pseudomanifolds with isolated singularities

We associate to a pseudomanifold X with a conical singularity a differentiable groupoid G which plays the role of the tangent space of X. We construct a Dirac element and a dual Dirac element which induce a K-duality between the C∗-algebras C∗(G) and C(X). This is a first step toward an index theory for pseudomanifolds.     

K-Harmonic means data clustering with tabu-search method

Clustering is a popular data analysis and data mining technique. Since clustering problem have NP-complete nature, the larger the size of the problem, the harder to find the optimal solution and furthermore, the longer to reach a reasonable results. A popular technique for clustering is based on K-means such that the data is partitioned into K clusters. In this method, the number of clusters is predefined and the technique is highly dependent on the initial identification of elements that represent the clusters well. A large area of research in clustering has focused on improving the clustering process such that the clusters are not dependent on the initial identification of cluster representation. Another problem about clustering is local minimum problem. Although studies like K-Harmonic means clustering solves the initialization problem trapping to the local minima is still a problem of clustering. In this paper we develop a new algorithm for solving this problem based on a tabu search technique—Tabu K-Harmonic means (TabuKHM). The experiment results on the Iris and the other well known data, illustrate the robustness of the TabuKHM clustering algorithm.     

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.     

Noncommutative resolution, F-blowups and D-modules

We explain the isomorphism between the G-Hilbert scheme and the F-blowup from the noncommutative viewpoint after Van den Bergh. In doing this, we immediately and naturally arrive at the notion of D-modules. We also find, as a byproduct, a canonical way to construct a noncommutative resolution at least for a few classes of singularities in positive characteristic.     

Some mildly wild circles in Sn arising from algebraic K-Theory

We study wild embeddings of S ¹ in S ⁿ which are tame in a sense introduced by Quinn. We show that if is a finitely presented group with H ₁()=H ₂()=0, then any finiteness obstruction K ₀() can be realized on the complement of such an embedded S ¹. We also realize trivially symmetric K _–1() obstructions on the complements of such embeddings. For trivially symmetric , the embeddings constructed are shown to be isotopy homogeneous.     

Note on K-analyticity and normality in function spaces

We prove that whenever X is zero-dimensional metrizable with σ-compact set of accumulation points and K   is compact metrizable, the function space K^X$K^X$ endowed with the compact-open topology is a compact-covering image of the product of the irrationals and the Cantor cube. In particular, for any metrizable E  , the iterated function space E^(KX)$E^{(K^X)}$ is perfectly normal and paracompact. However, there is a closed subgroup G   of {0,1}^X${\{0,1\}}^X$ with X   as above whose space of characters G^∧$G^{\wedge }$ is not normal.     

Varieties of algebras arising from K-perfect m-cycle systems

A class of algebras forms a variety if it is characterised by a collection of identities. There is a well-known method, often called the standard construction, which gives rise to algebras from m-cycle systems. It is known that the algebras arising from {1}-perfect m-cycle systems form a variety for m∈{3,5} only, and that the algebras arising from {1,2}-perfect m-cycle systems form a variety for m∈{3,5,7} only. Here we give, for any set K of positive integers, necessary and sufficient conditions under which the algebras arising from K-perfect m-cycle systems form a variety.     

Enumerating K best paths in length order in DAGs

We address the problem of finding the K best paths connecting a given pair of nodes in a directed acyclic graph (DAG) with arbitrary lengths. One of the main results in this paper is the proof that a tree representing the kth shortest path is obtained by an arc exchange in one of the previous (k − 1) trees (each of which contains a previous best path). An O(m + K(n + log K)) time and O(K + m) space algorithm is designed to explicitly determine the K shortest paths in a DAG with n nodes and m arcs. The algorithm runs in O(m + Kn) time using O(K + m) space in DAGs with integer length arcs. Empirical results confirming the superior performance of the algorithm to others found in the literature for randomly generated graphs are reported.     

MF actions and K-theoretic dynamics

We study the interplay of C^?$C^{?}$-dynamics and K  -theory. Notions of chain recurrence for transformations groups (X,Γ)$(X,\Gamma )$ and MF actions for non-commutative C^?$C^{?}$-dynamical systems (A,Γ,α)$(A,\Gamma ,\alpha )$ are translated into K-theoretical language, where purely algebraic conditions are shown to be necessary and sufficient for a reduced crossed product to admit norm microstates. We are particularly interested in actions of free groups on AF algebras, in which case we prove that a K-theoretic coboundary condition determines whether or not the reduced crossed product is a matricial field (MF) algebra. One upshot is the equivalence of stable finiteness and being MF for these reduced crossed product algebras.     

Polynomial sequential continuity on C(K,E) spaces

We show that, for bounded sequences in C(K,E), the polynomial sequential convergence is not equivalent to the pointwise polynomial sequential convergence. We introduce several conditions on E under which different versions of the result are true when K is a scattered compact space. These conditions are related with some others appeared in the literature and they seem to be of independent interest.