**6**

votes

**2**answers

297 views

### Trivial cobordism group in dimensions 1, 3, 7 related to H-space structures on the spheres in these dimensions?

Is there a connection between the existence of H-space structures on $S^1$, $S^3$ and $S^7$ and the fact that every (closed) 1-manifold, 3-manifold and oriented 7-manifold is a boundary, or is this a ...

**3**

votes

**0**answers

169 views

### Extensions of $Z/p$ by $Z/p$ and uniqueness of cokernels

I seem to run into something I cannot understand. Following Weibel (Homological Algebra), Ex. 3.4.1, p.76, it is claimed that if $p$ is prime, there are $p$ nonequivalent extensions of $Z/p$ by $Z/p$. ...

**6**

votes

**1**answer

209 views

### Significance of the vanishing of $K_{-1}(A)$

In M. Schlichting's paper, he defines the negative $K$-theory for derived categories. In this he states that for $\mathcal{A}$ an idempotent complete (see below) triangulated category, ...

**3**

votes

**1**answer

314 views

### Does bundle with torsion Chern classes admit flat connection?

I want to know something about torsion in topological k-theory. So, consider complex bundle with chern classes lying in torsion part of integer homologies and my question is : does it admit a flat ...

**48**

votes

**1**answer

3k views

### Derived Functors Versus Spectral Sequences

Let $A{\buildrel F\over\rightarrow}B{\buildrel G\over\rightarrow}C$ be additive functors between abelian categories.
Hartshorne, in Proposition 5.4 of Residues and Duality, constructs the obvious ...

**5**

votes

**2**answers

329 views

### whitehead group of product of groups

I am wondering is there a formula for the whitehead group of product of groups. In other words, if we know the whitehead group of two groups, are we able to calculate the whitehead group of their ...

**13**

votes

**2**answers

990 views

### Can anyone explain to me what is an assembly map?

Or can you give me a good place to read about things related to assembly map, besides wikipedia? I am specially interested in the case of algebraic K-theory. Would appreciated if you could provide ...

**12**

votes

**4**answers

753 views

### Injective dimension of graded-injective modules

In "Existence theorems..." Van den Bergh proposes the following "pleasant excercise in homological algebra":
Let $A$ be a connected graded noetherian $k$-algebra (that is, $\mathbb N$-graded with ...

**7**

votes

**1**answer

243 views

### Triviality of direct multiples of flat complex vector bundles

Atiyah Patodi and Singer [Spectral asymmetry and Riemannian geometry III] write that if $E$ is a complex flat bundle (non holomorphic, just smooth and complex) on a compact manifold $X$ (more ...

**10**

votes

**1**answer

740 views

### Friedlander Conjecture

I just read on the ALGTOP discussion list that Morel has announced a proof of the Friedlander conjecture. Question: Are there other applications besides the Milnor conjecture $H_*(G,F_p)=H_*(BG,F_p)$ ...

**17**

votes

**3**answers

1k views

### Brauer Groups and K-Theory

Is there some a priori reason why we should expect the Brauer group of real [complex] super vector spaces to be closely related to periodicity in real [complex] K-theory? By "a priori" I mean a proof ...

**11**

votes

**1**answer

655 views

### Motivic cohomology vs. K-theory for singular varieties

As far as I understand, for a smooth variety $X$ its motivic cohomology could be described as the corresponding piece of the $\gamma$-filtration of (Quillen's) $K^*(X)$; this is completely true for ...

**4**

votes

**2**answers

709 views

### On two spectral sequences for the cohomology of a double complex

For a (bounded) double complex (of abelian groups or vector spaces) one can consider two spectral sequences that converge to the cohomology of the totalization: one can first compute either the ...

**6**

votes

**0**answers

245 views

### What are the relations in the unbounded model of K-homology?

I have posed this question to some experts at my university who would probably know the answer if there were a complete one, so my expectations are limited. It's possible that the question deserves ...

**10**

votes

**1**answer

480 views

### Homology of infinite loop spaces $QX$

Let $X$ be a simply connected space. By $Q$ I denote $\Omega^{\infty}\Sigma^{\infty}$. Then $QX$ is an infinite loop space and the homology $H(QX)$ in $\mathbb{F}_p$ is a Hopf algebra over the ...

**0**

votes

**0**answers

190 views

### Topological K-theory of Bohr compactification of real numbers

I am interested in the
K-theory of the Bohr compactification $\mathbb{R}_B$ of the real numbers.
Do we have $K_0(C(\mathbb{R}_B))$ isomorphic to $K_1(C(\mathbb{R}_B))$ ?
More generally, what do we ...

**10**

votes

**2**answers

1k views

### Atiyah-Patodi-Singer Eta invariant and Chern-Simons form

I am trying to understand the Atiyah-Patodi-Singer index theorem in the case of Dirac operators in four dimensions. I have three questions about the eta invariant:
1) Is eta a topological invariant ...

**0**

votes

**0**answers

270 views

### A modified version of K-theory for manifolds ?

If $X$ is a compact smooth manifold, $K^{0}(X)$ can be defined as the algebraic $K_{0}$-group of $C^{\infty}(X)$. In order to do that we use the following equivalence relation: we say that two ...

**16**

votes

**1**answer

1k views

### Voevodsky's counterexample to the existence of a motivic t-structure

I have been trying to unravel some of the known relationships between various ideas on mixed motives. I find the litterature quite hard to follow -"from experts, for experts".
Voevodsky in ...

**9**

votes

**0**answers

391 views

### Two constructions for BU×Z

Consider the following two ways of getting the zeroth space in the $K$-theory spectrum $BU \times \mathbb{Z}$:
1) Take the groupoid of finite dimensional complex inner product spaces with isometries ...

**3**

votes

**0**answers

329 views

### K-theory of differential graded modules over differential graded algebras

Suppose you have a smooth vector bundle $E$ over a smooth manifold $X$. If you consider the algebra $ \Omega^\ast (E)$ of differential forms on $E$, it will be homotopy equivalent to the algebra of ...

**10**

votes

**3**answers

1k 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 ...

**16**

votes

**2**answers

1k views

### Algebraic K-theory of the group ring of the fundamental group

I know of two places where $K_{*}(\mathbb{Z}\pi_{1}(X))$ (the algebraic $K$-theory of the group ring of the fundamental group) makes an appearance in algebraic topology.
The first is the Wall ...

**2**

votes

**1**answer

346 views

### Spectral sequence for H-space bundles

Let $F \rightarrow E \rightarrow B$ be a fibre bundle such that $B$ is a smooth and compact manifold and $F$ obtains an associative H-space structure. Explicitly, it is not a principal bundle.
One ...

**4**

votes

**1**answer

221 views

### Index vs. equivariant index (and then taking invariant part)?

Let $C$ be a smooth projective curve and let $C^{(n)}$ be its $n$th symmetric power.
Let $E$ be a $S_n$-equivariant vector bundle over the Cartesian power $C^n$. Suppose that $E$ descends to a vector ...

**6**

votes

**2**answers

401 views

### Somewhat general question that includes: “Do quasi-isomorphic cdgas have quasi-isomorphic spaces of derivations?”

Question: Given two quasi-isomorphic dg commutative algebras (over a field of characteristic zero, if you like), to what extent do their various homological geometric data agree?
Example: Given a dg ...

**11**

votes

**2**answers

749 views

### Twists of K-theory and tmf

I read in a paper by Christopher Douglas that third cohomology twists of $K$-theory may be interpreted as TMF-classes via a map $K(\mathbb{Z},3) \to TMF$, which is related to String orientations. How ...

**3**

votes

**2**answers

278 views

### Extensions which define the same element of $\text{Ext}^n(M,N)$ are in fact equivalent

It is well known (and wouldn't be so-named unless it were) that:
If $\xi$, $\eta$ are $n$-fold extensions of $N$ by $M$ (modules over a ring $R$) which yield the same element of $\text{Ext}^n(M,N)$, ...

**0**

votes

**1**answer

262 views

### Can injective resolutions be 'enlarged' (or shrunk) to admit only injective maps from extensions?

Let $M$ and $N$ be $R$-modules for some ring $R$. There is a standard result involving the computation of $\text{Ext}^n(M,N)$, using projective resolutions, which says that you can always choose a ...

**6**

votes

**0**answers

311 views

### Higher K-theory of Orlik-Solomon algebras (and possible generalizations?)

This topic of this question is a bit outside my comfort zone, and I should say that my end goal is to really understand how much "graph theory" is captured by contraction-deletion relations. It seems ...

**2**

votes

**1**answer

305 views

### A question about a proof in Rosenberg's algebraic K-theory book

In corollary 4.3.13 of Rosenberg's book Algebraic K-theory and its applications, it's proved that $K_2(F)=0$ if $F$ is a finite field.
The last sentence in the proof says that the central extension ...

**2**

votes

**0**answers

207 views

### The restriction of the Gersten resolution (for etale cohomology) onto a closed subvariety.

There is a very important result of Bloch and Ogus: for any smooth variety $X$ and fixed $r\in \mathbb{Z}$, $r\ge 0$, $l$ is prime to the residue field characteristic, the Zariski sheafification of ...

**1**

vote

**1**answer

387 views

### If V is an irreducible representation of G, what is K_{G}(T_{G}V)?

Here, G is a compact lie group. V is a finite dimensional irrepn of G.
By Atiyah, every element in K_{G}(T_{G}V) is a symbol of a transversally elliptic operator on V.
Of course, K_{G}(T_{G}V) is ...

**5**

votes

**1**answer

321 views

### Splitting principle in equivariant cohomology

The following is a weaker version of what is called splitting principle in
Appendix C, page 12, see also for a lighter version Brions Eq cohom and eq intersection theory, page 6:
Let $G$ be a compact ...

**1**

vote

**2**answers

227 views

### Z-torsion homology for groups

I would like to ask the following: if for a group $G$ the homology $H_n(G,\mathbb{Z})$ is $\mathbb{Z}$-torsion for every $n\geq n_0$, then what can be said concerning $\mathbb{Z}$-torsion for ...

**4**

votes

**1**answer

192 views

### Do K-equivalent rings have isomorphic Nil-Terms?

Let $R,S$ be rings and $f: R \rightarrow S$ a ring homomorphism such that $f$ induces an isomorphism on the $K$-theory of the rings. The map $f$ also induces a ring homomorphism $f[t]: R[t] ...

**8**

votes

**2**answers

499 views

### Grothendieck group for projective space over the dual numbers

Fix a field $k$. For a singular variety $X$, I understand that the Grothendieck group $K^0(X)$ of vector bundles on $X$ is not necessarily isomorphic to the Grothendieck group $K_0(X)$ of coherent ...

**2**

votes

**1**answer

210 views

### Unitary representation acting on the K-theory of the reduced group $C^*$-algebra

Let $G$ be a group (usually infinite), $R$ a ring and $\rho: G \rightarrow Gl_n(\mathbb{Z})$ a finite-dimensional representation of $G$. Then we can define a functor from the category of projective ...

**2**

votes

**0**answers

192 views

### The Mayer-Viertoris exact sequence as a (Zariski) descent spectral sequence.

For certain 'spaces' $U,V$ (they are certain Henselizations of subvarieties) I would like to compute (certain etale) cohomology of $U\cup V$ in terms of the corresponding cohomology of the diagram ...

**2**

votes

**2**answers

233 views

### Action of centralizer on Borel-Moore homology of Springer Fibers for Affine Hecke Algebra

In Chriss and Ginzburg's "Representation Theory and Complex Geometry", they describe a geometric construction of representations of the affine Hecke algebra, using the Borel-Moore homology of ...

**5**

votes

**1**answer

410 views

### K-Theory as a special $\lambda$-ring

I wonder if there is a nice and short proof that the $K$-theory of a topological space is a special $\lambda$-ring without invoking the splitting principle and alike. Is it possible to show directly ...

**5**

votes

**3**answers

589 views

### Infinite dimensional central simple algebras

When constructing the Brauer group of a field, only the finite-dimensional central simple algebras are considered (because of Artin-Wedderburn's characterization).
But what happens to the ...

**1**

vote

**0**answers

178 views

### Special properties of (the $\gamma$-filtration of) $K$-theory of affine varieties.

Let $A$ be a smooth affine variety of dimension $n$. Are there any facts known on $K_{\ast}(A)$ and its $\gamma$-filtration which do not hold for $K_*(V)$ for an arbitrary smooth $V$ (of the same ...

**3**

votes

**0**answers

145 views

### The vanishing of homotopy invariant $K$-theory of dg-categories

In my previous question The vanishing of non-connective K-theory in negative degrees
I asked when one can be sure that the negative non-connective $K$-groups of a differential graded category vanish. ...

**4**

votes

**1**answer

443 views

### The vanishing of non-connective K-theory in negative degrees

In the works of Cisinski, Tabuada, and Schlichting certain non-connective K-theory groups for a differential graded category $C$ are defined. As far as I understand, $K_i(C)$ is not necessarily zero ...

**1**

vote

**0**answers

94 views

### When the class of a complex is necessarily equi-dimensional

Let $P$ be a smooth projective variety. For an object $X$ of $D_{perf}(P)$ (i.e. a bounded perfect complex of $\mathfrak{O}_P$-module sheaves) we consider its class $[X]$ in $K_0(P)\otimes ...

**9**

votes

**3**answers

976 views

### Is there a good definition of (topological) K-Theory over arbitrary spaces?

Hi
(this is my very first question here, so please don't hurt me...)
for some time now i've been looking for a sufficiently aesthetical definition of (topological) K-theory of arbitrary spaces, yet ...

**6**

votes

**2**answers

703 views

### Understanding the analytic index map of the Atiyah-Singer index theorem

Hi,
I'm currently trying to understand the Atiyah-Singer index theorem and its proof as presented in the book "Spin Geometry" by Lawson and Michelsohn.
I do not understand why the analytic index map ...

**3**

votes

**1**answer

422 views

### Local Cohomology and Maximal-Cohen-Macaulay modules

Checking a recent article [this one, specifically section 3.1] I found the following claim (I'm paraphrasing, of course):
Let $A$ be a graded connected
noetherian algebra (not necessarily
...

**2**

votes

**0**answers

241 views

### Six term exact sequence In E-theory

I just want to know whether the two six term exact sequences in E-theory is true for nonseparable C*-algebras. We know already if the first varible is complex number, then we get six term exact ...