**0**

votes

**2**answers

326 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

**1**answer

301 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

**0**answers

104 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

**2**answers

472 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

**1**answer

184 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

**2**answers

119 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

**1**answer

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

**34**

votes

**3**answers

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

**3**

votes

**2**answers

274 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

**1**answer

286 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

**0**answers

141 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

**1**answer

807 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

**1**answer

261 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

**0**answers

178 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

**0**answers

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

**2**

votes

**1**answer

190 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

**0**answers

85 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

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

**6**

votes

**0**answers

609 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

**1**answer

268 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

**2**answers

466 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

**2**answers

866 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

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

**12**

votes

**1**answer

788 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

**1**answer

429 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

**2**answers

195 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

**2**answers

370 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

**1**answer

272 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

**3**answers

693 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

**0**answers

180 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

**0**answers

319 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

**0**answers

174 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

**1**answer

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

**4**

votes

**1**answer

385 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

**1**answer

569 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

**1**answer

156 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

**1**answer

241 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

**0**answers

224 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

**0**answers

88 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

**0**answers

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

**2**

votes

**0**answers

254 views

### K-Thy mapping cone in pullback diagram

Let $X, Y$ be connected, compact Hausdorff spaces and $\mathcal{H}_1, \mathcal{H}_2$ Hilbert spaces with $A \subset \mathcal{L}(\mathcal{H}_1), B \subset \mathcal{L}(\mathcal{H}_2)$ ...

**4**

votes

**0**answers

122 views

### What is the grading of x(x−1)R[x]? Loopspace for Karoubi-Villamayor K-theory.

I am reading the chapter on Karoubi-Villamayor K-theory in Weibel's K-book. In particular he defines $\Omega R=(x^2-x)R[x]$ for a ring. This will eventually lead to a model for the loopspace
...

**0**

votes

**3**answers

365 views

### The definition of the $K$-theory groups $K_{0}$ and $K_{1}$.

I have read few textbooks and papers about the $K$-theory groups $K_{0}$ and $K_{1}$ of (reduced) $C^{*}$-algebra and most of them didn't give a clear simple way to define these groups.
Just ...

**8**

votes

**0**answers

209 views

### (Reduced) cyclic homology of a free product of unital algebras

Shameless upfloat of 1-year old question - the motivation is that in general the corresponding Banach version is false, so I am trying to see where the proof breaks down, and what (if anything) can be ...

**10**

votes

**1**answer

554 views

### K-Theory space of finite abelian groups

Consider the abelian category $\mathsf{finAb}$ of finite abelian groups. It is easy to prove that there is an isomorphism $\mathrm{ord} : K_0(\mathsf{finAb}) \to \mathbb{Q}^+$. Can you give a ...

**4**

votes

**4**answers

532 views

### Characteristic classes detecting nontrivial fiberwise homotopy of sphere bundles

I am looking for characteristic classes of vector bundles (either real or complex) with values in generalized multiplicative cohomology theories such that:
i) they vanish if the bundle of unit ...

**2**

votes

**0**answers

215 views

### k-theory of $\mathbb{Z}$

I have a doubt.
Borel computed the rank of the higher algebraic k-theory of $\mathbb{Z}$:
$rank(K_n)(\mathbb{Z})= 1$ if $n\equiv1 mod4$, otherwise this rank is equal to 0.
On the other hand Bjorn ...

**5**

votes

**2**answers

287 views

### Induction theorems for finite-dimensional complex representations of infinite groups

Let $G$ be a group, usually infinite. I am interested in finite-dimensional complex unitary representations of $G$, i.e. group homomorphisms $G \rightarrow U_n(\mathbb{C})$. The category of these ...

**13**

votes

**1**answer

391 views

### Beilinson's formula for the product of two modular curves

In his cellebrated 1984 paper "Higher regulators and values of L-functions", Beilinson proved (among many other exciting things) that the value at the non-critical point $s=2$ of the Rankin L-function ...

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