1: \begin{abstract}
2: We study existence, uniqueness and triviality of path cocycles in the quantum
3: Cayley graph of universal discrete quantum groups. In the orthogonal case we
4: find that the unique path cocycle is trivial, in contrast with the case of
5: free groups where it is proper. In the unitary case it is neither bounded nor
6: proper. From this geometrical result we deduce the vanishing of the first
7: $L^2$-Betti number of $A_o(I_n)$.\medskip
8:
9: MSC 2000: 46L65 (46L54, 20G42, 16E40, 20F65)
10:
11: % 20G42 (Quantum groups (quantized function algebras) and their representations)
12: % 20F65 (Geometric group theory) 20E08 (Groups acting on trees)
13:
14: % 46L54 (Free probability and free operator algebras) 46L65 (Quantizations,
15: % deformations) 46L85 (Noncommutative topology)
16:
17: % 16W35 (Ring-theoretic aspects of quantum groups) 16E40 ((Co)homology of rings
18: % and algebras) 16E50 (von Neumann regular rings and generalizations, in
19: % Homological methods)
20:
21: % 58B32 (Geometry of quantum groups, in Infinite-dimensional manifolds)
22: % 43A35 (Positive definite functions on groups, semigroups, etc.)
23: \end{abstract}
24: