TY - JOUR

T1 - Integral formulas with distribution kernels for irreducible projections in L2 of a nilmanifold

AU - Corwin, L.

AU - Greenleaf, F. P.

N1 - Funding Information:
research was supported
Funding Information:
in part by NSF Research Grants GP-30673 and

PY - 1976/11

Y1 - 1976/11

N2 - Let N be a simply connected nilpotent Lie group and Γ a discrete uniform subgroup. The authors consider irreducible representations σ in the spectrum of the quasi-regular representation N × L2(Γ/N) → L2(Γ→) which are induced from normal maximal subordinate subgroups M ⊆ N. The primary projection Pσ and all irreducible projections P ≤ Pσ are given by convolutions involving right Γ-invariant distributions D on Γ→, Pf(Γn) = D * f(Γn) = <D, n · f>all f ε{lunate} C∞(Γ/N), where n · f(ζ) = f(ζ · n). Extending earlier work of Auslander and Brezin, and L. Richardson, the authors give explicit character formulas for the distributions, interpreting them as sums of characters on the torus Tκ = (Γ ∩ M) · [M, M]{minus 45 degree rule}M. By examining these structural formulas, they obtain fairly sharp estimates on the order of the distributions: if σ is associated with an orbit O ⊆ n* and if V ⊆ n* is the largest subspace which saturates θ in the sense that f ε{lunate} O ⇒ f + V ⊆ O. As a corollary they obtain Richardson's criterion for a projection to map C0(Γ→) into itself. The authors also resolve a conjecture of Brezin, proving a Zero-One law which says, among other things, that if the primary projection Pσ maps Cr(Γ→) into C0(Γ→), so do all irreducible projections P ≤ Pσ. This proof is based on a classical lemma on the extent to which integral points on a polynomial graph in Rn lie in the coset ring of Zn (the finitely additive Boolean algebra generated by cosets of subgroups in Zn). This lemma may be useful in other investigations of nilmanifolds.

AB - Let N be a simply connected nilpotent Lie group and Γ a discrete uniform subgroup. The authors consider irreducible representations σ in the spectrum of the quasi-regular representation N × L2(Γ/N) → L2(Γ→) which are induced from normal maximal subordinate subgroups M ⊆ N. The primary projection Pσ and all irreducible projections P ≤ Pσ are given by convolutions involving right Γ-invariant distributions D on Γ→, Pf(Γn) = D * f(Γn) = <D, n · f>all f ε{lunate} C∞(Γ/N), where n · f(ζ) = f(ζ · n). Extending earlier work of Auslander and Brezin, and L. Richardson, the authors give explicit character formulas for the distributions, interpreting them as sums of characters on the torus Tκ = (Γ ∩ M) · [M, M]{minus 45 degree rule}M. By examining these structural formulas, they obtain fairly sharp estimates on the order of the distributions: if σ is associated with an orbit O ⊆ n* and if V ⊆ n* is the largest subspace which saturates θ in the sense that f ε{lunate} O ⇒ f + V ⊆ O. As a corollary they obtain Richardson's criterion for a projection to map C0(Γ→) into itself. The authors also resolve a conjecture of Brezin, proving a Zero-One law which says, among other things, that if the primary projection Pσ maps Cr(Γ→) into C0(Γ→), so do all irreducible projections P ≤ Pσ. This proof is based on a classical lemma on the extent to which integral points on a polynomial graph in Rn lie in the coset ring of Zn (the finitely additive Boolean algebra generated by cosets of subgroups in Zn). This lemma may be useful in other investigations of nilmanifolds.

UR - http://www.scopus.com/inward/record.url?scp=49549129003&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=49549129003&partnerID=8YFLogxK

U2 - 10.1016/0022-1236(76)90051-3

DO - 10.1016/0022-1236(76)90051-3

M3 - Article

AN - SCOPUS:49549129003

VL - 23

SP - 255

EP - 284

JO - Journal of Functional Analysis

JF - Journal of Functional Analysis

SN - 0022-1236

IS - 3

ER -