The approximation of Luck is a theorem from the mathematical field of algebraic topology . It relates the L 2 -Betti numbers of a space to the usual Betti numbers of its finite overlays .
b
k
(
2
)
(
X
)
{\ displaystyle b_ {k} ^ {(2)} (X)}
X
{\ displaystyle X}
b
k
(
X
i
)
{\ displaystyle b_ {k} (X_ {i})}
X
i
{\ displaystyle X_ {i}}
Statement of the sentence
Let be a finite CW-complex with a residual finite fundamental group . Because of the residual finiteness, there is a descending chain of normal parts with and . Let be the overlay of with cover group . Then
X
{\ displaystyle X}
Γ
{\ displaystyle \ Gamma}
[
Γ
:
Γ
i
]
<
∞
{\ displaystyle \ left [\ Gamma \ colon \ Gamma _ {i} \ right] <\ infty}
⋂
i
Γ
i
=
0
{\ displaystyle \ bigcap _ {i} \ Gamma _ {i} = 0}
X
i
{\ displaystyle X_ {i}}
X
{\ displaystyle X}
Γ
i
{\ displaystyle \ Gamma _ {i}}
b
k
(
2
)
(
X
)
=
lim
i
→
∞
b
k
(
X
i
)
[
Γ
:
Γ
i
]
.
{\ displaystyle b_ {k} ^ {(2)} (X) = \ lim _ {i \ to \ infty} {\ frac {b_ {k} (X_ {i})} {\ left [\ Gamma \ colon \ Gamma _ {i} \ right]}}.}
Let in particular be a finitely presented , residual finite group and a descending chain of normal subdivisions with and , then is
Γ
{\ displaystyle \ Gamma}
Γ
=
Γ
0
⊃
Γ
1
⊃
Γ
2
⊃
...
{\ displaystyle \ Gamma = \ Gamma _ {0} \ supset \ Gamma _ {1} \ supset \ Gamma _ {2} \ supset \ ldots}
[
Γ
:
Γ
i
]
<
∞
{\ displaystyle \ left [\ Gamma \ colon \ Gamma _ {i} \ right] <\ infty}
⋂
i
Γ
i
=
0
{\ displaystyle \ bigcap _ {i} \ Gamma _ {i} = 0}
b
k
(
2
)
(
Γ
)
=
lim
i
→
∞
b
k
(
Γ
i
)
[
Γ
:
Γ
i
]
.
{\ displaystyle b_ {k} ^ {(2)} (\ Gamma) = \ lim _ {i \ to \ infty} {\ frac {b_ {k} (\ Gamma _ {i})} {\ left [\ Gamma \ colon \ Gamma _ {i} \ right]}}.}
The approximation theorem also applies to homology with coefficients in any field with the characteristic zero.
Generalization for grids in symmetrical spaces
Let be a symmetric space of non-compact type and a uniformly discrete sequence of co-compact grids in , for which converges to Benjamini-Schramm . Then
X
{\ displaystyle X}
Γ
n
{\ displaystyle \ Gamma _ {n}}
X
{\ displaystyle X}
Γ
n
∖
X
{\ displaystyle \ Gamma _ {n} \ backslash X}
X
{\ displaystyle X}
lim
i
→
∞
b
k
(
Γ
i
)
v
O
l
(
Γ
i
∖
X
)
=
β
k
(
2
)
(
X
)
{\ displaystyle \ lim _ {i \ to \ infty} {\ frac {b_ {k} (\ Gamma _ {i})} {vol (\ Gamma _ {i} \ backslash X)}} = \ beta _ { k} ^ {(2)} (X)}
With
β
k
(
2
)
(
X
)
=
0
{\ displaystyle \ beta _ {k} ^ {(2)} (X) = 0}
For
k
≠
1
2
d
i
m
(
X
)
{\ displaystyle k \ not = {\ frac {1} {2}} dim (X)}
and
β
1
2
d
i
m
(
X
)
(
2
)
(
X
)
=
χ
(
X
d
)
v
O
l
(
X
d
)
{\ displaystyle \ beta _ {{\ frac {1} {2}} dim (X)} ^ {(2)} (X) = {\ frac {\ chi (X ^ {d})} {vol (X ^ {d})}}}
for the too dual compact symmetrical space.
X
{\ displaystyle X}
literature
Wolfgang Lück : Approximating L2-invariants by their finite-dimensional analogues. GAFA 4 (1994), pp. 458-490.
Pierre Pansu : Introduction to L2 -Betti numbers.
Michail Gromov : Asymptotic Invariants of Infinite Groups. (Chapter 8)
Wolfgang Lück: L2-Invariants: Theory and Applications to Geometry and K-Theory.
Individual evidence
↑ Miklos Abert, Nicolas Bergeron, Ian Biringer, Tsachik Gelander, Nikolay Nikolov, Jean Raimbault, Iddo Samet: On the growth of L 2 -invariants for sequences of lattices in Lie groups . Ann. Math. 185 (2017), pp. 711-790
<img src="https://de.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">