REVIEW 1 major objections 3 minor 27 references
Regular ideals, Ideal Intersections and Quotients II
T0 review · 1 major / 3 minor · reviewed 2026-08-04 · deepseek-v4-flash
Pith's one-line read A pseudo-expectation formula completely classifies the regular ideals of a regular C*-algebra inclusion.
desk verdict A solid continuation of the authors' regular-ideal program: Theorem 3.11 gives a clean explicit inverse for the ideal-intersection isomorphism, and the quotient results are a genuine step beyond their earlier work. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The engine is the pseudo-expectation Φ : A → I(B), a completely positive extension of the inclusion into the injective envelope of B, together with its invariance under the partial dynamics induced by normalizers. Regular ideals are characterized by J = J^{⊥⊥}; the inverse formula L_K uses the annihilator K^{⊥⊥} inside B and pulls it back through Φ via Φ(a*a). Structure projections in I(B) connect regular ideals of B with hereditary subalgebras, enabling the quotient arguments.
What would settle it
Test the inverse formula in a concrete regular inclusion, for example a higher-rank graph algebra C*(Λ) with its cycline subalgebra M_Λ from Example 2.12: take a nontrivial invariant regular ideal K of M_Λ, compute L_K = {a : Φ(a*a) ∈ ι(K)^{⊥⊥}}, and check whether L_K is a two-sided ideal of C*(Λ) with L_K ∩ M_Λ = K. Any K for which L_K fails to be an ideal, or for which the intersection property fails, would contradict Theorem 3.11.
Extended reading notes
Core claim
The central result is Theorem 3.11: for a regular inclusion (A,B) with the ideal intersection property and a faithful pseudo-expectation Φ that is invariant under a generating semigroup of normalizers of B, the map J ↦ J∩B is a Boolean algebra isomorphism from the regular ideals of A onto the invariant regular ideals of B. The inverse is given explicitly: an invariant regular ideal K of B is sent to L_K = {a ∈ A : Φ(a*a) ∈ ι(K)^{⊥⊥}}, which also equals K^{⊥⊥}. For a pseudo-Cartan inclusion (A,D), this is combined with a comparison of invariant ideals under the Cartan envelope to show that the regular ideal lattices of A, D, the Cartan envelope A₁, and its diagonal D₁ are all isomorphic. The
Load-bearing premise
The whole description rests on the assumption that every nonzero regular ideal of A has nonzero intersection with B (the ideal intersection property, or its regular-ideal version); if a 'floating' regular ideal exists with no trace in B, the isomorphism and the inverse formula collapse.
Editorial extensions
If this is right
- If the paper is correct, the regular ideal lattice of a regular inclusion is completely determined by the invariant regular ideals of the subalgebra and the pseudo-expectation; no additional data are needed.
- For pseudo-Cartan inclusions, the regular ideal lattice is invariant under taking the Cartan envelope, so ideal-theoretic questions can be transferred to the better-understood Cartan setting.
- Quotienting a regular inclusion by a regular ideal preserves the faithful unique pseudo-expectation property (Corollary 4.3), and the same holds for inclusions of abelian C*-algebras (Corollary 4.4).
- The quotient of a pseudo-Cartan inclusion by a regular ideal is again pseudo-Cartan, and the Cartan envelope of the quotient is exactly the quotient of the original Cartan envelope (Theorem 4.6).
- Theorem 4.2 gives a precise criterion for when an arbitrary ideal quotient preserves faithfulness of the unique pseudo-expectation: the ideal must equal {a : Φ(a*a) ∈ ι(J∩B)^{⊥⊥}}.
Reading between the lines
- The explicit inverse formula suggests a concrete computational route to regular ideals in examples such as higher-rank graph algebras: compute the invariant regular ideals of the diagonal or cycline algebra and apply Φ; Example 2.12 is a natural testbed.
- The Boolean algebra isomorphism between Reg(A) and RegInv_A(B) may lift to an isomorphism of primitive ideal spaces or K-theoretic invariants, a direction the paper does not explore.
- Theorem 4.2 isolates exactly when the faithful unique pseudo-expectation property survives quotienting; this could be used to characterize regular ideals as the 'quotient-compatible' ideals for regular inclusions, potentially connecting to boundary ideals and reduced crossed products.
- For inclusions failing the ideal intersection property, the failure of the isomorphism is measured by 'floating' regular ideals having zero intersection with B; studying these could yield a quantitative invariant of how far an inclusion is from being pseudo-Cartan.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper continues the authors' study of regular ideals in inclusions of C*-algebras. For a regular inclusion B ⊆ A satisfying the ideal intersection property and admitting an N-invariant faithful pseudo-expectation Φ: A → I(B), Theorem 3.11 asserts that J ↦ J∩B is a Boolean isomorphism from Reg(A) onto the invariant regular ideals of B, with inverse K ↦ L_K = {a ∈ A : Φ(a*a) ∈ ι(K)^{⊥⊥}}. This generalizes [5, Theorem 3.24] from conditional expectations to pseudo-expectations. The authors then use this description to prove Theorem 3.16: for a pseudo-Cartan inclusion (A,D) with Cartan envelope (A1,D1,α), the lattices Reg(A), RegInv_A(D), RegInv_{A1}(D1), and Reg(A1) are all isomorphic. Section 4 gives necessary and sufficient conditions, Theorem 4.2, for a quotient by an ideal to preserve the faithful unique pseudo-expectation property, with corollaries for regular inclusions and abelian inclusions, and proves Theorem 4.6 that quotients of pseudo-Cartan inclusions by regular ideals are again pseudo-Cartan, with an explicit description of the Cartan envelope of the quotient.
Significance. These results provide an explicit, computable inverse for Exel's lattice isomorphism and extend the earlier work of the authors from conditional expectations to the broader pseudo-expectation framework. The pseudo-Cartan quotient theorem is a substantial generalization of [5, Theorem 4.8]. The paper is careful with its hypotheses: the ideal intersection property is stated plainly, and Remark 3.12 correctly notes that only the regular-ideal version is used. The arguments rely on established tools — Hamana's injective envelopes, Exel's theorem, and Pitts's pseudo-Cartan machinery — and are mostly detailed. The explicit inverse formula for L_K and the quotient preservation criteria are likely to be useful for future investigations of ideal structure in C*-algebras, especially in settings where conditional expectations are not available.
major comments (1)
- [Proposition 3.10(iii)] In the proof of the equality L_K = J_K^{⊥⊥}, after defining L_{K^⊥}, the text states: 'Since a ∈ L_{K^⊥}, we also have that ac ∈ L_{K^⊥}.' This step requires L_{K^⊥} to be at least a right ideal. By Proposition 3.10(ii), that holds if K^⊥ is N-invariant. The N-invariance of K^⊥ is not proved in the manuscript; it follows for regular inclusions from condition (inv), for instance via [7, Proposition 4.2], but the argument should be supplied. As written, the proof that L_K is a regular ideal is incomplete, and this is a load-bearing point for Theorem 3.11.
minor comments (3)
- [Theorem 3.15] The displayed inclusion 'α(n)^* α(J)^⊥ α(n)^* ⊆ α(J)^⊥' appears to have a typo: the final 'α(n)^*' should be 'α(n)', i.e. α(n)^* α(J)^⊥ α(n) ⊆ α(J)^⊥.
- [Proposition 3.10(i)] When concluding that J_K is a right ideal from the fact that an ∈ J_K for n in the generating semigroup N, the proof should explicitly note that J_K is closed under norm limits; this is immediate from continuity of Φ and closedness of ι(K), but it is used and should be stated.
- [Theorem 4.6] The notation K1 is used in the proof before it is formally introduced in the theorem statement. It would improve readability to define K1 = α(J∩D)^{⊥⊥ D1} in the display following the statement, alongside the definition of J1.
Circularity Check
No significant circularity: Theorem 3.11's proof is self-contained under explicit hypotheses; prior self-citations are not load-bearing in a circular sense.
full rationale
The central result, Theorem 3.11, is not circular. Its hypotheses—regular inclusion, ideal intersection property, N-invariant faithful pseudo-expectation—are explicit structural assumptions, and the proof derives the inverse formula rather than assuming it. In the proof, J=L_K is obtained by ruling out nonzero regular ideals with trivial intersection with B using the ideal intersection property, while Proposition 3.10 is proved directly from the pseudo-expectation axioms. The equality L_K=K^{⊥⊥} is imported from Exel's external theorem [7, Theorem 3.5], not from the paper's own conclusion. The pseudo-Cartan applications rely on Theorem 2.10, cited from Pitts's prior work [21]; this is a self-citation and a substantial part of the framework, but it is used as a prior classification theorem with its own proof, not as an equation that is equivalent to the target result. There are no fitted parameters, no predictions that are renamed fits, and no empirical pattern merely relabeled as a unification. The paper's derivation chain is therefore self-contained modulo its stated hypotheses and standard prior theorems.
Assumptions & free parameters
assumptions (6)
- standard math Hamana's injective envelope theory: every C*-algebra has an injective envelope, and regular ideals correspond to central projections in the centre of the injective envelope.
- standard math Pseudo-expectations exist for any inclusion and are B-B-bimodule maps.
- domain assumption Exel's theorem: for an inclusion with the ideal intersection property and condition (inv), the map J↦J∩B is a Boolean algebra isomorphism Reg(A) to RegInv_A(B), with inverse K↦K^{⊥⊥}.
- domain assumption Pseudo-Cartan inclusions are exactly regular inclusions with the faithful unique pseudo-expectation property, equivalently having a Cartan envelope (Theorem 2.10).
- domain assumption For a Cartan inclusion, the quotient by a regular ideal is again a Cartan inclusion ([5, Thm 4.8]).
- domain assumption Uniqueness of pseudo-expectation implies N-invariance ([20, Prop 6.2]).
Cite this review
Pith. "Pith review of Regular ideals, Ideal Intersections and Quotients II." pith.science (2026). https://pith.science/paper/PKP3CSOB
@misc{pith2026250919148,
author = {Pith},
title = {Pith review of: Regular ideals, Ideal Intersections and Quotients II},
year = {2026},
howpublished = {\url{https://pith.science/paper/PKP3CSOB}},
note = {Machine review of arXiv:2509.19148}
}
abstract
Let $B \subseteq A$ be a regular inclusion of C*-algebras satisfying the ideal intersection property and with a faithful invariant pseudo-expectation. A complete description of the regular ideals of $A$ is given using the invariant regular ideals of $B$ and the pseudo-expectation. Further, necessary and sufficient conditions are given for a quotient by a regular ideal to preserve the faithful unique pseudo-expectation property. Special attention is given throughout to pseudo-Cartan inclusions, i.e. regular inclusions with the faithful unique pseudo-expectation property, equivalently, having a Cartan envelope. We show that the quotient of a pseudo-Cartan inclusion by a regular ideal is again a pseudo-Cartan inclusion, and we describe the Cartan envelope of the quotient.
Reference graph
Works this paper leans on
-
[5]
Brown, Adam H
Jonathan H. Brown, Adam H. Fuller, David R. Pitts, and Sarah A. Reznikoff. Regular Ideals, Ideal Intersections, and Quotients.Integral Equations Operator Theory, 96(1):Paper no. 3, 2024
2024
-
[1]
Blackadar.Operator algebras, volume 122 ofEncyclopaedia of Mathematical Sciences
B. Blackadar.Operator algebras, volume 122 ofEncyclopaedia of Mathematical Sciences. Springer- Verlag, Berlin, 2006. Theory ofC ∗-algebras and von Neumann algebras, Operator Algebras and Non- commutative Geometry, III
2006
-
[2]
The Furstenberg boundary of a groupoid
Clemens Borys. The Furstenberg boundary of a groupoid. arxiv: 1904.10062, 2020
arXiv 1904
-
[3]
Simplicity of algebras associated to ´ etale groupoids.Semigroup Forum, 88(2):433–452, 2014
Jonathan Brown, Lisa Orloff Clark, Cynthia Farthing, and Aidan Sims. Simplicity of algebras associated to ´ etale groupoids.Semigroup Forum, 88(2):433–452, 2014
2014
-
[4]
Brown, Adam H
Jonathan H. Brown, Adam H. Fuller, David R. Pitts, and Sarah A. Reznikoff. Regular ideals of graph algebras.Rocky Mountain J. Math., 52(1):43–48, 2022
2022
-
[6]
Brown, Gabriel Nagy, and Sarah Reznikoff
Jonathan H. Brown, Gabriel Nagy, and Sarah Reznikoff. A generalized Cuntz-Krieger uniqueness theo- rem for higher-rank graphs.J. Funct. Anal., 266(4):2590–2609, 2014
2014
-
[7]
Regular ideals under the ideal intersection property
Ruy Exel. Regular ideals under the ideal intersection property. arxiv: 2301.10073, 2023
arXiv 2023
-
[8]
A note on the regular ideals of Leavitt path algebras.J
Daniel Gon¸ calves and Danilo Royer. A note on the regular ideals of Leavitt path algebras.J. Algebra Appl., 21(11):Paper No. 2250225, 11, 2022
2022
Show all 27 references
-
[9]
Injective envelopes ofC ∗-algebras.J
Masamichi Hamana. Injective envelopes ofC ∗-algebras.J. Math. Soc. Japan, 31(1):181–197, 1979
1979
-
[10]
Regular embeddings ofC ∗-algebras in monotone completeC ∗-algebras.J
Masamichi Hamana. Regular embeddings ofC ∗-algebras in monotone completeC ∗-algebras.J. Math. Soc. Japan, 33(1):159–183, 1981
1981
-
[11]
The centre of the regular monotone completion of aC ∗-algebra.J
Masamichi Hamana. The centre of the regular monotone completion of aC ∗-algebra.J. London Math. Soc. (2), 26(3):522–530, 1982
1982
-
[12]
Boundaries of reducedC ∗-algebras of discrete groups.J
Mehrdad Kalantar and Matthew Kennedy. Boundaries of reducedC ∗-algebras of discrete groups.J. Reine Angew. Math., 727:247–267, 2017
2017
-
[13]
The ideal intersection property for essential groupoidC ∗-algebras
Matthew Kennedy, Se-Jin Kim, Xin Li, Sven Raum, and Dan Ursu. The ideal intersection property for essential groupoidC ∗-algebras. arxiv: 2107.03980, 2021
2021 arXiv
-
[14]
Noncommutative boundaries and the ideal structure of reduced crossed products.Duke Math
Matthew Kennedy and Christopher Schafhauser. Noncommutative boundaries and the ideal structure of reduced crossed products.Duke Math. J., 168(17):3215–3260, 2019
2019
-
[15]
Higher rank graphC ∗-algebras.New York J
Alex Kumjian and David Pask. Higher rank graphC ∗-algebras.New York J. Math., 6:1–20, 2000
2000
-
[16]
Graphs, groupoids, and Cuntz-Krieger algebras.J
Alex Kumjian, David Pask, Iain Raeburn, and Jean Renault. Graphs, groupoids, and Cuntz-Krieger algebras.J. Funct. Anal., 144(2):505–541, 1997
1997
-
[17]
OnC ∗-diagonals.Canad
Alexander Kumjian. OnC ∗-diagonals.Canad. J. Math., 38(4):969–1008, 1986. 19
1986
-
[18]
Murphy.C ∗-algebras and operator theory
Gerard J. Murphy.C ∗-algebras and operator theory. Academic Press, Inc., Boston, MA, 1990
1990
-
[19]
David R. Pitts. Structure for regular inclusions. I.J. Operator Theory, 78(2):357–416, 2017
2017
-
[20]
David R. Pitts. Structure for regular inclusions. II: Cartan envelopes, pseudo-expectations and twists. J. Funct. Anal., 281(1):Paper No. 108993, 66, 2021
2021
-
[21]
David R. Pitts. Pseudo-Cartan inclusions.arXiv: 2502.01975v3, 2025
2025 arXiv
-
[22]
Pitts and Vrej Zarikian
David R. Pitts and Vrej Zarikian. Unique pseudo-expectations forC ∗-inclusions.Illinois J. Math., 59(2):449–483, 2015
2015
-
[23]
Cartan subalgebras inC ∗-algebras.Irish Math
Jean Renault. Cartan subalgebras inC ∗-algebras.Irish Math. Soc. Bull., (61):29–63, 2008
2008
-
[24]
Kazuyuki Saitˆ o and J. D. Maitland Wright.Monotone completeC ∗-algebras and generic dynamics. Springer Monographs in Mathematics. Springer, London, 2015
2015
-
[25]
Regular ideals of locally-convex higher-rank graph algebras.New York J
Tim Schenkel. Regular ideals of locally-convex higher-rank graph algebras.New York J. Math., 28:1581– 1595, 2022
2022
-
[26]
Annihilator ideals of graph algebras.J
Lia Vaˇ s. Annihilator ideals of graph algebras.J. Algebraic Combin., 58(2):331–353, 2023
2023
-
[27]
Cycline subalgebras ofk-graphC ∗-algebras.Proc
Dilian Yang. Cycline subalgebras ofk-graphC ∗-algebras.Proc. Amer. Math. Soc., 144(7):2959–2969, 2016. (J.H. Brown)Department of Mathematics, University of Dayton, Dayton, OH 45469-2316 U.S.A. Email address:jonathan.henry.brown@gmail.com (A.H. Fuller)Department of Mathematics,...
2016
Reviewed August 4, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.