A Note on the Peter-Weyl Theorem

This paper generalizes the Peter-Weyl Theorem by demonstrating that functions on locally compact groups with large nontrivial compact open subgroups can be approximated by locally representative functions.

The Gist

Here is an explanation of the paper "A Note on the Peter-Weyl Theorem" using simple language, analogies, and metaphors.

The Big Picture: Breaking Down the Unbreakable

Imagine you are a chef trying to recreate a complex, delicious stew. You know that if you break the stew down into its basic ingredients (carrots, potatoes, beef), you can understand it perfectly. In mathematics, there is a famous rule called the Peter-Weyl Theorem. It says that if you have a "compact" group (think of this as a closed, finite, self-contained world like a circle or a sphere), you can take any complicated function (a pattern or a sound wave) living on that world and break it down into simple, building-block pieces called representative functions.

It's like saying: "Any song played on a perfect, finite drum can be recreated by mixing together simple drum beats."

The Problem: What if the World is Infinite?

The original Peter-Weyl Theorem only works on those "closed, finite worlds" (compact groups). But what if your world is infinite? What if you are working with locally compact groups?

Think of a locally compact group like an infinite highway.

• The highway goes on forever (so it's not "compact").
• However, if you stand at any specific spot, the road looks normal and finite right around you (so it is "locally compact").

The big question the authors ask is: "Can we still break down the complex patterns on this infinite highway into simple building blocks, just like we did on the finite drum?"

The Solution: The "Lifted" Strategy

The authors, Yanga Bavuma, Francesco G. Russo, and Elizabeth Stevenson, say Yes, but only if the infinite highway has a special feature: a large, self-contained "island" of finite road right in the middle of it.

In math terms, they need the group to have a compact open subgroup.

• Analogy: Imagine the infinite highway has a giant, perfectly circular roundabout (the compact subgroup) that is a distinct, separate section of the road.

Here is their clever trick, step-by-step:

1. The Slice: Since the highway is made of many copies of this roundabout (mathematicians call these "cosets"), they slice the infinite highway into many separate pieces, where each piece looks exactly like that roundabout.
2. The Local Fix: On each individual piece (the roundabout), they use the old, famous Peter-Weyl Theorem. They approximate the complex pattern on that specific piece using simple beats.
3. The "Lift": This is the magic step. They take those simple beats from the roundabout and "lift" them up to the whole highway.
   • How? Imagine you have a perfect painting of a flower on a small postcard (the roundabout). You take that postcard and tape it onto a giant billboard (the highway). Everywhere else on the billboard, you paint it black (zero).
   • In math, this is called a Lifting Operator. It takes a function defined on the small subgroup and extends it to the whole group, making it zero everywhere else.
4. The Glue: They do this for every slice of the highway. Then, they glue all these "lifted" simple patterns together.

The Result

By stitching together these "lifted" simple patterns, they can approximate any continuous function on the infinite highway, just as accurately as the original theorem did for the finite drum.

They call these new building blocks "Lifted Representative Functions."

Why Does This Matter? (The Real-World Example)

The paper gives a specific example: The p-adic numbers ($\mathbb{Q}_p$).

• Think of these as a strange, infinite number system used in advanced cryptography and number theory.
• Inside this infinite system, there is a perfect, finite "island" called the p-adic integers ($\mathbb{Z}_p$).
• Because this "island" exists, the authors' new method works perfectly here. It allows mathematicians to analyze complex signals in this strange number system by breaking them down into manageable, finite pieces.

The Catch (When It Doesn't Work)

The authors point out a limitation. This method requires that "island" (the compact open subgroup) to exist.

• Analogy: If you try to do this on a connected shape, like a solid ball or a straight line that goes on forever without any breaks or distinct islands, it fails.
• Why? Because a connected shape cannot be sliced into separate, distinct "islands" without cutting it apart. If the shape is all one piece (connected), you can't find that special "roundabout" to start your slicing process.

Summary

• Old Rule: You can break down complex patterns on finite, closed shapes into simple pieces.
• New Rule: You can also break down complex patterns on infinite shapes, IF those infinite shapes contain a distinct, finite "island" inside them.
• The Method: Slice the infinite shape into copies of the island, solve the problem on the island, and "lift" the solution back to the whole shape.

This paper is essentially a bridge, allowing the powerful tools of finite mathematics to be used on certain types of infinite structures, opening the door for new discoveries in analysis and number theory.

Technical Summary

Here is a detailed technical summary of the paper "A Note on the Peter-Weyl Theorem" by Bavuma, Russo, and Stevenson.

1. Problem Statement

The classical Peter-Weyl Theorem is a cornerstone of representation theory, stating that for a compact group $G$, the space of representative functions $R(G, \mathbb{K})$ (functions whose orbit under the group action spans a finite-dimensional space) is dense in the space of continuous functions $C(G, \mathbb{K})$ and the Hilbert space $L^2(G, \mathbb{K})$. This generalizes Fourier series from the circle group to arbitrary compact groups.

However, the theorem does not directly apply to locally compact groups that are not compact. The authors address the specific problem of extending the approximation capabilities of the Peter-Weyl Theorem to locally compact groups possessing a nontrivial compact open subgroup. Such groups include $p$-adic fields (e.g., $\mathbb{Q}_p$) but exclude connected non-compact groups (like $\mathbb{R}^n$), which lack such subgroups.

2. Methodology

The authors employ a "local-to-global" approximation strategy based on the topological structure of the group:

• Coset Decomposition: If a locally compact group $G$ has a compact open subgroup $H$, the group can be partitioned into disjoint cosets $\{Hg_i\}_{i \in I}$. Since $H$ is open, these cosets are also open. Since $H$ is compact, each coset is topologically isomorphic to a compact group.
• Lifting Operator: The authors define a lifting operator $\ell_G$ that maps a function $k$ defined on the subgroup $H$ to a function on the whole group $G$. The lifted function $\ell_G(k)$ retains the values of $k$ on $H$ and is zero elsewhere ($G \setminus H$).
• Shifted Lifts: To cover the entire group, they consider shifts of these lifted functions. A "lifted representative function" is defined as a linear combination of shifts $g \cdot \ell_G(k)$, where $k$ is a representative function on $H$.
• Measure Normalization: A critical technical step involves normalizing the Haar measure $\lambda$ on $G$ such that the measure of the subgroup $H$ is 1 ($\int \chi_H d\lambda = 1$). This ensures that the $L^2$-norm of a function on $H$ is preserved when lifted to $G$.
• Approximation Algorithm:
  1. Take a continuous function $f$ with compact support on $G$.
  2. Decompose $f$ into a finite sum of functions $f_i$, each supported on a single coset $Hg_i$.
  3. Shift each $f_i$ to the subgroup $H$.
  4. Apply the classical Peter-Weyl Theorem on the compact group $H$ to approximate the shifted function with a representative function $k_N \in R(H, \mathbb{K})$.
  5. Lift $k_N$ back to $G$ and shift it back to the original coset.
  6. Sum these approximations to form a sequence converging to $f$ in the $L^2$-norm.

3. Key Contributions

• Definition of Lifted Representative Functions: The paper introduces the set $\hat{R}(G, \mathbb{K})$, defined as the span of shifted lifts of representative functions from a compact open subgroup $H$.
  $$\hat{R}(G, \mathbb{K}) := \text{span} \{ g \ell_G(k) \mid k \in R(H, \mathbb{K}), g \in G \}$$
• Preservation of Norms: The authors prove (Lemma 3.5) that under a specific normalization of the Haar measure on $G$, the $L^2$-norm of a function on $H$ is identical to the $L^2$-norm of its lift to $G$. This is essential for establishing convergence in the $L^2$ topology.
• Generalization of Density: The paper proves that $\hat{R}(G, \mathbb{K})$ is a dense subspace of $L^2(G, \mathbb{K})$ for any locally compact group $G$ with a nontrivial compact open subgroup $H$.

4. Main Results

• Theorem 3.6 (Approximations on $L^2(G, \mathbb{K})$): If $G$ is a locally compact group with a nontrivial compact open subgroup $H$, then the space of lifted representative functions $\hat{R}(G, \mathbb{K})$ is dense in $L^2(G, \mathbb{K})$.
  • Proof Sketch: The proof relies on the density of $C_c(G, \mathbb{K})$ in $L^2(G, \mathbb{K})$. By partitioning a compactly supported function into pieces supported on cosets, approximating each piece via the classical Peter-Weyl theorem on $H$, and reassembling them, the authors construct a sequence in $\hat{R}(G, \mathbb{K})$ that converges to the target function.
• Limitations: The authors explicitly note that this result does not apply to connected non-compact groups (e.g., $\mathbb{R}^n$). Such groups cannot possess a nontrivial compact open subgroup because the existence of such a subgroup would imply the group is disconnected (the subgroup and its complement would form a disjoint open cover).

5. Significance and Applications

• Extension of Harmonic Analysis: This work bridges the gap between the representation theory of compact groups and locally compact groups. It provides a rigorous framework for approximating functions on groups like the $p$-adic numbers ($\mathbb{Q}_p$) using "local" Fourier-like series.
• $p$-adic Analysis: The paper highlights $\mathbb{Q}_p$ (the field of $p$-adic rationals) as a primary application, where $\mathbb{Z}_p$ (the $p$-adic integers) serves as the compact open subgroup. This is relevant for number theory and $p$-adic Lie group analysis.
• Structural Insight: The paper clarifies the topological constraints required for such approximations. It demonstrates that the "local compactness" provided by open subgroups is sufficient to recover the density properties of the Peter-Weyl theorem, even in non-compact settings.
• Intermediate Cases: The result applies to mixed structures, such as $G = \mathbb{T} \times \mathbb{Q}_p$ (where $\mathbb{T}$ is the circle group and $\mathbb{Q}_p$ is $p$-adic), showing the theorem's utility in non-connected, non-compact abelian groups.

In summary, the paper successfully generalizes the Peter-Weyl Theorem by introducing lifted representative functions, proving that the rich approximation theory of compact groups can be extended to a broad class of locally compact groups characterized by the presence of compact open subgroups.