**110**

votes

**7**answers

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

**64**

votes

**10**answers

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

**58**

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

**50**

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

**49**

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

**45**

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

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

**41**

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

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

**35**

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

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

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

**29**

votes

**3**answers

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

**29**

votes

**0**answers

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

**28**

votes

**5**answers

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

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

**26**

votes

**6**answers

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

**24**

votes

**4**answers

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

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

**24**

votes

**1**answer

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

**23**

votes

**9**answers

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

**23**

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

**22**

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

**21**

votes

**5**answers

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

**21**

votes

**1**answer

900 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

**1**answer

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

**20**

votes

**2**answers

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

**20**

votes

**0**answers

975 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

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

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

**0**answers

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

**17**

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

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

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

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

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

660 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} & ...

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

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

**15**

votes

**2**answers

936 views

### Proof of Bott Periodicity in twisted K-theory

I have a question about the Proof of Bott Periodicity in twisted K-theory
by Atiyah and Segal in their paper Twisted K-theory.
Following their notation, to prove Bott periodicity in this context it ...

**15**

votes

**2**answers

901 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 $(\ ,\ ...

**15**

votes

**1**answer

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

**14**

votes

**4**answers

1k views

### Why does one invert $G_m$ in the construction of the motivic stable homotopy category?

Morel and Voevodsky construct the motivic stable homotopy category, a category through which all cohomology theories factor and where they are representable, by starting with a category of schemes, ...

**14**

votes

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

**14**

votes

**3**answers

1k views

### Roadmap to a proof of the Atiyah-Singer Index Theorem which uses K-Theory

Lately my studies have been focusing on learning the machinery of K-Theory, and I thought that learning the Atiyah-Singer Index Theorem would be a good way to see K-Theory in action a bit and to learn ...

**14**

votes

**2**answers

676 views

### Karoubi versus Kasparov K-theory

I have the following, probably very elementary question: Let $Cl^{p,q}$ be the Clifford algebra on generators $e_i$, $i=1, \ldots, p+q$
with $e_i e_j = -e_j e_i$ and $e_{i}^{2}=-1$ for $i=1,\ldots,p$, ...

**14**

votes

**1**answer

871 views

### Dirichlet's regulator vs Beilinson's regulator

Consider a number field $F$ with ring of integers $O_F$. The Beilinson regulator can in this particular setting be viewed as a map from $K_n(O_F)$ to a suitable real vector space. Here $n$ is any ...

**14**

votes

**2**answers

465 views

### Is there an effective way to calculate K-theory using Morse functions?

Let $M$ be a compact manifold and let $f$ be a Morse function with exactly one critical point at each critical level. Then one can recover a CW-complex with the homotopy type of $M$ from just the ...

**13**

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

**13**

votes

**2**answers

1k views

### Finiteness of stable homotopy groups of spheres

Since the work of Serre in the early 50's on homotopy groups of spheres, it is known that the homotopy group $\pi_k(S^n)$ is finite, except when $k=n$ (in which case the group is $\mathbb{Z}$), or ...