Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [k-theory]

K-theory is the study of invariants of large matrices, in a suitable sense. It has many variations: (algebraic-k-theory), (topological-k-theory), or in the study of (operator-algebras).

0
votes
1answer
44 views

K- theory of stably projectionless C* algebras

could anyone give me an example of a stably projectionless C*-algebra with non-zero $K_0$ group?
0
votes
1answer
31 views

K theory of projectionless C*-algebras

Is it possible to have a projectionless C*- algebra with non trivial K-theory? If so what would be such an example? I can't come up with any. p.s. By projectionless I mean non-unital aswell.
1
vote
1answer
22 views

An isomorphism of vector bundles over a manifold, $K(X)$,

Let $E_1, E_0$ be vector bundles over a manifold $X$. Let us suppose that $$E_1 - E_0 =0 \in K(X)$$ (I believe we also suppose $X$ to be compact so $K$-theory makes sense here.) Proposition: If $\...
1
vote
1answer
37 views

The complex topological $K$-theory spectrum is not an $H\mathbb{Z}$-module.

Why is it true that the complex topological $K$-theory spectrum is not an $H\mathbb{Z}$-module? I mean, why the nontriviality of the first $k$-invariant implies the claim above?
2
votes
1answer
33 views

How to show that this short exact sequence does not split

Consider the Short Exact sequence $0\rightarrow C_0((0,1))\rightarrow C([0,1])\rightarrow \mathbb{C}\bigoplus\mathbb{C}\rightarrow 0$ where the map from $C([0,1])\rightarrow \mathbb{C}\bigoplus\...
0
votes
0answers
34 views

A doubt from Atiyah's K-Theory

This is a question regarding the following statement on pg 43 of Atiyah's K-Theory. Using our construction of $K$ it follows that, if $X$ is a space, every element of $K(X)$ is of the form $[E]-[F]...
2
votes
0answers
40 views

Operator K-theory and Topological K-theory

I was trying to understand the relationship between these two K-theory's when you pick your C* algebra to be $C(X)$ for $X$ a compact Hausdorff space. For this you create a function between $P_\infty (...
2
votes
1answer
35 views

Grothendieck group of tensor products

For two unital rings $R,S$, one can form the ring $R\otimes_\mathbb{Z} S$ (this is the coproduct in the category of rings). I was wondering whether the following formula holds for the Grothendieck ...
2
votes
1answer
47 views

Two types of Grothendieck groups for rings

For a Noetherian ring $R$, there seem to be two versions of zeroth K-theory one can associate to it: $K_0(R)$ the Grothendieck group of the exact category of projective modules and $G_0(R)$ the ...
2
votes
0answers
20 views

Given a map $X \to \text{GL}_2(\mathbb{R})$ how do I determine a flat connection on this Riemann surface?

I need help determining the Euler class of this vector bundle $\phi:E\to X$. The base space is the torus $X = \mathbb{R}^2/\mathbb{Z}^2$ and the fiber over each point, $f^{-1}(x) \simeq \mathbb{R}^2$....
0
votes
0answers
59 views

Existence of Thom Class

In page 133, Theorem 8.5.5. (The Thom isomoprhism theorem) Let $\pi:V \rightarrow X$ be a complex vector bundle of rank $n$, over al locally comapct space $X$. Let $$ 0 \rightarrow \pi^* \...
1
vote
0answers
32 views

Defining Bott Class by relative $K$-theory

I am really confused with this construction of Bott Class in Page 127, Example 8.4.12 If $V$ is a complex vector space of dimension $n$, we form the complex $$ 0 \rightarrow \wedge^0 V \...
2
votes
0answers
51 views

Relative $K$-theory, definition

On pg125 on proving that that the concordance classes quotiented by the acyclic ones froms a group, there is a lemma: Lemma 8.4.5 Let $(E,F,f)$ and $(E,F,g)$ be two $K$-cycles on $(X,Y)$. Assume ...
0
votes
0answers
15 views

Why we call monomial matrices?

Currently, I am reading Milnor’s book on algebraic K-theory, where he defined a monomial matrix over commutative ring with 1 to be a matrix of the form PD, where P is a permutation matrix and D is a ...
3
votes
0answers
41 views

Problems on exercise 7.G in the book “K-Theory and C*-Algebras”

I have a lot problems on exercise 7.G in the book K-Theory and C*-Algebras by Wegge-Olsen. $\newcommand{\C}{\mathbb{C}}$ $X\subset \mathbb{C}$? As I know the character space of $C^*(u_1,u_2)$ is ...
0
votes
1answer
35 views

$K_0(R)$ is generated by $[R]$?

Let $R$ be a unital associative ring. Let $F$ be the free abelian group on the set of all isomorphism classes $[P]$ of f.g. projective $R$-modules $P$. Let $K_0(R)$ be the quotient of $F$ modulo the ...
2
votes
0answers
45 views

KO theory v.s. ko theory

It looks that there are different types of topological K-theories, with similar names but they are totally different outputs for the same input. The first theory is called the KO theory. There are ...
1
vote
0answers
28 views

Commuting Elements in Tensor Products of C*-Algebras

I am working on exercise 7.G in the book “K-Theory and C*-Algebras” by Wegge-Olsen. Let $A$ be some unital C*-algebra, $u$ a unitary in $M_n(A)$, and $u’$ a standard unitary (which is defined to be a ...
6
votes
0answers
86 views

Rings and categories with zero Grothendieck group

I am interested in examples of rings (or triangulated categories) that have zero Grothendieck group but are somehow still interesting. More example, for what rings $R$ is the category of finitely-...
2
votes
1answer
27 views

Clarifying how we can identify $SK_1(R)$ with set of path components

Let $R$ be a commutative Banach algebra. Let $E_n$ denote the group generated by $n\times n$ elementary matrices. $SK_1(R)$ denotes the kernel of the induced determinant map $K_1(R) \to R^{\times}$. ...
0
votes
0answers
20 views

Decomposition of $K_0$ with Whitehead group

Let $Wh_0(G) ={K_0(\mathbb Z[G])}/{\mathbb Z}$, where $\mathbb Z[G]$ is the group ring of $G$ over $\mathbb Z$. Weibel states that the augmentation map $f: \mathbb Z[G] \to \mathbb Z$ induces the ...
1
vote
1answer
26 views

When $\mathbb Z$ is a direct summand of $K_0(R)$

Suppose that there is a ring homomorphism $R \to F$ where $F$ is a field. I'm trying to verify that $\mathbb Z$ is a direct summand of $K_0(R)$. We have an induced ring homomorphism $(K_0(R), \...
2
votes
1answer
44 views

Is there an example of a non-zero projection in a C$^{*}$-algebra that is infinite but not properly infinite?

For clarification: Given a projection $p$ in a C$^{*}$-algebra $A$, we say $p$ is infinite if there is a projection $q\in A$ satisfying $q\lneq p \sim q$; we say $p$ is properly infinite if there are ...
3
votes
1answer
84 views

Is the geometric realization of a pointed category contractible?

Given a pointed category $X$, is $|N(X)|$ contractible ($N(X)$ is the nerve of $X$)? Or are there counter-examples?
2
votes
1answer
52 views

Definition of algebraic K-theory space

Let $(C,wC)$ be a Waldhausen category. The algebraic K-theory space is the loop space of the classifying space of the simplicial pointed category $wS_*C$, i.e. of the topological realization of the ...
0
votes
1answer
20 views

Degreewise cofibration in $S_nC$

Given a category $C$, we have $S_nC=Fun(Ar[n],C)$ and given $A,B\in Ob(S_n(C))$, (i.e. A,B are functors from $Ar[n]$ to $C$), then what does a morphism $f:A\to B$ in $S_nC$ mean by degreewise ...
4
votes
1answer
66 views

Understanding Adams spectral sequence and Pontryagin-Thom isomorphism intuitively

The question is about understanding Adams spectral sequence intuitively and some of the meanings of its relations. In Adams spectral sequence, $$E_2^{s,t}=\text{Ext}_{\mathcal{A}}^{s,t}(H^*(MTG), \...
4
votes
1answer
94 views

Atiyah's K Theory, pg 4

On page 4, of Atiyah's $K$ theroy he stated Suppose $V,W$ are real f.d. v.s, $E = X \times V$ and $F= X \times W$ are corresponding vector bundles. Then any homomoprhism $\varphi:E \rightarrow F$ ...
2
votes
2answers
94 views

How to calculate the $K_0$ and $K_1$ groups for $A$

Let $A=\{f\in C([0,1],M_n)\mid f(0)$ is scalar matrix $\}$. Then find the $K_0(A)$ and $K_1(A)$. I am trying to use the SES $J \rightarrow A \rightarrow A/J$ where $J$ can be taken as some closed ...
1
vote
0answers
24 views

is K theory functor continous with respect to inverse limit?

l know that K functor is continous with respect to direct limit, how about inverse limit ?does inverse limit exist in general in the caegory of topological space(or C star algebra). is there a ...
10
votes
0answers
2k views

Was Atiyah's proof of the odd order (Feit-Thompson) theorem false?

I read last year that Atiyah thought he had found a proof of the odd order theorem of only 12 pages, using $K$-theory, and that people were trying to figure out if it was correct or not. But I never ...
2
votes
0answers
26 views

Generators of $K_0(C(\mathbb{C}P^1))$

$\newcommand{\C}{\mathbb{C}}\newcommand{\R}{\mathbb{R}}$ I know that $K_0(C(\mathbb{C}P^1))\simeq K^0(\mathbb{C}P^1))\simeq K^0(S^2)\simeq \mathbb{Z}^2$ (we're talking about complex K-theory). This ...
1
vote
0answers
31 views

Index map on the Hilbert A-module $A\otimes H$

I'm working on K-theory. Let H be an infinite dimensional separable Hilbert space and $A$ a $C^{\star}$-algebra. Let put $\mathcal{Q}(H):=\mathcal{B}(H)/\mathcal{K}(H)$ the Calkin algebra. I've ...
2
votes
2answers
107 views

Projections in the Cuntz algebra which have the same $K_0$ class

Assume that $e,f$ are two projections in the Cuntz algebra $\mathcal{O}_n$ , which have the same $K_0$ class. Are they necessarily Murray von Neumann equivalent ? The following post is the ...
1
vote
0answers
37 views

trying to understand the connecting homomorphism between K theory groups

the connecting homomorphism from $K_{1}(A/J)$ to $K_{0}(J)$ is defined by the composition $(j_{*})^{-1} k_{*}$ where $j$ is the inclusion of $J$ to the mapping cone $C_{\pi}$, which induce isomorphism ...
0
votes
0answers
21 views

$K_n(A)$ and $K_n(A/I)$ with $I^2=0$

For any commutative ring $A$, let $K_n(A)$ be the $n$-th algebraic $K$ group of $A$. Let $I$ be an ideal in $A$ such that $I^2=0$, there is a natural morphism $-\otimes A/I:K_n(A) \rightarrow K_n(A/I)$...
2
votes
0answers
69 views

Grothendieck group of $A$ and $A/I$ with $I^2=0$

For any commutative ring $A$, let $K_0(A)$ be the Grothendieck group of finitely generated projective modules, I want to study general $A$ by passing to the reduced case. Let $I$ be an ideal in $A$ ...
2
votes
1answer
27 views

A continuous map arising from vector bundles

I can't see why something Atiyah says in page 27 of his book on K-theory is true. The context is the following. Let V be a complex vector space, and denote by $G_n(V)$ the set of all subspaces of $V$ ...
1
vote
0answers
30 views

higher K-theory: suspensions vs Clifford module bundles

Karoubi describes a model of K-theory built on triples: pairs of $C\ell(n+1)$ module bundles $E,F$ with isomorphisms $\alpha:E\rightarrow F$ of their underlying $C\ell(n)$ module bundles. The group of ...
1
vote
1answer
36 views

question about one possible way of constructing Grothendieck group

There is a way to construct Grothendieck group from the given commutative monoid which can be found in many books with a chapter on K-theory( for example 'K-Theory' by Atiyah or 'Topology and Analysis'...
2
votes
0answers
78 views

K-theory and Clifford modules

I'm trying to wrap my head around the "Clifford modules" definition of K-theory. Let's just deal with K-theory of a point. One common definition of the $-n^\text{th}$ K-group is the quotient$$K^{-n}=M(...
2
votes
1answer
47 views

Why is $U_n^+(A)/U_n^+(A)_0\simeq U_n(A^+)/U_n(A^+)_0$ for a unital C*-algebra $A$?

Was reading Wegge-Olsen's K-theory and C*-algebras and in chapter 4 they state that $U_n^+(A)/U_n^+(A)_0\simeq U_n(A^+)/U_n(A^+)_0$, to show that he says that $(a_{ij})+1_n$ is invertible (unitary) if ...
1
vote
1answer
56 views

Orthogonal complement of a vector bundle over paracompact base

In the book vector bundle and K-theory of Allan Hatcher, proposition $1.3$ state that If $p : E\to B$ is a vector bundle over a paracompact base $B$ and $E_{0} \subset E$ is a vector subbundle, ...
0
votes
0answers
21 views

Adams operations and an artificial grading on K-theory

In this article by Snaith (p. 575) appears the following comment: ... these transgressive elements [...] can be located by means of the Adams operations [...]. These operate (unstably) in both the ...
2
votes
1answer
60 views

Traces on $K(H)$

Are there any traces on $K(H)$ for an infinite dimensional Hilbert space $H$? I think that the answer is no: viewing $K(H)$ as a direct limit of matrix algebras, if there was a trace we knew what it ...
1
vote
0answers
30 views

How is $K(X\times S^2)$ a $K(X)$ module ?

I am reading K-theory by M.Atiyah and am having difficulty in understanding the proof of Bott periodicity. On page 72, he mentions that the homomorphism $\alpha : K(S^2 \times X) \to K(X)$ is a $K(X)$-...
3
votes
0answers
41 views

Milnor K-groups and classification of fields

For every field $F$ we can define $K_n^M(F)$ as the Milnor K-group of $F$ for each $n \in \Bbb N$ and form the Milnor K-ring $K^M(F)=\oplus_n K^M_n(F)$. My question is under which reasonable ...
2
votes
1answer
34 views

Algebraic $K_2$ as “universal receptacle”?

In algebraic $K$-theory, $K_0$ and $K_1$ have nice descriptions in terms of the category of finitely generated projectives. $K_0$ is motivated as the "universal receptacle" for (additive) invariants ...
2
votes
1answer
71 views

Are there examples of unital and nuclear $C^*$-algebras satisfying the UCT that are not groupoid algebras of an amenable etale groupoid?

Jean Louis Tu showed that the (maximal) groupoid $C^*$-algebra of a groupoid satisfying the Haagerup property (which includes all amenable groupoids) will satisfy the UCT. I am curious if there are ...
4
votes
1answer
67 views

Trivial K-theory implies trivial K-theory of hereditary corners?

Let $A$ be a $C^*$-algebra with trivial $K$-theory, that is $K_0(A)=K_1(A)=0$. Let $p$ be a projection in $A$. Does it follow that the hereditary corner $pAp$ has trivial $K$-theory? I think in the ...