{"id":"db5df75c-5279-4701-9196-e9d35ab3bd10","arxiv_id":"2606.12188","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A simple separable unital nuclear C*-algebra without uniform property Γ is constructed, answering a 2025 open question via Thom-Porteous/Schubert calculus.","lead":"A new construction in operator algebra theory produces a simple, infinite-dimensional nuclear C*-algebra that lacks a property called uniform Γ, which many experts had suspected all such algebras satisfy. The proof connects the algebra to algebraic geometry: certain vector bundles are forced to intersect by Schubert-calculus classes, creating a trace-based obstruction.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Main risk is the cited trace-comparison theorem: B^u may not satisfy its factoriality hypothesis; §6.3 also applies it to a non-simple algebra. A check of the cited preprints would settle the bridge.","rationale":"The reader's weakest_assumption identifies the same external theorem; I agree. I have checked the internal construction: the initial 'choose k' worry about trivial subbundles is not fatal because S^{⊕k} has enough continuous sections for large k; Lemma 1's rectangular resultant identity checks out for small cases; the point-evaluation survival estimates and simplicity argument are coherent. The one place the argument can genuinely break is the unproved comparison theorem. The paper's own phrasing in §6 (factorial tracially complete) vs. its application to B and to the non-simple A raises a specific hypothesis mismatch that is not resolved in the manuscript. Thus a conditional verdict is appropriate until the cited theorem is verified to apply to B^u.","tokens_in":25205,"tokens_out":45208,"duration_ms":495899,"concrete_test":"Locate the precise comparison theorem in [CETW22] and [CCE+23, §5–6]: determine whether its hypotheses are (a) A simple separable nuclear unital with uniform property Γ, or (b) A^u a type II_1 factorial tracially complete C*-algebra. If (b), check whether B^u from §7 is factorial (e.g., compute the center of B^u from its trace simplex; if T(B) is not a singleton, B^u likely has nontrivial center). If B^u is not factorial and no non-factorial version exists, the final step of Theorem 6 fails.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The proof's final bridge from equal-trace non-equivalent projections to failure of uniform property Γ is an external comparison theorem, not proved in the paper. Section 6 opens by stating a theorem about a 'type II_1 factorial tracially complete C*-algebra' with uniform property Γ ([ET26]), and immediately infers that for the simple algebra B, projections in M_k(B^u) are compared by designated traces. Since B^u is never shown to be factorial (and T(B) appears to have many traces), this inference is not justified unless [CCE+23] or [CETW22] contains a non-factorial version. The concern is sharpened by §6.3, where the same comparison is applied to the non-simple algebra A of §4, while the stated theorem is for simple algebras. If the actual theorem requires B^u to be a II_1 factor, the contradiction in §7.5 collapses, and Theorem 1 is unsupported. The Thom–Porteous propagation (Lemma 1) and the point-evaluation simplicity argument appear internally sound; the fragile load is entirely in this trace-theoretic bridge.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs a unital, simple, separable, nuclear AH C*-algebra without uniform property Gamma, answering Question XIX of [STW25] in the negative. The construction builds an inductive system of homogeneous C*-algebras over products of Grassmannians and projective spaces. The new ingredient is an equal-rank Thom–Porteous obstruction: a nonvanishing rectangular Schur class forces every bundle map between two equal-rank bundles to vanish somewhere. A Schubert-calculus lemma (Lemma 1) propagates this nonvanishing across the inductive system using the rectangular resultant identity for supersymmetric Schur functions. The resulting compatible projections P and Q have equal values on all traces but are shown not to be Murray–von Neumann equivalent in the uniform tracial completion. A point-evaluation modification of the inductive system forces simplicity while preserving the obstruction, yielding Theorem 1.","tokens_in":25424,"tokens_out":17446,"duration_ms":183282,"significance":"If correct, this is a major result: it is the first example of a simple separable nuclear unital C*-algebra without uniform property Gamma, resolving a problem explicitly posed in [STW25]. The method is genuinely novel, moving beyond Villadsen-type Chern class obstructions by using Thom–Porteous classes and supersymmetric Schur functions. The paper also contains a careful and self-contained treatment of the Schubert-calculus core, and the simplicity argument via scheduled point evaluations is elegant. The geometric interpretation in terms of quadratic dimension growth is suggestive, though the paper correctly treats the threshold statement as a guiding principle rather than a fully proved theorem. The main fragility is the external trace-comparison theorem used to convert non-equivalence of equal-trace projections into failure of uniform property Gamma; this is the load-bearing point that needs attention.","major_comments":[{"comment":"The trace-comparison bridge is not adequately justified. Section 6 opens by citing a theorem of Evington–Tikuisis about a \"type II_1 factorial tracially complete C*-algebra\" [ET26], and then immediately applies the conclusion to the non-simple algebra A of Section 4 and later to the simple algebra B. No factoriality of A^u or B^u is established, and in fact T(A) and T(B) have many extreme points, so the uniform tracial completions are far from factorial. If the cited theorem is restricted to factorial algebras, Theorems 4 and 6 do not follow. The paper must either state the precise comparison theorem from [CETW22] or [CCE+23] that applies to the present algebras, verify its hypotheses explicitly, or prove the needed comparison result directly. This is not a cosmetic issue: the non-equivalence of equal-trace projections is the only mechanism preventing uniform property Gamma.","section":"§6 and §7.5"},{"comment":"The one-sentence inference in Theorem 4 is a non sequitur as written: \"The algebra A is the unital separable nuclear stably finite inductive limit constructed in Section 4, and it has no finite-dimensional representations by construction. It follows that projections in matrix amplifications of A^u are compared by their values on the designated traces coming from T(A) [CETW22, CCE+23].\" The listed properties do not by themselves imply trace comparison unless the cited references contain a theorem with exactly these hypotheses. Please quote the theorem being invoked and check every hypothesis. In particular, [ET26] as stated in the text does not apply to non-factorial completions.","section":"§6.3, proof of Theorem 4"}],"minor_comments":[{"comment":"The introduction says \"The algebras we construct here will satisfy (3) for f(x)=x^2,\" which is immediate from the construction. The stronger threshold claim that every AH presentation of the limit has positive quadratic dimension growth is not proved and should be labeled as a conjecture or forthcoming work, not as an established property of the constructed algebra.","section":"§1"},{"comment":"The notation for Schur classes is inconsistent: s_{(d^d)}(S) appears as s^{(dd)} or s_{(d_i^{d_i})} in different places. Please standardize the notation, e.g., always use s_{(d^d)}.","section":"§3.3 and §5"},{"comment":"Minor reference typos: [ES24] is listed as \"arxiv:2407:16612\" and [ET26] as \"arxiv:2604:24206\"; the colons should be dots (arXiv:2407.16612, arXiv:2604.24206).","section":"References"},{"comment":"The \"diagonal subnet argument\" is a little terse; it would help the reader to specify the directed set and why the limits of restrictions are compatible, though the argument is standard and correct.","section":"§7.4, Lemma 5"}],"recommendation":"major_revision","confidential_remarks":"The topological and algebraic machinery of the paper appears sound and is presented with unusual care. My main concern is that the final step from non-equivalent equal-trace projections to failure of uniform property Gamma rests on an external comparison theorem whose hypotheses are not checked and whose cited statement is for factorial algebras. I could not verify from the manuscript alone whether [CETW22] or [CCE+23] contains the required non-factorial version. If the authors can supply a precise statement and verify it for A^u and B^u, the paper would be in good shape; as it stands, the main theorem is conditional on an unstated theorem. There is also a less central but worth-noting gap between the explicit presentation's quadratic growth and the advertised \"quadratic threshold\" for the abstract algebra."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nHere's my read on Toms's new preprint. If the main theorem holds, it resolves an explicit open question: there is a simple separable unital nuclear AH algebra without uniform property Γ. The genuinely new thing is the engine. Previous Villadsen-type constructions used Chern classes to obstruct large trivial subbundles; this paper uses Thom–Porteous degeneracy classes to force every bundle map between equal-rank bundles to vanish somewhere, then propagates the obstruction through an inductive system with a Schubert calculus computation. I went carefully through Lemma 1 and the simplicity argument in Section 7. The Schubert identity is standard, the degree-counting cancellation is handled cleanly, and the scheduled point-evaluation trick for simplicity is well executed. The construction does what it claims, and the quadratic dimension growth is really coming out of the cohomological degree of the obstruction.\n\nThe soft spot is precisely where the reader and the stress-test point: the final trace-theoretic bridge. Section 6 opens by citing an Evington–Tikuisis theorem for a 'type II_1 factorial tracially complete C*-algebra.' That is a strong hypothesis, and the paper never checks that A^u or B^u is factorial. §6.3 applies the comparison conclusion to the non-simple algebra A, and §7.5 applies it to the simple limit B without proving factoriality of B^u. If the comparison theorem in [CCE+23]/[CETW22] is known to hold without factoriality—say for all tracially complete algebras with uniform property Γ—then the gap is cosmetic and a referee can fix it with a precise citation. If factoriality is essential, the contradiction in §7.5 collapses and Theorem 1 is unsupported. This is not a minor typo; it is the load-bearing wall between the bundle obstruction and the failure of uniform property Γ. But it is also the kind of thing that can be settled by reading two preprints, not by redoing the geometry.\n\nI would send this to a serious referee. The construction deserves scrutiny and the trace bridge needs a definite check. If the bridge holds, this is a major result in the area. If not, the author will need to add a lemma proving projection comparison for his specific tracial completions. Either way, it is not a desk-reject. The citation pattern is fine; the heavy self-citations are to his earlier Villadsen-type examples, which are the right background.","headline":"New mechanism (Thom–Porteous/Schubert) yielding a simple nuclear C*-algebra without uniform property Γ; construction looks sound, but the trace-comparison bridge has a hypothesis gap that must be checked.","tokens_in":25918,"tokens_out":3332,"would_cite":true,"duration_ms":37441,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46L05","46L35","46L80","14N15","14C17","55R25"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper constructs a unital simple separable AH C*-algebra without uniform property Γ, answering a listed open problem and linking the failure to quadratic dimension growth.","keywords":["AH algebra","uniform property Γ","Thom–Porteous class","degeneracy loci","Schubert calculus","quadratic dimension growth","tracial completion","projection comparison"],"falsifier":"Carry out the induction for the first nontrivial rank (d=2): compute Δ_2(c(q_2−p_2)) on X_2 = Gr(2,4)×Gr(2,4)×CP^8 and check whether the predicted top-degree term involving the eighth power of the line-bundle class is nonzero; if it vanishes, the rectangular-resultant propagation step is wrong.","tokens_in":25056,"feed_emoji":"🧮","tokens_out":6603,"duration_ms":69150,"temperature":0.7,"pith_summary":"The paper proves that uniform property Γ can fail for simple, separable, unital, nuclear C*-algebras. The example is an AH algebra built from a new topological obstruction: Thom–Porteous classes force every bundle map between two equal-rank bundles to vanish at some point on the base space, and Schubert calculus shows this forced vanishing survives an inductive limit. The obstruction travels into the uniform tracial completion, where two projections have equal traces yet cannot be Murray–von Neumann equivalent. If accepted, the construction resolves an explicit open question and identifies quadratic dimension growth as the geometric threshold beyond which uniform property Γ may fail.","feed_headline":"Simple nuclear algebra with no uniform property Γ","feed_subtitle":"Thom–Porteous classes force every bundle map to vanish, blocking trace comparison","key_machinery":"The engine is the Thom–Porteous class of a virtual bundle F−E: for equal-rank bundles of rank d and integer s, Δ_s(E,F) = det(c_{s+i−j}(F−E)) lies in H^{2s²}(X), and nonvanishing of Δ_d forces every bundle map E→F to have a zero fiber. The propagation lemma uses the rectangular resultant identity for supersymmetric Schur functions — s_{(n^n)}(U−V)=∏_{ξ∈U,ν∈V}(ξ−ν) for equal-size alphabets — to show the square Thom–Porteous class at stage i+1 contains a distinguished, non-cancellable term built from the stage-i class and a power of the difference of two line-bundle Chern classes.","core_discovery":"The central discovery is a mechanism for manufacturing C*-algebras whose uniform tracial completion contains equal-trace, non-equivalent projections. At every stage of the inductive system the author places two vector bundles, one tautological and one trivial, of equal rank d over the Grassmannian Gr(d,2d); the Thom–Porteous class of their difference lives in the top cohomological degree 2d² and is nonzero, so any bundle map between them must have a zero fiber. A rectangular-resultant identity for supersymmetric Schur functions propagates this 'total degeneracy-forcing' property from each stage to the next. In the limit the two projections have equal traces because ranks agree at finite stag","pith_inferences":["If the paper's threshold principle is right, one should expect algebras with subquadratic dimension growth to always have uniform Γ; a direct proof of that converse would complete the taxonomy.","The equal-rank Thom–Porteous technique may apply to other regularity properties (Z-stability, strict comparison) whose standard obstructions are K-theoretic; forced degeneracy of bundle maps could yield new counterexamples or sharpen existing thresholds.","The role of the rectangular resultant identity suggests that other resultant formulas in Schubert calculus could translate into inductive limit constructions with prescribed dimension growth, giving a general machine for pathological C*-algebras.","The non-simple intermediate algebra is asserted (in later work) to lack tracial almost divisibility; if that holds, the method produces algebras with no nonzero homomorphism from M_2 despite abundant constant-trace projections, a stronger pathology than absence of uniform Γ."],"forward_implications":["If correct, it settles the open problem of whether every simple separable unital nuclear C*-algebra has uniform property Γ in the negative.","The constructed algebra demonstrates that traces need not compare projections in the uniform tracial completion even when the algebra is simple and nuclear, so the comparison theorem for uniform Γ is sharp.","Because recent results force stable rank one for simple AH algebras with uniform Γ, the example must have stable rank at least two, and the Thom–Porteous mechanism provides a new route to higher stable rank phenomena.","The cohomological degree of the obstruction scales with the square of the rank, matching quadratic dimension growth; the paper frames this as the threshold at which uniform Γ can first fail.","The same construction, with point-evaluation summands inserted slowly, gives simple examples, so the failure is not an artifact of non-simplicity."],"fun_headline_variants":["C*-algebra without uniform Γ from Schubert calculus","Thom-Porteous degeneracy forces no uniform Γ","Quadratic growth yields algebra lacking uniform Γ","Every bundle map vanishes: no uniform Γ"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is the external theorem that a unital simple separable nuclear C*-algebra with uniform property Γ compares projections in its uniform tracial completion by the values of all tracial states; if that theorem fails, the constructed algebra still has exotic projections but the conclusion 'no uniform property Γ' would not follow.","fun_headline_variants_meta":{"raw":{"variants":["C*-algebra without uniform Γ from Schubert calculus","Thom-Porteous degeneracy forces no uniform Γ","Quadratic growth yields algebra lacking uniform Γ","Every bundle map vanishes: no uniform Γ"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001007,"raw_usage":{"total_tokens":4079,"prompt_tokens":713,"completion_tokens":3366,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":457,"completion_tokens_details":{"reasoning_tokens":3307}},"tokens_in":457,"tokens_out":3366,"duration_ms":27327,"temperature":1.0,"reasoning_tokens":3307,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T11:49:32.466614+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Carry out the induction for the first nontrivial rank (d=2): compute Δ_2(c(q_2−p_2)) on X_2 = Gr(2,4)×Gr(2,4)×CP^8 and check whether the predicted top-degree term involving the eighth power of the line-bundle class is nonzero; if it vanishes, the rectangular-resultant propagation step is wrong.","supporting_citations":[],"review_version":2}