For any JdLG-admissible representation $Ï$ of a semigroup $S$ on a Banach space $E$, we show that the reversible part is weakly equivalent to a unitary representation on a Hilbert space that decomposes into a direct sum of finite dimensional representations, and we give an alternative characterization of the almost weakly stable part in terms of the unique invariant mean on the space of weakly almost periodic functions. In the case that $S$ is a bi-amenable measured semigroup, we characterize the almost weakly stable part using invariant means and averages along Følner sequences. Moreover, we give a description of the unique projection onto the reversible part whose kernel is the almost weakly stable part in terms of ultrafilters.
- Paper ID: 2509.24003
- Title: On the Jacobs-de Leeuw-Glicksberg decomposition
- Authors: Micky Barthmann (Chemnitz University of Technology), Sohail Farhangi (University of Adam Mickiewicz & Beijing Institute of Mathematical Sciences and Applications), Yulia Kuznetsova (Université Marie et Louis Pasteur)
- Classification: math.FA (Functional Analysis), math.DS (Dynamical Systems), math.RT (Representation Theory)
- Publication Date: October 16, 2025 (arXiv preprint)
- Paper Link: https://arxiv.org/abs/2509.24003
This paper proves that for any JdLG-admissible representation π of a semigroup S on a Banach space E, the reversible part is weakly equivalent to a unitary representation on a Hilbert space, which decomposes as a direct sum of finite-dimensional representations. The authors provide an alternative characterization of the almost weakly stable part through unique invariant means on the space of weakly almost periodic functions. When S is a doubly admissible measure semigroup, they characterize the almost weakly stable part using invariant means and averaging along Følner sequences. Additionally, they describe the unique projection operator onto the reversible part via ultrafilters, with kernel equal to the almost weakly stable part.
The Jacobs-de Leeuw-Glicksberg (JdLG) decomposition is a generalization of the classical compact-weakly mixing decomposition, originally proposed by Koopman and von Neumann for dynamical systems. For a unitary operator U acting on a Hilbert space H, there exists a decomposition H = Hc ⊕ Hw, where:
- Hc is the compact part: {ξ ∈ H : the orbit of ξ under U is precompact}
- Hw is the weakly mixing part: {ξ ∈ H : lim(N→∞) (1/N)∑(n=1)^N |⟨U^n ξ, ξ⟩| = 0}
- Theoretical Completeness: Existing JdLG decomposition theory lacks deep characterizations of the reversible part and almost weakly stable part
- Broad Applicability: JdLG decomposition has important applications in ergodic Ramsey theory, the proof of the Erdős sumset conjecture, weighted ergodic theorems, and other areas
- Technical Challenges: Requires extending results from Hilbert spaces to general Banach spaces and handling the complexity of semigroup structures
- Lack of unified characterization methods for the reversible part
- Insufficient clarity in alternative characterizations of the almost weakly stable part
- Insufficient exploration of connections with ultrafilter algebras
- Characterization of the Reversible Part: Proves that the reversible part of a JdLG-admissible representation is weakly equivalent to a direct sum of finite-dimensional unitary representations
- New Characterization of the Almost Weakly Stable Part: Provides alternative characterization through invariant means on weakly almost periodic function spaces
- Følner Sequence Characterization: For doubly admissible measure semigroups, characterizes the almost weakly stable part using Følner sequences and invariant means
- Ultrafilter Description: Establishes connections between JdLG decomposition and the Stone-Čech compactification algebra
- Unified Framework: Provides a unified analytical framework for various classes of admissible semigroups
Given a JdLG-admissible representation π of a semigroup S on a Banach space E, study its JdLG decomposition E = Er ⊕ Eaws, where:
- Er is the reversible part: {ξ ∈ E : ∀u ∈ S̄, ∃v ∈ S̄ such that vuξ = ξ}
- Eaws is the almost weakly stable part: {ξ ∈ E : for some u ∈ S̄, uξ = 0}
Here S̄ denotes the weak closure of π(S).
An operator semigroup T is JdLG-admissible if and only if:
- T is relatively weakly compact
- The minimal two-sided ideal K(S̄) of the weak closure S̄ of π(S) is a compact topological group
Theorem 3.6: Let π be a JdLG-admissible representation of a semigroup S on a Banach space E, and let πr be the restriction of π to Er. Then πr is weakly equivalent to a unitary representation U on a Hilbert space H, and U decomposes as a direct sum of finite-dimensional representations.
Proof Strategy:
- Construct a set X = ∪∞(n=1) Xn of finite unitary system matrix representations
- Define Hilbert space H = ⊕(χ∈X) Hχ, where Hχ = Cn
- Construct unitary representation U = ⊕(χ∈X) χ̃ and prove U is weakly equivalent to πr
Lemma 4.1: Let S be a semi-topological semigroup with a bi-invariant mean m, and let π be a relatively weakly compact representation of S on E. For ξ ∈ E, the following are equivalent:
- ξ ∈ Eaws
- For all p > 0 and f' ∈ E', m(s ↦ |f'(πsξ)|^p) = 0
- There exists p > 0 such that for all f' ∈ E', equation (2) holds
Through approximation theory of matrix coefficients, establishes weak equivalence between Banach space representations and Hilbert space unitary representations, avoiding the requirement of direct equivalence.
Utilizes the Haar measure on the minimal ideal K(Sw) of the weakly almost periodic compactification Sw to transform abstract invariant mean problems into concrete integral calculations.
Theorem 4.2: For doubly admissible measure semigroups (S,λ), establishes equivalence between density convergence and weak convergence:
- d*-lim(s) πsξ = 0 weakly ⟺ ξ ∈ Eaws
- Characterization via averaging along Følner sequences
This paper is primarily theoretical research, verifying theoretical results through constructive proofs and counterexamples:
- Example 3.3: Representation π(n)(z) = 2^(-n)z on C, verifying that Corollary 3.2 does not apply to general semigroups
- Example 3.5: Semigroup example with non-unique fixed points, demonstrating necessity of conditions in Proposition 3.4
- Example 4.3: Constructs semigroup S = {(m,n) ∈ Z² : m ≥ 0, n ≥ 1} that is left-admissible but not right-admissible, demonstrating necessity of the doubly admissible condition
The paper demonstrates applications of the theory in the following scenarios:
- Representations of locally compact admissible groups
- Markov operator semigroups
- Contraction operator semigroups
- ℓ²-bounded representations of quantum semigroups
Let E be a Banach space, T ⊆ L(E) be a JdLG-admissible operator semigroup, and E = Er ⊕ Eaws be the JdLG decomposition. Then:
- The restriction of T to Er is weakly equivalent to a unitary representation U on a Hilbert space, and U decomposes as a direct sum of finite-dimensional representations
- Let M be a bi-invariant mean on Cb(T). Then
Eaws = {ξ ∈ E : ∀f' ∈ E', M(t ↦ |f'(πtξ)|) = 0}
Let G be a locally compact admissible group, λ be a left Haar measure, F be a left Følner net, E be a Banach space, and π be a relatively weakly compact representation of G on E. Then:
- Er = {ξ ∈ E : π(G)ξ is relatively compact in E}
- Eaws = {ξ ∈ E : lim(i) (1/λ(Fi)) ∫(Fi) |⟨πgξ, x'⟩| dλ(g) = 0, ∀x' ∈ E'}
Let S be a discrete semigroup, and π be a JdLG-admissible representation of S on E:
- If p ∈ K(βS) is an idempotent, then πp = Q (the projection operator onto Er)
- If S is doubly admissible and p is an essential idempotent, then πp = Q
- If S is an admissible group and p = qq^(-1) for some q ∈ Δ*(S), then πp = Q
- Koopman-von Neumann (1932): First introduced the concept of weakly mixing for dynamical systems
- Godement (1948): Extended to locally compact groups
- Jacobs-de Leeuw-Glicksberg (1956,1961): Generalized to operator semigroups on Banach spaces
- Dye (1965): Version for admissible semigroups
- Ergodic Ramsey theory Bergelson, 1996
- Erdős sumset conjecture Moreira et al., 2019
- Weighted ergodic theorems Eisner & Lin, 2018
- Perron-Frobenius theory Bátkai et al., 2011
This paper is closely related to the following research directions:
- Operator semigroup theory
- Abstract harmonic analysis
- Ergodic theory
- Representation theory
- Structure Theorem: The reversible part of JdLG-admissible representations has a completely classifiable structure (direct sum of finite-dimensional unitary representations)
- Characterization Theorems: The almost weakly stable part can be characterized through multiple methods including invariant means, Følner sequences, and ultrafilters
- Unified Framework: Provides unified analytical methods for different types of admissible semigroups
- Technical Constraints: Some results require doubly admissibility; the one-sided admissible case is more complex
- Computational Complexity: Practical computation of invariant means and ultrafilter limits may be difficult in applications
- Non-admissible Cases: The theoretical framework does not apply to non-admissible semigroups
- Algorithm Implementation: Develop effective algorithms for computing JdLG decompositions
- Non-admissible Generalizations: Study decomposition theory for more general semigroups
- Quantum Generalizations: Extend to quantum groups and quantum semigroups
- Application Extensions: Applications in partial differential equations, probability theory, and other fields
- Theoretical Depth: Provides deep analysis of JdLG decomposition theory, filling important theoretical gaps
- Methodological Innovation: Cleverly combines tools from functional analysis, harmonic analysis, and topology
- Complete Results: Provides multiple equivalent characterizations of the reversible and almost weakly stable parts
- Technical Rigor: Proofs are rigorous, logic is clear, and mathematical exposition is accurate
- Application Examples: Lacks concrete numerical examples and computational illustrations
- Computational Methods: Does not provide algorithms for practical computation of JdLG decompositions
- Comparative Analysis: Insufficient comparison with other decomposition methods
- Theoretical Contribution: Provides important tools for functional analysis and ergodic theory
- Application Potential: Has broad application prospects in dynamical systems, probability theory, partial differential equations, and other fields
- Research Inspiration: Provides new ideas and methods for subsequent research in related fields
- Theoretical Research: Operator semigroup theory, representation theory, ergodic theory research
- Applied Mathematics: Dynamical systems analysis, stochastic process research
- Numerical Computation: Structural analysis of large-scale linear systems
- Physical Applications: Symmetry analysis of quantum systems
The paper cites 38 important references, covering core literature from classical Koopman-von Neumann theory to modern ergodic Ramsey theory and related fields, demonstrating the authors' solid theoretical foundation and broad academic vision in this area.
Overall Assessment: This is a high-quality theoretical mathematics paper that makes significant progress in JdLG decomposition theory. The paper has high technical depth and significant theoretical contributions, laying a solid foundation for further development in related fields. Although it lacks application examples, its theoretical value and potential impact are undeniable.