2025-11-18T08:10:20.460635

Bounds of restriction of characters to submanifolds

Zhang
A fruitful approach to studying the concentration of Laplace--Beltrami eigenfunctions on a compact manifold, as the eigenvalue tends to infinity, is to bound their restriction to submanifolds. In this paper, we adopt this approach in the setting of compact Lie groups and provide sharp restriction bounds for general Laplace--Beltrami eigenfunctions, as well as for important special cases such as sums of matrix coefficients and, in particular, characters of irreducible representations. We prove sharp asymptotic $L^p$ bounds for the restriction of general Laplace--Beltrami eigenfunctions to maximal flats and all of their submanifolds, for all $p \geq 2$. Furthermore, we establish sharp asymptotic $L^p$ bounds for the restriction of characters to maximal tori and all of their submanifolds for all $p>0$, and to torus-generated conjugation-invariant submanifolds for all $p \geq 2$. We also obtain sharp $L^p$ bounds for the restriction of general sums of matrix coefficients to maximal flats and all of their submanifolds, for all $p \geq 2$.
academic

Bounds of Restriction of Characters to Submanifolds

Basic Information

  • Paper ID: 2402.03178
  • Title: Bounds of Restriction of Characters to Submanifolds
  • Author: Yunfeng Zhang (University of Cincinnati)
  • Classification: math.RT (Representation Theory), math.SP (Spectral Theory)
  • Publication Date: February 2024 (arXiv preprint, v5 updated October 2025)
  • Paper Link: https://arxiv.org/abs/2402.03178

Abstract

This paper investigates the concentration phenomenon of Laplace-Beltrami eigenfunctions on compact manifolds as eigenvalues tend to infinity, through the method of restriction to submanifolds. In the setting of compact Lie groups, the author provides sharp restriction bounds for general Laplace-Beltrami eigenfunctions and important special cases (such as matrix coefficients and characters of irreducible representations). The main results establish: (1) sharp LpL^p bounds (p≥2p \geq 2) for restriction of general eigenfunctions to maximal flat submanifolds; (2) sharp LpL^p bounds (p>0p > 0) for restriction of characters to maximal tori and their submanifolds, and bounds for conjugacy-invariant submanifolds generated by tori (p≥2p \geq 2); (3) sharp LpL^p bounds (p≥2p \geq 2) for restriction of matrix coefficient sums to maximal flat submanifolds.

Research Background and Motivation

Problem Background

  1. Eigenfunction Concentration Problem: Studying the concentration of Laplace-Beltrami eigenfunctions on compact manifolds as eigenvalues increase is a central problem in harmonic analysis and differential geometry.
  2. Restriction Bound Method: Establishing LpL^p estimates for eigenfunction restriction to submanifolds to quantify concentration is an important method pioneered by Tataru, Reznikov, and Burq-Gérard-Tzvetkov.
  3. Specificity on Lie Groups: Compact Lie groups possess rich group structure and representation theory, offering possibilities for improving restriction bounds on general manifolds.

Research Motivation

  1. Improving General Bounds: General restriction bounds on compact manifolds (Theorem A) may not be sharp under specific geometric structures.
  2. Exploiting Group Structure: The Peter-Weyl theorem and Weyl character formula on compact Lie groups provide precise analytical tools.
  3. Quantum-Classical Correspondence: Understanding character concentration near root hyperplanes from a semiclassical perspective.

Limitations of Existing Methods

  1. General Manifold Approach: The general results of Burq-Gérard-Tzvetkov may suffer from power loss for manifolds with special structure (such as Lie groups).
  2. Lack of Sharpness: Existing methods struggle to achieve optimal exponents, particularly in critical cases.
  3. Submanifold Restriction: Lack of systematic treatment for restriction problems on general submanifolds.

Core Contributions

  1. Establishing Sharp Character Restriction Bounds: Provides sharp LpL^p bounds for all p>0p > 0 when restricting characters to maximal torus submanifolds, including logarithmic corrections at critical exponents.
  2. Proving Matrix Coefficient Sum Restriction Bounds: Derives restriction bounds for matrix coefficient sums (p≥2p \geq 2) from character bounds via Schur test.
  3. Obtaining Power-Saving Bounds for General Eigenfunctions: Establishes restriction bounds superior to those for general manifolds for high-rank Lie groups (r≥5r \geq 5).
  4. Handling Conjugacy-Invariant Submanifolds Generated by Tori: Extends results to more general submanifold classes, including important geometric objects such as conjugacy classes.
  5. Providing Complete Sharpness Proofs: Constructs explicit character sequences to demonstrate sharpness of all bounds.

Detailed Methodology

Problem Setup

Let UU be a compact connected simply-connected Lie group of dimension dd and rank rr, with Δ\Delta the Laplace-Beltrami operator. For eigenfunctions ff satisfying Δf=−N2f\Delta f = -N^2 f, study the LpL^p norm bounds for restriction to submanifolds SS: ∥f∥Lp(S)≤CNρ(k,d)∥f∥L2(U)\|f\|_{L^p(S)} \leq C N^{\rho(k,d)} \|f\|_{L^2(U)} where k=dim⁡Sk = \dim S, with the goal of improving the exponent ρ(k,d)\rho(k,d) under Lie group structure.

Core Technical Framework

1. Barycentric-Semiclassical Subdivision of Weyl Alcove

Barycentric Subdivision: For small fixed constant cc, define NK:={H∈A:tj(H)≤c,∀j∈K;tj(H)>c,∀j∉K}N_K := \{H \in A : t_j(H) \leq c, \forall j \in K; t_j(H) > c, \forall j \notin K\}

Semiclassical Subdivision: For growth parameter NN, define PJ:={H∈A:tj(H)≤N−1,∀j∈J;tj(H)>N−1,∀j∉J}P_J := \{H \in A : t_j(H) \leq N^{-1}, \forall j \in J; t_j(H) > N^{-1}, \forall j \notin J\}

Combinatorial Subdivision: A=⨆J⊂K⊊{0,…,r}PK,JA = \bigsqcup_{J \subset K \subsetneq \{0,\ldots,r\}} P_{K,J}, where PK,J=NK∩PJP_{K,J} = N_K \cap P_J

2. Key Character Formula

Utilizing the decomposed form of Weyl character formula: χμ(exp⁡H)=1∣WJ∣δJ(H)∑s∈Wdet⁡s e(sμ)(HJ⊥)χ(sμ)JJ(exp⁡HJ)\chi_\mu(\exp H) = \frac{1}{|W_J|\delta_J(H)} \sum_{s \in W} \det s \, e^{(s\mu)(H^{J^\perp})} \chi^J_{(s\mu)_J}(\exp H^J)

where δJ(H)=∏α∈ΣJ+(eα(H)/2−e−α(H)/2)\delta_J(H) = \prod_{\alpha \in \Sigma^+_J} (e^{\alpha(H)/2} - e^{-\alpha(H)/2}) is the crucial Weyl denominator factor.

3. Root System "Peeling" Combinatorics

Optimal Peeling Numbers: For irreducible root system Σ\Sigma, define peeling number sequence q1,0>q2,0>⋯>qr,0=1q_{1,0} > q_{2,0} > \cdots > q_{r,0} = 1 (see Table 3).

Peeling Inequality: For any arrangement PP, we have ni(P0)≤ni(P)n_i(P_0) \leq n_i(P), where P0P_0 achieves slowest peeling.

Critical Exponent: pk=kq1,0+⋯+qk,0p_k = \frac{k}{q_{1,0} + \cdots + q_{k,0}}

Technical Innovations

1. Unified Combinatorial Treatment

Unlike reference 42, this paper's peeling method uniformly handles root hyperplane arrangements at all alcove vertices, significantly simplifying the proof.

2. Realization of Quantum-Classical Correspondence

Through barycentric-semiclassical subdivision, connecting quantum (character) behavior with classical (geodesic and focal) geometry, where:

  • Root hyperplanes correspond to focal points of the origin
  • Focal point multiplicities equal the number of root hyperplanes containing that point
  • The exponent d−r2−kpk\frac{d-r}{2} - \frac{k}{p_k} precisely equals the number of root hyperplanes making the bound sharp.

3. Exact Computation of Multiple Integrals

Key Lemma 4.2 handles integrals of the form ∫N−1<sk≤⋯≤s1≤cs1−a1p⋯sk−akpds1⋯dsk\int_{N^{-1} < s_k \leq \cdots \leq s_1 \leq c} s_1^{-a_1 p} \cdots s_k^{-a_k p} ds_1 \cdots ds_k, utilizing the strict decreasing property of a1>⋯>aka_1 > \cdots > a_k.

Main Theorems

Theorem 1.1 (Character Restriction Bounds)

Let χ\chi be the character of an irreducible representation with Δχ=−N2χ\Delta\chi = -N^2\chi, and SS a kk-dimensional submanifold of maximal torus TT. Then:

N^{\frac{d-r}{2} - \frac{k}{p}}, & p > p_k \\ N^{\frac{d-r}{2} - \frac{k}{p_k}}(\log N)^{\frac{1}{p_k}}, & p = p_k \\ N^{\frac{d-r}{2} - \frac{k}{p_k}}, & 0 < p < p_k \end{cases}$$ ### Theorem 1.2 (Matrix Coefficient Sum Bounds) For matrix coefficient sum $\psi$, with $p \geq 2$: $$\|\psi\|_{L^p(S)} \leq C N^{\frac{d-r}{2} - \frac{k}{p}} \|\psi\|_{L^2(U)}$$ ### Theorem 1.3 (General Eigenfunction Bounds) For general eigenfunctions $f$, when $r \geq 5$: $$\|f\|_{L^p(S)} \leq C N^{\frac{d-2}{2} - \frac{k}{p}} \|f\|_{L^2(U)}$$ ## Sharpness Proofs ### Construction Method Choose $\mu = N\rho$ (where $\rho$ is the Weyl vector), on specific $k$-dimensional facet $A_J$: 1. **Weyl Denominator Estimate**: $$|\delta_J(H)| \asymp t_{j_1}^{q_{1,0}}(H) \cdots t_{j_k}^{q_{k,0}}(H)$$ 2. **Character Formula**: $$|\chi_\mu(\exp H)| = N^{|\Sigma^+_J|} \frac{|\delta_J(NH)|}{|\delta_J(H)|}$$ 3. **Nodal Set Analysis**: The zeros of $\delta_J(N \cdot)$ partition $A_J$ into small alcoves of scale $\sim N^{-1}$, with $|\delta_J(NH)| \gtrsim 1$ on each small alcove. ## Applications and Extensions ### Conjugacy-Invariant Submanifolds Generated by Tori **Definition**: $Y$ is the orbit of a Weyl alcove facet under conjugacy action. **Dimension Formula**: $\dim Y = k + 2(|\Sigma^+| - |\Sigma^+_J|)$ **Restriction Bounds**: Similar to Theorem 1.1, but accounting for geometric complexity of the orbit. ### Comparison with Known Results 1. **Torus Case**: Consistent with torus eigenfunction bounds in references [8,9,28]. 2. **Global Symmetric Spaces**: $L^\infty$ bounds match results of Sarnak et al. 3. **Sphere Products**: Provides analogous results for rank-one symmetric space products. ## Technical Difficulties and Solutions ### 1. Non-Uniform Convergence **Problem**: Dramatic differences in character behavior across different alcove pieces. **Solution**: Through barycentric-semiclassical subdivision, localizing problems to homogeneous regions. ### 2. Combinatorial Complexity **Problem**: Case proliferation from root system classification. **Solution**: Unified peeling theory (Lemma 3.1) handling all Dynkin types. ### 3. Logarithmic Factors at Critical Exponents **Problem**: Precise asymptotic behavior in critical cases. **Solution**: Exact multiple integral computation (Lemma 4.2). ## Limitations and Future Directions ### Current Limitations 1. **Submanifold Restriction**: Only handles maximal flat submanifolds and torus-generated submanifolds. 2. **Method Dependence**: Critically depends on Weyl character formula, difficult to generalize to arbitrary submanifolds. 3. **Low-Rank Cases**: Still suffers $\epsilon$ loss when $r \leq 4$. ### Future Research Directions 1. **General Subgroups**: Utilizing Heckman's restriction theory to study restriction problems on subgroups. 2. **Nodal Set Study**: Deeper understanding of geometric distribution of character zeros. 3. **Arithmetic Applications**: Applications in arithmetic geometry and number theory. ## In-Depth Evaluation ### Strengths 1. **Technical Innovation**: Barycentric-semiclassical subdivision and unified peeling theory are important technical contributions. 2. **Result Completeness**: Not only provides bounds but also proves sharpness, offering a complete picture. 3. **Method Systematicity**: Systematic derivation from characters to matrix coefficient sums to general eigenfunctions. 4. **Geometric Insight**: Quantum-classical correspondence provides profound geometric understanding. ### Weaknesses 1. **Limited Scope**: Methods strongly depend on Lie group structure, difficult to generalize. 2. **Computational Complexity**: Involves complex root system combinatorics and multiple integrals. 3. **Low-Rank Limitation**: Optimal bounds not yet achieved for low-rank groups. ### Impact 1. **Theoretical Contribution**: Provides new techniques and perspectives for eigenfunction restriction theory. 2. **Method Value**: Barycentric-semiclassical subdivision may apply to other problems. 3. **Application Prospects**: Potential applications in representation theory, harmonic analysis, and number theory. ### Applicable Scenarios 1. **Harmonic Analysis on Lie Groups**: Direct application to function analysis on compact Lie groups. 2. **Representation Theory Research**: Studying asymptotic behavior of characters and matrix coefficients. 3. **Geometric Analysis**: Eigenfunction research on manifolds with special symmetries. ## References The paper cites 51 related references, primarily including: - [10] Pioneering work of Burq-Gérard-Tzvetkov - [30] Foundational results of Marshall in high-rank cases - [50] Author's previous $L^p$ estimates on Lie groups - [42] Classical work of Stanton-Tomas on root system combinatorics