Algebraic and topological K-theory, relations with topology, commutative algebra, and operator algebras

learn more… | top users | synonyms

1
vote
0answers
69 views

linear independence of values of the polylogarithm at different roots of unity

I am interested in the real and imaginary part of the complex polylogarithm $$L_{k+1}(\zeta):=Re(\frac 1 {i^k}\sum_{m=1}^\infty \frac{\zeta^m}{m^{k+1}}),$$ where $\zeta$ is a primitive $n$-th root ...
4
votes
2answers
178 views

On the descent homomorphsim of Kasparov equivariant KK theory

Hello, I have recently read about the construction of the descent map in Kasparov KK theory, which, for a group $G$ and two $G$-equivariant $C^*$ algebra $A$ and $B$ send $KK_i^G(A,B)$ to $KK_i(A ...
4
votes
0answers
219 views

A canonical way to kill a subset of cohomology in a dg-algebra: via $A_\infty$-algebras? References?

Let $A$ be a differential graded algebra, $S\subset H^*(A)$. I would like to 'kill $S$ in a canonical way'. Is it possible to do it as follows: consider the $A_\infty$-algebra structure on ...
3
votes
1answer
237 views

References for geometric K-homology

Can anyone give me some good references to read geometric K-homology. I know bit of Kasparov's KK theory and analytic K-homology.
3
votes
1answer
243 views

A theory of bifurcation of braids ?

I am trying to study the braids generated by periodic orbits of diffeomorphisms of compact surfaces (for example, a punctured disk). The diffeomorphisms are generated by integrating a two-dimensional ...
2
votes
1answer
140 views

For which local $R$ its K-theory mod l is isomorphic to the one of its residue field?

It is well-known (and was proved by Gabber?): if $R$ is a regular henselian local ring containing a field of characteristic prime to $l$, $k$ is its residue field, then $K_\ast(R,\mathbb{Z}/l)\cong ...
15
votes
1answer
496 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) ...
8
votes
2answers
302 views

Injectivity of the Baum-Connes assembly map for locally compact groups

Skandalis, Tu and Yu in "The coarse Baum-Connes conjecture and groupoids" proved that: Let $\Gamma$ be a countable group with a proper left-invariant metric $d$. If $\Gamma$ admits a uniform ...
1
vote
1answer
118 views

Does the global dimension gldim R equal the projective dimension of R as bimodule over its enveloping algebra?

I know that generally the answer is no, for example the weyl algebra。 But is this true for commutative algebra? or we may restrict to affine commutative algebras。 Maybe ,it is a classical result. ...
5
votes
1answer
285 views

Terminology question for real K-theory

This is a terminology question. Answers will help me satisfy a referee but I'm also genuinely interested. Consider the following two things that you could define for a topological space X: (1) The ...
0
votes
2answers
313 views

The First Homology Group of Configuration Space and Knot Theory

Let $\pi_{1}: \text{Top}^* \rightarrow \text{Grp}$ denote the fundamental group functor and let $H_{1}: \text{Top}^* \rightarrow \text{Grp}$ denote the first homology group functor. We can then define ...
4
votes
1answer
296 views

Disconnectedness of Hilbert schemes of projective schemes

Let $Y$ be a projective scheme. The naive definition of a Hilbert scheme of subschemes $X$ of $Y$ would require us to projectively embed $Y$, then ask that $X$ have a fixed Hilbert polynomial $p$. ...
3
votes
0answers
98 views

Extending cohomology classes to compactifications of Kuga varieties

I am trying to understand the proof of lemma 3 in the paper "Algebraic cycles and the Hodge structure of a Kuga fiber variety" by B. Brent Gordon, available at ...
7
votes
2answers
458 views

Baum-Connes-like “conjecture” for $l^p$-spaces

Let $G$ be a (discrete) group. For the Baum-Connes conjecture, one looks at the reduced group $C^{\star}$-algebra: Look at the Hilbert space $l^2(G)$ and the representation of $G$ on this Hilbert ...
2
votes
1answer
173 views

Ideal spanned by matrix units isomorphic to compact operators

Hello, Assume we have $(n+1)$ isometries $S_1,...,S_{n+1}$ in the separable Hilbert space $H$ with the properties that $\sum_{i=1}^{n+1}S_iS_i^*=I, S_i^*S_j=0$ (i.e. $S_i$ are the generators of the ...
0
votes
2answers
115 views

free complex with mod-p coefficients

How does one prove the following fact. I could not find anything in literature. Let $\pi$ be a subgroup of the symmetric group $S_p$ and let $W$ be a free $\pi$-complex. Then for any space $X$ there ...
2
votes
1answer
124 views

Can I bound the degree of a contracting homotopy in an exact filtered complex?

Suppose that I have given you a bigraded vector space $V = \bigoplus_{i,j} V_{i,j}$. The first grading is a "homological" $\mathbb Z$-grading, and the second is an independent $\mathbb Z$-grading. ...
33
votes
3answers
846 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 ...
2
votes
2answers
256 views

Equivariant K-theory of $S^1$-action on $S^2$

Is there any references for the structure of the equivariant K-theory $K_{S^1}(S^2)$ where the action of $S^1$ on $S^2$ is defined to be rotation about the $z$-axis? What is the ring structore of ...
2
votes
1answer
268 views

Kasparov's Dirac element and the index map

In Kasparov's 1988 paper Equivariant KK-theory and the Novikov conjecture section 4 he defined the Dirac element for a (non-spin) $G$- Riemanian manifold $X$ as an element in the $K$-homology ...
2
votes
0answers
136 views

Two questions on axiomatic homology

1) Given the Eilenberg-Steenrod axioms, there are several Mayer-Vietoris type sequences that can be deduced. The most general form seems to be $$\rightarrow H_n(X \cap Y, A \cap B) \rightarrow ...
21
votes
1answer
727 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 ...
3
votes
1answer
248 views

Euler characteristics and the difference bundle construction

I am reading on K theory in Lawson and Michelson (Spin Geometry). One has the "exact sequence spaces" $L(X,Y)$ and there is the theorem that there is a unique equivalence of functors $\chi$ between ...
6
votes
0answers
173 views

K-theory of topological groupoids

For a topological groupoid $G$, there are two kinds of ``topological'' $K$-homology theories, $K_{\ast}^{G}(\underline{EG})$ the $K$-homology of $G$ with $G$-compact support, and $K_{\ast}(BG)$ the ...
3
votes
0answers
101 views

How to deduce (8.1) in Lusztig's “Equivariant K-theory and representations of Hecke Algebras”

Let G be a connected complex algebraic group G and X=G/B, where B is the Borel subgroup. $ M=G\times C^{*}$, where $C^*$ acts on X trivially. Let $K_M(X)$ be the equivariant K-theory. Let $s\in S$ be ...
1
vote
0answers
137 views

$K$-groups and dual graphs of special fibers

Let $p$ be a prime number, let $E$ be an elliptic curve defined over $\mathbb{Q}_p$. Let $\mathcal{E}_p$ be the special fiber of the Néron model of $E$ over $\mathbb{Z}_p$ and let ...
4
votes
0answers
84 views

Characterization of the sequences in the equivalence classe of the zero element in higher extension groups

Hello, I am looking for a characterization of the long exact sequences in the equivalence classe of the zero element (for the Baer sum) in $Ext^n(U,V)$ for $n>1$. If $n=1$, then these are the ...
15
votes
2answers
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.
6
votes
0answers
530 views

Is there any “deep” relation between the localization theorem of equivariant cohomology and the localization theorem of equivariant K-theory

First let's consider equivariant cohomology: if a compact Lie group $G$ acts on a compact manifold $M$. We have the equivariant cohomology $ H_G(M)$ defined as the cohomology of the cochain complex ...
4
votes
1answer
257 views

K theory of a simplicial monoidal category, Cofinality theorem

Let $X=(d\mapsto X_d)$ be a simplicial symmetric monoidal category. We define the $K$-theory space of $X$ to be $K(X)=|d\mapsto K(X_d)|$, the geometric realisation of the simplicial space $d\mapsto ...
5
votes
2answers
390 views

When do the $\gamma$-filtration and codimension filtration of K-theory agree?

Let $X$ be a smooth quasiprojective algebraic variety over a field $k$. Then the $K$-groups $K_m(X)$ are defined, and there are two standard filtrations on them: the "codimension filtration" given by ...
14
votes
2answers
799 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 $(\ ,\ ...
12
votes
2answers
886 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 ...
12
votes
1answer
716 views

finite dimensional real division algebras

A celebrated theorem of Milnor and Kervaire asserts that any finite dimensional division algebra over the real numbers has dimension 1,2,4 or 8. This result is established using methods from algebraic ...
4
votes
1answer
405 views

second fundamental form

Hi all, Currently I'm reading a paper about the geometry of Grassmannians: www.omup.jp/modules/papers/riemann/04Nagatomo.pdf In there, the author regards the second fundamental form of the ...
4
votes
2answers
191 views

Steinberg Group as a Lattice in a lie group

Given an integral domain $R$, the Steinberg group $St_n(R)$ is the group given by generators $e_{pq}(\lambda) := \mathbf{1} + a_{pq}(\lambda)$, $p\neq q$, $1\leq p,q \leq n$ Subject to ...
9
votes
2answers
358 views

f.g. modules vs. f.g. projective modules

In algebraic K-theory one defines $K_0(R)$ as the result of application of the Grothendieck construction to the semigroup of isomorphism classes of left f.g. projective $R$-modules. But we can also ...
4
votes
1answer
267 views

Algebraic K-theory with commutative semirings?

My question is basically given in the title: Are there any references for a generalization of algebraic K-theory to the scenario where the domain of the functors consists of commutative semirings ...
6
votes
3answers
634 views

Is there a categorification of topological K-theory?

For a compact Hausdorff topological space $X$, its K-theory $K^0(X)$ is defined to be the Grothendieck group of the isomorphism classes of finite dimensional vector spaces on $X$. For example ...
7
votes
0answers
166 views

Is there an analog of Khovanov homology for edge deletion-contraction-extraction?

Motivated by Khovanov's categorification of the Jones polynomial, several authors have worked on the categorification of graph invariants. For the chromatic polynomial some references are: "A ...
4
votes
0answers
290 views

K-theory of compact Lie groups

The complex K-theory of a compact connected Lie group $ G $ is computed by Hodgkin in the case that $ G $ has torsion-free fundamental group. The result is that $ K^*(G) $ is an exterior algebra in ...
3
votes
0answers
168 views

The proof of the splitting principle in equivariant K-theory via flag manifolds

In Atiyah's famous paper "Bott periodicity and the index of elliptic operators" section 4, he proved the splitting principle for unitary groups (Propostion 4.9 in that paper), namely: Let $j: ...
4
votes
1answer
185 views

What is the role of $\sum (-1)^p[\wedge^pT^*M]$ in the K-theory $K(M)$

I apologize for the vague title. Let $M$ be a compact smooth manifold, then we have $T^*M$ and hence $\wedge^pT^*M$ as vector bundles on $M$. There for we have $$ \sum (-1)^p[\wedge^pT^*M] \in K(M). ...
3
votes
1answer
336 views

K-theory, monoidal vs. exact

My question is somewhat related to this one. However I think it adds something new to the table so I decided to post it sperately. There is a construction of K-theory for symmetric monoidal ...
21
votes
1answer
548 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, ...
2
votes
1answer
152 views

Does a dense submodule of a free module always contain a basis?

Let $R$ be a completed normed ring, eg Banach algebra. Suppose that $F$ is a free $R$-module of infinite rank with a norm defined by the square root of sum of all norms of its components. If $F'$ is a ...
6
votes
1answer
239 views

Projective modules over non-rational group rings

Let $G$ be a finite group. We know that the $K$-group $K_0(QG)$ of the rational group ring $QG$ is a free abelian group generated by the irreducible representations of $G$ over $Q$. Now let $R$ be a ...
5
votes
0answers
219 views

Roots of unity in algebraic K-theory

For any commutative ring $R$, the tensor product of (finitely generated, projective) $R$-modules equips the algebraic K-theory $K(R) = K_0(R)$ with the structure of a commutative ring with unit. For ...
3
votes
0answers
82 views

Torsion of Bass, Farrell and Waldhausen nil groups

Let H be an infinite virtually cyclic group. If H is orientable (resp. non-orientable) the Farrell nil groups $N_n(\mathbb{Z}H,\alpha) $ (resp. the Waldhausen nil groups ...
9
votes
0answers
352 views

Rosenberg's proof of Bass-Heller-Swan

I'm reading the proof the Bass-Heller-Swan Theorem in Rosenberg's book Algebraic K-Theory and Applications (Theorem 3.2.22), which asserts $$K_1(R[t,t^{-1}]) \cong K_0(R) \oplus K_1(R) \oplus ...