arxiv: 2604.03668 · v1 · submitted 2026-04-04 · 🧮 math.OA

Recognition: no theorem link

Some remarks on Reduced C^*-algebras of semigroup dynamical systems and product systems

Md Amir Hossain, S. Sundar

Pith reviewed 2026-05-13 17:32 UTC · model grok-4.3

classification 🧮 math.OA

keywords exactnessreduced crossed productssemigroup dynamical systemsC*-algebrasproduct systemsFell bundles

0 comments

The pith

For abelian finitely generated semigroups, the reduced crossed product is exact precisely when the coefficient algebra is exact.

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

The paper proves that for a semigroup dynamical system (A, P, α) where P is abelian and finitely generated, the reduced crossed product A ⋊_red P is exact if and only if A itself is exact. This removes the earlier requirement that the action α consist of injective endomorphisms. The same work also shows that the groupoid crossed product construction for a product system is equivalent as a Fell bundle to the one built directly from the product system.

Core claim

For a semigroup dynamical system (A, P, α) with P abelian and finitely generated, the reduced crossed product A ⋊_red P is exact if and only if A is exact. This strengthens the prior result by dropping the injectivity condition on the endomorphisms comprising α. The authors further establish that the groupoid crossed product described in their earlier work is equivalent as a Fell bundle to the construction given by Rennie and Sims for a product system.

What carries the argument

The reduced crossed product A ⋊_red P of the semigroup dynamical system (A, P, α), together with the equivalence of the associated Fell bundles.

If this is right

Exactness of A is necessary and sufficient for exactness of the reduced crossed product under the stated hypotheses on P.
The result applies to a wider class of actions than those consisting only of injective endomorphisms.
Equivalence of the two Fell bundle constructions allows results from one framework to transfer directly to the other.

Where Pith is reading between the lines

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

The equivalence may simplify verification of exactness when passing from an algebra to its crossed product by such semigroups.
It raises the question whether similar exactness equivalences hold for non-abelian or infinitely generated semigroups under suitable extra conditions.
The Fell bundle equivalence could be used to compare K-theoretic invariants computed via groupoid versus product-system methods.

Load-bearing premise

That the semigroup P is abelian and finitely generated.

What would settle it

An explicit abelian finitely generated semigroup P, a C*-algebra A that is not exact, and an action α such that A ⋊_red P is nevertheless exact.

read the original abstract

We study the exactness of the reduced crossed product of a semigroup dynamical system and the reduced $C^{*}$-algebra of a product system. We show that for a semigroup dynamical system $(A, P,\alpha)$, under reasonable hypotheses (e.g., $P$ is abelian and finitely generated), the reduced crossed product $A \rtimes_{red} P$ is exact if and only if $A$ is exact. This strengthens our earlier result (\cite{Amir_Sundar-product-system}), where it was assumed that the action of $P$ on $A$ is by injective endomorphisms. We also compare the groupoid crossed product described in \cite{Amir_Sundar-product-system} and the Fell bundle constructed in \cite{Rennie_Sims} for a product system, and show that they are equivalent as Fell bundles.

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 drops the injectivity assumption on the action to get an if-and-only-if exactness result for reduced semigroup crossed products when P is abelian and finitely generated, plus an explicit equivalence between the groupoid and Fell bundle constructions.

read the letter

The main thing to know is that this strengthens the authors' earlier result by removing the requirement that the action consists of injective endomorphisms. For P abelian and finitely generated, they show the reduced crossed product A ⋊_red P is exact precisely when A is exact. They also prove that the groupoid crossed product from their prior work is isomorphic as a Fell bundle to the one constructed by Rennie and Sims for the product system. The argument proceeds by building the reduced crossed product from the regular representation on the Hilbert module, then using the abelian property to manage the spectrum and finite generation to get the needed approximations in both directions. Removing injectivity is handled by working straight from the covariance relations without extra assumptions on the generators. The bundle comparison is done via an explicit C*-algebra isomorphism. The hypotheses are now stated clearly rather than left as vague 'reasonable' conditions, and the proofs do not appear circular or to rely on fitted parameters. The main limitation is that the result stays tied to abelian finitely generated semigroups, so it does not immediately apply to arbitrary semigroups or non-abelian cases. This is a technical paper aimed at people already working on C*-algebras of semigroup dynamical systems and product systems. Readers who know the cited prior papers will see the value in the relaxed hypothesis and the direct comparison. The work shows clear engagement with the literature and the constructions check out on the details given. It deserves a serious referee.

Referee Report

0 major / 2 minor

Summary. The paper proves that for a semigroup dynamical system (A, P, α) where P is abelian and finitely generated, the reduced crossed product A ⋊_red P is exact if and only if A is exact. This removes the injectivity assumption on the *-endomorphisms α from the authors' earlier result in Amir_Sundar-product-system. The proof constructs the reduced crossed product via the regular representation on the Hilbert module, uses the abelian structure to control the spectrum and finite generation for approximations, and works directly with covariance relations. The paper also shows that the groupoid crossed product from the earlier work is equivalent as a Fell bundle to the construction in Rennie_Sims via an explicit isomorphism of the associated C*-algebras.

Significance. If the result holds, it strengthens the characterization of exactness for reduced crossed products by semigroups by removing the restrictive injectivity hypothesis, thereby broadening applicability to a wider class of actions. The explicit comparison between the groupoid crossed product and Fell bundle constructions provides a useful bridge between approaches in the literature on product systems. The manuscript ships a parameter-free equivalence under the stated hypotheses on P together with a direct proof that avoids self-referential definitions.

minor comments (2)

[§1] §1 (Introduction): the statement of the main theorem should list the full set of hypotheses on α and P explicitly rather than referring to 'reasonable hypotheses' as in the abstract.
[Final section] The comparison in the final section would benefit from a diagram or explicit statement of the isomorphism map between the two Fell bundles to aid readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, the clear summary of our main results, and the recommendation for minor revision. We appreciate the recognition that the work removes the injectivity hypothesis from our earlier result and provides an explicit equivalence between the groupoid and Fell bundle constructions.

Circularity Check

0 steps flagged

Minor self-citation to prior work; central exactness equivalence independently derived

full rationale

The paper cites its earlier result (Amir_Sundar-product-system) only to note that the new statement removes the injectivity hypothesis on α. The proof of the iff exactness claim proceeds by direct construction of the reduced crossed product via the regular representation on the Hilbert module, using the abelian and finitely generated structure of P to control approximations and spectrum, and handling covariance relations without injectivity. The groupoid-vs-Fell-bundle comparison is established by an explicit isomorphism of the associated C*-algebras. None of these steps reduces by definition or by construction to the prior paper's fitted parameters or assumptions; the self-citation is therefore not load-bearing. The derivation is self-contained against the stated hypotheses.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard axioms of C*-algebras, reduced crossed products, and Fell bundles from prior literature; no new free parameters or invented entities are introduced in the abstract.

axioms (1)

standard math Standard axioms and properties of C*-algebras, reduced crossed products, and exactness
Invoked throughout the study of exactness for crossed products.

pith-pipeline@v0.9.0 · 5446 in / 1197 out tokens · 50142 ms · 2026-05-13T17:32:11.942972+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages

[1]

Md Amir Hossain and S. Sundar. ReducedC∗-algebras of product systems—an E0-semigroup and a groupoid perspective. arXiv:2507.20319v1

work page arXiv
[2]

Nuclearity of semigroupC∗-algebras and the connection to amenability.Adv

Xin Li. Nuclearity of semigroupC∗-algebras and the connection to amenability.Adv. Math., 244:626–662, 2013

work page 2013
[3]

Muhly and Dana P

Paul S. Muhly and Dana P. Williams. Equivalence and disintegration theorems for Fell bundles and theirC∗-algebras.Dissertationes Math., 456:1–57, 2008

work page 2008
[4]

Groupoid Fell bundles for prod- uct systems over quasi-lattice ordered groups.Math

Adam Rennie, David Robertson, and Aidan Sims. Groupoid Fell bundles for prod- uct systems over quasi-lattice ordered groups.Math. Proc. Cambridge Philos. Soc., 163(3):561–580, 2017

work page 2017
[5]

Williams

Aidan Sims and Dana P. Williams. An equivalence theorem for reduced Fell bundle C∗-algebras.New York J. Math., 19:159–178, 2013

work page 2013
[6]

S. Sundar. On a construction due to Khoshkam and Skandalis.Doc. Math., 23:1995– 2025, 2018

work page 1995
[7]

Williams.Crossed products of C∗-algebras, volume 134 ofMathematical Surveys and Monographs

Dana P. Williams.Crossed products of C∗-algebras, volume 134 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2007. 16 MD AMIR HOSSAIN AND S. SUNDAR Indian Statistical Institute, Delhi Centre, 7, S. J. S. Sansanwal Marg, New Delhi, 110016, India Email address:mdamirhossain18@gmail.com The Institute of Mathematical Scie...

work page 2007