**7**

votes

**1**answer

192 views

### $K$ theory and singular cohomology

For cell complexes${}^1$ $X$ we have an isomorphism
$$
K^*(X)\otimes \mathbb{Q}\cong H^{*}(X;\mathbb{Q}),
$$
which is induced by the Chern character.
What is the analogous statement for $KO(X)$?
...

**10**

votes

**2**answers

455 views

### Intuition/idea behind a proof of the splitting principle?

The splitting principle is as follows.
Given a vector bundle $E \to X$ with $X$ compact Hausdorff, there is a compact Hausdorff space $F(E)$ and a map $p: F(E) \to X$ such that the induced map ...

**3**

votes

**0**answers

133 views

### $K$-Theory of finite dimensional Banach algebras

Is there a finite dimensional Banach algebra $A$ for which $K_{0}(A)$ is a finite group?
I asked this question in MSE but I received no answer
...

**15**

votes

**5**answers

4k views

### Textbook or lecture notes in topological K-Theory

I am looking for a good introductory level textbook (or set of lecture notes) on classical topological K-Theory that would be suitable for a one-semester graduate course. Ideally, it would require ...

**4**

votes

**0**answers

176 views

### Milnor's model of $EG$ and Kac-Moody groups

I am working with non-compact Kac-Moody groups $\mathcal{K}$. We can use Milnor's join model for $E\mathcal{K}=\varinjlim \mathcal{K}^{*n}$, where $\mathcal{K}^{*n}$ is the iterated join (see page 20 ...

**6**

votes

**2**answers

213 views

### What is the “quaternionic” super Brauer group?

In addition to the two reasonably well-known categories $\mathrm{SuperVect}_{\mathbb R}$ and $\mathrm{SuperVect}_{\mathbb C}$ of real and complex super vector spaces, each of which is monoidally ...

**6**

votes

**3**answers

172 views

### Index of a family of operators

In the usual setting of the Atiyah-Singer index theorem the situation is as follows: we have a closed smooth manifold $M$ without boundary and $D$ is some elliptic differential operator acting on ...

**20**

votes

**1**answer

739 views

### Topology of categories, very basic facts surrounding Quillen's Higher Algebraic K-Theory I

In his paper Higher Algebraic K-Theory I (see [here][1]), Quillen introduces a topological space $BC$, called the classifying space of $C$, and tries to relate its topology to the categorical ...

**1**

vote

**1**answer

295 views

### A (possible) equivalent relation on the space of vector bundles

Edit: According to the essential comment of Alex Degtyarev, we revise the question as follows;
Assume that $\alpha$ and $\beta$ are two oriention preserving automorphism of Lie groups $O(n)$ and ...

**3**

votes

**1**answer

84 views

### self-Whitney sum of the canonical vector bundle on Grassmannians

Let $G_{k}(\mathbb{R}^N)$ be the Grassmannian manifold consisting of $k$-subspaces in $\mathbb{R}^N$. There is a canonical $k$-dimensional vector bundle
$$
\gamma_{k,N}: \mathbb{R}^k\longrightarrow ...

**5**

votes

**1**answer

264 views

### Good references for K-theory of modular curves?

The title says it. I am looking for a good exposition on the K-theory of the curves $X_{i}(N)$, $Y_{i}(N)$, where $i\in\{0,1\}$.
I have some background in $K$-theory and also some background in ...

**5**

votes

**2**answers

230 views

### Relative Characteristic classes

A pair of vector bundles over a base space $X$ is a pair $(E,F)$ where $E$ is a vector bundle over $X$ and $F$ is a sub-bundle of $E$. Two pairs $(E_{1},F_{1})$ and $(E_{2}, F_{2})$ are ...

**21**

votes

**5**answers

3k views

### What is the equivariant cohomology of a group acting on itself by conjugation?

This question makes sense for any topological group $G$, but I'd particularly like to know the answer for $G$ a compact, connected Lie group.
$G$ acts on itself by conjugation. One has the ...

**5**

votes

**1**answer

270 views

### reference request for mod p and p-adic K-theory

Is there a good reference that explains mod p K-theory and p-adic or p-complete K- theory? All I know about K-theory is the topological K-theory of "vector bundles and k-theory" in Switzer's book ...

**6**

votes

**0**answers

189 views

### Do there exist “non-algebraic tensor products” for “algebraic” triangulated categories?

Let us call a triangulated category algebraic if it admits a differential graded enhancement (i.e., an enrichment in complexes of abelian groups). Certainly, there is a notion of a tensor product on ...

**6**

votes

**2**answers

417 views

### K theory long exact sequence

(1) Suppose that $Z\subset X$ is a closed embedding, $U = X\setminus Z$ is the complement. If relevant, suppose that both $X, Z$ are smooth and even (if relevant) that the normal bundle of $Z\subset ...

**9**

votes

**1**answer

118 views

### Compute the index of the Dirac operator on $C_0(R^2)$ to obtain Bott element in $K_0$

I am studying the paper of Baum-Connes-Higson to understand the Connes-Kasparov conjecture. In example 4.23, they discuss the case $G=\mathbb{R}^2$. I have constructed the Dirac operator, but I’m ...

**13**

votes

**3**answers

2k views

### State of the art for Gersten's conjecture for K-theory?

Does anyone know (of a reference to) under what restrictions on the regular scheme $X$ it is known that we have an exact sequence
$$0 \to \mathcal{K}_n(X) \to \bigoplus_{x \in X^{(0)}} K_n(k(x)) \to ...

**6**

votes

**0**answers

98 views

### $K_0$ an $KH_0$ of a normal crossing variety

Let $k$ be a field (say, algebraically closed to fix the ideas) and let $X$ be a strict (aka simple) normal crossing variety over $k$, so that $X$ is union of regular varieties with intersection that ...

**4**

votes

**1**answer

132 views

### covering map from spheres to projective spaces and the associated vector bundle

Let $S^n$ be the $n$-sphere and consider a $2$-sheeted covering
$$
S^n\longrightarrow\mathbb{R}P^n.
$$
We have an associated vector bundle
$$
\xi: \mathbb{R}^2\longrightarrow ...

**2**

votes

**0**answers

94 views

### Chern character of finite $CW$-complexes and rational Pontrjagin class of vector bundles

Let $K$ be a finite $CW$-complex. Could you give any references or explanations for the following two items? I do not understand. Thanks!
(1). The Chern character from $\tilde{KO}^0(K)$ to the ...

**7**

votes

**1**answer

153 views

### classifying maps of Whitney sums of vector bundles

For an $n$-dimensional vector bundle $\xi$ with structure group $G\leq O(n)$ over a $CW$-complex $B$, we have a classifying map up to homotopy
$$
f(\xi): B\longrightarrow BG,
$$
$f(\xi)\in [B;BG]$, ...

**2**

votes

**0**answers

86 views

### order of elements in a mapping space

Let $B$ be a finite CW-complex and $\xi$ be a vector bundle over $B$ with structure group $\Sigma_n$, the $n$-th symmetric group.
Then corresponding to $\xi$, we have a classifying map
$$
g\in \tilde ...

**4**

votes

**0**answers

61 views

### Is $U(C(\beta \mathbb{D}))/U_0(C(\beta \mathbb{D}))\simeq K_1(C(\beta \mathbb{D}))$?

Let
$\mathbb{D}:=\{z\in \mathbb{C}:|z|<1\}$,
$\beta\mathbb{D}$ be the Stone-Cech compactification of $\mathbb{D}$,
$C(\beta\mathbb{D})$ be the ring of complex-valued continuous functions on ...

**0**

votes

**1**answer

113 views

### Nonstable $K$-theory question

Let $Y$ be a compact, Hausdorff topological space, and $X$ be a locally compact, contractible, Hausdorff space which is homeomorphic to a dense subset of $Y$.
Question A: Is ...

**4**

votes

**0**answers

136 views

### Connectivity of the group of invertible elements of $C(S^{2})\otimes A$

For what type of $C^{*}$ algebras $A$, the group of invertible elements of $C(S^{2}) \otimes A$ is a connected group?
All finite dimensional $A$ satisfy this property.
Is it true to say ...

**8**

votes

**2**answers

790 views

### Is every vector bundle over a noncompact finite-dimensional manifold a summand of a trivial bundle?

In the notes of Vector Bundles and K-theory by Prof Allen Hatcher, on page 12 he proved a Proposition that for each vector bundle $E\to B$ with $B$ compact hausdorff there exists a vector bundle ...

**4**

votes

**1**answer

220 views

### A question on complex line bundle over $S^{2}$

Consider the trivial bundle $\epsilon_{2}=S^{2}\times \mathbb{C}^{2}$ with the standard Hermitian inner product $<(a,b), (c,d)>=a\bar{c}+b\bar{d}$.
Assume that $\ell$ is a sub line bundle of ...

**3**

votes

**0**answers

115 views

### Seeking an unpublished manuscript by Tetsuro Okuyama

Several papers in representation theory attribute the notion of relatively projective modules to Tetsuro Okuyama's manuscript "A generalization of projective covers of modules over finite group ...

**15**

votes

**0**answers

278 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 ...

**7**

votes

**2**answers

191 views

### An extension of $K$-theory to topological $^*$-algebras

What I have in mind is the following: a (sequence of) functor(s) $K_\bullet$ on the category of topological $^*$-algebras (with values in the category of commutative groups) that satisfies (among ...

**11**

votes

**1**answer

182 views

### Equivariant Fredholm operators classify equivariant K-theory

Let $\mathcal{F}$ be the space of Fredholm operators on a separable Hilbert space $H$ with the topology induced by the operator norm.
If $X$ is compact,
Atiyah-Jänich proved that
...

**5**

votes

**0**answers

117 views

### What is the etale sheafification of the (unramified) Milnor-Witt $K$-theory

I would like a reference/argument for the truth/falsity of the following statement:
The etale sheafification of the unramified Milnor-Witt K-theory (Nisnevich) sheaves are the (etale sheafification ...

**33**

votes

**6**answers

3k views

### Applications of Grothendieck-Riemann-Roch?

I am currently trying to learn a bit about Grothendieck-Riemann-Roch...
To try to get a better feeling for it, I am looking for examples of nice applications of GRR applied to a proper morphism $X ...

**10**

votes

**0**answers

238 views

### Morava $K$-theory of $K( \mathbb{Z}/p^2)$

The $p$-adic completion of $K( \mathbb{F}_p)$ is known (by Quillen's calculation) to be $H \mathbb{Z}_p$; in particular, $K(\mathbb{F}_p)$ is acyclic with respect to all Morava $K$-theories $K(n), 0 ...

**16**

votes

**0**answers

517 views

### How boundedly generated is $SL_3(\mathbb{Z})$?

The group $G = \mathrm{SL}_3(\mathbb{Z})$ is known to be boundedly generated, that is, there exists some $m \in \mathbb{N}$, and $g_1, \dots, g_m \in G$ such that we have the following equality of ...

**5**

votes

**0**answers

134 views

### Non trivial rank 2 holomorphic vector bundles in complex dimensions greater than or equal 2

Does every compact complex manifold of complex dimension greater than or equal two
possess a nontrivial rank 2 holomorphic vector bundle?

**3**

votes

**0**answers

134 views

### Can one complete a morphism of commutative triangles to a “commutative cube” in a triangulated category?

This question is a continuation of Can one extend a morphism of commutative triangles to a morphism of octahedral diagrams?.
I am deeply grateful for the contributions there; they roughly say that ...

**4**

votes

**0**answers

191 views

### Can triangulated categories be “approximated by countable subcategories” (that are triangulated but not full!)?

For a given (finite) set of (objects and) morphisms $f_i$ in a triangulated category $C$ I am interested in a (non-full!) triangulated subcategory $C'\subset C$ of "small size" that would contain ...

**1**

vote

**1**answer

204 views

### realization map for K-theory of spheres

Let $\overset{\sim}{K}(X)$ and $\overset{\sim}{KO}$ denote the reduced stable isomorphic classes of complex and real bundles over X and $\rho$ be the realization map. We know that ...

**1**

vote

**0**answers

64 views

### On (universal) additive functors making a given complex contractible: examples?

Let $M=(M^i)$ be a (cohomological) complex of objects of some additive category $A$ (I am mostly interested in "short" complexes; yet one may also consider an unbounded $M$). I am interested in those ...

**7**

votes

**1**answer

293 views

### Fredholm operators in $K$-theory?

Do Fredholm operators show up in K-theory? Why or why not? The idea of infinite Grassmannians classifying vector bundles is pretty straightforward, but why would adding in additive inverses and what ...

**4**

votes

**1**answer

294 views

### On various “extension closures” and “orthogonals” in triangulated categories

A vague form of my question is the following one: for a class of objects $D$ of a triangulated category $C$ we consider the class $E$ of objects that satisfy $Mor_{C}(d,e)=\{0\}\ \forall d\in D$; ...

**1**

vote

**1**answer

127 views

### When the restriction of derived equivalence to a summand is a derived equivalence as well

I have a question about the equivalence of derived categories. Let $\mathcal{A} = \mathcal{A}'\oplus \mathcal{A}''$ and $\mathcal{B} = \mathcal{B}' \oplus \mathcal{B}''$ are direct sum of abelian ...

**11**

votes

**4**answers

2k views

### “Must read” papers in algebraic K-theory?

I'm mainly interested (graduate student) in surgery theory and geometric topology.
If I have a chance to suggest "must read" papers in geometric topology for beginner,
I'm very glad to suggest ...

**27**

votes

**4**answers

2k views

### When can we cancel vector bundles from tensor products?

Let $E,F,G$ be algebraic vector bundles over $\mathbb P_{\mathbb C}^n$. My general question is:
Assume $E\otimes G \cong F\otimes G$, under what conditions can one conclude that $E\cong F$?
Some ...

**54**

votes

**3**answers

6k views

### Intuitive explanation for the Atiyah-Singer index theorem

My question is related to the question Explanation for the Chern Character to this question about Todd classes, and to this question about the Atiyah-Singer index theorem.
I'm trying to learn the ...

**5**

votes

**1**answer

140 views

### Left orthogonals to compact objects in triangulated categories: existence and “control”?

Let $C$ be a compactly generated triangulated category. Can it contain a non-zero object $M$ such that there are no non-zero morphisms FROM $M$ into compact objects? I would be grateful for any ...

**4**

votes

**1**answer

121 views

### Extension-closed subcategories of triangulated categories as “almost exact” categories

Did anybody study those subcategories of triangulated categories that are closed with respect to "extensions" (in the sense of distinguished triangles; in particular, any such $B$ is additive)? If we ...

**9**

votes

**0**answers

95 views

### Gersten complexes in Quillen's and Milnor's K-theories

Consider a good enough scheme $X$ (e.g. an algebraic variety over a field). Let $X_i$ be the set of points of dimension $i$ in $X$. Then we have the Gersten complex in Quillen's K-theory:
$$
...