pith. sign in

arxiv: 1907.03584 · v1 · pith:CQZHXVZGnew · submitted 2019-07-08 · 🧮 math.FA

Compact and weakly compact multipliers on Fourier algebras of ultraspherical hypergroups

Reza Esmailvandi , Mehdi Nemati This is my paper

Pith reviewed 2026-05-25 00:51 UTC · model grok-4.3

classification 🧮 math.FA
keywords Fourier algebraultraspherical hypergroupscompact multipliersweakly compact multipliersdiscretenessArens regularitylocally compact groups
0
0 comments X

The pith

An ultraspherical hypergroup H is discrete exactly when its Fourier algebra A(H) has a non-zero compact or weakly compact multiplier.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper extends a known equivalence for locally compact groups to ultraspherical hypergroups. For such an H, discreteness holds if and only if A(H) admits a non-zero (weakly) compact multiplier. Multiple further characterizations of discreteness are given in terms of algebraic features of A(H). The work also examines Arens regularity for closed ideals inside A(H).

Core claim

An ultraspherical hypergroup H is discrete if and only if the associated Fourier algebra A(H) possesses a non-zero (weakly) compact multiplier. This yields several equivalent algebraic conditions on A(H) that detect discreteness of H. Closed ideals of A(H) are studied for Arens regularity as well.

What carries the argument

The Fourier algebra A(H) of an ultraspherical hypergroup together with its (weakly) compact multipliers.

If this is right

  • Discreteness of H follows whenever A(H) has a non-zero compact multiplier.
  • Discreteness of H follows whenever A(H) has a non-zero weakly compact multiplier.
  • Algebraic properties of A(H) such as ideal structure become tests for whether H is discrete.
  • Closed ideals of A(H) satisfy Arens regularity under the conditions studied.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Similar multiplier characterizations might hold for broader classes of hypergroups beyond the ultraspherical case.
  • The results supply concrete algebraic criteria that could be checked in examples of hypergroups arising from orthogonal polynomials or other constructions.
  • Arens regularity questions for ideals may connect to regularity questions in related Banach algebras from abstract harmonic analysis.

Load-bearing premise

The Fourier algebra and multiplier theory for ultraspherical hypergroups are close enough to the group case that the discreteness characterizations transfer directly.

What would settle it

An explicit ultraspherical hypergroup H that is non-discrete yet admits a non-zero compact multiplier on A(H), or a discrete H whose A(H) has only the zero compact multiplier.

read the original abstract

A locally compact group $ G $ is discrete if and only if the Fourier algebra $ A(G) $ has a non-zero (weakly) compact multiplier. We partially extend this result to the setting of ultraspherical hypergroups. Let $H$ be an ultraspherical hypergroup and let $A(H)$ denote the corresponding Fourier algebra. We will give several characterizations of discreteness of $ H $ in the terms of the algebraic properties of $A(H)$. We also study Arens regularity of closed ideals of $ A(H)$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript claims that for an ultraspherical hypergroup H the discreteness of H admits several characterizations in terms of algebraic properties of its Fourier algebra A(H), partially extending the known equivalence that a locally compact group G is discrete if and only if A(G) admits a nonzero compact or weakly compact multiplier. It further studies Arens regularity of closed ideals in A(H).

Significance. If the characterizations hold, the work supplies a concrete extension of multiplier-theoretic criteria from the group setting to a natural subclass of hypergroups, thereby enlarging the scope of results on Fourier algebras in harmonic analysis. The additional examination of Arens regularity supplies further structural information on the Banach-algebraic side.

minor comments (2)
  1. [Abstract / Introduction] The abstract states that 'several characterizations' are given but does not list them; a brief enumeration in the introduction would improve readability.
  2. [Section 2] Notation for the hypergroup convolution and the associated Fourier algebra is introduced without an explicit comparison table to the group case; a short side-by-side display would clarify the analogy relied upon.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. The work extends multiplier characterizations of discreteness from locally compact groups to ultraspherical hypergroups and examines Arens regularity of ideals in A(H). No major comments appear in the report, so we have no specific points requiring point-by-point rebuttal.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper extends the known group-theoretic result (G discrete iff A(G) has nonzero compact/weakly compact multiplier) to ultraspherical hypergroups H by deriving algebraic characterizations of discreteness directly from properties of A(H). No load-bearing step reduces by construction to a fitted parameter, self-definition, or self-citation chain; the base group result is treated as external, and the hypergroup extension relies on structural analogy without smuggling ansatzes or renaming known results as new derivations. The work is self-contained against external benchmarks in the field.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no information on free parameters, axioms, or invented entities; none are identifiable.

pith-pipeline@v0.9.0 · 5613 in / 1033 out tokens · 23168 ms · 2026-05-25T00:51:54.836197+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages · 1 internal anchor

  1. [1]

    Amini and A

    M. Amini and A. Medghalchi, Fourier algebras on tensor hypergro ups, Contemp. Math. 363 (2004), 1-14

    work page 2004

  2. [2]

    Baker, A

    J. Baker, A. T.-M. Lau, J. S. Pym, Module homomorphisms and top ological centers as- sociated with weakly sequentially complete Banach algebras, J. Func t. Anal. 158 (1998), 186-208

    work page 1998

  3. [3]

    F. F. Bonsall, J. Duncan, Complete Normed Algebras, Springer, N ew York, 1973

    work page 1973

  4. [4]

    H. G. Dales, Banach Algebras and Automatic Continuity, London M athematical Society Monographs. New Series, vol. 24. Oxford University Press, New Yo rk (2000)

    work page 2000

  5. [5]

    Multipliers over Fourier algebras of ultraspherical hypergroups

    R. Esmailvandi and M. Nemati, Multipliers over Fourier algebras of u ltraspherical hyper- groups, arXiv:1905.03569

    work page internal anchor Pith review Pith/arXiv arXiv 1905

  6. [6]

    Eymard, L’alg` ebre de Fourier d’un groupe localement compact , Bull

    P. Eymard, L’alg` ebre de Fourier d’un groupe localement compact , Bull. Soc. Math. France 92 (1964), 181-236

    work page 1964

  7. [7]

    B. E. Forrest, Arens regularity and discrete groups, Pac. J. M ath. 151 (1991), 217-227

    work page 1991

  8. [8]

    Ghaffari, A

    A. Ghaffari, A. Medghalchi, The socle and finite dimensionality of som e Banach algebras, Indian Acad. Sci. Math. Sci 115 (2005), 327-330

    work page 2005

  9. [9]

    Ghahramani, A

    F. Ghahramani, A. T.-M. Lau, Multipliers and modulus on Banach alge bras related to locally compact groups, J. Funct. Anal 150 (1997), 478-497

    work page 1997

  10. [10]

    Larsen, An introduction to the theory of multipliers, Springe r-Verlag, New York- Heidelberg, (1971)

    R. Larsen, An introduction to the theory of multipliers, Springe r-Verlag, New York- Heidelberg, (1971)

    work page 1971

  11. [11]

    A. T.-M. Lau, Uniformly continuous functionals on the Fourier alg ebra of any locally com- pact group, Trans. Amer. Math. Soc. 251 (1979), 39-59

    work page 1979

  12. [12]

    A. T.-M. Lau, The second conjugate algebra of the Fourier alge bra of a locally compact group, Trans. Amer. Math. Soc, 267 (1981), 53-63

    work page 1981

  13. [13]

    Megginson, An introduction to Banach space theory

    R.E. Megginson, An introduction to Banach space theory . Sprin ger-Verlag, New York, (1998)

    work page 1998

  14. [14]

    Muruganandam, Fourier algebra of a hypergroup

    V. Muruganandam, Fourier algebra of a hypergroup. I, J. Austral. Math. Soc. 82 (2007), 59-83

    work page 2007

  15. [15]

    Muruganandam, Fourier algebra of a hypergroup

    V. Muruganandam, Fourier algebra of a hypergroup. II. Spherical hypergroups, Math. Nachr. 11 (2008), 1590-1603

    work page 2008

  16. [16]

    Shravan Kumar, Invariant Mean on a Claass of von Neumann A lgebras Related to Ultraspherical Hypergroups , Studia

    N. Shravan Kumar, Invariant Mean on a Claass of von Neumann A lgebras Related to Ultraspherical Hypergroups , Studia. Math. 225 (2014), 235-247

    work page 2014

  17. [17]

    Shravan Kumar, Invariant Mean on a Claass of von Neumann A lgebras Related to Ultraspherical Hypergroups II, Canad

    N. Shravan Kumar, Invariant Mean on a Claass of von Neumann A lgebras Related to Ultraspherical Hypergroups II, Canad. Math. Bull 60 (2017), 402-410

    work page 2017

  18. [18]

    Vrem, Harmonic analysis on compact hypergroups, Pac

    R.C. Vrem, Harmonic analysis on compact hypergroups, Pac. J. Math. 85 (1979), 239-251. 1Department of Mathematical Sciences, Isfahan Uinversity o f Technology, Isfahan 84156-83111, Iran; E-mail address : r.esmailvandi@math.iut.ac.ir 2 Department of Mathematical Sciences, Isfahan Uinversity o f Technology, Isfahan 84156-83111, Iran; School of Mathematics, ...

    work page 1979