BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Boris Goldfarb

Boris Goldfarb contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.KTmath.ATmath.GTmath.MGComputational Geometry

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
5topics
3close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2026arXiv

Algebraic K-theory of Geometric Groups

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. The first is that the assembly map for the group regarded as a metric space is an equivalence. This is a non-equivariant condition and depends only on the coarse type of the word metric on the group. The second is that the group ring satisfies an algebraic coherence condition, which currently can be verified for all known groups for which the split injectivity statement for the assembly holds. The two conditions extend very broadly. In particular, both conditions hold for groups of finite asymptotic dimension. To state the main theorem precisely, given a regular Noetherian ring $A$ of finite global dimension and a group $Γ$ with finite $K(Γ,1)$ and finite asymptotic dimension, we prove that the $K$-theoretic assembly map is an equivalence. Therefore, in all dimensions the $K$-theory of $A[Γ]$ is the group homology of $Γ$ with coefficients in the $K$-theory spectrum of $A$. One of the many geometric consequences of this theorem is vanishing of the Whitehead group of $Γ$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Merging discrete Morse vector fields: a case of stubborn geometric parallelization

We address the basic question in discrete Morse theory of combining discrete gradient fields that are partially defined on subsets of the given complex. This is a well-posed question when the discrete gradient field $V$ is generated using a fixed algorithm which has a local nature. One example is ProcessLowerStars, a widely used algorithm for computing persistent homology associated to a grey-scale image in 2D or 3D. While the algorithm for $V$ may be inherently local, being computed within stars of vertices and so embarrassingly parallelizable, in practical use it is natural to want to distribute the computation over patches $P_{i}$, apply the chosen algorithm to compute the fields $V_{i}$ associated to each patch, and then assemble the ambient field $V$ from these. Simply merging the fields from the patches, even when that makes sense, gives a wrong answer. We develop both very general merging procedures and leaner versions designed for specific, easy to arrange covering patterns.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Asymptotic transfer maps in parametrized K-theory

We define asymptotic transfers in bounded K-theory together with a context where this can be done in great generality. Controlled algebra plays a central role in many advances in geometric topology, including recent work on Novikov, Borel, and Farrell-Jones conjectures. One of the features that appears in various manifestations throughout the subject, starting with the original work of Farrell and Jones, is an asymptotic transfer whose meaning and construction depend on the geometric circumstances. We first develop a general framework that allows us to construct a version of asymptotic transfer maps for any finite aspherical complex. This framework is the equivariant parametrized K-theory with fibred control. We also include several fibrewise excision theorems for its computation and a discussion of where the standard tools break down and which tools replace them.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Colimit theorems for coarse coherence with applications

We establish two versions of a central theorem, the Family Colimit Theorem, for the coarse coherence property of metric spaces. This is a coarse geometric property and so is well-defined for finitely generated groups with word metrics. It is known that coarse coherence of the fundamental group has important implications for classification of high-dimensional manifolds. The Family Colimit Theorem is one of the permanence theorems that give structure to the class of coarsely coherent groups. In fact, all known permanence theorems follow from the Family Colimit Theorem. We also use this theorem to construct new groups from this class.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Bounded G-theory with fibred control

We use filtered modules over a Noetherian ring and fibred bounded control on homomorphisms to construct a new kind of controlled algebra with applications in geometric topology. The theory here can be thought of as a "pushout" of the bounded K-theory with fibred control and the controlled G-theory constructed and used by the authors. This paper contains the non-equivariant theory including controlled excision theorems crucial for computations.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Singular persistent homology with geometrically parallelizable computation

Persistent homology is a popular tool in Topological Data Analysis. It provides numerical characteristics of data sets which reflect global geometric properties. In order to be useful in practice, for example for feature generation in machine learning, it needs to be effectively computable. Classical homology is a computable topological invariant because of the Mayer-Vietoris exact and spectral sequences associated to coverings of a space. We state and prove versions of the Mayer-Vietoris theorem for persistent homology under mild and commonplace assumptions. This is done through the use of a new theory, the singular persistent homology, better suited for handling coverings of data sets. As an application, we create a distributed computational workflow where the advantage is not only or even primarily in speed improvement but in sheer feasibility for large data sets.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Coarse coherence of metric spaces and groups and its permanence properties

We introduce properties of metric spaces and, specifically, finitely generated groups with word metrics which we call coarse coherence and coarse regular coherence. They are geometric counterparts of the classical algebraic notion of coherence and the regular coherence property of groups defined and studied by F. Waldhausen. The new properties can be defined in the general context of coarse metric geometry and are coarse invariants. In particular, they are quasi-isometry invariants of spaces and groups. We show that coarse regular coherence implies weak regular coherence, a weakening of regular coherence by G. Carlsson and the first author. The latter was introduced with the same goal as Waldhausen's, in order to perform computations of algebraic K-theory of group rings. However, all groups known to be weakly regular coherent are also coarsely regular coherent. The new framework allows us to prove structural results by developing permanence properties, including the particularly important fibering permanence property, for coarse regular coherence.

0 citations0 reviewsNo code linkedOpen access