**121**

votes

**7**answers

10k views

### Proofs of Bott periodicity

K-theory sits in an intersection of a whole bunch of different fields, which has resulted in a huge variety of proof techniques for its basic results. For instance, here's a scattering of proofs of ...

**68**

votes

**10**answers

13k views

### Motivation for algebraic K-theory?

I'm looking for a big-picture treatment of algebraic K-theory and why it's important. I've seen various abstract definitions (Quillen's plus and Q constructions, some spectral constructions like ...

**64**

votes

**4**answers

4k views

### Algorithm or theory of diagram chasing

One of the standard parts of homological algebra is "diagram chasing", or equivalent arguments with universal properties in abelian categories. Is there a rigorous theory of diagram chasing, and ...

**60**

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

**51**

votes

**1**answer

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

**47**

votes

**6**answers

3k views

### What are surprising examples of Model Categories?

Background
Model categories are an axiomization of the machinery underlying the study of topological spaces up to homotopy equivalence. They consist of a category $C$, together with three ...

**43**

votes

**4**answers

4k views

### What happened to online articles published in K-theory (Springer journal)?

As most people probably know, the journal "K-theory" used to be published by Springer, but was discontinued after the editorial board resigned around 2007. The editors (or many of them) started the ...

**42**

votes

**5**answers

5k views

### Why are spectral sequences so ubiquitous?

I sort of understand the definition of a spectral sequence and am aware that it is an indispensable tool in modern algebraic geometry and topology. But why is this the case, and what can one do with ...

**39**

votes

**2**answers

3k views

### What arithmetic information is contained in the algebraic K-theory of the integers

I'm always looking for applications of homotopy theory to other fields, mostly as a way to make my talks more interesting or to motivate the field to non-specialists. It seems like most talks about ...

**38**

votes

**2**answers

2k views

### Where do all these projection formulas come from?

I have been intrigued for a long time by the formal similarity of results from different areas of mathematics. Here are some examples.
Set theory Given a map $f:X\to Y$ and subsets $X' \subset X, ...

**35**

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

**34**

votes

**6**answers

4k views

### Why is Milnor K-theory not ad hoc?

When Milnor introduced in "Algebraic K-Theory and Quadratic Forms" the Milnor K-groups he said that his definition is motivated by Matsumoto's presentation of algebraic $K_2(k)$ for a field $k$ but is ...

**34**

votes

**3**answers

1k views

### Lambda-operations on stable homotopy groups of spheres

The Barratt-Quillen-Priddy theorem says in one interpretation that there is a weak equivalence of spectra $K(FinSet) \simeq \mathbb{S}^0$. In other words K-theory groups of finite sets are the stable ...

**32**

votes

**3**answers

6k views

### Explanation for the Chern character

The Chern character is often seen as just being a convenient way to get a ring homomorphism from K-theory to (ordinary) cohomology.
The most usual definition in that case seems to just be to define ...

**32**

votes

**0**answers

926 views

### Functor that maps to both $KO^n$ and $KO^{-n}$

(my question is also meaningful for complex K-theory, but since Kn(X) is always isomorphic to K-n(X), it's less interesting)
I start by recalling the analytic definition of KO-theory:
The following ...

**29**

votes

**5**answers

4k views

### Book on Hochschild (co)homology

There is currently no treatise treating Hochschild (co)homology systematically. There is a chapter in Weibel's book, there's parts of Loday's and a few others...
What should be covered by such a ...

**27**

votes

**4**answers

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

**27**

votes

**0**answers

513 views

### Atiyah-Singer theorem-a big picture

So far I made several attempts to really learn Atiyah-Singer theorem. In order
to really understand this result rather broad background is required: you need
to know analysis (pseudodifferential ...

**26**

votes

**9**answers

5k views

### Looking for an introduction to orbifolds

Is there any source where the basic facts about orbifolds are written and proved in full detail?
I found the article by Satake "The Gauss-Bonnet Theorem for V-manifolds", but I'd like to have a more ...

**26**

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

**25**

votes

**1**answer

920 views

### Is every ''group-completion'' map an acyclic map?

I start with a longer discussion which will result in a precise version of the question. A am puzzled about an issue with the
Quillen plus construction. I have seen outstanding experts being confused ...

**24**

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

**24**

votes

**2**answers

1k views

### What are the “correct” conventions for defining Clifford algebras?

I have three related questions about conventions for defining Clifford algebras.
1) Let $(V, q)$ be a quadratic vector space. Should the Clifford algebra $\text{Cliff}(V, q)$ have defining ...

**24**

votes

**1**answer

1k views

### A question about the topological proofs of Bott periodicity

There are purely topological proof of Botts periodicity theorem, the first one given by Dyer and Lashof. I am heading to discuss the proof
in my lecture course on homotopy theory (as a final chord ...

**23**

votes

**3**answers

2k views

### Does Milnor K-Theory arise from Waldhausen K-Theory

Quillens higher K-groups of rings can be realized as πnK(C) - the Waldhausen K-Theory of a suitable Waldhausen category C. Is this also true for Milnor K-Theory of Rings? Is there a functor F from ...

**22**

votes

**5**answers

831 views

### Bass' stable range of $\mathbf Z[X]$

Let $n$ be a positive integer and $A$ be a commutative ring. The ring $A$ is said to be of Bass stable range $\mathrm{sr}(A)\leq n$ if for $a, a_1, \dots, a_n \in A$ one has the following implication:
...

**22**

votes

**1**answer

639 views

### Comparison map between de Rham cohomology of analytic and formal neighborhoods of singularities

Suppose that $X$ is a complex algebraic (or complex analytic) variety, and $x \in X$ is a singular point. I am interested in two types of local differential forms at $x$: analytic and formal.
First, ...

**21**

votes

**2**answers

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

**21**

votes

**1**answer

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

**21**

votes

**2**answers

1k views

### Graphs, K-theory and combinatorial balls: conjectures

The following conjectures from Kapranov and Saito's Hidden Stasheff polytopes in algebraic K-theory and in the space of Morse functions aren't as well-known as they aught to be, so I'd like to state ...

**21**

votes

**1**answer

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

**21**

votes

**0**answers

1k views

### derived category of equivariant coherent sheaves and fixed points

The K-group $K^T(X)$ of $T$(torus)-equivariant coherent sheaves on a variety $X$ is isomorphic to $K^T(X^T)$, that of the fixed point locus via the inclusion homomorphism, when we tensor the quotient ...

**19**

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

**19**

votes

**0**answers

685 views

### Computational complexity of topological K-theory

I am a novice with K-theory trying to understand what is and what is not possible.
Given a finite simplicial complex $X$, there of course elementary ways to quickly compute the cohomology of $X$ with ...

**18**

votes

**1**answer

1k views

### Are the Stiefel-Whitney classes of a vector bundle the only obstructions to its being invertible?

Consider vector bundles on connected paracompact topological spaces. Such a vector bundle $E$ on $X$ is said to be invertible if there exists some other bundle $F$ whose sum with $E$ is trivial: ...

**18**

votes

**2**answers

762 views

### Conceptual explanation for the relationship between Clifford algebras and KO

Recall the following table of Clifford algebras:
$$\begin{array}{ccc}
n & Cl_n & M_n/i^{*}M_{n+1}\\
1 & \mathbb{C} & \mathbb{Z}/2\mathbb{Z} \\
2 & \mathbb{H} & ...

**17**

votes

**3**answers

1k views

### How do you relate the number of independent vector fields on spheres and Bott Periodicity for real K-Theory?

The theory of Clifford algebras gives us an explicit lower bound for the number of linearly independent vector fields on the $n$-sphere, and Adams proved that this is actually always the best ...

**17**

votes

**3**answers

802 views

### Periodicity theorems in (generalized) cohomology theories

It is well-known that topological K-theory is blessed with the Bott periodicity theorem, which specifies an isomorphism between $K^2(X)$ and $K^0(X)$ (where $K^n$ is defined from $K^0$ by taking ...

**17**

votes

**0**answers

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

**16**

votes

**2**answers

1k views

### Does a “Chern character” exist for any generalized cohomology theory?

The Chern character is a ring homomorphism from the complex K-theory to the usual cohomology.
1) I wonder if there are "Chern character"-like ring homomorphisms from other generalized cohomology ...

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

**16**

votes

**1**answer

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

**16**

votes

**2**answers

966 views

### Who first noticed that the Hilbert symbol is a Steinberg symbol ?

Hilbert reformulated the quadratic reciprocity law of Gauß as a product formula
$$
\prod_v(a,b)_v=1
$$
for the various local Hilbert symbols. For each place $v$ of $\bf Q$, the Hilbert symbol $(\ ,\ ...

**16**

votes

**1**answer

623 views

### Explicit path in the unitary group of a $C^*$-algebra

For $G$ a discrete group, there is a canonical inclusion $g\mapsto u_g$ of $G$ into the unitary group of the reduced $C^*$-algebra $C^*_r(G)$. Denote by $[u_g]$ the class of $u_g$ in the (topological) ...

**16**

votes

**0**answers

309 views

### Is this a model for $K$-theory of a triangulated category?

The recent question Complete the following sequence: point, triangle, octahedron, . . . in a dg-category reminded me of something I wanted to clarify long time ago; most likely this is now well known ...

**16**

votes

**0**answers

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

**15**

votes

**3**answers

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

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

**15**

votes

**2**answers

2k views

### Who named it the Snake Lemma?

What is the history behind the colorful name of this result? Cartan-Eilenberg states it without any particular fanfare.

**15**

votes

**2**answers

1k views

### What is known about K-theory and K-homology groups of (free) loop spaces?

Calculating the homology of the loop space and the free loop space is reasonably doable. There exists the Serre spectral sequence linking the homology of the loop space and the homology of the free ...