Quasi-isometric embedding between $*$-algebras

Ali Ebadian; Ali Jabbari

arxiv: 2005.08084 · v2 · submitted 2020-05-16 · 🧮 math.FA

Quasi-isometric embedding between *-algebras

Ali Ebadian , Ali Jabbari This is my paper

Pith reviewed 2026-05-24 15:24 UTC · model grok-4.3

classification 🧮 math.FA

keywords quasi-isometric embedding*-algebras*-homomorphismfunctional analysismetric embeddingsinvolutive algebras

0 comments

The pith

A -homomorphism between -algebras is a quasi-isometric embedding precisely when it meets a certain preservation condition, under some assumptions on the algebras.

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

The paper defines quasi-isometric embedding maps between *-algebras by extending the metric-space notion to structures that also carry an involution operation. Basic properties of these maps are established first, mirroring results known for ordinary metric spaces. The central result then supplies a necessary and sufficient condition that turns a *-homomorphism into such an embedding. A reader cares because the condition links algebraic preservation directly to controlled distortion of distances, offering a concrete test for when an algebraic map respects geometry.

Core claim

The paper claims that, under some conditions, a *-homomorphism between *-algebras is a quasi-isometric embedding if and only if it satisfies the necessary and sufficient condition provided in the work; this condition is obtained by combining the homomorphism property with the metric requirements of quasi-isometry.

What carries the argument

The quasi-isometric embedding notion for maps between *-algebras, which requires controlled distortion of distances while preserving the algebraic operations including the involution.

If this is right

Quasi-isometric embeddings between *-algebras inherit the basic stability and composition properties known for metric spaces.
The characterization reduces the geometric question of quasi-isometry to an algebraic check on the homomorphism.
Any *-homomorphism satisfying the condition automatically preserves the involution up to controlled metric error.
The notion supplies a new way to compare the metric geometry of distinct *-algebras via their homomorphisms.

Where Pith is reading between the lines

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

If the condition can be verified in concrete C*-algebras, it would give a practical test for when representations distort distances only linearly.
The same framework might extend to other algebraic categories equipped with metrics, such as Banach *-algebras, without major changes.
One could test whether the characterization remains valid when the metrics are replaced by operator-space norms or other non-commutative distances.

Load-bearing premise

The *-algebras must be equipped with metrics or norms that make distances well-defined, and the unspecified conditions required for the characterization must hold.

What would settle it

An explicit pair of *-algebras together with a *-homomorphism that satisfies the stated condition yet produces distance distortion outside the quasi-isometric bounds, or conversely a quasi-isometric embedding that fails the condition.

read the original abstract

The concept of quasi-isometric embedding maps between $*$-algebras is introduced. We have obtained some basic results related to this notion and similar to quasi-isometric embedding maps on metric spaces, under some conditions, we give a necessary and sufficient condition on a $*$-homomorphism to be a quasi-isometric embedding between $*$-algebras.

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.

Desk Editor's Note private letter to a colleague

The paper defines a quasi-isometric embedding for *-algebras but its main result is stated only under unstated conditions with no supporting details in the abstract.

read the letter

The one thing to know is that this paper introduces the idea of quasi-isometric embeddings between *-algebras, modeled directly on the metric space version, and claims to give a necessary and sufficient condition for a *-homomorphism to be one, but only under some conditions. They do introduce the concept and obtain some basic results that are similar to those in metric spaces. That is the new part, and if the basic results are straightforward and correctly derived, they provide a starting point for anyone wanting to study metric embeddings in the context of *-algebras. The paper does well in framing the analogy clearly in the abstract. Extending notions from geometry to algebra can be a reasonable move when the structures allow it. The soft spots are more significant here. The strongest claim rests on unspecified conditions, and the abstract supplies no definition of the metric or norm on the *-algebras, no precise statement of the quasi-isometric property in this setting, and no list of the conditions. This matches the stress-test concern exactly. Without those, there is no way to verify if the characterization holds or if the notion is even well-defined. The soundness assessment of 3.0 seems fair given what's available. If the full paper has all this spelled out with proofs, the picture could improve, but the abstract alone leaves the work looking preliminary. This work is for a narrow audience of functional analysts who might be interested in metric aspects of operator algebras. A reader looking for broad impact or fully worked out theorems will not find much here. I would not bring this to the next reading group. I would not cite it. It does not deserve peer review because the central result cannot be evaluated as presented.

Referee Report

2 major / 0 minor

Summary. The paper introduces the concept of quasi-isometric embedding maps between *-algebras, obtains basic results analogous to those for quasi-isometric embeddings on metric spaces, and claims that under some conditions a necessary and sufficient condition exists for a *-homomorphism to be a quasi-isometric embedding between *-algebras.

Significance. If the characterization holds under explicitly stated hypotheses with supporting derivations, the work would extend quasi-isometry notions from metric spaces to the setting of *-algebras, offering potential tools for studying homomorphisms in functional analysis. The current lack of explicit conditions, definitions of the underlying metric/norm, and any derivations limits immediate utility and verifiability.

major comments (2)

[Abstract] Abstract: The central claim asserts a necessary and sufficient condition on a *-homomorphism 'under some conditions,' but neither the conditions nor the condition itself are stated or derived. This is load-bearing for the main result, as the characterization cannot be assessed without the hypotheses that make the quasi-isometric notion well-defined on the *-algebras.
[Abstract] Abstract: No definition is supplied for the metric or norm on the *-algebras that would render the quasi-isometric embedding property meaningful, nor is the precise statement of the embedding property given. Without these, the claimed necessary-and-sufficient condition lacks a well-posed foundation.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed comments on the abstract. We agree that greater precision is needed there to make the main claims verifiable from the abstract alone, and we will revise the abstract in the next version. The body of the manuscript introduces the relevant definitions and states the characterization under the hypotheses that the *-algebras carry C*-norms inducing the metrics.

read point-by-point responses

Referee: [Abstract] Abstract: The central claim asserts a necessary and sufficient condition on a *-homomorphism 'under some conditions,' but neither the conditions nor the condition itself are stated or derived. This is load-bearing for the main result, as the characterization cannot be assessed without the hypotheses that make the quasi-isometric notion well-defined on the *-algebras.

Authors: We accept the criticism of the abstract. In the revision we will explicitly name the hypotheses (the *-algebras are equipped with C*-norms) and state the necessary-and-sufficient condition (the *-homomorphism is bounded and bounded below up to additive constants). The derivation appears in Theorem 3.2; we will add a one-sentence pointer to it in the abstract. revision: yes
Referee: [Abstract] Abstract: No definition is supplied for the metric or norm on the *-algebras that would render the quasi-isometric embedding property meaningful, nor is the precise statement of the embedding property given. Without these, the claimed necessary-and-sufficient condition lacks a well-posed foundation.

Authors: We agree the abstract omits these foundational items. The revised abstract will include the definition d(a,b) = ||a-b|| (with ||·|| the C*-norm) and the precise quasi-isometric embedding inequality with constants K and C. These are already defined in Section 2 of the manuscript; the abstract will now reference them. revision: yes

Circularity Check

0 steps flagged

No circularity; new concept and basic results introduced without reduction to inputs

full rationale

The paper defines quasi-isometric embedding maps between *-algebras, obtains basic results analogous to metric-space embeddings, and states a necessary-and-sufficient condition for *-homomorphisms under unspecified conditions. No equations, fitted parameters, self-citations, or ansatzes are supplied in the provided text that would reduce any claimed result to its own inputs by construction. The derivation is therefore self-contained as an introduction of definitions followed by theorems derived from them.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no free parameters, background axioms, or invented entities are identifiable from the given text.

pith-pipeline@v0.9.0 · 5565 in / 975 out tokens · 26508 ms · 2026-05-24T15:24:58.116960+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

[1]

Benjamini and O

I. Benjamini and O. Schramm, Every graph with a positive Cheeger constant contains a tree with a positive Cheeger constant, Geom. Funct. Anal., 7(1997), 403-419

work page 1997
[2]

N. P. Brown and N. Ozawa, C ∗ -algebras and ﬁnite-dimensional approximation , Graduate Studies in Mathematics, Vol. 88, Amer. Math. Soc., 2008

work page 2008
[3]

Capraro, Amenability, locally ﬁnite spaces, and bi-lipschitz embed dings, Expo

V. Capraro, Amenability, locally ﬁnite spaces, and bi-lipschitz embed dings, Expo. Math., 31(4)(2013), 334-349

work page 2013
[4]

T. G. Ceccherini-Silberstein and A. Y. Samet-Vaillant, Asymptotic invariants of ﬁnitely generated algebras. A generalization of Gromov’s quasi-isometric vi ewpoint, J. Math. Sci., 156(1)(2009), 56- 108

work page 2009
[5]

H. G. Dales, Banach algebras and automatic continuity , London Math. Society Monographs, Vol. 24, Clarendon Press, Oxford, 2000

work page 2000
[6]

Gromov, Asymptotic invariants oﬁnlinite groups, in geometric grou p theory , Vol

M. Gromov, Asymptotic invariants oﬁnlinite groups, in geometric grou p theory , Vol. 2, London Math. Soc. Lecture Note Ser., 182. Cambridge Univ. Press, 19 93

work page
[7]

Math., 175(2009), 545-609

U, Hamenst¨ adt, Geometry of the mapping class groups I: Boundary amenabilit y, Invent. Math., 175(2009), 545-609

work page 2009
[8]

A. Ya. Helemskii, The homology of Banach and topological algebras , Mathematics and Its Applica- tions, 41, Kluwer Academic Publishers, Dordrecht-Boston- London, 1986

work page 1986
[9]

Huang and Y

M. Huang and Y. Li, On bilipschitz extensions in real Banach spaces , Abst. App. Anal., Vol. 2013 (2013), Article ID 765685, 9 pages

work page 2013
[10]

B. E. Johnson, Cohomology in Banach algebras , Memoirs of the American Mathematical Society, 127, Amer. Math. Soc., Providence, Rhode Island, 1972

work page 1972
[11]

Kepert, Amenability in group algebras and Banach algebras , Math

A. Kepert, Amenability in group algebras and Banach algebras , Math. Scand., 74(1994), 275-292

work page 1994
[12]

J.R. Lee, A. Naor and Y. Peres, Trees and Markov convexity , Geom. Funct. Anal., 18(2009), 1609-1659

work page 2009
[13]

R. E. Schwartz, Quasi-isometric rigidity and Diophantine approximation , Acta Math., 177(1996), 75-112

work page 1996
[14]

V¨ ais¨ al¨ a,Banach spaces and bilipschitz map , Studia Math., 103(3)(1992), 291-294

J. V¨ ais¨ al¨ a,Banach spaces and bilipschitz map , Studia Math., 103(3)(1992), 291-294. E-mail address : ebadian.ali@gmail.com Department of Mathematics, F aculty of Science, Urmia Unive rsity, Urmia, Iran E-mail address : jabbari al@yahoo.com Young Researchers and Elite Club, Ardabil, Iran

work page 1992

[1] [1]

Benjamini and O

I. Benjamini and O. Schramm, Every graph with a positive Cheeger constant contains a tree with a positive Cheeger constant, Geom. Funct. Anal., 7(1997), 403-419

work page 1997

[2] [2]

N. P. Brown and N. Ozawa, C ∗ -algebras and ﬁnite-dimensional approximation , Graduate Studies in Mathematics, Vol. 88, Amer. Math. Soc., 2008

work page 2008

[3] [3]

Capraro, Amenability, locally ﬁnite spaces, and bi-lipschitz embed dings, Expo

V. Capraro, Amenability, locally ﬁnite spaces, and bi-lipschitz embed dings, Expo. Math., 31(4)(2013), 334-349

work page 2013

[4] [4]

T. G. Ceccherini-Silberstein and A. Y. Samet-Vaillant, Asymptotic invariants of ﬁnitely generated algebras. A generalization of Gromov’s quasi-isometric vi ewpoint, J. Math. Sci., 156(1)(2009), 56- 108

work page 2009

[5] [5]

H. G. Dales, Banach algebras and automatic continuity , London Math. Society Monographs, Vol. 24, Clarendon Press, Oxford, 2000

work page 2000

[6] [6]

Gromov, Asymptotic invariants oﬁnlinite groups, in geometric grou p theory , Vol

M. Gromov, Asymptotic invariants oﬁnlinite groups, in geometric grou p theory , Vol. 2, London Math. Soc. Lecture Note Ser., 182. Cambridge Univ. Press, 19 93

work page

[7] [7]

Math., 175(2009), 545-609

U, Hamenst¨ adt, Geometry of the mapping class groups I: Boundary amenabilit y, Invent. Math., 175(2009), 545-609

work page 2009

[8] [8]

A. Ya. Helemskii, The homology of Banach and topological algebras , Mathematics and Its Applica- tions, 41, Kluwer Academic Publishers, Dordrecht-Boston- London, 1986

work page 1986

[9] [9]

Huang and Y

M. Huang and Y. Li, On bilipschitz extensions in real Banach spaces , Abst. App. Anal., Vol. 2013 (2013), Article ID 765685, 9 pages

work page 2013

[10] [10]

B. E. Johnson, Cohomology in Banach algebras , Memoirs of the American Mathematical Society, 127, Amer. Math. Soc., Providence, Rhode Island, 1972

work page 1972

[11] [11]

Kepert, Amenability in group algebras and Banach algebras , Math

A. Kepert, Amenability in group algebras and Banach algebras , Math. Scand., 74(1994), 275-292

work page 1994

[12] [12]

J.R. Lee, A. Naor and Y. Peres, Trees and Markov convexity , Geom. Funct. Anal., 18(2009), 1609-1659

work page 2009

[13] [13]

R. E. Schwartz, Quasi-isometric rigidity and Diophantine approximation , Acta Math., 177(1996), 75-112

work page 1996

[14] [14]

V¨ ais¨ al¨ a,Banach spaces and bilipschitz map , Studia Math., 103(3)(1992), 291-294

J. V¨ ais¨ al¨ a,Banach spaces and bilipschitz map , Studia Math., 103(3)(1992), 291-294. E-mail address : ebadian.ali@gmail.com Department of Mathematics, F aculty of Science, Urmia Unive rsity, Urmia, Iran E-mail address : jabbari al@yahoo.com Young Researchers and Elite Club, Ardabil, Iran

work page 1992