arXiv research

For every strong coarse homology theory we construct a coarse assembly map as a natural transformation between coarse homology theories. We provide various conditions implying that this assembly map is an equivalence. These results generalize known results for the analytic coarse assembly map for K-homology to general …

Survey on metrics and assembly maps in positive scalar curvature.

We construct the geometric Baum-Connes assembly map for twisted Lie groupoids, that means for Lie groupoids together with a given groupoid equivariant $PU(H)-$principle bundle. The construction is based on the use of geometric deformation groupoids, these objects allow in particular to give a geometric construction of …

We study in this paper the maximal version of the coarse Baum-Connes assembly map for families of expanding graphs arising from residually finite groups. Unlike for the usual Roe algebra, we show that this assembly map is closely related to the (maximal) Baum-Connes assembly map for the group and is an isomorphism for …

In this article, we introduce the notion of a functor on coarse spaces being coarsely excisive- a coarse analogue of the notion of a functor on topological spaces being excisive. Further, taking cones, a coarsely excisive functor yields a topologically excisive functor, and for coarse topological spaces there is an ass…

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 isomorphis…

Defines and computes geometric pairings for discrete groups using Baum-Connes assembly map.

We construct a higher Whitehead torsion map, using algebraic K-theory of spaces, and show that it satisfies the usual properties of the classical Whitehead torsion. This is used to describe a "geometric assembly map" defined on stabilized structure spaces in purely homotopy theoretic terms.

Model for assembly map of bordism-invariant functors.

Controlled $K$-theory is used to show that algebraic $K$-theory of virtually abelian groups is described by an assembly map defined using possibly-infinite hyperelementary subgroups. The Farrell-Jones summand (coming from infinite subgroups) is parameterized by the rational projective space of the group, and a reduced …

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, …

In this paper we introduce a homotopy theoretic technique for proving that the $K$-theoretic assembly map is an equivalence. It is an extension of the methods used to prove split injectivity of the assembly and applies to any geometrically finite group. Our result is that there are two requirements which need to hold. …

In this paper, the first of a series of two, we continue the study of higher index theory for expanders. We prove that if a sequence of graphs is an expander and the girth of the graphs tends to infinity, then the coarse Baum-Connes assembly map is injective, but not surjective, for the associated metric space $X$. Exp…

Between the category of exact metric spaces with bounded geometry (about which much is known) and the larger category of arbitrary exact metric spaces (about which little is known) lies the intermediate category of asymptotically exact metric spaces. We show that the coarse Baum-Connes assembly map is naturally split s…

Analyzes semi-characteristics on specific manifolds, proving a vanishing theorem.

This paper provides a full controlled version of algebraic $K$-theory. This includes a rich array of assembly maps; the controlled assembly isomorphism theorem identifying the controlled group with homology; and the stability theorem describing the behavior of the inverse limit as the control parameter goes to 0. There…

A geometric model for twisted $K$-homology is introduced. It is modeled after the Mathai-Melrose-Singer fractional analytic index theorem in the same way as the Baum-Douglas model of $K$-homology was modeled after the Atiyah-Singer index theorem. A natural transformation from twisted geometric $K$-homology to the new g…

For a proper, cocompact action by a locally compact group of the form $H \times G$, with $H$ compact, we define an $H \times G$-equivariant index of $H$-transversally elliptic operators, which takes values in $KK_*(C^*H, C^*G)$. This simultaneously generalises the Baum--Connes analytic assembly map, Atiyah's index of t…

We prove that any countable discrete and torsion free subgroup of a general linear group over an arbitrary field or a similar subgroup of an almost connected Lie group satisfies the integral algebraic K-theoretic (split) Novikov conjecture over \cpt and §, where \cpt denotes the C^*-algebra of compact operators and §de…

This paper is a systematic approach to the construction of coronas (i.e. Higson dominated boundaries at infinity) of combable spaces. We introduce three additional properties for combings: properness, coherence and expandingness. Properness is the condition under which our construction of the corona works. Under the as…

We give a new proof of an index theorem for fiber bundles of compact topological manifolds due to Dwyer, Weiss, and Williams, which asserts that the parametrized $A$-theory characteristic of such a fiber bundle factors canonically through the assembly map of $A$-theory. Furthermore our main result shows a refinement of…

This paper explores topological aspects of index theory for infinite-dimensional manifolds.

In this paper, the second of a series of two, we continue the study of higher index theory for expanders. We prove that if a sequence of graphs has girth tending to infinity, then the maximal coarse Baum-Connes assembly map is an isomorphism for the associated metric space $X$. As discussed in the first paper in this s…

We give a complete and detailed proof of Harer's stability theorem for the homology of mapping class groups of surfaces, with the best stability range presently known. This theorem and its proof have seen several improvements since Harer's original proof in the mid-80's, and our purpose here is to assemble these many a…

Defines Whitehead torsion for topological spaces via K-theory.

Model predicts composite structures assembly quality with input uncertainty.

The weak regular coherence is a coarse property of a finitely generated group $Γ$. It was introduced by G. Carlsson and this author to play the role of a weakening of Waldhausen's regular coherence as part of computation of the integral K-theoretic assembly map. A new class of metric spaces (sFDC) was introduced recent…

We present an alternative approach to the result of Guentner, Higson, and Weinberger concerning the Baum-Connes conjecture for finitely generated subgroups of SL(2,C). Using finite-dimensional methods, we show that the Baum-Connes assembly map for such groups is an isomorphism.

This is a sequel to the paper "The signature package on Witt spaces, I. Index classes" by the same authors. In the first part we investigated, via a parametrix construction, the regularity properties of the signature operator on a stratified Witt pseudomanifold, proving, in particular, that one can define a K-homology …

If a Lie algebra structures $\gG$ on a vector space is the sum of a family of mutually compatible Lie algebra structures $\gG_i$, we say that $\gG$ is \emph{simply assembled} from $\gG_s$'s. By repeating this procedure several times one gets a family of Lie algebras \emph{assembled} from $\gG_s$'s. The central result o…

We give a concise introduction to the Farrell-Jones Conjecture in algebraic $K$-theory and to some of its applications. We survey the current status of the conjecture, and we illustrate the two main tools that are used to attack it: controlled algebra and trace methods.

Realistic evolutionary fitness landscapes are notoriously difficult to construct. A recent cutting-edge model of virus assembly consists of a dodecahedral capsid with $12$ corresponding packaging signals in three affinity bands. This whole genome/phenotype space consisting of $3^{12}$ genomes has been explored via comp…

If a Lie algebra structure g on a vector space is the sum of a family of mutually compatible Lie algebra structures g_i's, we say that g is simply assembled from the g_i's. Repeating this procedure with a number of Lie algebras, themselves simply assembled from the g_i's, one obtains a Lie algebra assembled in two step…

A framework for generating 3D shapes by sequentially assembling primitives.

We study the hairy graph homology of a cyclic operad; in particular we show how to assemble corresponding hairy graph cohomology classes to form cocycles for ordinary graph homology, as defined by Kontsevich. We identify the part of hairy graph homology coming from graphs with cyclic fundamental group as the dihedral h…

Let $X$ be a connected compact 3-manifold with non-empty boundary. Consider the boundary $M$ of $X\times D^2$. $M$ is a 4-dimensional closed manifold and has the same fundamental group as $X$. Various examples of $X$ are known for which a certain assembly map $A:H_4(X;L)\to L_4(π_1(X))$ is injective. For such an $X$ an…

We analyze linear independence of rank one tensors produced by tensor powers of randomly perturbed vectors. This enables efficient decomposition of sums of high-order tensors. Our analysis builds upon [BCMV14] but allows for a wider range of perturbation models, including discrete ones. We give an application to recove…

Model detects patterns in noisy binary data, explaining neuron activity in terms of cell assemblies.

In this paper, we propose a semi-supervised deep learning method for detecting the specific types of reads that impede the de novo genome assembly process. Instead of dealing directly with sequenced reads, we analyze their coverage graphs converted to 1D-signals. We noticed that specific signal patterns occur in each r…

Easy-to-assemble 3D model of Boy's surface.

Bayesian calibration for BCP self-assembly models using image data and measure transport.

In this paper we provide descriptions of the Whitehead groups with coefficients in a ring of the Hilbert modular group and its reduced version, as well as for the topological K-theory of $C^*$-algebras, after tensoring with $\mathbb{Q}$, by computing the source of the assembly maps in the Farrell-Jones and the Baum-Con…

It is a deep fact that the homotopy classification of topological manifolds is convariantly functorial. In other words, a map from a topological manifold M to another N naturally induces a map from the structure set S(M) to S(N). We extend the fact to the isovariant structure set S_G(M, rel M_s) of G-equivariant topolo…

This paper presents an alternative approach to controlled surgery obstructions. The obstruction for a degree one normal map $(f,b): M^n \rightarrow X^n$ with control map $q: X^n \rightarrow B$ to complete controlled surgery is an element $σ^c (f, b) \in H_n (B, \mathbb{L})$, where $M^n, X^n$ are topological manifolds o…

We classify closed, topological spin$^+$ 4-manifolds with fundamental group $π$ of cohomological dimension $\leq 3$ (up to s-cobordism), after stabilization by connected sum with at most $b_3(π)$ copies of $S^2\times S^2$. In general we must also assume that $π$ also satisfies certain K-theory and assembly map conditio…

Using a theorem of Lück-Reich-Rognes-Varisco, we show that the Whitehead group of Thompson's group T is infinitely generated, even when tensored with the rationals. To this end we describe the structure of the centralizers and normalizers of the finite cyclic subgroups of T, via a direct geometric approach based on rot…

Deep neural networks (DNNs) are known for extracting useful information from large amounts of data. However, the representations learned in DNNs are typically hard to interpret, especially in dense layers. One crucial issue of the classical DNN model such as multilayer perceptron (MLP) is that neurons in the same layer…

Decomposition complexity for metric spaces was recently introduced by Guentner, Tessera, and Yu as a natural generalization of asymptotic dimension. We prove a vanishing result for the continuously controlled algebraic K-theory of bounded geometry metric spaces with finite decomposition complexity. This leads to a proo…