{"id":"493fe7f4-15b3-47f7-836c-bd25d95d7993","arxiv_id":"2605.26049","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Noncommutative protori are introduced as inductive limits of noncommutative tori; Elliott invariants are computed explicitly for several embedding classes and compatible spectral triples are constructed on the limits.","lead":"The paper defines noncommutative protori as inductive limits of higher-dimensional noncommutative tori and computes their Elliott invariants for classes of embeddings while constructing compatible spectral triples. A smart generalist might read it to see how classification tools from C*-algebra theory extend to new inductive systems in noncommutative geometry.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's identification of the preservation property under the listed embeddings matches the only load-bearing step visible from the abstract. With no manuscript text available, no further technical flaw can be diagnosed, so the UNVERDICTED verdict stands.","tokens_in":1571,"tokens_out":231,"duration_ms":17841,"concrete_test":"Supply the sections deriving the direct-limit K-groups and trace cones for one dimension-changing embedding; check whether the induced maps on K_0 and the trace space are given by explicit matrices or formulas that close under iteration.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest_assumption correctly isolates the point at which the explicitness of the ordered K-groups, trace cone, and scales would fail: if the listed classes of embeddings (toric, Morita-corner, dimension-changing, proper) do not induce maps whose direct limits remain computable in closed form. Because the full manuscript is not supplied, no internal inconsistency, hidden assumption, or counter-example to that preservation can be located in the argument itself.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript introduces noncommutative protori as inductive limits of higher-dimensional noncommutative tori. It computes the Elliott invariants for broad classes of unital and nonunital inductive systems, including toric maps, Morita-corner embeddings, dimension-changing embeddings, and proper embeddings. For the resulting simple limits, the ordered K-groups, trace cone, scale, and projection scale are determined explicitly, yielding concrete classification criteria. The paper also constructs compatible spectral triples and locally compact spectral triples on these limits using Fourier- and Morita-compatible Dirac structures.","tokens_in":1636,"tokens_out":336,"duration_ms":24059,"significance":"If the explicit determinations of the invariants hold, the work supplies concrete classification criteria for a family of C*-algebras arising as inductive limits, advancing the Elliott program in this setting. The construction of spectral triples provides a direct link to noncommutative geometry. The explicitness for the listed classes of embeddings is a notable strength when the preservation of computability is verified.","major_comments":[],"minor_comments":[{"comment":"Clarify the precise conditions under which each class of embeddings (toric, Morita-corner, dimension-changing, proper) induces maps that preserve the structures needed for closed-form K-group and trace computations; a dedicated statement or lemma summarizing these preservation properties would improve readability.","section":null},{"comment":"Ensure consistent notation for the inductive systems and the resulting protori across sections; define all embedding classes explicitly before their use in computations.","section":null}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive assessment of the manuscript and the recommendation of minor revision. No major comments appear in the report.","responses":[],"tokens_in":1105,"tokens_out":45,"duration_ms":14299,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that the authors introduce noncommutative protori as inductive limits of higher-dimensional noncommutative tori and compute their Elliott invariants explicitly across several families of embeddings, while also building compatible spectral triples.\n\nThey handle toric maps, Morita-corner embeddings, dimension-changing maps, and proper embeddings. For the resulting simple limits they give the ordered K-groups, trace cone, scale, and projection scale in closed form. That level of explicitness is what makes the classification criteria usable rather than purely abstract. The spectral triple constructions via Fourier- and Morita-compatible Dirac operators fit the same inductive setup and extend the work into noncommutative geometry.\n\nThe soft spot is narrow: everything rests on those embedding classes preserving enough structure so the direct limits stay computable without extra casework. The abstract presents the classes as broad enough for this to hold, and the stress-test note finds no internal contradiction or hidden fitting in the stated assumptions. Still, the actual derivations would need checking to confirm there are no post-hoc adjustments when the dimension or the embedding type changes.\n\nThis is for people already working on the Elliott classification program or on spectral triples for C*-algebras. A reader who needs concrete invariants for inductive limits or who wants examples where spectral triples survive the limit will get direct value. The claims are specific enough and the topic active enough that it deserves referee time rather than a desk reject.","headline":"This paper defines noncommutative protori as inductive limits of NC tori and claims explicit Elliott invariants plus spectral triples for listed embedding classes.","tokens_in":2092,"tokens_out":359,"would_cite":false,"duration_ms":29098,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Noncommutative protori formed as inductive limits of noncommutative tori admit explicit Elliott invariants and compatible spectral triples.","keywords":["noncommutative tori","inductive limits","Elliott invariants","spectral triples","K-theory","C*-algebras","classification","noncommutative protori"],"falsifier":"An explicit computation showing that the ordered K-group or trace cone of a simple limit built from one of the listed embeddings differs from the description given in the paper.","tokens_in":2469,"feed_emoji":"","tokens_out":639,"duration_ms":29942,"temperature":0.7,"pith_summary":"The paper defines noncommutative protori as inductive limits of higher-dimensional noncommutative tori. It computes the Elliott invariants for broad classes of unital and nonunital systems built from toric maps, Morita-corner embeddings, dimension-changing embeddings, and proper embeddings. For the resulting simple limits the ordered K-groups, trace cone, scale, and projection scale are determined explicitly. This supplies concrete classification criteria. Compatible spectral triples and locally compact spectral triples are constructed on the limits via Fourier- and Morita-compatible Dirac structures.","feed_headline":"Explicit invariants classify noncommutative protori","feed_subtitle":"Inductive limits of noncommutative tori yield ordered K-groups, trace cones, scales, and compatible spectral triples.","key_machinery":"Inductive systems of noncommutative tori formed by toric maps, Morita-corner embeddings, and related classes, which preserve data allowing explicit computation of K-groups and traces.","core_discovery":"We study inductive limits of higher-dimensional noncommutative tori, which we call noncommutative protori. We compute the Elliott invariants for broad classes of unital and nonunital systems, including toric maps, Morita-corner embeddings, and dimension-changing and proper embeddings. For the resulting simple limits we determine explicitly the ordered K-groups, trace cone, scale, and projection scale, yielding concrete classification criteria. We also construct compatible spectral triples and locally compact spectral triples on these limits via Fourier- and Morita-compatible Dirac structures.","pith_inferences":["The explicit invariants may extend classification results to additional classes of inductive limits in operator algebras.","The constructed spectral triples could support definitions of Dirac operators or metrics on noncommutative protori.","Dimension-changing embeddings may link these constructions to other inductive systems in noncommutative geometry."],"forward_implications":["The ordered K-groups of the simple limits are determined explicitly from the embeddings.","The trace cone, scale, and projection scale are computed explicitly for these limits.","Classification of the simple noncommutative protori reduces to matching these explicit invariants.","Compatible spectral triples exist on the limits and are constructed from Fourier- and Morita-compatible Dirac structures."],"fun_headline_variants":["Inductive limits yield K-groups for noncommutative protori","Elliott invariants computed for noncommutative protori","Spectral triples on limits of noncommutative tori","Ordered K-theory classifies noncommutative protori limits"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The inductive systems are formed via the listed classes of embeddings that preserve the structures needed for explicit K-group and trace computations.","fun_headline_variants_meta":{"raw":{"variants":["Inductive limits yield K-groups for noncommutative protori","Elliott invariants computed for noncommutative protori","Spectral triples on limits of noncommutative tori","Ordered K-theory classifies noncommutative protori limits"]},"model":"grok-4.3","cost_usd":0.004784,"raw_usage":{"total_tokens":2220,"prompt_tokens":559,"num_sources_used":0,"completion_tokens":65,"cost_in_usd_ticks":47840500,"prompt_tokens_details":{"text_tokens":559,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1596,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":559,"tokens_out":65,"duration_ms":18009,"temperature":1.0,"reasoning_tokens":1596,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-29T19:11:43.087557+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit computation showing that the ordered K-group or trace cone of a simple limit built from one of the listed embeddings differs from the description given in the paper.","supporting_citations":[],"review_version":1}