On the isoperimetric profile in infinite dimensional pro-Lie groups
Abstract
Let K be a nontrivial compact connected Lie group with a bi-invariant Riemannian metric. On the compact pro-Lie group KN we define a weighted variation by summing the distributional variations in its Lie group coordinates. We prove that all sublevel sets with bounded L1-norm and weighted variation are compact in L1 if and only if the coordinate weights tend to infinity. The proof gives a quantitative estimate for approximation by Haar averages over normal subgroups, illustrating that it is possible to apply a methodology which is typical of the geometric measure theory in a specific area of the topological group theory. The resulting perimeter is invariant under left and right translations and is preserved under pullback by quotient homomorphisms equipped with quotient metrics. Isoperimetric minimizers exist at every prescribed Haar probability. For the infinite torus, the compactness condition is equivalent to properness of a weighted length on its character group and to compactness of a Fourier multiplier's resolvent. Finally, we show that locally compact noncompact groups require an additional condition of tightness, in order to be treated as an appropriate generalization of the compact case.
Related
- The Isoperimetric Inequality in Higher-Dimensional Heisenberg Groups
- The relative isoperimetric profile of a unit square with a central square removed
- The isoperimetric problem for four-dimensional parallelohedra
- Anisotropic Friedel oscillations and isoperimetric transport in two-dimensional free lattice Fermi seas
- Infinite periodic groups of even exponents
BibTeX
@misc{kazeem2026isoperimetric,
title = {{On the isoperimetric profile in infinite dimensional pro-Lie groups}},
author = {Eniola Kazeem and Francesco G. Russo},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.25088},
eprint = {2610.25088},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.25088},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - On the isoperimetric profile in infinite dimensional pro-Lie groups
AU - Eniola Kazeem
AU - Francesco G. Russo
PY - 2026
DA - 2026/10/18
PB - arXiv
DO - 10.48550/arxiv.2610.25088
UR - https://arxiv.org/abs/2610.25088
AB - Let K be a nontrivial compact connected Lie group with a bi-invariant Riemannian metric. On the compact pro-Lie group K^N we define a weighted variation by summing the distributional variations in its Lie group coordinates. We prove that all sublevel sets with bounded L^1-norm and weighted variation are compact in L^1 if and only if the coordinate weights tend to infinity. The proof gives a quantitative estimate for approximation by Haar averages over normal subgroups, illustrating that it is possible to apply a methodology which is typical of the geometric measure theory in a specific area of the topological group theory. The resulting perimeter is invariant under left and right translations and is preserved under pullback by quotient homomorphisms equipped with quotient metrics. Isoperimetric minimizers exist at every prescribed Haar probability. For the infinite torus, the compactness condition is equivalent to properness of a weighted length on its character group and to compactness of a Fourier multiplier's resolvent. Finally, we show that locally compact noncompact groups require an additional condition of tightness, in order to be treated as an appropriate generalization of the compact case.
ER -