**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

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

**3**

votes

**1**answer

116 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

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

**1**

vote

**0**answers

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

**7**

votes

**1**answer

141 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

83 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

60 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

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

**2**

votes

**0**answers

128 views

### vector bundles over finite CW-complex with its structure group the symmetric group

Let $S_n$ be the $n$-th permutation group and $X$ be a topological space with a free and properly discontinuous $S_n$-action. We have a covering space
$$
X\to X/S_n
$$
and an associated vector bundle
...

**3**

votes

**0**answers

128 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

737 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

207 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

105 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

265 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

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

**10**

votes

**1**answer

165 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

92 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

168 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

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

**4**

votes

**0**answers

127 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

121 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

189 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

202 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

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

**6**

votes

**1**answer

274 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

288 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

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

**53**

votes

**3**answers

5k 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

133 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

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

**8**

votes

**0**answers

88 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:
$$
...

**8**

votes

**3**answers

2k views

### Zero divisor conjecture and idempotent conjecture

Let $G$ be a torsion-free group and $C$ the ring of complex numbers. The zero divisor (idempotent, resp.) conjecture is that there is no nontrivial zerodivisor (idempotent, resp.) in $CG$.
The wiki ...

**9**

votes

**3**answers

900 views

### Relative K-theory and split exact sequences of C* algebras

Let $A$ be a C* algebra, $J$ an ideal, $\pi: A \to A/J$ the quotient map. Recall that the relative K theory group $K_0(A, A/J)$ consists of equivalence classes of triples $(p,q,x)$ where $p$ and $q$ ...

**10**

votes

**1**answer

159 views

### K-groups of a permutative category - are they finite?

Let $\mathcal C$ be a permutative category, that is a symmetrical monoidal category with strict associativity. One can then define the $K$-groups of $\mathcal C$, for $n >0$ by
$$K_n(\mathcal C) = ...

**3**

votes

**1**answer

88 views

### Loop space of Fredholm operators from a Relative loop space

Atiyah and Singer proved that the nontrivial component of the set of skew-adjoint Fredholm operators $ \hat{\mathcal{F}_{*}}(\mathscr{H})$ is homotopic to the loop space of Fredholm operators ...

**1**

vote

**0**answers

138 views

### Representations and K-theory of a finite group

This question is motivated by the calculation of the higher algebraic $K$-groups of a finite field.
Let $G$ be a finite group, the case I am most interested in is $G = \text{Gl}_n(\mathbb F_q)$, but ...

**2**

votes

**0**answers

139 views

### Do we have the following “devissage commutative diagram” in K-theory?

Let $X$ be a non-reduced Noetherian scheme. We define $K^0(X)$ to be the Grothendieck group of the derived category $Perf(X)$ and $K_0(X)$ to be the Grothendieck group of the derived category ...

**2**

votes

**1**answer

150 views

### Could we extend the exact sequence $K^0(X)\to K_0(X)\to K_0(D_{sg}(X))\to 0$ to the left?

Let $X$ be a variety over a field $k$. We have the bounded derived category of coherent sheaves $D^b_{coh}(X)$ and the derived category of perfect complex $Perf(X)$. It is clear that $Perf(X)$ is a ...

**9**

votes

**1**answer

291 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

**1**answer

288 views

### A survey for various $K$-homology theories and their relationship

The ordinary Topological $K$ theory defined by Atiyah and Hirzebruch is a generalized cohomology theory (see wikipedia).There is the Bott spectrum associated to this generalized cohomology ...

**0**

votes

**0**answers

90 views

### What is the relation between the $K_0$ of a singular curve and its normalization?

Let $X$ be a singular curve over a field $k$. We define $K_0(X)$ to be the Grothendieck group of the category of coherent sheaves on $X$.
For $X$ we have its normalization $\widetilde{X}$ and hence ...

**3**

votes

**0**answers

187 views

### Using $\mathcal{U(H)}$ as a model for $EG$ and working with the Fredholm Operators

Let $\mathcal{H}$ be a unitary universe for some group $G$. As $\mathcal{H}$ is a faithful representation the representation map is an injection $G \to \mathcal{U(H)}$, so there's a free $G$ action on ...

**0**

votes

**0**answers

130 views

### Is there any computation of $K^0(X)$ and $K_0(X)$ for a singular curve $X$?

Let $X$ be a projective curve over an algebraic closed field $k$ which characteristic zero. Define $K^0(X)$ as the Grothendieck group of the derived category $Perf(X)$ and $K_0(X)$ as the Grothendieck ...

**3**

votes

**0**answers

154 views

### Why write GRR with the relative tangent sheaf?

The first published version of the Grothendieck-Riemann-Roch theorem, GRR for short, was written in the form
$$
\operatorname{ch}(f_!\alpha).\operatorname{Td}(Y)
=
...

**2**

votes

**1**answer

227 views

### Map from algebraic K-theory to topological K-theory

Suppose that $A$ is a Banach algebra with unit. We can consider $GL(A)$ as a topological group in either the discrete topology or the topology that it inherits from the norm topology of $A$, and the ...

**2**

votes

**1**answer

200 views

### Is $K^0(X)\to K_0(X)$ monomorphic for a noetherian scheme $X$?

This question is related to the MO questions What is the difference between Grothendieck groups K_0(X) vs K^0(X) on schemes? and Does a fully faithful functor between triangulated categories induce ...