The absolute of finitely generated groups. I: Commutative (semi)groups

DOI10.1007/S40879-018-0263-8MaRDI QIDQ1630217zbMATH OpenOpenAlexFDO

Authors A. M. Vershik, A. V. Malyutin

Publication date 7 December 2018

Published in European Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1801.02012

zbMATH Keywords

characterscentral measureabsolutetopology of absolute

Mathematics Subject Classification ID

Discrete-time Markov processes on general state spaces (60J05) Set functions and measures on topological groups or semigroups, Haar measures, invariant measures (28C10) Martin boundary theory (31C35) Other transformations of harmonic type (42C20)

Abstract: We give a complete description of the absolute of commutative finitely generated groups and semigroups. The absolute (previously called the exit boundary) is a further elaboration of the notion of the boundary of a random walk on a group (the Poisson--Furstenberg boundary); namely, the absolute of a (semi)group is the set of ergodic central measures on the compactum of all infinite trajectories of a simple random walk on the group. Related notions have been discussed in the probability literature: Martin boundary, entrance and exit boundaries (Dynkin), central measures on path spaces of graphs (Vershik--Kerov). A central measure (with respect to a finite system of generators of a group or semigroup) is a Markov measure on the space of trajectories whose cotransition distribution at every point is the uniform distribution on the generators (i.e., a measure of maximal entropy). For a more general notion of measures with a given cocycle. For the group~$BbbZ$, the problem of describing the absolute is solved exactly by the classical de~Finetti's theorem. The main result of this paper, which is a far-reaching generalization of de~Finetti's theorem, is as follows: the absolute of a commutative semigroup coincides with the set of central measures corresponding to (nonstationary) Markov chains with independent identically distributed increments. Topologically, the absolute is (in the main case) a closed disk of finite dimension.

Recommendations

• The absolute of finitely generated groups. II: The Laplacian and degenerate parts
• Random walks of infinite moment on free semigroups
• The Martin boundary of a free product of abelian groups
• Phase transition in the exit boundary problem for random walks on groups
• Finitely additive random walks on infinitely generated free groups

Cites work

• scientific article; zbMATH DE number 3151943 (Why is no real title available?)
• scientific article; zbMATH DE number 3154256 (Why is no real title available?)
• scientific article; zbMATH DE number 3179521 (Why is no real title available?)
• scientific article; zbMATH DE number 3500059 (Why is no real title available?)
• scientific article; zbMATH DE number 3335967 (Why is no real title available?)
• Equipped graded graphs, projective limits of simplices, and their boundaries
• Intrinsic metric on graded graphs, standardness, and invariant measures
• On Martin Boundaries for the Direct Product of Markov Chains
• Phase transition in the exit boundary problem for random walks on groups
• Random Walks on Infinite Graphs and Groups
• Random walks on discrete groups: Boundary and entropy
• The problem of describing central measures on the path spaces of graded graphs
• The theory of filtrations of subalgebras, standardness, and independence

Cited in

(8)

• Infinite geodesics in the discrete Heisenberg group
• The absolute of the comb graph
• Traces on diagram algebras. II: Centralizer algebras of easy groups and new variations of the Young graph
• Semistability and simple connectivity at of finitely generated groups with a finite series of commensurated subgroups
• Traces on diagram algebras I: Free partition quantum groups, random lattice paths and random walks on trees
• The boundary of the refined Kingman graph
• Asymptotics of the number of geodesics in the discrete Heisenberg group
• The absolute of finitely generated groups. II: The Laplacian and degenerate parts

This page was built for publication: The absolute of finitely generated groups. I: Commutative (semi)groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1630217)