Farrell–Jones conjecture

(Redirected from Farrell-Jones Conjecture)

In mathematics, the Farrell–Jones conjecture,[1] named after F. Thomas Farrell and Lowell E. Jones, states that certain assembly maps are isomorphisms. These maps are given as certain homomorphisms.

The motivation is the interest in the target of the assembly maps; this may be, for instance, the algebraic K-theory of a group ring

or the L-theory of a group ring

,

where G is some group.

The sources of the assembly maps are equivariant homology theory evaluated on the classifying space of G with respect to the family of virtually cyclic subgroups of G. So assuming the Farrell–Jones conjecture is true, it is possible to restrict computations to virtually cyclic subgroups to get information on complicated objects such as or .

The Baum–Connes conjecture formulates a similar statement, for the topological K-theory of reduced group -algebras .

Formulation

edit

One can find for any ring   equivariant homology theories   satisfying

  respectively  

Here   denotes the group ring.

The K-theoretic Farrell–Jones conjecture for a group G states that the map   induces an isomorphism on homology

 

Here   denotes the classifying space of the group G with respect to the family of virtually cyclic subgroups, i.e. a G-CW-complex whose isotropy groups are virtually cyclic and for any virtually cyclic subgroup of G the fixed point set is contractible.

The L-theoretic Farrell–Jones conjecture is analogous.

Computational aspects

edit

The computation of the algebraic K-groups and the L-groups of a group ring   is motivated by obstructions living in those groups (see for example Wall's finiteness obstruction, surgery obstruction, Whitehead torsion). So suppose a group   satisfies the Farrell–Jones conjecture for algebraic K-theory. Suppose furthermore we have already found a model   for the classifying space for virtually cyclic subgroups:

 

Choose  -pushouts and apply the Mayer-Vietoris sequence to them:

  

This sequence simplifies to:

  

This means that if any group satisfies a certain isomorphism conjecture one can compute its algebraic K-theory (L-theory) only by knowing the algebraic K-Theory (L-Theory) of virtually cyclic groups and by knowing a suitable model for  .

Why the family of virtually cyclic subgroups ?

edit

One might also try to take for example the family of finite subgroups into account. This family is much easier to handle. Consider the infinite cyclic group  . A model for   is given by the real line  , on which   acts freely by translations. Using the properties of equivariant K-theory we get

 

The Bass-Heller-Swan decomposition gives

 

Indeed one checks that the assembly map is given by the canonical inclusion.

 

So it is an isomorphism if and only if  , which is the case if   is a regular ring. So in this case one can really use the family of finite subgroups. On the other hand this shows that the isomorphism conjecture for algebraic K-Theory and the family of finite subgroups is not true. One has to extend the conjecture to a larger family of subgroups which contains all the counterexamples. Currently no counterexamples for the Farrell–Jones conjecture are known. If there is a counterexample, one has to enlarge the family of subgroups to a larger family which contains that counterexample.

Inheritances of isomorphism conjectures

edit

The class of groups which satisfies the fibered Farrell–Jones conjecture contain the following groups

  • virtually cyclic groups (definition)
  • hyperbolic groups (see [2])
  • CAT(0)-groups (see [3])
  • solvable groups (see [4])
  • mapping class groups (see [5])

Furthermore the class has the following inheritance properties:

  • Closed under finite products of groups.
  • Closed under taking subgroups.

Meta-conjecture and fibered isomorphism conjectures

edit

Fix an equivariant homology theory  . One could say, that a group G satisfies the isomorphism conjecture for a family of subgroups , if and only if the map induced by the projection   induces an isomorphism on homology:

 

The group G satisfies the fibered isomorphism conjecture for the family of subgroups F if and only if for any group homomorphism   the group H satisfies the isomorphism conjecture for the family

 .

One gets immediately that in this situation   also satisfies the fibered isomorphism conjecture for the family  .

Transitivity principle

edit

The transitivity principle is a tool to change the family of subgroups to consider. Given two families   of subgroups of  . Suppose every group   satisfies the (fibered) isomorphism conjecture with respect to the family  . Then the group   satisfies the fibered isomorphism conjecture with respect to the family   if and only if it satisfies the (fibered) isomorphism conjecture with respect to the family  .

Isomorphism conjectures and group homomorphisms

edit

Given any group homomorphism   and suppose that G"' satisfies the fibered isomorphism conjecture for a family F of subgroups. Then also H"' satisfies the fibered isomorphism conjecture for the family  . For example if   has finite kernel the family   agrees with the family of virtually cyclic subgroups of H.

For suitable   one can use the transitivity principle to reduce the family again.

Connections to other conjectures

edit

Novikov conjecture

edit

There are also connections from the Farrell–Jones conjecture to the Novikov conjecture. It is known that if one of the following maps

 
 

is rationally injective, then the Novikov-conjecture holds for  . See for example,.[6][7]

Bost conjecture

edit

The Bost conjecture (named for Jean-Benoît Bost) states that the assembly map

 

is an isomorphism. The ring homomorphism   induces maps in K-theory  . Composing the upper assembly map with this homomorphism one gets exactly the assembly map occurring in the Baum–Connes conjecture.

 

Kaplansky conjecture

edit

The Kaplansky conjecture predicts that for an integral domain   and a torsion-free group   the only idempotents in   are  . Each such idempotent   gives a projective   module by taking the image of the right multiplication with  . Hence there seems to be a connection between the Kaplansky conjecture and the vanishing of  . There are theorems relating the Kaplansky conjecture to the Farrell Williams–Jones conjecture (compare [8]).

References

edit
  1. ^ Farrell, F. Thomas, Jones, Lowell E., Isomorphism conjectures in algebraic K-theory, Journal of the American Mathematical Society, v. 6, pp. 249–297, 1993
  2. ^ Bartels, Arthur; Lück, Wolfgang; Reich, Holger (2006), "The K-theoretic Farrell-Jones Conjecture for hyperbolic groups", arXiv:math/0609685
  3. ^ Bartels, Arthur; Lück, Wolfgang; Reich, Holger (2009), The Borel Conjecture for hyperbolic and CAT(0)-groups, arXiv:0901.0442
  4. ^ Wegner, Christian (2013), "The Farrell–Jones conjecture for virtually solvable groups", Journal of Topology, 8 (4): 975–1016, arXiv:1308.2432, Bibcode:2013arXiv1308.2432W, doi:10.1112/jtopol/jtv026, S2CID 119153966
  5. ^ Bartels, Arthur; Bestvina, Mladen (2016), "The Farrell-Jones Conjecture for mapping class groups", arXiv:1606.02844 [math.GT]
  6. ^ Ranicki, Andrew A. "On the Novikov conjecture". Novikov conjectures, index theorems and rigidity, Vol. 1, (Oberwolfach 2003). Cambridge, UK: Cambridge University Press. pp. 272–337.
  7. ^ Lück, Wolfgang; Reich, Holger (2005). "The Baum-Connes and the Farrell-Jones conjectures in K- and L-theory". Handbook of K-theory. Vol. 1,2. Berlin: Springer. pp. 703–842.
  8. ^ Bartels, Arthur; Lück, Wolfgang; Reich, Holger (2008), "On the Farrell-Jones Conjecture and its applications", Journal of Topology, 1 (1): 57–86, arXiv:math/0703548, doi:10.1112/jtopol/jtm008, S2CID 17731576