Herz–Schur multiplier¶
A group function whose invariant Schur kernel induces a completely bounded Fourier multiplier, not necessarily a positive one.
Core Idea¶
A Herz–Schur multiplier is a complex group function φ:G→ℂ whose associated group-difference kernel, or equivalently Fourier multiplier, acts completely boundedly in the group operator-space setting. On a discrete group it scales left-regular coefficients a_gλ(g) by φ(g). A formal coefficient rule alone is insufficient: the induced map must satisfy the complete-bound condition.
Complete positivity is not universal. The constant symbol −1 gives −Id on the group von Neumann algebra, a completely bounded but nonpositive map; positive-definite symbols occupy a narrower completely positive subclass. Knudby's published radial free-group semigroup study uses Herz–Schur multipliers for approximation-property questions. That specialist use does not imply every radial function qualifies. Group structure, invariant kernel, and operator-space norm distinguish the concept from any scalar filter or arbitrary Schur mask.
Scope of Application¶
These uses require a group-invariant induced action and a complete bound.
- Fourier algebra analysis. Compare completely bounded scalar multipliers on A(G).
- Group operator algebras. Interpret coefficientwise maps on VN(G) or related completions.
- Approximation properties. Study families and semigroups of admissible multipliers on groups.
- Positivity audit. Distinguish norm boundedness from the stronger completely positive subclass.
Clarity¶
Fix the group, φ, and invariant kernel φ(s⁻¹t); then check the completely bounded induced action. A general Schur matrix mask lacking group-difference form is the closest miss. Complete positivity is additional, not constitutive: φ≡−1 gives −Id, which is completely bounded and not positive. The identity symbol φ≡1 also belongs, so 'output must change' is not a valid universal boundary.
Manages Complexity¶
The same object appears as a group function, a kernel on G×G, a multiplier of the Fourier algebra, and a map on a group operator algebra. The equivalence is powerful but easy to garble: writing φ(g)a_g alone does not establish complete boundedness, and positivity is a separate order requirement. Tracking the group carrier, operator-space norm, and invariant kernel prevents a simple-looking scalar symbol from being misclassified.
Abstract Reasoning¶
- Fix the group G and the scalar symbol φ:G→ℂ.
- Build the group-difference kernel or Fourier coefficient multiplier.
- Check complete boundedness of its induced operator-space action.
- If positivity is claimed, test positive definiteness as an additional condition.
- Compare a proposed application with the theorem's group and norm hypotheses rather than the name alone.
Knowledge Transfer¶
The multiplier correspondence transfers from one group to another only after the new Fourier algebra, regular representation, and complete bound are checked. Knudby's radial free-group results do not make every radial function on every group a Herz–Schur multiplier. The broad input-to-output map idea travels to other fields, but without group-difference invariance and operator-space complete boundedness the specialist name becomes analogy.
Relationships to Other Abstractions¶
Current abstraction Herz–Schur multiplier Domain-specific
Parents (1) — more general patterns this builds on
-
Herz–Schur multiplier is a kind of Function (Mapping) Prime
A Herz–Schur symbol maps group elements to scalars and induces a well-defined completely bounded Fourier map.
Hierarchy path (1) — routes to 1 parentless root
- Herz–Schur multiplier → Function (Mapping)
Neighborhood in Abstraction Space¶
Herz–Schur multiplier sits in a moderately populated region (50th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Unclustered & Miscellaneous (2551 abstractions)
Nearest neighbors
- Group code — 0.87
- Scalar (Mathematics) — 0.86
- Order (group theory) — 0.86
- Group Ring — 0.86
- Conference Matrix — 0.86
Computed from structural-signature embeddings · 2026-10-08