{"id":"334c9d63-3e99-49af-b961-6cfe3423cd93","arxiv_id":"2412.16087","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Every Lie ideal in a unital, properly infinite C*-algebra is commutator equivalent to a unique two-sided ideal, and the same uniqueness holds in von Neumann algebras without a commutative summand.","lead":"This paper proves that in every unital, properly infinite C*-algebra, any subspace closed under commutators is matched to exactly one ordinary two-sided ideal, with the same conclusion holding in von Neumann algebras without a commutative part. It settles two named open problems about operator algebras and reduces the study of these subspaces to the lattice of ordinary ideals.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 2.10's inference 'B has no characters' requires [KR15, Lemma 3.5] to supply a character-free separable A0; the paper does not state this property, and Theorem 5.3 and 6.1 both depend on the reduction.","rationale":"I agree with the reader's weakest_assumption: this is the same hinge. I independently spot-checked the main technical chain. In Lemma 2.2, the computation gx−2gxg+xg = [g,[g,x]] and the use of gxh = [g/2, 2gxh] correctly give gLh⊆L, and the A12LA12 argument using v1,w1,v2,w2 is valid; in particular w1axb′w1 lies in hAh·L·gAg, so the appeal to the already-proved A22LA11 containment is legitimate. Lemma 2.4's cornerwise verification is internally consistent. The fullness of g and h used in Lemma 2.3 and Theorem 2.7 follows because g and h are full in the image of M2⊕M3, and that image contains the unit of A, hence AgA=A. Lemma 5.1 plus Pop's theorem correctly yields [A,L]=[A,[A,L]] for unital properly infinite A, so Theorem 5.3 follows once Theorem 2.7 is available. The paper's own Remark 6.5 flags an open equality concerning [I^{1/2},I^{1/2}], but that is a strengthening of Theorem 6.4, not a threat to the main theorem. The only step I cannot certify from the text alone is the unstated content of [KR15, Lemma 3.5] in Proposition 2.10. Since this is a citation-verification issue rather than a defect in the main estimates, and since the same reduction is also used in Theorem 6.1, I do not move the reader's ACCEPT; I recommend checking the lemma rather than rejecting or rewriting the paper.","tokens_in":23663,"tokens_out":41417,"duration_ms":383145,"concrete_test":"Open [KR15] and read Lemma 3.5. Verify whether its conclusion includes (or immediately implies) that a unital C*-algebra without characters has a separable unital subalgebra without characters. If it does, Proposition 2.10 is sound; if it does not, Proposition 2.10 is incomplete and the proof of Theorems 5.3 and 6.1 needs a replacement argument at this step.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing step is Proposition 2.10, the bridge that produces a unital *-homomorphism M2(C) ⊕ M3(C) → A for the algebras studied in Theorems 5.3 and 6.1. After choosing A0 by [KR15, Lemma 3.5] and extending to a separable real-rank-zero subalgebra B ⊇ A0, the text asserts: 'It follows that B has no characters.' This is valid only if A0 has no characters, since a character of B restricts to a character of A0. The paper never states the conclusion of [KR15, Lemma 3.5]. If the lemma only gives a separable subalgebra, or if its character-free conclusion is not part of its statement, then Proposition 2.10 is not proved, and the route to Theorem 5.3 via O∞ and the von Neumann algebra application lose their stated justification. The commutator machinery in Lemmas 2.2–2.6, Proposition 2.5, and Lemma 2.6 survives scrutiny; the soft spot is exclusively the reduction inside Proposition 2.10. If [KR15, Lemma 3.5] does assert existence of a separable character-free subalgebra, the proof is sound and the concern vanishes.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies Lie ideals (not necessarily closed) in unital C*-algebras that admit a unital *-homomorphism from M2(C) ⊕ M3(C). Through a series of matrix-unit computations, the author proves in Theorem 2.7 that every such Lie ideal L is related to the unique two-sided ideal I := A[A,L]A, with [A,I] = [A,[A,L]] ⊆ [A,L] ⊆ I. Theorem 2.9 characterizes commutator equivalence to I in terms of the equality [A,L] = [A,[A,L]]. These results are then applied in Theorem 5.3 to unital, properly infinite C*-algebras, proving that every Lie ideal is commutator equivalent to a unique two-sided ideal, and in Theorem 6.1 to von Neumann algebras, with uniqueness of the related ideal when the algebra has no commutative summand. The latter is presented as a solution to BKS Problem 5.21, and Theorem 5.3 is presented as a positive answer to Robert's Problem B in the properly infinite setting.","tokens_in":23715,"tokens_out":24269,"duration_ms":227352,"significance":"If the main results are correct, they give a clean structural description of all Lie ideals in unital properly infinite C*-algebras: after Corollary 5.4, every Lie ideal is uniquely sandwiched between [A,I] and T([A,I]) for a two-sided ideal I, so the complicated family of Lie ideals is encoded by the lattice of two-sided ideals. This is a substantial positive answer to a question of Robert. The technical core is presented in unusually full detail: the commutator identities in Lemma 2.2, the factorization arguments with v1,w1,v2,w2, and the uniqueness argument in Theorem 2.7 are all written out and, on spot-checking, are correct. The paper also contains several useful byproducts, including Theorem 3.8, Theorem 4.6, and Proposition 6.2. The main caveat is a gap in the proof of Proposition 2.10, which is the bridge needed for the applications to real rank zero algebras and to von Neumann algebras; this is discussed below.","major_comments":[{"comment":"The proof of Proposition 2.10 is incomplete as written. The text invokes [KR15, Lemma 3.5] only to obtain a separable sub-C*-algebra A0 ⊆ A containing the unit, then extends A0 to a separable, real rank zero subalgebra B, and asserts 'It follows that B has no characters.' This inference requires that A0 itself has no characters, because a character of B restricts to a character of A0. The manuscript does not state that [KR15, Lemma 3.5] supplies a character-free A0. If the cited lemma does include that conclusion, the statement should be amended accordingly; otherwise the forward implication of Proposition 2.10 is not established. Since Proposition 2.10 is the bridge producing the unital *-homomorphism M2(C) ⊕ M3(C) → A for the algebras in Theorem 5.3 and Theorem 6.1, this is a load-bearing point that needs to be fixed or clarified.","section":"§2, Proposition 2.10"}],"minor_comments":[{"comment":"The proof uses that g and h are full in A. This is true because g and h are full in M2(C) ⊕ M3(C) and the image of a full projection under a unital *-homomorphism is full, but the manuscript does not say this; a one-sentence justification would remove a hidden step.","section":"§2, Lemma 2.3"},{"comment":"The sentence 'Combining both results, we get A = Z(A) + [A,A]' is unclear: the Dixmier-property argument already gives the equality, and the closedness of [A,A] from [NR16] is not evidently needed for it. Please clarify the role of the second sentence, or remove it.","section":"§5, Proposition 5.2(1)"},{"comment":"In the statement and proof of Lemma 4.2, the notation 'span_C(N2(I^{1/2}), N2(I^{1/2}))' appears; this should presumably be 'span_C[ N2(I^{1/2}), N2(I^{1/2}) ]' (the subspace generated by commutators), in line with the proof's conclusion. The same notational issue appears in Theorem 4.3.","section":"§4, Lemma 4.2"},{"comment":"Typo: 'decomposition induces by g and h' should be 'decomposition induced by g and h'.","section":"§2.1"},{"comment":"Typo: 'tracial stetes' should be 'tracial states'.","section":"§5, Remark 5.5"},{"comment":"In the introductory discussion of simple unital algebras, the sentence 'a Lie ideal it is commutator equivalent to A' contains a stray 'it'.","section":"§1"}],"recommendation":"major_revision","confidential_remarks":"The paper is well within the scope of the journal and the mathematical content appears sound apart from the one bridge in Proposition 2.10. I expect that the issue there is a matter of quoting [KR15, Lemma 3.5] fully: if that lemma indeed provides a separable character-free subalgebra, the proof is complete after a one-sentence amendment. I therefore see this as a fixable major-revision issue rather than a fundamental obstruction."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is the real thing. The paper proves that in a unital properly infinite C*-algebra, every Lie ideal is commutator equivalent to the unique two-sided ideal I = A[A,L]A, giving a clean classification via the ideal lattice. The main technical advance is a 'mixed' decomposition using g = e11 + f11 and auxiliary elements v1, w1, v2, w2, which gets Lemma 2.2 to work where the BKS idempotent method didn't directly apply. I spot-checked the key identities (gxh = [g, 2gxh]/2, vyv = -[v,[v,y]]/2, and the v1,w1,v2,w2 factorizations) and they hold. The chain from Lemma 2.2 through Theorems 2.7, 2.9, 5.3 is written out in full and is readable. Corollary 5.4 is the payoff: every Lie ideal sits between [A,I] and T([A,I]) for a unique I.\n\nThe paper also delivers for real rank zero algebras without characters, and for von Neumann algebras it recovers BKS08's theorem with a new uniqueness result, answering BKS Problem 5.21 when the commutative summand vanishes.\n\nThe soft spots are small and localized. The most important is Proposition 2.10. The proof says 'It follows that B has no characters' after extending A0 to a separable RR0 subalgebra B. That inference only works if the cited [KR15, Lemma 3.5] guarantees A0 itself has no characters. The paper doesn't state that conclusion. If the lemma indeed supplies a character-free separable subalgebra, then the step is fine and just needs to be spelled out; if not, the bridge to Theorems 5.3 and 6.1 loses its justification. This should be the first thing a referee checks. Second, Theorem 6.1 uses that von Neumann algebras have real rank zero without saying so; a one-line citation fixes it. The 'Analogously' passages in Lemmas 2.2, 2.4, 2.6 are harmless; the symmetric cases really are the same argument.\n\nWho this is for: anyone working on Lie ideals, commutators, or ideal structure in C*-algebras. It deserves a serious referee, not a desk rejection. My recommendation: send it to review, ask the referee to verify the statement of [KR15, Lemma 3.5] and to request that the author state exactly what the lemma gives. If that checks out, accept.","headline":"A strong, well-written resolution of Robert's Problem B for properly infinite C*-algebras; the only real soft spot is a compressed citation in Proposition 2.10 that a referee should check.","tokens_in":24536,"tokens_out":3158,"would_cite":true,"duration_ms":25068,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46L05","46L10","16W10","17B60","47B47"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that every Lie ideal in a unital, properly infinite C*-algebra is commutator equivalent to a unique two-sided ideal, and that this answers an open problem in this setting.","keywords":["Lie ideals","C*-algebras","properly infinite","von Neumann algebras","commutators","square-zero elements","real rank zero","two-sided ideals"],"falsifier":"Look directly at the proof of Proposition 2.10: the cited lemma [KR15] produces a separable subalgebra $A_0$, and the text then asserts that a larger separable real rank zero subalgebra $B \\supseteq A_0$ has no one-dimensional representations. Since a one-dimensional representation of $B$ restricts to one of $A_0$, that assertion requires $A_0$ itself to have no such representations, which the paper does not state. A counterexample would be a unital real rank zero C*-algebra without characters whose separable subalgebras all admit characters; it would remove the embedding and cut off Theorem 5.3. Alternatively, find a Lie ideal $L$ in $O_\\infty$ with $[O_\\infty,L] \\neq [O_\\infty,[O_\\infty,L]]$; the theorem predicts equality for every $L$.","tokens_in":23199,"feed_emoji":"🧩","tokens_out":24926,"duration_ms":163435,"temperature":0.7,"pith_summary":"Lie ideals are linear subspaces that survive taking commutators with any element of the ambient algebra, and two-sided ideals are the subspaces closed under left and right multiplication. This paper proves that in any unital properly infinite C*-algebra — one that contains two orthogonal copies of itself inside its unit — every Lie ideal is commutator equivalent to a unique two-sided ideal: the commutator subspace $[A,L]$ generated by the algebra and the Lie ideal is exactly the commutator subspace $[A,I]$ of that ideal. As a consequence, the whole family of Lie ideals is a disjoint union of simple sandwiches $[A,I] \\subseteq L \\subseteq T([A,I])$ indexed by two-sided ideals $I$, so the ideal lattice gives a complete inventory of all Lie ideals. The same method yields structure theorems for unital real rank zero C*-algebras without one-dimensional representations and for von Neumann algebras, where it resolves an open problem about the uniqueness of the associated ideal.","feed_headline":"Lie ideals in properly infinite C*-algebras map to unique ideals","feed_subtitle":"Every Lie ideal is commutator equivalent to a unique two-sided ideal, settling the structure question.","key_machinery":"The workhorse is a unital $*$-homomorphism $M_2(\\mathbb{C}) \\oplus M_3(\\mathbb{C}) \\to A$, the direct sum of the $2\\times 2$ and $3\\times 3$ complex matrix algebras, which exists in every unital properly infinite C*-algebra via the Cuntz algebra $O_\\infty$ and also in unital real rank zero algebras without characters. The homomorphism supplies two full complementary projections $g$ and $h$, cutting $A$ into four corners $A_{ij}$, and Lemma 2.2 proves that the corner products $A_{11}LA_{22}$, $A_{22}LA_{11}$, $A_{12}LA_{12}$, $A_{21}LA_{21}$ all lie in $[A,[A,L]]$ for any Lie ideal $L$. From these containments, Lemmas 2.3–2.6 and Proposition 2.5 force $[A,L] \\subseteq A g L h A = A[A,L]A = I$ and $[A,I] \\subseteq [A,[A,L]]$, giving Theorem 2.7: $L$ is related to the unique ideal $I := A[A,L]A$. Theorem 2.9 then shows commutator equivalence is equivalent to the equality $[A,L] = [A,[A,L]]$. The final step for properly infinite algebras is Lemma 5.1: because such algebras have no tracial states, a classical result gives $A = [A,A]$, hence $A = Z(A) + [A,A]$, which forces $[A,L] = [A,[A,L]]$ and upgrades relatedness to commutator equivalence.","core_discovery":"The central discovery is Theorem 5.3. Given a unital properly infinite C*-algebra $A$ and any Lie ideal $L\\subseteq A$, set $I := A[A,L]A$, the two-sided ideal generated by all commutators $[a,x]$ with $a\\in A$ and $x\\in L$. The theorem asserts the double equality $[A,L] = [A,[A,L]] = [A,I]$. This means $L$ and $I$ generate exactly the same commutator subspace, so $L$ is commutator equivalent to $I$; it is also embraced by $I$, in the sense that $[A,I] \\subseteq L \\subseteq T([A,I])$, where $T(K)$ collects the elements whose commutators with $A$ all lie in $K$; and $I$ is the only two-sided ideal to which $L$ is related. Corollary 5.4 turns this into a complete classification: the Lie ideals of $A$ are exactly the additive subgroups sandwiched between $[A,I]$ and $T([A,I])$ for a unique two-sided ideal $I$. The same classification, with the uniqueness clause modified, holds for von Neumann algebras.","pith_inferences":["If Theorem 5.3 is correct, the same uniqueness argument should apply to any unital C*-algebra that admits a unital $M_2(\\mathbb{C}) \\oplus M_3(\\mathbb{C})$ subalgebra and satisfies $A = Z(A) + [A,A]$; testing pure C*-algebras with the Dixmier property would either confirm or bound the scope of Remark 5.5.","The equality $[A,L] = [A,[A,L]]$ for all Lie ideals means the commutator operation is idempotent on the set of commutator subspaces, which could be exploited to define a lattice-theoretic rank or dimension for Lie ideals of properly infinite algebras.","The square-zero technology in Sections 3 and 4 suggests a quantitative version: if every element of a Dixmier ideal $I$ is a sum of products of pairs of square-zero elements from $I^{1/2}$, then commutator norms of elements in $I$ might be controlled by the number of such factors, a property that could be tested on operator ideals in $B(H)$.","Resolving Question 2.12 positively would require extending the $M_2 \\oplus M_3$ embedding to all unital character-free C*-algebras, not just those of real rank zero; a counterexample there would show that the real rank zero assumption is essential, not merely technical."],"forward_implications":["For every unital properly infinite C*-algebra $A$, the map $I \\mapsto [A,I]$ is a bijection from two-sided ideals onto the Lie ideals satisfying $L = [A,L]$, with inverse $L \\mapsto A[A,L]A$ (Theorem 3.10).","Every Lie ideal $L$ is commutator equivalent to, embraced by, and related to the unique two-sided ideal $A[A,L]A$; in particular, $L$ is determined up to the sandwich $[A,I] \\subseteq L \\subseteq T([A,I])$ (Theorem 5.3 and Corollary 5.4).","Closed Lie ideals in these algebras correspond exactly to closed two-sided ideals, since $A[A,L]A$ is closed whenever $L$ is closed (Corollary 2.8).","In any von Neumann algebra $M$, every Lie ideal $L$ is commutator equivalent to $M[M,L]M$; if $M$ has zero commutative summand, that ideal is the unique two-sided ideal related to $L$ (Theorem 6.1).","Two-sided ideals in algebras with the $M_2 \\oplus M_3$ unit are generated by their commutators: $I = A[A,I]A$ and $[A,I] = [A,[A,I]] = \\operatorname{span}_{\\mathbb{C}} FN_2(A,I)$, describing $[A,I]$ as the span of orthogonally factorizable square-zero elements (Theorem 3.8)."],"supporting_citations":[{"why":"It supplies the matrix-algebra theorem for Lie ideals in $M_n(B)$ that the paper generalizes to the $M_2 \\oplus M_3$ situation.","marker":"[Mar95]"},{"why":"It defines embraced, related, and commutator equivalent, proves the von Neumann algebra theorem this paper sharpens, and poses the uniqueness problem solved here.","marker":"[BKS08]"},{"why":"It proves that a unital C*-algebra with no tracial states satisfies $A=[A,A]$, used to obtain $A=Z(A)+[A,A]$ for properly infinite algebras.","marker":"[Pop02]"},{"why":"It gives the result that unital properly infinite C*-algebras admit a unital embedding of $O_\\infty$, the source of the $M_2 \\oplus M_3$ homomorphism.","marker":"[Bla06]"},{"why":"It provides the proposition that separable real rank zero character-free C*-algebras admit the $M_2 \\oplus M_3$ embedding, used in Proposition 2.10.","marker":"[PR04]"},{"why":"It supplies the separable subalgebra $A_0$ in the reduction that proves Proposition 2.10.","marker":"[KR15]"},{"why":"It poses Problem B answered by Theorem 5.3 and contributes lemmas on zero-product balanced algebras and nilpotent elements used in Sections 3 and 4.","marker":"[Rob16]"}],"fun_headline_variants":["Every Lie ideal pairs with a unique two-sided ideal","Lie ideals in C*-algebras: unique ideal for each","Properly infinite C*-algebras: Lie ideals classified","Lie ideals reduce to unique two-sided ideals","Each Lie ideal has one matching two-sided ideal"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The classification rests on the existence of a unital $*$-homomorphism from $M_2(\\mathbb{C}) \\oplus M_3(\\mathbb{C})$ into $A$; for properly infinite algebras this is obtained through a chain of reductions whose final step — that a certain separable subalgebra has no one-dimensional representations — is not fully justified, and the whole theorem collapses if that step fails.","fun_headline_variants_meta":{"raw":{"variants":["Every Lie ideal pairs with a unique two-sided ideal","Lie ideals in C*-algebras: unique ideal for each","Properly infinite C*-algebras: Lie ideals classified","Lie ideals reduce to unique two-sided ideals","Each Lie ideal has one matching two-sided ideal"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000985,"raw_usage":{"total_tokens":4152,"prompt_tokens":890,"completion_tokens":3262,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":506,"completion_tokens_details":{"reasoning_tokens":3186}},"tokens_in":506,"tokens_out":3262,"duration_ms":21478,"temperature":1.0,"reasoning_tokens":3186,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T10:52:05.694788+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Look directly at the proof of Proposition 2.10: the cited lemma [KR15] produces a separable subalgebra $A_0$, and the text then asserts that a larger separable real rank zero subalgebra $B \\supseteq A_0$ has no one-dimensional representations. Since a one-dimensional representation of $B$ restricts to one of $A_0$, that assertion requires $A_0$ itself to have no such representations, which the paper does not state. A counterexample would be a unital real rank zero C*-algebra without characters whose separable subalgebras all admit characters; it would remove the embedding and cut off Theorem 5.3. Alternatively, find a Lie ideal $L$ in $O_\\infty$ with $[O_\\infty,L] \\neq [O_\\infty,[O_\\infty,L]]$; the theorem predicts equality for every $L$.","supporting_citations":[],"review_version":1}