**5**

votes

**3**answers

562 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

160 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

142 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

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

**10**

votes

**3**answers

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

**4**

votes

**2**answers

655 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

406 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

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

**3**

votes

**1**answer

541 views

### K-theory of number field

Let $R=\mathbb{Q}[e^{2\pi i /3}]$. Does $H_3(GL(R))$ have $\mathbb{Z}$-rank $1$?
If so, what is the index of the map:
$$
\mathbb{Z}\cong K_3(R)/{\rm Torsion} \to H_3(GL(R))/{\rm Torsion}\cong ...

**2**

votes

**1**answer

315 views

### Index of elliptic operators III: H-structure invariant under a group G

In the Atiyah-Singer paper mentioned above, they introduced on p.557 a concept called $H$-structure which is used to describe the Chern character of special elements of $K(TX)$. It is roughly the ...

**2**

votes

**0**answers

57 views

### Computing morphisms in localizations of $K(B)$

Let $B$ be an additive category (a small one; one can assume that it is a $\mathbb{Q}$-category, yet not much else is known about it). Given a set of objects $S$ of $K^b(B)$ (or $K(B)$), I consider ...

**5**

votes

**0**answers

199 views

### Are Tate twists of t-positive motives positive with respect to the Voevodsky's homotopy t-structure?

Let $X$ be a Voevodsky's motif (over a perfect field) that belongs to the positive part of the homotopy $t$-structure (i.e. its cohomology as an object of $D^-(ShSmCor)$ is zero in negative degrees). ...

**2**

votes

**1**answer

181 views

### pairs of matrices up to similiarity and vector bundles over punctured torus

I would like to construct 2D vector bundles over the punctured torus, but I don't know a lot of K-theory. Over the square, there can only be the trivial bundle, but now since ...

**2**

votes

**1**answer

892 views

### Where could I publish an average paper on triangulated categories?

I have a rather abstract paper on triangulated categories; I would say that it is of average size and quality. I want to find an appropriate journal to publish it; I would like it to be accepted in ...

**8**

votes

**0**answers

241 views

### H-space structure on the Calkin algebra

By the Atiyah-Jänich theorem the K-group $K^0(X)$ for a compact space $X$ may be represented as $[X, U(Q)]$, where $Q = B(H)/K(H)$ is the Calkin algebra and $H$ is a separable infinite dimensional ...

**1**

vote

**1**answer

250 views

### Products on the K-theory of graded C*-algebras

One can define products on the K-theory of graded C*-algebras as in
http://web.me.com/ndh2/math/Papers_files/Higson,%20Guentner%20-%202004%20-%20Group%20C*-algebras%20and%20K-theory.pdf
on page 152, ...

**0**

votes

**1**answer

228 views

### transversally elliptic operator, fundamental class, K-homology

How transversally elliptic pseudo-differential operator naturally induces a K-homology class in KK(A, C), where the algebra A is the crossed product algebra C(M) ⋊ G, where M is compact manifold and G ...

**6**

votes

**1**answer

395 views

### Projective modules over free groups

Consider the ring of Laurent polynomials $R := \mathbb{Z}[s,s^{-1}]$ with integer coefficients. Are all projective $R$-modules free? (Let's say left modules by convention.)
More generally, let $G$ ...

**4**

votes

**2**answers

778 views

### Survey of Algebraic K-Theory Since 1980?

I just came across Charles Weibel's Development of Algebraic K-Theory until 1980, and found it really helpful. Is there been anything analogous which surveys the developments in the last 30 years? ...

**1**

vote

**1**answer

311 views

### In K-homology K(X), if the Dirac operator D is invertible, does [D] represent zero element?

When X = pts, we know that the index of [D] equal to 0. What about X is not a point. Thanks

**15**

votes

**2**answers

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

**8**

votes

**1**answer

340 views

### Heller operator without left adjoint?

Suppose given a noetherian ring $R$. On the stable category $R\text{-}\underline{\text{mod}} := R\text{-mod}/R\text{-proj}$, we have the Heller operator
$$
\Omega : R\text{-}\underline{\text{mod}} ...

**22**

votes

**2**answers

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

**4**

votes

**1**answer

381 views

### Is Margolis's axiomatisation conjecture still alive?

The construction of the category of finite spectra is easy, but there are different constructions of the whole homotopy category of spectra, all of which leading to the same result up to an ...

**4**

votes

**0**answers

637 views

### $Ext$ functor, filtered complexes and spectral sequences

Let $\mathcal{A}$ an abelian category. Take $M$ an object of $\mathcal{A}$, and $K_*$ a bounded complex in $\mathcal{A}$ equipped with a bounded increasing filtration $F$. By using homological and ...

**0**

votes

**1**answer

260 views

### The stabilized homotopy category of graded C* algebra

Hi everyone
On page 147 of the note "Group C*-Algebras and K-theory" by N.Higson and E.Guentner there are something about the stabilized homotopy category of graded C* algebra, which is a category ...

**9**

votes

**1**answer

522 views

### Equivalent definitions of topological K-theory over locally compact spaces

Hello everyone
My question is the following:
Given a locally compact space $X$, assume it is also connected for simplicity, its K-theory ring is defined as $\tilde{K}(X^+)$, where $X^+$ is the one ...

**7**

votes

**1**answer

410 views

### Is there an intrinsic definition of the topological index map in $K$-theory?

In the language of $K$-theory, the Atiyah-Singer index theorem says that for a compact manifold $X$ the topological index map $\text{t-index}: K(TX) \to K(T\mathbb R^n) \simeq \mathbb Z$ induced by ...

**5**

votes

**2**answers

945 views

### Is every homology theory given by a spectrum?

Let $E$ be a spectrum. For any CW complex $X$, define $h_*=\pi_i(E\wedge X)$. Then we know that $h_*$ form a homology theory. In other words, there functors satisfy the homotopy invariance, maps a ...

**3**

votes

**3**answers

1k views

### Homology or cohomology?

How do people call an additive functor from a triangulated category $C$ to an abelian one that converts distinguished triangles into long exact sequences. Does one usually call a covariant functor ...

**25**

votes

**0**answers

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

**9**

votes

**3**answers

1k views

### A question on K_1 of an elliptic curve

Consider an elliptic curve $E/ \mathbb{Q}$, with a regular model $\mathcal{E} / \mathbb{Z}$. We have (Beilinson regulator) maps
$$ K_1(\mathcal{E})^{(2)} \to K_1(E)^{(2)} \to H_D^3(E_{/ \mathbb{R}} , ...

**2**

votes

**1**answer

335 views

### Zero-cycles on an arithmetic surface

Could anyone give a reference for the following statement, which I believe is true.
"Let X be a regular scheme, flat over $Spec( \mathbb{Z}) $, with fiber dimension $1$. Then the Chow group $CH^2(X)$ ...

**2**

votes

**2**answers

324 views

### Defining the inverse of the Bott map

I hope this isn't too narrowly focused. I have a question concerning the inverse of the Bott map as defined in Atiyah's paper, Bott Periodicity and the Index of Elliptic Operators. On page 122 he ...

**4**

votes

**1**answer

617 views

### Chern character of the index bundle for a family of Dirac operators

Suppose we have a family of compact oriented even dimensional spin manifolds $\{Y_x\}$ parameterized by a compact even dimensional manifold $X$. The $Y_x$'s
are all diffeomorphic to some $Y$, of ...

**1**

vote

**0**answers

174 views

### How to get countably many generators for $K_{j}^{G}(\beta G)$ ??

Hey
I am trying to find out how the Baum-Connes conjecture works over $GL(1)$ over local fiels.
I am just wondering if anybody knows how to get a countable many generators for in the L.H.S of the ...

**3**

votes

**2**answers

754 views

### Lists of K-homology Groups

There sohould be a list of K-theory and K-homology groups for the the standard spaces, like circle, spheres, (non-commutative) tori, but despite I've googled for it, I have found nothing satisfying. ...

**5**

votes

**2**answers

424 views

### Integrality of the canonical trace and topology

Let $G$ be a discrete group and consider the reduced group C* algebra $C_r^\ast(G)$, viewed as an algebra of bounded operators on $\ell^2(G)$ by the regular representation. The canonical trace on ...

**2**

votes

**1**answer

253 views

### homotopy groups for good rings

I think this question should already be abound in literature but the only place I find is from this article:
http://math.uchicago.edu/~lxiao/files/notes/Fundamental%20Groups.pdf
which seems to be ...

**5**

votes

**0**answers

345 views

### Does the Grothendieck ring inject to the Grothendieck group?

To a Noetherian scheme $X$, we can associate a Grothendieck ring of locally free coherent sheaves, and a Grothendieck group of coherent sheaves, with a natural map from the former to the latter. Is ...

**6**

votes

**0**answers

281 views

### Does every exact six-term sequence arise as the K-theory of a locally compact pair?

Consider six countable Abelian groups and six group homomorphims as in the following diagram
G → H → I
↑ ↓
L ← K ← J
Assume that the resulting sequence is exact ...

**5**

votes

**2**answers

339 views

### What is the group of additive operations on topological K-theory?

Let us view topological K-theory as a functor $K$ from the cateory of compact pairs (that is, a compact Hausdorff spaces with a distinguished closed subset) to the category of $\mathbb Z/2$-graded ...

**7**

votes

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

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

**3**

votes

**1**answer

283 views

### Short question relating to the proof of the Atiyah-Singer Index Theorem for families

My question relates to the proof of the Atiyah-Singer Index Theorem for families of elliptic operators, as presented in "The Index of Elliptic Operators: IV", M. F. Atiyah and I. M. Singer.
Let $A$ ...

**5**

votes

**2**answers

483 views

### Can anyone calculate KK(A,B) when neither A or B are the complex numbers?

Here I am referring to Kasparov's KK-theory, a bivariant functor on the category of separable C* algebras. It is well known that $KK(A, \mathbb{C})$ is K-homology and $KK(\mathbb{C}, B)$ is K-theory, ...

**5**

votes

**1**answer

969 views

### Geometric Realization of a Simplicial Category

Let $S:\varDelta^{op}\to (cat)$ be a functor where the category on the right is the category whose objects are categories with cofibrations and morphisms are exact functors(from Waldhausen's paper, ...

**6**

votes

**0**answers

263 views

### homotopy domination that splits a non-split epimorphism and still wants to be a homotopy equivalence

Can a homotopy domination by a space supporting a free action of $G$ be promoted to a homotopy equivalence with such a space? As stated, this is not a serious question (multiply by an $EG$). But with ...

**19**

votes

**0**answers

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