Algebraic and topological K-theory, relations with topology, commutative algebra, and operator algebras

learn more… | top users | synonyms

4
votes
0answers
85 views

The 'most general' papers on rational Borel-Moore motivic homology and K'-theory?

There are two ways to define Borel-Moore motivic homology (of schemes) with rational coefficients: one should either consider certain complexes of algebraic cycles, or the $\gamma$-filtrations of ...
5
votes
1answer
85 views

“The” kronecker foliation or “a” kronecker foliation?

Consider the following two foliations of torus: 1)The Kronecker foliation with slope $\sqrt{2}$ 2)The Kronecker foliation with slope $\pi$ As I learn from the literature, these two foliations are ...
0
votes
0answers
170 views

K-theory of $\mathbb{RP}^\infty$

can anyone give some reference of K-theory and K-homology of $\mathbb{RP}^\infty$, both $K_0$ and $K_1$. PS: also posted in stackexchange
1
vote
3answers
141 views

K-theory for the $C^*-$algebra of the continuous functions on the $2-$torus and the Bott projection

I am trying to understand the K-theory for the $C^*-$algebra of the continuous functions on the $2-$dimensional torus $T^2$. In particular I am interested on the $K_0-$group. I have read that the ...
5
votes
1answer
108 views

Generators of the $ K_{0} $-group of the non-commutative torus $ A_{\theta} $ with $ \theta \in \mathbb{Q} $ (i.e. rational rotation algebra)

I am studying the non-commutative torus $ A_{\theta} $. When $ \theta $ is irrational, $ {K_{0}}(A_{\theta}) $ is generated by $ [1] $ and $ [p_{\theta}] $. (Note: $ p_{\theta} $ is a projection in ...
4
votes
0answers
114 views

Topology for bounded operators quotiented by Schatten ideal

I saw this particular question on stackexchange. Since there has been zero answers and since I've been interested in this question myself I want to ask it here. Given the $C^{\ast}$-algebra of bounded ...
9
votes
1answer
179 views

Algebraic $K$-theory of algebras in symmetric spectra: reference

I want to use the technicalities of structured ring spectra for the first time in my life, and I am not really familiar with the relevant literature. I am looking for a reference that defines ...
5
votes
0answers
120 views

Reference for analyticity of $K$-theory

This is a follow-up to my last question, Homotopy excision for structured ring spectra -- reference?. The immediate reason why I care about Blakers-Massey theorems for ring spectra is to prove that ...
1
vote
1answer
74 views

On two notions of 'generators' for a 'large' triangulated category

Let $C$ be a triangulated category that is closed with respect to arbitrary small coproducts; let $D$ be some class of objects of $C$. Then it would be natural to say that $D$ generates $C$ either if ...
4
votes
2answers
276 views

$K$-homology of $BG$

Let $G$ be a finite group. Atiyah proved that the $K$-cohomology of $BG$ vanishes in odd degrees and in even degrees is the completion of the representation ring of $G$ at the augmentation ideal. ...
9
votes
0answers
147 views

Do quotients of amenable groups C*-algebras satisfy the UCT?

Let G be a discrete amenable group. General Question: Let $J$ be an ideal of $C^*(G)$, the group C*-algebra of $G.$ Does $C^*(G)/J$ satisfy the universal coefficient theorem (UCT)? I am mainly ...
6
votes
2answers
186 views

Covering Spaces and Vector Bundles

Suppose $f: Y \rightarrow X$ is a covering map between compact Hausdorff spaces $X$ and $Y$. Then $f$ induces a algebra homomorphism $f^*:C(X) \rightarrow C(Y)$ and gives $C(Y)$ the structure of a ...
1
vote
0answers
36 views

How to compute $KR^{-q}(S^{p,0})$

I am reading Atiyah's paper on $KR$-theory, and wondering how to compute $KR^{-q}(S^{p,0})$. The cases $p\geqslant 3$ may be simply deduced from the following isomorphism in the paper, $$ ...
5
votes
1answer
316 views

Dennis trace map K----> THH

I have some questions about Dennis trace map in algebraic K-Theory. I was wondering if there is some conceptual way to look at this map $K(-)\rightarrow THH(-)$ (natural transformation from K-Theory ...
7
votes
1answer
270 views

Homotopy spheres with vanishing and non-vanishing $\alpha$-invariant

I'm unsure whether this question is appropriate for mathoverflow, so feel free to criticize. All manifolds are closed, smooth and have dimensions $n\ge 5$. The Atiyah-Shapiro-Bott-Orientation gives ...
1
vote
0answers
78 views

Complex non stably trivial complex vector bundle with vanishing Chern classes

There have been some discussions of a similar question, but I'd like an example of a non-trivial class in complex K-theory of an orientable manifold, for which all Chern classes vanish. This does not ...
23
votes
4answers
1k views

What (if anything) unifies stable homotopy theory and Grothendieck's six functors formalism?

I know of two very general frameworks for describing generalizations of what a "cohomology theory" should be: Grothendieck's "six functors", and the theory of spectra. In the former, one assigns to ...
2
votes
2answers
156 views

Topological K-theory for commutative C*-algebras

It is in some sense folklore that given two arbitrary abelian groups $G,H$ one can find a $C^*$ algebra $A$ such that $K_0(A)=G$ and $K_1(A)=H$. My question is the following: what is known in the case ...
2
votes
1answer
144 views

Is there a geometric interpretation of Johnson-Wilson E(n) analogous to vector bundles for K-theory?

I am reading Ravenel's Localization with Respect to Certain Periodic Homology Theories where he states; For $n\ge2$, the spectra E(n) represent periodic homology theories which at present have ...
0
votes
0answers
67 views

Ring structure for $K^{-1}$?

My questions are whether there exists a product structure for $K^{-1}(X)$? Here $K^{-1}$ is the odd topological $K$-group, and $X$ is a compact space (or a manifold), say. If such a ring structure ...
5
votes
0answers
149 views

What is Known about the $K$-Theory of Fukaya Categories?

Some Background: In Kontsevich and Soibelman's theory of motivic DT-invariants, one is interested in something like the ``number'' of objects in a 3-Calabi-Yau category $\mathcal{C}$ having a fixed ...
12
votes
2answers
389 views

What is the coefficient ring of algebraic K theory of the discrete $\mathbb{C}$?

Ordinary (connective) complex $K$-theory is the algebraic $K$ theory of the topological ring $\mathbb{C}$ with analytic topology. One can also study the $K$ theory of $\mathbb{C}$ with discrete ...
0
votes
0answers
238 views

A noncommutative vector bundle

We know that a noncommutative vector bundle is a finitely generated projective $A$-module where $A$ is a non commutative $C^{*}$ algebra. In this question we introduce a particular non commutative ...
3
votes
1answer
104 views

Naturality of the nullhomotopies in Waldhausen's fibration theorem

Recall Waldhausen's fibration theorem, called 'localization theorem' in Thomason-Trobaugh: if $v\subset w\subset \mathcal C$ are categories of weak equivalences in a category with cofibrations ...
5
votes
0answers
118 views

Dense ideals in C*-algebras and K-theory

Let $A$ be a nonunital C*-algebra and let $I \subset A$ be a dense, $*$-closed, 2-sided ideal. I was under the impression that there existed some "obvious" argument proving that $I$ carries all the ...
9
votes
2answers
250 views

A looping of algebraic K-theory

Algebraic K-theory of an exact category $\mathcal{C}$ is a certain universal non-connective spectrum $K(\mathcal{C})$. In particular, objects of $\mathcal{C}$ give elements of $K_0(\mathcal{C})$. ...
1
vote
0answers
103 views

Could one recover the relative K-theory from the quotient derived category?

Let $A\to B$ be a full embedding of exact categories that induces an embedding $D^b(A)\to D^b(B)$. My question is: what can one say about the relation of the homotopy cofibre $K(A)\to K(B)$ (the ...
1
vote
0answers
80 views

K-theory of ringed spaces (including henselian and formal schemes); excision and Mayer-Vietoris

Given a ringed topological space $S$ one can easily define its K and K'-theory as the K-theories of the categories of locally free sheaves and of the category of coherent sheaves on it, respectively. ...
5
votes
0answers
83 views

Comparison of K-groups of (affine) singular schemes with K'=G-groups

It is well known that Quillen K-theory coincides with $K'=G$-theory for regular schemes, and can be distinct from it for singular ones. Are there any methods for studying this distinctions? In ...
7
votes
1answer
181 views

Semiring of vector bundles on $\mathbb{C}\mathbb{P}^1$

Consider the semiring $$\mathbb{N}[H,H^{-1}]/(H^p+H^q = H^{p+q}+1)_{p,q \in \mathbb{Z}}.$$ Is it finitely presentable? Is there any simplification of the relations (except for $p \geq q \geq 0$)? ...
6
votes
2answers
382 views

Can eta invariant be written in terms of topological data?

The eta invariant was introduced by Atiyah, Patodi, and Singer. It roughly measures the asymmetry of the spectrum of a self-adjoint elliptic operator with respect to the origin. In ...
2
votes
0answers
159 views

(Non trivial) coidempotents(Co-$K$-theory)

I was interested to know about coalgebraic version of "Idempotents". So I seached the web and I found the following interesting post : ...
5
votes
1answer
242 views

Projective modules over noncommutative tori?

It is a theorem of Rieffel that for any simple noncommutative tori ($\mathcal{A}$) of dimension $n$, every projective module over it is isomorphic to direct sum of $\mathcal{S}(M)$, Schwartz class ...
8
votes
1answer
187 views

K-theory of ultrapowers

It may well be a trivial question but I was wondering if there is any relation between $K$-groups and ultrapowers of $C^*$-algebras. For instance, if $A$ is a $C^*$-algebra does $K_0(A^U)$ depend on ...
5
votes
1answer
191 views

Definition of a cylinder functor in Waldhausen's K-theory

In Waldhausen's Algebraic K-Theory of Spaces, he defines a cylinder functor on a category $\mathcal C$ with cofibrations and weak equivalences (henceforth called a Waldhausen category) as the ...
19
votes
0answers
497 views

What is to tmf as KR is to KO?

The $E_\infty$-ring spectrum $KU$ of complex K-theory carries a canonical involution induced from complex conjugation of complex vector bundles. The homotopy fixed points of this $\mathbb{Z}_2$-action ...
5
votes
1answer
219 views

Equivalent fomulations of Bott periodicity

Is there an easy way to see the equivalence of the two statements of Bott periodicity. $$BU \times \mathbb{Z} \simeq \Omega^2BU$$ and $$K(X)\otimes K(S^2) \cong K(X\times S^2)$$
2
votes
0answers
115 views

What is the Atiyah-Bott-Shapiro map for a bundle of *complex* quadratic forms?

In order to ask the question in the title more precisely, let me recall some standard stuff introduced in [1; Atiyah, Bott, Shapiro]. Suppose $X$ is a compact CW complex and $V \to X$ is an oriented ...
6
votes
1answer
255 views

Continuity of l-adic cohomology: is the cohomology of the generic point isomorphic to the completion of the limit of cohomology of open subvarieties?

Let $X$ be a variety over an algebraically closed field $k$. Denote by $\eta$ its generic point; it is the inverse limit of the open subvarieties $X_i$ of $X$. It is well known that the etale ...
1
vote
1answer
77 views

Integration from vector bundles

Let $(E,M,p)$ be a smooth n dimensional vector bundle. Then $(TE,TM,Dp)$ is a 2n dimensional vector bundle. We restrict this bundle to $M\subset TM$. We denote this restricted bundle by $F$, as a ...
6
votes
1answer
222 views

Equivariant algebraic K-theory of affine space

Unlike algebraic K-theory, equivariant K-theory of affine space (over a field $k$) can be quite nontrivial, depending on the action of the group in question. For example, if one takes the standard ...
1
vote
0answers
65 views

Relative Gersten resolution for a flat projective morphism

I am reading two papers by Daniel Grayson: "Localization for flat modules in algebraic K-theory" and "Algebraic cycles and algebraic K-theory" and I am wondering if any recent advances in K-theory ...
3
votes
1answer
330 views

What sort of ring-theoretic properties does the representation ring of a compact Lie group possess?

Recall the definition of the representation ring $R(G)$ of a compact Lie group $G$. I'd like a reference that gives me basic ring-theoretic properties that $R(G)$ always has, or enough info that I can ...
5
votes
1answer
233 views

A generalized K- theory via generalized idempotents

Edit After the answer by Neil Strickland, I add the word "a ring" in this new version. In the literature, there is a concept of generalized idempotent: an n- idempotent is an element $a$ of a Banach ...
13
votes
1answer
529 views

Adams' theorems on the Hopf-Whitehead J-homomorphism

The J-homomorphism is a well-known and classical map $\pi_n (O(k)) \to \pi_{n+k} (S^k)$, or after stabilizing with respect to $k$, a map $J_n:\pi_n (O) \to \pi_{n}^{st}$, from the stable homotopy of ...
3
votes
0answers
152 views

A Question About the Elliott-Natsume-Nest Proof of Bott Periodicity

In Wegge-Olsen’s book K-Theory and C$ ^{*} $-Algebras, there is an outline of a proof of Bott Periodicity (the proof is due to George Elliott, Toshikazu Natsume and Ryszard Nest). The first step of ...
19
votes
2answers
580 views

Applications of Atiyah-Singer using pseudodifferential operators

Though the Atiyah-Singer index theorem holds for pseudodifferential operators, all the applications of the index theorem I know of only need it for Dirac-type operators. I know that pseudodifferential ...
1
vote
0answers
111 views

The right (not the left 'Suslin complex' one) adjoint to the embedding of $ DM^{eff} $ into $D(ShvTr) $?

Inside the derived category of Nisnevich sheaves with transfers there is the category $DM^{eff} $ of Voevodsky's effective motivic complexes (actually, Voevodsky only considered bounded above ...
0
votes
0answers
91 views

Le Gall's equivariant KK-theory and twisted equivariant KK-theory

I am starting to study Le Gall's equivariant KK-theory and twisted equivariant KK-theory. Does anyone knows a good reference on this subject? By the way, I can not access to Journal of K-theory and ...
0
votes
0answers
87 views

Shapiro's Lemma for topological K-theory of groups

Chabert, Echterhoff and Oyono-Oyono proved in [Shapiro's Lemma for topological K-theory of groups] that $K^{top}_*(X\rtimes G;A)\cong K^{top}_*(G;A)$ for any $X\rtimes G$-algebra $A$. They claimed ...