Searcharxiv⌕ Search

arXiv subjects

Wolfgang Lueck

Publications and source records attributed to Wolfgang Lueck.

At least 37 records · Page 2Linked to original sources

Manifolds homotopy equivalent to certain torus bundles over lens spaces

We compute the topological simple structure set of closed manifolds which occur as total spaces of flat bundles over lens spaces S^l/(Z/p) with fiber an n-dimensjional torus T^n for an odd prime p and l greater or equal to 3, provided that the induced Z/p-action on pi_1(T^n) = Z^n is free outside the origin. To the best of our knowledge this is the first computation of the structure set of a topological manifold whose fundamental group is not obtained from torsionfree and finite groups using amalgamated and HNN-extensions. We give a collection of classical surgery invariants such as splitting obstructions and rho-invariants which decide whether a simple homotopy equivalence from a closed topological manifold to M is homotopic to a homeomorphism.

math.GT↗

The Segal Conjecture for Infinite Groups

We formulate and prove a version of the Segal Conjecture for infinite groups. For finite groups it reduces to the original version. The condition that G is finite is replaced in our setting by the assumption that there exists a finite model for the classifying space underline{E}G for proper actions. This assumption is satisfied for instance for word hyperbolic groups or cocompact discrete subgroups of Lie groups with finitely many path components. As a consequence we get for such groups G that the zero-th stable cohomotopy of the classifying space BG is isomorphic to the I-adic completion of the ring given by the zero-th equivariant stable cohomotopy of underline{E}G for I the augmentation ideal.

math.AT↗

On the stable Cannon Conjecture

The Cannon Conjecture for a torsionfree hyperbolic group G with boundary homeomorphic to S^2 says that G is the fundamental group of an aspherical closed 3-manifold M. It is known that then M is a hyperbolic 3-manifold. We prove the stable version that for any closed manifold N of dimension greater or equal to 2 there exists a closed manifold M together with a simple homotopy equivalence from M to the cartesian product of N and BG. If N is aspherical and pi_1(N) satisfies the Farrell-Jones Conjecture, then M is unique up to homeomorphism.

math.GT↗

Assembly Maps

We introduce and analyze the concept of an assembly map from the original homotopy theoretic point of view. We give also interpretations in terms of surgery theory, controlled topology and index theory. The motivation is that prominent conjectures of Farrell-Jones and Baum-Connes about K- and L-theory of group rings and group C^*-algebras predict that certain assembly maps are weak homotopy equivalences.

math.KT↗

Approximately fibering a manifold over an aspherical one

The paper is devoted to the problem when a map from some closed connected manifold to an aspherical closed manifold approximately fibers, i.e., is homotopic to Manifold Approximate Fibration. We define obstructions in algebraic K-theory. Their vanishing is necessary and under certain conditions sufficient. Basic ingredients are Quinn's thin h-Cobordism Theorem and End Theorem, and knowledge about the Farrell-Jones Conjectures in algebraic K- and L-theory and the MAF-Rigidity Conjecture by Hughes-Taylor-Williams.

math.AT↗

Assembly maps for topological cyclic homology of group algebras

We use assembly maps to study $\mathbf{TC}(\mathbb{A}[G];p)$, the topological cyclic homology at a prime $p$ of the group algebra of a discrete group $G$ with coefficients in a connective ring spectrum $\mathbb{A}$. For any finite group, we prove that the assembly map for the family of cyclic subgroups is an isomorphism on homotopy groups. For infinite groups, we establish pro-isomorphism, (split) injectivity, and rational injectivity results, as well as counterexamples to injectivity and surjectivity. In particular, for hyperbolic groups and for virtually finitely generated abelian groups, we show that the assembly map for the family of virtually cyclic subgroups is injective but in general not surjective.

math.KT↗

Twisting $L^2$-invariants with finite-dimensional representations

We investigate how one can twist L^2-invariants such as L^2-Betti numbers and L^2-torsion with finite-dimensional representations. As a special case we assign to the universal covering of a finite connected CW-complex X together with an element phi in H^1(X;R) a phi-twisted L^2-torsion function from R^{>0} to R, provided that the fundamental group of X is residually finite and its universal covering is L^2-acyclic.

math.GT↗

Algebraic K-theory of group rings and the cyclotomic trace map

We prove that the Farrell-Jones assembly map for connective algebraic K-theory is rationally injective, under mild homological finiteness conditions on the group and assuming that a weak version of the Leopoldt-Schneider conjecture holds for cyclotomic fields. This generalizes a result of Bökstedt, Hsiang, and Madsen, and leads to a concrete description of a large direct summand of $K_n(\mathbb{Z}[G])\otimes_{\mathbb{Z}}\mathbb{Q}$ in terms of group homology. In many cases the number theoretic conjectures are true, so we obtain rational injectivity results about assembly maps, in particular for Whitehead groups, under homological finiteness assumptions on the group only. The proof uses the cyclotomic trace map to topological cyclic homology, Bökstedt-Hsiang-Madsen's functor C, and new general isomorphism and injectivity results about the assembly maps for topological Hochschild homology and C.

math.KT↗

Survey on analytic and topological torsion

The article consists of a survey on analytic and topological torsion. Analytic torsion is defined in terms of the spectrum of the analytic Laplace operator on a Riemannian manifold, whereas topological torsion is defined in terms of a triangulation. The celebrated theorem of Cheeger and Müller identifies these two notions for closed Riemannian manifolds. We also deal with manifolds with boundary and with isometric actions of finite groups. The basic theme is to extract topological invariants from the spectrum of the analytic Laplace operator on a Riemannian manifold.

math.GT↗

Splitting the relative assembly map, Nil-terms and involutions

We show that the relative Farrell-Jones assembly map from the family of finite subgroups to the family of virtually cyclic subgroups for algebraic K-theory is split injective in the setting where the coefficients are additive categories with group action. This generalizes a result of Bartels for rings as coefficients. We give an explicit description of the relative term. This enables us to show that it vanishes rationally if we take coefficients in a regular ring. Moreover, it is, considered as a Z[Z/2]-module by the involution coming from taking dual modules, an extended module and in particular all its Tate cohomology groups vanish, provided that the infinite virtually cyclic subgroups of type I of G are orientable. The latter condition is for instance satisfied for torsionfree hyperbolic groups.

math.KT↗

Estimates for spectral density functions of matrices over C[Z^d]

We give a polynomial bound on the spectral density function of a matrix over the complex group ring of Z^d. It yields an explicit lower bound on the Novikov-Shubin invariant associated to this matrix showing in particular that the Novikov-Shubin invariant is larger than zero.

math.NT↗

On highly regular embeddings

Given parameters k, l, and d, we give new lower bounds on the dimensions N such that there are maps from R^d to R^N that are k-regular, l-skew embeddings, or k-regular-l-skew embeddings. This extends and sharpens results due to Chisholm (1979) and Ghomi-Tabachnikov (2008).

math.AT↗

The first $L^2$-Betti number and approximation in arbitrary characteristic

Let G be a finitely generated group and (G_i) a descending chain of finite index normal subgroups of G. Given a field K, we consider the sequence b_1(G_i;K)/[G:G_i] of normalized first Betti numbers of G_i with coefficients in K, which we call a K-approximation for b_1^(2)(G), the first L^2-Betti number of G. In this paper we address the questions of when Q-approximation and F_p-approximation have a limit, when these limits coincide, when they are independent of the sequence (G_i) and how they are related to b_1^(2)(G). In particular, we show that the limit of the sequence b_1(G_i;F_p)/[G:G_i] is greater than or equal to b_1^(2)(G) under the assumptions that (G_i) has trivial intersection and each G/G_i is a finite p-group.

math.GR↗

Equivariant principal bundles and their classifying spaces

We consider Γ-equivariant principal G-bundles over proper Γ-CW-complexes with prescribed family of local representations. We construct and analyze their classifying spaces for locally compact, second countable topological groups with finite covering dimension Γand G such that G is almost connected.

math.AT↗

Non-connective K- and Nil-spectra of additive categorie

We present an elementary construction of the non-connective algebraic K-theory spectrum associated to an additive category following the contracted functor approach due to Bass. It comes with a universal property that easily allows us to identify it with other constructions, for instance with the one of Pedersen-Weibel in terms of Z^i-graded objects and bounded homomorphisms.

math.KT↗