Abstract:We develop a quantitative theory of Lipschitz harmonic functions (LHF) on finitely generated groups, with emphasis on the Lipschitz Liouville property, affine rigidity, and quasi-isometric invariance for groups of polynomial growth. On finitely generated nilpotent groups we prove an affine rigidity theorem: for any adapted, smooth, Abelian-centered probability measure $\mu$, every Lipschitz $\mu$-harmonic function is affine, $f(x)=c+\varphi([x])$. For any finite generating set $S$ this yields a canonical isometric identification $$
\mathrm{LHF}(G,\mu)/\mathbb{C} \cong \mathrm{Hom}(G_{\mathrm{ab}},\mathbb{C}),\qquad
\|\nabla_S f\|_\infty=\max_{s\in S}|\varphi([s])|, $$ independent of the choice of centered measure. In addition, we prove an identification of HF$_1$ with LHF on polynomial growth groups for adapted, smooth, Abelian-centered measures. Next, for any finite-index subgroup $H\le G$ and adapted smooth $\mu$ we prove a quantitative induction-restriction principle: restriction along $H$ and an explicit averaging operator give a linear isomorphism $\mathrm{LHF}(G,\mu)\cong\mathrm{LHF}(H,\mu_H)$, where $\mu_H$ is the hitting measure, with two-sided control of the Lipschitz seminorms. For groups of polynomial growth equipped with $\mathrm{SAS}$ measures we then show that $\mathrm{LHF}$ is a quasi-isometry invariant as a seminormed affine space, via choice-dependent Shalom--Sauer transport on virtual first cohomology. Separately, for quasi-isometries with bounded Abelian defect, we construct coarse harmonic coordinates that straighten them up to bounded error. Finally, within the Lyons-Sullivan/Ballmann-Polymerakis discretization framework, we prove a quantitative discrete-to-continuous extension theorem: Lipschitz harmonic data on an orbit extend to globally Lipschitz $L$-harmonic functions on the ambient manifold, with gradient bounds controlled by the background geometry.
| Comments: | 66 pages. Comments highly appreciated! |
| Subjects: | Group Theory (math.GR); Metric Geometry (math.MG); Probability (math.PR) |
| Cite as: | arXiv:2512.06753 [math.GR] |
| (or arXiv:2512.06753v2 [math.GR] for this version) | |
| https://doi.org/10.48550/arXiv.2512.06753 arXiv-issued DOI via DataCite |
From: Soumyadeb Samanta [view email]
[v1]
Sun, 7 Dec 2025 09:34:05 UTC (39 KB)
[v2]
Fri, 22 May 2026 14:38:25 UTC (71 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。