Stallings-Swan's theorem for Borel graphs

開催日時
2025/12/16 Tue 15:00 - 16:30
場所
6号館609号室
講演者
Hiroki Ishikura
講演者所属
The University of Tokyo
概要

A Borel graph is a simplicial graph on a standard Borel space X such that the edge set is a Borel subset of X^2. This has been studied in the context of countable Borel equivalence relations, and recently there are many attempts to apply the ideas of geometric group theory. Stallings-Swan's theorem states that groups of cohomological dimension 1 are free groups. We will talk about an analog of this theorem for Borel graphs: A Borel graph on X with uniformly bounded degrees of cohomological dimension 1 is Lipschitz equivalent to a Borel acyclic graph on X. This is proved by establishing a criterion for certain decomposition of Borel graphs, which is inspired by Dunwoody's work on accessibility of groups.