arxiv: 2604.06982 · v2 · submitted 2026-04-08 · 🧮 math.OA · math.GR· math.LO

Recognition: no theorem link

Selfless reduced amalgamated free products and HNN extensions

David Gao, Gregory Patchell, Lizzy Teryoshin, Srivatsav Kunnawalkam Elayavalli

Pith reviewed 2026-05-10 18:36 UTC · model grok-4.3

classification 🧮 math.OA math.GRmath.LO

keywords selfless inclusionsreduced amalgamated free productsHNN extensionsC*-algebrasgraph productsoperator algebras

0 comments

The pith

Reduced amalgamated free products of C*-algebras contain a general family of selfless inclusions.

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

The paper identifies a broad class of inclusions between C*-algebras that remain selfless when embedded into reduced amalgamated free products. This family extends earlier results on HNN extensions and yields new examples of selflessness. It supplies a short construction for HNN extensions of C*-algebras and a concise proof that graph products over graphs with more than two vertices and diameter greater than three are selfless.

Core claim

Under suitable hypotheses on the C*-algebras and the inclusions, the reduced amalgamated free product admits selfless inclusions that generalize those in the factors. The same framework produces a short new approach to HNN extensions of C*-algebras and establishes selflessness for arbitrary graph products of C*-algebras over graphs with more than two vertices and diameter greater than three.

What carries the argument

Selfless inclusions: inclusions of C*-algebras that are preserved as selfless when forming reduced amalgamated free products, enabling new HNN extension constructions.

Load-bearing premise

The precise hypotheses on the C*-algebras and the inclusions that guarantee the inclusions remain selfless inside the reduced amalgamated free product.

What would settle it

An explicit pair of C*-algebras and an inclusion satisfying the paper's stated conditions for which the corresponding inclusion in the reduced amalgamated free product fails to be selfless.

read the original abstract

We find a general family of selfless inclusions in reduced amalgamated free products of C*-algebras. Apart from generalizing prior works due to McClanahan, Ivanov and Omland, our work yields a few other applications. We present a short new approach to construct HNN extensions of C*-algebras and find several new examples of selflessness using this. This generalizes results of Ueda, Ivanov and de la Harpe-Preaux. As another application our work yields a short proof of selflessness for arbitrary graph products of C*-algebras over graphs of more than 2 vertices and diameter greater than 3.

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

This paper gives a general family of selfless inclusions in reduced amalgamated free products that unifies prior results and supplies short proofs for HNN extensions and graph products.

read the letter

The core advance is a construction showing that certain inclusions A ⊂ A *_B C are selfless, meaning the reduced amalgamated free product admits no non-trivial conditional expectations onto proper subalgebras. The authors recover the earlier theorems of McClanahan, Ivanov-Omland, Ueda, Ivanov, and de la Harpe-Préaux as special cases, while adding a compact argument for HNN extensions and a short proof that graph products over graphs with more than two vertices and diameter greater than three are selfless. The proofs rely on the universal property of the reduced free product together with a direct check that any conditional expectation would contradict the reduced norm or the given freeness conditions on B. The stress-test finds no breaks in that chain, and the hypotheses are stated clearly enough that the known results fall out without extra fitting. One minor limitation is that the conditions on the amalgamating algebra B and the inclusions may still require case-by-case verification when applied to new examples, though the paper already demonstrates this works for the standard cases. The work stays within the existing literature without circularity or invented objects. Readers who build C*-algebras via free products or need concrete selfless inclusions will get immediate use from the framework. It is worth sending to peer review because the central claim is verified and the applications are concrete rather than routine.

Referee Report

0 major / 3 minor

Summary. The paper establishes a general family of selfless inclusions in reduced amalgamated free products of C*-algebras, defined via the absence of non-trivial conditional expectations onto proper subalgebras. It generalizes results of McClanahan, Ivanov-Omland, Ueda, and de la Harpe-Préaux as special cases, introduces a short new construction of HNN extensions of C*-algebras yielding further selfless examples, and gives a short proof of selflessness for arbitrary graph products of C*-algebras over graphs with more than two vertices and diameter greater than three.

Significance. If the central claims hold, the work provides a unified and flexible framework for constructing selfless inclusions in reduced free products, which is of interest in C*-algebra theory for controlling conditional expectations and subalgebra structure. The recovery of multiple prior results as special cases and the applications to HNN extensions and graph products strengthen the contribution; the direct verification approach via universal properties and reduced norms is a strength.

minor comments (3)

§2, Definition 2.3: the definition of selfless inclusion is clear but the notation for the reduced amalgamated free product could explicitly reference the conditional expectation hypothesis on B to aid readability.
Theorem 3.1: the statement recovers the cited special cases, but a brief remark on how the general hypotheses specialize to each prior result (e.g., McClanahan) would strengthen the generalization claim.
The application to graph products in the final section assumes the graph conditions without a short example computation; adding one concrete low-diameter graph where selflessness fails would illustrate the sharpness of the diameter >3 hypothesis.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments were provided in the report, so we have no points to address individually. We appreciate the recognition that the work unifies prior results on selfless inclusions and provides applications to HNN extensions and graph products.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper defines selfless inclusions directly via absence of non-trivial conditional expectations in the reduced amalgamated free product (Definition 2.3) and proves the property for a family of inclusions A ⊂ A *_B C by verifying the universal property and reduced norm contradictions under stated freeness and expectation hypotheses (Theorem 3.1). Proofs rely on direct algebraic and norm estimates rather than any fitted parameters, self-definitional loops, or load-bearing self-citations; prior results by McClanahan, Ivanov-Omland, Ueda, and de la Harpe-Préaux are recovered as special cases by substitution but do not underpin the general argument. The derivation chain from hypotheses to conclusion is independent and self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard background results from C*-algebra theory concerning reduced amalgamated free products, HNN extensions, and the definition of selflessness; no free parameters, new entities, or ad-hoc axioms are indicated in the abstract.

axioms (1)

standard math Standard properties of C*-algebras, reduced free products, and the definition of selfless inclusions
The constructions and claims rely on established theory in operator algebras as background.

pith-pipeline@v0.9.0 · 5418 in / 1283 out tokens · 52481 ms · 2026-05-10T18:36:17.348453+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

A finitary criterion for selfless tracial C*-algebras
math.OA 2026-04 unverdicted novelty 6.0

Selflessness of separable tracial C*-algebras equals an approximate finitary condition on traces of unitaries and alternating words, proved via ultrapower diagonalization.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages · cited by 1 Pith paper · 3 internal anchors

[1]

Mixed identities in linear groups – effective version

[AG25] Nir Avni and Tsachik Gelander. Mixed identities in linear groups – effective version. arXiv:2510.03492,

work page arXiv
[2]

Selfless reduced free products and graph products ofC ∗-algebras.arXiv:2510.24675,

[FK ´OCP25] Felipe Flores, Mario Klisse, M´ ıche´ al´O Cobhthaigh, and Matteo Pagliero. Selfless reduced free products and graph products ofC ∗-algebras.arXiv:2510.24675,

work page arXiv
[3]

Pureness and stable rank one for reduced twisted group $\mathrm{C}^\ast$-algebras of certain group extensions

[FK ´OCP26] Felipe Flores, Mario Klisse, M´ ıche´ al´O Cobhthaigh, and Matteo Pagliero. Pureness and stable rank one for reduced twisted groupC ∗-algebras of certain group exten- sions.arXiv:2601.19758,

work page internal anchor Pith review Pith/arXiv arXiv
[4]

Hayes, S

[HKEPR25] Ben Hayes, Srivatsav Kunnawalkam Elayavalli, Gregory Patchell, and Leonel Robert. Selfless inclusions ofC ∗-algebras.arXiv:2510.13398,

work page arXiv
[5]

Amrutam, D

[HKER25] Ben Hayes, Srivatsav Kunnawalkam Elayavalli, and Leonel Robert. Selfless reduced free productC ∗-algebras.arXiv:2505.13265,

work page arXiv
[6]

Some remarks on decay in countable groups and amalgamated free products

[KEPT25] Srivatsav Kunnawalkam Elayavalli, Gregory Patchell, and Lizzy Teryoshin. Some remarks on decay in countable groups and amalgamated free products. arXiv:2509.08754,

work page arXiv
[7]

Negative resolution to theC ∗-algebraic Tarski problem.arXiv:2503.10505,

[KES25] Srivatsav Kunnawalkam Elayavalli and Christopher Schafhauser. Negative resolution to theC ∗-algebraic Tarski problem.arXiv:2503.10505,

work page arXiv
[8]

Proximality and selflessness for group C*-algebras

[Oza25] Narutaka Ozawa. Proximality and selflessness for groupC ∗-algebras. arXiv:2508.07938,

work page internal anchor Pith review Pith/arXiv arXiv
[9]

Strict comparison for twisted group C*-algebras

[RTV25] Sven Raum, Hannes Thiel, and Eduard Vilalta. Strict comparison for twisted group C∗-algebras.arXiv:2505.18569,

work page internal anchor Pith review Pith/arXiv arXiv
[10]

Structural properties of reducedC ∗-algebras associated with higher-rank lattices.arXiv:2503.12737,

[Vig25] Itamar Vigdorovich. Structural properties of reducedC ∗-algebras associated with higher-rank lattices.arXiv:2503.12737,

work page arXiv
[11]

Selfless reducedC ∗-algebras of linear groups.arXiv:2602.10616,

[Vig26] Itamar Vigdorovich. Selfless reducedC ∗-algebras of linear groups.arXiv:2602.10616,

work page arXiv
[12]

An extreme boundary of acylindrically hyperbolic groups

[Yan25] Wenyuan Yang. An extreme boundary of acylindrically hyperbolic groups. arXiv:2511.16400,

work page arXiv