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.
Let be a non-empty set, and denote by , the simplicial set having , so a -simplex is a tuple, , each , and in which
so omits , whilst repeats .
The simplicial set, , 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, , by the underlying set of a group, . (As is often done, we will not introduce a special notation for the underlying set of , just writing for it.) In this case, we have the simplicial set and the group, , acts freely on by
(Here we have used a left action of , and leave you to check that the evident right action could equally well be used.)
The quotient simplicial set of orbits, will be denoted . It is often useful to write for the orbit of the -simplex .
It is ‘instructive’ to calculate the faces and degeneracy maps in this notation. We will only look at in detail. This element has representative . We thus have:
so .
(That looks familiar!)
For the degeneracies,
and similarly .
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.
There is a natural simplicial isomorphism,
We thus have that is a classifying space for .
This construction of is exactly that of the nerve of the action groupoid of the action of on itself by left multiplication.
We put ourselves in the context of a group, , and a family, , of subgroups of as in the context of higher generation by subgroups. We suppose that for some indexing set, .
(cf. Suslin-Wodzicki, (ref. below) p. 65.) We denote by , or , the simplicial subset of formed by simplices, , that satisfy the condition that there is some such that, for all , .
The simplicial set, , will be called the Volodin space of .
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.