All Questions
Tagged with kt.k-theory-and-homology kk-theory
25 questions
2
votes
0
answers
59
views
Proof of K-theory version of Poincaré duality for closed spin$^c$ manifold
Let $X$ be a oriented Riemannian $n$-manifold. It seems to be well known that if $X$ is closed and spin$^c$ then the Poincaré duality reads
$$ K^*(X) \cong K_{*+n}(X)$$
between the complex K-theory ...
- 63
0
votes
0
answers
43
views
How to define a family of Hilbert $A-B$-bimodules $ \pi \ : \ M \to X $, parametrized by a $C^*$-algebra $X$?
Let $A$ and $B$ two $ C^* $ - algebras.
I would like to define a functor $ X \to \mathrm{Bimod}_{A,B} (X) $ which associate to any object $X$, the set of isomorphism classes of a family of Hilbert $A-...
- 595
3
votes
2
answers
161
views
Is there a $ H_* H^* $-theory which is naturally a common generalization both of singular homology and de Rham (or singular) cohomology?
It is known that $K_* K^* $-theory is a common generalization both of $K$-homology and $K$-theory as an additive bivariant functor on separable C*-algebras.
Is it possible to construct a $ H_* H^* $-...
- 595
7
votes
0
answers
159
views
Maps in the Künneth theorem for K-theory of C*-algebras
The following is named the Künneth theorem for tensor products in the book by Blackadar on K-theory for operator algebras: If $A$ and $B$ are C*-algebras and $A$ is in the bootstrap class, then there ...
- 2,998
11
votes
0
answers
378
views
Why are projectionless $C^*$-algebras important (Kadison's conjecture)
It was considered an important result for a long time to show that the reduced $C^*$-algebra of the free group $C^*_r(F_2)$ has no nontrivial projections. I believe this is also known as Kadison's ...
- 211
2
votes
0
answers
147
views
About the algebraic structure of the $G$-equivariant $KK$-theory
Let $ G $ be a second countable locally compact group.
Let $ A $ and $ B $ be two $G$-$C^*$-algebras.
Let $ KK^G (A, B) $ be the $G$-equivariant $KK$-theory of the pair $ (A, B) $.
Could you tell me ...
- 595
4
votes
0
answers
160
views
Solution without using any k-theory tools
Let $A$ be the UHF-algebra of type $2^{\infty}$. Suppose that $p$ and $q$ are two projections in $A$ and $\tau(p) = \tau(q)$, where $\tau$ is the unique normalized trace. Then there is a partail ...
- 581
2
votes
0
answers
124
views
Representation of $C^{*} (S_{\infty})$
I was wondering what is the group $C^{*}$-algebra of infinite symmetric group?
Mainly, I was trying to calculate the k-theory of $C^{*}$-algebra of infinite symmetric group and I found K-Theory of $C^{...
- 581
2
votes
1
answer
352
views
K-Theory of $C^{*}(X)$
I'm new to K-Theory for $C^{*}$-algebra and $C^{*}$-algebra of groups.
If $X$ is the group of finite support bijections of natural numbers then what is the K-Theory of $C^{*}(X)$?
I was planning to ...
- 581
0
votes
1
answer
109
views
How to define an equivariant Kasparov's KK-theory map?
I'm looking for some references about how to construct an equivariant Kasparov's KK-theory map $$ \psi \ : \ KK^{G_{1}} ( A,B ) \to KK^{G_{2}} ( C,D ) $$, where, $ G_1 $ and $ G_2 $ are two distinct ...
- 325
1
vote
0
answers
69
views
A map from a $ G_1 $ - equivariant KK-theory of Kasparov, to a $ G_2 $ - equivariant KK-theory of Kasparov
Let $ G $ be a locally compact group.
Let $ H $ and $ K $ be two normal subgroups of $ G $.
In order to construct a map, $$ \psi \ : \ \ F(G/H,G/K) \to F(G/K,G/H) $$
where, $$ F(G/H,G/K) = KK^{G/H} ( ...
- 325
3
votes
0
answers
129
views
Another way for defining $K_1$ group for a C*-algebra
Thank you for answering my question.
I have another question about the $K_1$ group. As you may know, some books define the $K_1$ group like below:
Also, it defines the $K_0$ group for an arbitrary C*-...
- 581
4
votes
1
answer
277
views
Producing $K$-homology cycles from $KK$-cycles
For two unital (separable) $C^*$-algebras $A$ and $B$, let $(H,\rho,F)$ be a $KK$-cycle in the sense of Kasparov, or in the sense of Wikipedia :)
I wonder if there us a natural way to "forget" the ...
- 993
8
votes
1
answer
356
views
Morita equivalence of the invariant uniform Roe algebra and the reduced group C*-algebra
In his paper "Comparing analytic assemby maps", J. Roe considers a proper and cocompact action of a countable group $\Gamma$ on a metric space $X$. He constructs the Hilbert $C^*_r(\Gamma)$-module $L^...
7
votes
1
answer
219
views
$*$-algebras, completions, and $K$-theory
What is an example of a $*$-algebra $\cal{A}$, which admits two non-equivalent norms $\| \cdot \|_1$ and $\| \cdot \|_2$, with respect to which we can complete $\cal{A}$ to give two $C^*$-algebras $...
- 993
8
votes
1
answer
559
views
KK-theoretical proof of Atiyah-Singer index theorem
Does anyone know of any detailed proof of the Atiyah-Singer Index Theorem using KK-theory/ Kasparov products? References to any papers and textbooks are greatly appreciated. Thanks!
- 81
8
votes
1
answer
724
views
Role of the UCT problem in classification theory for C*-algebras
Elliott's program for nuclear C*-algebras deals with the problem of classifying nuclear C*-algebras by K-theoretical invariants. A major open question in this context is the UCT problem.
A separable ...
- 741
1
vote
1
answer
269
views
description of a map in KK-theory
The following situation is given: Let $A$ be a unital, separable, nuclear $C^*$-Algebra, $i:\mathbb{C}\to A$ the unital embedding. All $C^*$-algebras are considered as trivially graded. Consider the ...
user62639
4
votes
1
answer
577
views
Bass and Quillen K-theory
What is the difference of Bass and Quillen K-theory groups of a ring $R$.
More concretely, what is $K^{Bass}_{i}(R)$? does it equal to $K^{Quillen}_{i}(R)$ if $R$ is a regular ring ?
Does it make ...
- 1,613
4
votes
0
answers
389
views
Künneth formula for $C^*$ algebras, equivalent condition for full generality
I'm crrently reading the paper about the Künneth-theorem for $C^*$-algebras: http://msp.org/pjm/1982/98-2/pjm-v98-n2-p15-s.pdf and I'm trying to understand remark 4.9. I henceforth asumme that $A$ is ...
- 81
7
votes
1
answer
454
views
Relation between the UCT and Künneth ($C^*$-algebras)
I have a (maybe dumb) question about the relation between the Künneth theorem and the Theorem-universal coefficient theorem (UCT for short) in $KK$-theory (for the setting see "The Künneth theorem and ...
user62639
6
votes
2
answers
279
views
Differential structures and K-homology groups
What is an example of a (compact) manifold, which has two non-equivalent differential structures such that the K-homology groups are non-isomorphic? If no such example exists, i.e. "K-homology does ...
- 167
4
votes
1
answer
272
views
Definition of homotopy between Kasparov modules
I'm trying to understand the definition of homotopy between Kasparov modules as presented in Blackadar's book on K-theory for operator algebras. $A,B$ will be C*-algebras, while $E$ will denote a ...
- 465
0
votes
0
answers
293
views
Lifting triangles in K-theory to KL-groups
Let $X$ and $Y$ be finite simplicial complexes (or $CW$-complexes) so that $Y\subseteq X$. Let $s\colon C(X)\to C(Y)$ be the map given by restriction. In particular $K_{*}(C(X))$ and $K_{*}(C(Y))$ are ...
5
votes
0
answers
370
views
KK-witnesses of Gysin maps between differentiable stacks
In 1982 Alain Connes gave the construction of a KK-element $f! \in KK(C(X), C(Y))$ that "witnesses" the fiber integration/Gysin/Umkehr/wrong-way map on topological $K$-theory along a K-orientable map ...
- 19.8k