nLab
Volodin space

Volodin space

Idea

Volodin spaces are the Vietoris complex analogues of the nerve of a family of subgroups discussed in the entry, higher generation by subgroups. They provide a way of building a geometric object that provides a means of comparing the information on the ‘big group’ that is ‘stored’ by subgroups within the family.

They were essentially introduced by Volodin as part of his approach to higher algebraic K-theory. We will discuss them via another approach that is explicit in work by Suslin, on the equivalence of the Volodin K-theory with that of Quillen.

Preliminaries

Let XX be a non-empty set, and denote by E(X)E(X), the simplicial set having E(X) p=X p+1E(X)_p = X^{p+1}, so a pp-simplex is a p+1p+1 tuple, x̲=(x 0,,x p)\underline{x}= (x_0,\ldots, x_p), each x iXx_i \in X, and in which

d i(x̲)=(x 0,,x i^,x p),d_i(\underline{x}) = (x_0,\ldots, \hat{x_i}, \ldots x_p),

so d id_i omits x ix_i, whilst s js_j repeats x jx_j.

Lemma

The simplicial set, E(X)E(X), is contractible.

The proof is fairly easy to construct and is ‘well known’.

The case we are really interested in is when we replace the general set, XX, by the underlying set of a group, GG. (As is often done, we will not introduce a special notation for the underlying set of GG, just writing GG for it.) In this case, we have the simplicial set E(G)E(G) and the group, GG, acts freely on E(G)E(G) by

g(g 0,,g p)=(gg 0,,gg p).g\cdot(g_0,\ldots , g_p) = (gg_0,\ldots, gg_p).

(Here we have used a left action of GG, and leave you to check that the evident right action could equally well be used.)

The quotient simplicial set of orbits, will be denoted G\E(G)G\backslash E(G). It is often useful to write [g 1,,g p][g_1,\ldots,g_p] for the orbit of the pp-simplex (1,g 1,g 1g 2,,g 1g 2g p)E(G) p(1,g_1,g_1g_2,\ldots, g_1g_2\ldots g_p)\in E(G)_p.

It is ‘instructive’ to calculate the faces and degeneracy maps in this notation. We will only look at [g 1,g 2][g_1,g_2] in detail. This element has representative (1,g 1,g 1g 2)(1,g_1,g_1g_2). We thus have:

  • d 0(1,g 1,g 1g 2)=(g 1,g 1g 2)(1,g 2)d_0(1,g_1,g_1g_2) = (g_1,g_1g_2) \equiv (1,g_2), so d 0[g 1,g 2]=[g 2]d_0[g_1,g_2] = [g_2];
  • d 1(1,g 1,g 1g 2)=(1,g 1g 2)d_1(1,g_1,g_1g_2) = (1,g_1g_2), so d 1[g 1,g 2]=[g 1g 2]d_1[g_1,g_2] = [g_1g_2];
  • d 2(1,g 1,g 1g 2)=(1,g 1)d_2(1,g_1,g_1g_2) = (1,g_1),

so d 2[g 1,g 2]=[g 1]d_2[g_1,g_2] = [g_1].

(That looks familiar!)

For the degeneracies,

  • s 0(1,g 1,g 1g 2)=(1,1,g 1,g 1g 2)s_0(1,g_1,g_1g_2) = (1,1,g_1,g_1g_2), so s 0[g 1,g 2]=[1,g 1,g 2]s_0 [g_1,g_2] =[1,g_1,g_2] ;
  • s 1(1,g 1,g 1g 2)=(1,g 1,g 1,g 1g 2)s_1(1,g_1,g_1g_2) = (1,g_1,g_1,g_1g_2), so s 1[g 1,g 2]=[g 1,1,g 2];s_1 [g_1,g_2] = [g_1,1,g_2] ;

and similarly s 2[g 1,g 2]=[g 1,g 2,1]s_2 [g_1,g_2] = [g_1,g_2,1].

The general formulae are now easy to guess and to prove - so they will be left to you, and then the following should be obvious.

Lemma

There is a natural simplicial isomorphism,

G\E(G)Ner(G[1])=BG.G\backslash E(G)\xrightarrow{\cong}Ner(G[1])= BG.

We thus have that G\E(G)G\backslash E(G) is a classifying space for GG.

This construction of E(G)E(G) is exactly that of the nerve of the action groupoid of the action of GG on itself by left multiplication.

Volodin spaces

We put ourselves in the context of a group, GG, and a family, \mathcal{H}, of subgroups of GG as in the context of higher generation by subgroups. We suppose that ={H iiI}\mathcal{H}= \{H_i\mid i\in I\} for some indexing set, II.

(cf. Suslin-Wodzicki, (ref. below) p. 65.) We denote by V(G,)V(G,\mathcal{H}), or V()V(\mathfrak{H}), the simplicial subset of E(G)E(G) formed by simplices, (g 0,,g p)(g_0,\ldots,g_p), that satisfy the condition that there is some iIi\in I such that, for all 0j,kp0\leq j,k\leq p, g jg k 1H ig_j g_k^{-1}\in H_i.

The simplicial set, V(G,)V(G,\mathcal{H}), will be called the Volodin space of (G,)(G,\mathcal{H}).

References

  • A. A. Suslin and M. Wodzicki, Excision in algebraic K-theory, The Annals of Mathematics, 136, (1992), 51 – 122.

  • I. Volodin, Algebraic K-theory as extraordinary homology theory on the category of associative

    rings with unity_, Izv. Akad. Nauk. SSSR, 35, (Translation: Math. USSR Izvestija Vol. 5 (1971) No. 4, 859-887)

Last revised on August 16, 2014 at 05:50:04. See the history of this page for a list of all contributions to it.