{"id":"d186df00-813c-4bb8-adac-dd4b2d2c7901","arxiv_id":"2608.13137","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For well-fibered pretannakian tensor categories, commutative ind-algebras are semisimple exactly when they are products of simple algebras and exactly when they are absolutely flat.","lead":"Algebras can live inside tensor categories, which are generalized universes of vector spaces. This paper shows that in many of these universes three ways to define a 'simple' algebra agree, and it builds exotic examples where they do not, settling open questions in tensor category theory.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem A's proof depends on the unproved Lemma 6.28 and on unpublished [C3, CS] algebraic geometry; these inputs need to be verified before the structural theorem is fully supported.","rationale":"We read the paper in good faith: the main theorems are clearly stated, the counterexamples are honestly disclosed, and the reductions are mostly well organized. The reader's conditional verdict is reasonable. We examined Lemma 6.28 and found that a proof is likely available by a compactness argument, so the gap may be minor; however, the text as written does not contain that proof, and Lemma 6.29 is genuinely load-bearing for Corollary 6.30 and hence for Theorem 6.4. A separate but linked concern is the unproved use of unpublished [C3, CS] foundations in the same section, especially the closed-point assertion before Lemma 6.24. Because these all sit inside the proof of the single structural theorem from which Theorem A is derived, we do not see a reason to change the reader's CONDITIONAL verdict, but the requested proof and citation checks should be part of the acceptance conditions. We do not believe there is evidence of an actual mathematical error; the concern is verifiability and completeness of the proof.","tokens_in":32476,"tokens_out":45547,"duration_ms":383898,"concrete_test":"Prove Lemma 6.28 in full from the definitions in §2.2 and the compactness of 1 in RepG, and use this proof to verify both equalities in Lemma 6.29 for the directed system A_α⊆A built in §6.5.2 from compact generators. If any step requires a hypothesis not listed in Lemma 6.28, such as preservation of non-zero divisors by B_α⊆B rather than only by B_α⊆B_β, check whether §6.5.2 supplies it; otherwise the proof of Corollary 6.30 has a genuine gap.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central structural result Theorem 6.4 is the load-bearing input for Theorem A. Its proof passes through Lemma 6.29, the equality Q(A)=∪_α Q(A_α)=Q(k[G]^H), which is then used in Corollary 6.30 to identify A with k[G]^H for an exact subgroup H. Lemma 6.29 invokes Lemma 6.28, which Section 6.5.2 states with proof 'left as an exercise'. The lemma is not a routine formal step: it must show that a non-zero divisor f∈Γ(B) lies in some Γ(B_α) and remains a non-zero divisor in every larger B_β, and that localization Q(−) commutes with the filtered union; both points depend on compactness of the unit in RepG and on the preservation hypothesis being read in the correct direction. The same reduction in §6.5.1 also uses the assertion that the MN condition forces closed points of Spec A to have field residues, which is not proved or cited, and it relies on the unpublished [C3, CS] theory of schemes, orbit maps, and homogeneous spaces, as well as Theorem B.1 whose proof uses [C2, Porism 7.2.6]. If any of these inputs has a hidden hypothesis, the identification A=k[G]^H and the exactness of H collapse, taking Theorem A(1) with them.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies, for algebras in ind-completions of tensor categories, the classical equivalences among semisimplicity, being a product of simple algebras, and absolute flatness. After establishing some general implications and counterexamples (Section 4), it proves the main structural results for well-fibered pretannakian categories: Theorem A states that every simple commutative ind-algebra is artinian and absolutely flat; every semisimple commutative ind-algebra is a product of simple algebras; and, in positive characteristic, every finite semisimple algebra in the category has the same property. The stronger tannakian version, Theorem B, describes a simple commutative G-equivariant algebra A as A⊗_{A^G} L ≅ L[G_L/H_L] for an exact subgroup H_L, where L is the algebraic closure of A^G. The proof passes through algebraic geometry in GR+MN tensor categories, using the authors' earlier and partly unpublished framework. The paper also gives examples showing failure in superexponential-growth categories, an appendix with the first example of a Hom-finite tensor category with objects of infinite length, and an appendix generalizing Deligne's neutrality theorem to GR+MN categories.","tokens_in":32836,"tokens_out":4609,"duration_ms":45547,"significance":"If the main theorems are correct, they substantially advance the structure theory of pretannakian categories of moderate growth, settling in that setting the relation between semisimple, artinian, and absolutely flat algebras and giving a concrete normal form for simple equivariant algebras. The paper is careful to state its results as conditional on the well-fibered hypothesis and on the geometric framework of [C2, C3, CS]; this explicitness is a strength. The counterexamples in Section 4 and the two appendices are valuable independent contributions, especially the Appendix A example of a Hom-finite symmetric tensor category with infinite-length objects. However, the central structural result Theorem 6.4 depends on at least one lemma stated without proof and on a substantial body of unpublished work, so the completeness of the proof is not yet at the standard required for a journal publication.","major_comments":[{"comment":"Lemma 6.28 is stated with the proof 'left as an exercise', yet it is load-bearing: it is used in Lemma 6.29 to obtain Q(A)=Q(k[G]^H), which in turn is essential for Corollary 6.30 and hence for Theorem 6.4 and Theorem A(1). The lemma is not a routine formal manipulation: one must prove that the Q(B_α) form a directed system inside Q(B) and that every fraction in Q(B) is represented in some Q(B_α), using the hypothesis that the inclusions preserve non-zero divisors in the correct direction. A complete proof, or a precise reference, must be supplied.","section":"§6.5.2, Lemma 6.28"},{"comment":"The proof asserts that a closed point φ: A → k′ of Spec A exists 'since the (MN) condition implies that the only simple algebras in IndD are field extensions of k'. No proof or reference is given for this claim, and the claim is needed to construct the orbit map and to define the stabilizer H. The related Lemma 6.3 proves that A^G is a field, but that is a different statement. This gap must be closed before Theorem 6.4 is fully supported.","section":"§6.5.1, before Lemma 6.24"},{"comment":"The proof of Theorem 6.4 relies heavily on the unpublished or not-yet-available works [C3, CS, C4] for foundational facts: the theory of schemes in tensor categories, orbit maps and immersions (e.g. [CS, Cor. 7.8]), existence of homogeneous spaces and the identification k[G/H]=k[G]^H, exactness criteria for induction, and related results. Appendix B similarly relies on [C2, Porism 7.2.6] and [CEO2, Theorem 4.3.1] for the key lifting property in Lemma B.10. Because these inputs are load-bearing for the main theorems, the paper as submitted is not self-contained or independently verifiable; the authors should either include the necessary proofs or restrict the claims to results that can be checked against published sources.","section":"§6.1–§6.5 and Appendix B"},{"comment":"Theorem B.1 is used in Lemma 6.25 to descend from the algebraically closed field L' back to the algebraic closure L of A^G. The proof of Theorem B.1 is an adaptation of Deligne's argument, but its key Lemma B.10(2) depends on the unproved [C2, Porism 7.2.6]. Since this descent step is essential to the exact form of Theorem 6.4, the dependence should be stated explicitly and the supporting result should be proved or published.","section":"Appendix B, Lemma B.10 and its use in Lemma 6.25"}],"minor_comments":[{"comment":"The heading 'Chinese reminder theorem' should read 'Chinese remainder theorem'.","section":"Lemma 2.2"},{"comment":"The word 'Becasue' in the proof of (4)⇒(2) is a typo for 'Because'.","section":"Proof of Theorem 5.10"},{"comment":"Theorem 5.2 is stated and proved by reference to Corollary 6.6, which is proved only later; the logical dependency should be displayed more clearly, perhaps by stating Theorem 5.2 after Section 6 or by indicating that the proof is completed there.","section":"Theorem 5.2 and Section 6"},{"comment":"The notation π(D) in 'C ≅ Rep_f(G, φ) for some constraint φ: π(D) → G' is not defined in the text; please define the fundamental group or groupoid π(D) and the sense in which the constraint is used.","section":"Corollary 6.6"},{"comment":"The capitalization 'Von Neumann regular' is nonstandard; 'von Neumann regular' would be more conventional.","section":"Remark 3.2(3)"}],"recommendation":"major_revision","confidential_remarks":"The reader's report and stress-test note accurately identify the main weaknesses: the unproved Lemma 6.28 and the heavy reliance on unpublished work [C3, CS, C4]. I agree that these are load-bearing for Theorem A. My recommendation of major revision reflects that the central ideas appear plausible and the structure of the paper is good, but the manuscript is not yet in a state where the proofs can be checked from the submitted text alone. The authors should be asked to provide the missing proof of Lemma 6.28, to give a precise reference or proof for the existence of closed points, and to address the dependence on unpublished geometric foundations."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a serious conditional paper and the main theorems are probably right. The reader's conditional verdict is accurate, but the stress-test note's focus on Lemma 6.28 is overblown. Under the hypothesis stated there—that every inclusion B_alpha -> B_beta preserves non-zero divisors—the lemma is true, and the proof is a short exercise using compactness of the unit. It should have been written out, but I do not think the structure collapses there.\n\nWhat is genuinely new: the paper gives the first systematic comparison of semisimple, product-of-simple, and absolutely flat commutative algebras in ind-completions of tensor categories. Theorem A settles the equivalence for well-fibered pretannakian categories, and Theorem B pushes Magid's description of simple G-algebras to all affine group schemes over algebraically closed fields. The counterexamples in Section 4 are real, and the non-constructive one is honestly disclosed. Appendix A's Hom-finite non-artinian example is a nice standalone result, and Appendix B's neutrality theorem is useful beyond this paper.\n\nWhere the soft spots actually are: the proof of Theorem 6.4 depends on a substantial body of algebraic geometry in tensor categories from [C2], [C3], and [CS], and two of those are not yet in final published form. A referee will need to verify that the quoted results—orbit maps being open immersions, existence of homogeneous spaces, exact subgroup criteria—have no hidden finiteness hypotheses. Also, the claim that the MN condition forces closed points of Spec A to have field residues is stated without proof or reference; that should be fixed. The citation pattern is heavy on the authors' own framework, but that is not a flaw here because the inputs are external to the target claims and the dependence is explicit.\n\nWho this is for: anyone working on tensor categories, pretannakian categories, or group actions in categorical settings. It deserves a serious referee, and the conditional accept posture is reasonable. My recommendation: send it to peer review, ask for a written proof of Lemma 6.28, and request a short section that lists which results from [C3]/[CS] are used and where each one enters. After that, the paper should be publishable.","headline":"Strong conditional paper: the main theorems are likely correct and important, but the real referee work is checking the unpublished algebraic-geometry inputs, not the \"left as an exercise\" lemma.","tokens_in":33269,"tokens_out":3845,"would_cite":true,"duration_ms":308926,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18M05","18M15","14L15","16E50"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that in well-fibered pretannakian tensor categories, a commutative algebra is semisimple exactly when it is a product of simple algebras and exactly when it is absolutely flat.","keywords":["tensor categories","pretannakian categories","absolutely flat algebras","semisimple algebras","commutative algebras","moderate growth","affine group schemes","exact subgroups"],"falsifier":"Test the unproved localization step directly: take an algebra B in a GR+MN category equipped with a directed system of subalgebras whose inclusions preserve non-zero divisors, and check whether Q(B) is the filtered union of Q(B_alpha); if this fails, Theorem 6.4 collapses. A more direct falsifier would be a simple commutative ind-algebra inside a well-fibered pretannakian category that is not artinian or not absolutely flat, or a semisimple commutative ind-algebra not decomposable into simples.","tokens_in":32293,"feed_emoji":"🧮","tokens_out":6611,"duration_ms":52729,"temperature":0.7,"pith_summary":"This paper asks whether the classical trichotomy for algebras over a field survives inside tensor categories: for artinian algebras, semisimple, product of simple algebras, and absolutely flat (von Neumann regular) are the same. The authors show that in general tensor categories the three notions diverge, with two counterexamples in categories of superexponential growth. Their main theorems prove that in well-fibered pretannakian categories, the trichotomy holds for commutative algebras, and in positive characteristic for semisimple algebras in the category itself. Such categories include all Frobenius exact moderate growth pretannakian categories, and would include all moderate growth ones if the standing conjectures in the area are true. The proof works by describing every simple commutative algebra explicitly as a coordinate algebra of a homogeneous space of an affine group scheme.","feed_headline":"In well-fibered tensor categories, three algebra notions coincide","feed_subtitle":"A new proof restores the classical semisimple-versus-flat trichotomy and covers all moderate-growth cases modulo a standing conjecture.","key_machinery":"The load-bearing machinery is the passage to affine group schemes in a GR+MN pretannakian category and the study of invariant subalgebras k[G]^H for exact subgroups H. A subgroup is exact when induction is exact; for such H the algebra k[G]^H is simple, and the paper's Theorem 6.4 runs the argument in reverse: a simple commutative G-algebra with a k-point is recovered as k[G]^H. The proof combines the Nakayama property (annihilators of simple modules are maximal ideals), localization along non-zero divisors, the orbit-map immersion G/H to Spec A, and a new neutrality theorem (Appendix B) that produces symmetric tensor functors from the existence of algebra-valued fibre functors. These pieces turn the set-theoretic trichotomy into a structural statement about homogeneous spaces.","core_discovery":"On the paper's own terms, the central discovery is Theorem A: if C is a well-fibered pretannakian category over an algebraically closed field, then every simple commutative algebra in Ind C is artinian and absolutely flat, every semisimple commutative algebra in Ind C is a product of simple algebras, and in positive characteristic every semisimple algebra in C is a product of simple algebras and absolutely flat. The sharper Theorem B says that for an affine group scheme G, a simple commutative G-equivariant algebra A is, after extending scalars from the field of invariants A^G to its algebraic closure L, isomorphic to L[G_L]^H = L[G_L/H] for an exact subgroup H. Thus the apparent pathology of tensor-categorical algebras disappears precisely when the category is well-fibered, and the classical trichotomy is recovered through geometric descriptions.","pith_inferences":["The structural description A tensor L is isomorphic to L[G_L/H] suggests that simple commutative ind-algebras in well-fibered categories are classified by exact subgroups up to conjugacy; the paper does not state this classification explicitly.","If the trichotomy extends to all moderate growth categories as conjectured, the long-open question of whether field extensions in tensor categories are absolutely flat, equivalently whether extension of scalars is always a tensor category, would follow as a special case.","The failure of the trichotomy in infinite-growth examples indicates the phenomenon is controlled by growth rate rather than by categorical finiteness alone, pointing to a possible converse: categories where the trichotomy holds may admit fibre functors to GR+MN categories.","The Hom-finite, infinite-length example in Appendix A suggests that in broader ind-tensor settings, lengths and morphism-space dimensions decouple; one could test whether similar examples arise from simple commutative algebras in well-fibered categories."],"forward_implications":["Every commutative artinian ind-algebra in a well-fibered pretannakian category satisfies all the equivalent properties in Theorem 5.1, so the classical trichotomy holds there.","In positive characteristic, semisimple algebras in the category itself decompose as products of simple algebras and are absolutely flat, extending the result beyond the ind-completion.","Every simple commutative G-equivariant algebra over an algebraically closed field is, up to extension of scalars to the algebraic closure of its invariant field, the coordinate algebra L[G_L/H] of a homogeneous space for an exact subgroup.","Frobenius exact moderate growth pretannakian categories are covered unconditionally; if the main conjectures of the area hold, all moderate growth pretannakian categories are covered.","The two counterexamples show the trichotomy fails in superexponential growth categories: one semisimple commutative algebra is not a product of simple algebras, and one simple commutative algebra is not absolutely flat.","Every simple commutative ind-algebra that is artinian is absolutely flat in the well-fibered case, so the open distinction between artinian and non-artinian simple algebras is closed for that class."],"supporting_citations":[{"why":"Supplies the finite tensor category case: simple algebras are exact, equivalently absolutely flat, and the conditions of Theorem 3.17 coincide.","marker":"[CSZ]"},{"why":"Establishes that Frobenius exact moderate growth pretannakian categories are well-fibered, extending the scope of Theorem A.","marker":"[CEO1]"},{"why":"Provides the Nakayama property, geometric reductivity, maximal nilpotence, and the commutative-algebra-in-tensor-categories framework used throughout Section 5.","marker":"[C2]"},{"why":"Supplies the algebraic geometry in tensor categories, including the orbit-map immersion and scheme-theoretic results used in Section 6.","marker":"[C3]"},{"why":"Develops homogeneous spaces and exact subgroups: the algebra k[G]^H, quotient schemes, and faithful flatness results used to prove simplicity and exactness.","marker":"[CS]"},{"why":"Conjectures that the incompressible categories are exactly GR+MN, which would make every moderate growth pretannakian category well-fibered.","marker":"[BEO]"},{"why":"Provides the classical neutrality result and the construction of finitely generated algebras used in the superexponential-growth counterexamples and in Appendix B.","marker":"[D2]"},{"why":"Proved the characteristic-zero finite-type case of identifying simple equivariant algebras with homogeneous coordinate algebras, which Theorem B extends.","marker":"[Ma]"},{"why":"Gives the classical induced-module criterion for exact subgroups and affine quotients used in Proposition 6.19.","marker":"[CPS]"}],"fun_headline_variants":["Well-fibered tensor categories: semisimple, artinian, flat all agree","In well-fibered tensor categories, three algebra notions collapse","Classical algebra trichotomy returns in well-fibered tensor categories","Tensor categories: algebra simplicity coincides when well-fibered"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument's weakest load-bearing premise is that a simple G-equivariant algebra with trivial invariants and a k-point is always recovered as k[G]^H; this relies on a localization lemma left without proof, together with the full algebraic-geometry framework for GR+MN categories.","fun_headline_variants_meta":{"raw":{"variants":["Well-fibered tensor categories: semisimple, artinian, flat all agree","In well-fibered tensor categories, three algebra notions collapse","Classical algebra trichotomy returns in well-fibered tensor categories","Tensor categories: algebra simplicity coincides when well-fibered"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000262,"raw_usage":{"total_tokens":1552,"prompt_tokens":855,"completion_tokens":697,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":471,"completion_tokens_details":{"reasoning_tokens":621}},"tokens_in":471,"tokens_out":697,"duration_ms":6267,"temperature":1.0,"reasoning_tokens":621,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T15:55:42.679880+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Test the unproved localization step directly: take an algebra B in a GR+MN category equipped with a directed system of subalgebras whose inclusions preserve non-zero divisors, and check whether Q(B) is the filtered union of Q(B_alpha); if this fails, Theorem 6.4 collapses. A more direct falsifier would be a simple commutative ind-algebra inside a well-fibered pretannakian category that is not artinian or not absolutely flat, or a semisimple commutative ind-algebra not decomposable into simples.","supporting_citations":[],"review_version":1}