{"id":"9b72f936-e18f-49be-9a5a-f1c90abd24a0","arxiv_id":"2412.19380","paper_version":3,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Maximum Deconstructibility, Vopěnka's Principle, and the statement that every torsion class of abelian groups is singly generated are all equivalent.","lead":"Mathematicians have shown that a principle about building modules, Maximum Deconstructibility, is exactly as strong as a famous set-theoretic axiom called Vopěnka's Principle. They also proved that a natural 'one generator' property for torsion classes of abelian groups is equivalent to that same axiom.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 3.3(3) is false as written: the sets T^C_alpha are skeletons, so T^C_infinity cannot equal the iso-closed torsion class T(C); the proof of (5) implies (1) must first replace the generating set S by isomorphic representatives.","rationale":"The Reader's weakest assumption was the correctness of Przezdziecki's external Hom-set computation. That theorem is standard and, as far as the internal argument goes, is used cleanly: from a rigid proper class of graphs one obtains a rigid proper class of abelian groups, and the contradiction via Hom(G,G)=0 is sound once the torsion-closure hierarchy is available. The more load-bearing problem is internal: the construction of T^C_alpha is explicitly by sets of representatives, so T^C_infinity cannot be equal to the isomorphism-closed torsion closure T(C). Lemma 3.3(3) is therefore false under the standard reading, and the subsequent line in the proof of (5) implies (1), 'there is an ordinal gamma* such that S subset of T^G_gamma*', is unsupported. The repair is straightforward and does not threaten the main theorem: replace the generating set S by a set of isomorphic representatives chosen from the skeleton, note that torsion classes are isomorphism-closed so the torsion closures coincide, and then run the original contradiction. Because the central construction is essentially correct but the written proof has a concrete gap in a key lemma, the appropriate verdict is conditional acceptance rather than rejection or unchanged acceptance. I do not see a separate problem with the external theorems; Przezdziecki's isomorphism and the Adamek-Rosicky rigid-class theorem appear to be used in their intended form.","tokens_in":6678,"tokens_out":41374,"duration_ms":390082,"concrete_test":"Instantiate Definition 3.2 with C={Z}. T(Z) is the class of all abelian groups, which is isomorphism-closed and a proper class. The construction of T^C_alpha, however, selects a set of representatives at every successor stage, so T^C_infinity is a skeleton of Ab containing one representative per isomorphism class but not all groups. This directly falsifies Lemma 3.3(3) as stated. Then trace the S-selection step in Section 3 with an arbitrary generating set S for T(G): check whether S subset of T^G_gamma* is inferred; it is not unless one first passes to isomorphic representatives in the skeleton. This single check determines whether the issue is merely terminological or a genuine gap in the written proof.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Definition 3.2 defines T^C_{alpha+1} to be a set of representatives for I(E(D_alpha(T^C_alpha union (V_{alpha+1} intersect C)))). Under the standard meaning, a set of representatives is a set that contains at least one member of each isomorphism class, but it is not isomorphism-closed: it does not contain every isomorphic copy of each member. Torsion classes, however, are isomorphism-closed by definition. Therefore T^C_infinity, being a union of such representative sets, is at best a skeleton of T(C), not T(C) itself. For example, if C = {Z}, then T(C) is the class of all abelian groups, while T^C_infinity would be a skeleton of that proper class, so Lemma 3.3(3) cannot hold literally. This is not merely cosmetic: in the proof of (5) implies (1), the paper says 'By Lemma 3.3, T(G) = T^G_infinity, so there is an ordinal gamma* such that S subset of T^G_gamma*' for an arbitrary set S with T(S)=T(G). If T^G_infinity is only a skeleton, an arbitrary group in S need not belong to T^G_infinity; only a choice of isomorphic representatives does. The gap is repairable by replacing S with a set R of representatives chosen from T^G_infinity, using the fact that torsion classes are isomorphism-closed to show T(R)=T(S)=T(G), and then choosing gamma* with R subset of T^G_gamma*. But as written, the proof has a false lemma and an invalid inference.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves, in ZFC, the equivalence of Vopěnka's Principle (VP), the module-theoretic principle Maximum Deconstructibility (MD), the assertion that every class of abelian groups closed under filtrations and quotients is deconstructible, the assertion that every torsion class of abelian groups is deconstructible, and the assertion that every torsion class of abelian groups is singly-generated. The proof combines previously known implications with a new direction from single-generation of torsion classes to VP, using Przeździecki's embedding of graphs into abelian groups and the Adámek-Rosický rigid graph sequence that exists when VP fails.","tokens_in":7063,"tokens_out":13878,"duration_ms":116994,"significance":"If the central claim is correct, this is a significant result: it identifies a natural module-theoretic principle and a torsion-class generation principle as equivalent to a well-known large cardinal axiom, and it provides a converse to the Göbel-Shelah theorem. The paper is largely transparent, relies on external theorems in an appropriate way, and the overall strategy is elegant. However, the manuscript as written contains a technical flaw in a key lemma that is used in the proof of the new direction; the flaw is locally repairable but must be fixed before the proof is complete.","major_comments":[{"comment":"Lemma 3.3(3) is false as stated. The sequence ⟨T^C_α⟩ is defined using sets of representatives, so T^C_infinity is a union of representative sets and is not isomorphism-closed in general. Torsion classes are isomorphism-closed by definition, and the proof of the lemma merely asserts without justification that T^C_infinity is closed under direct sums, images, and extensions. For example, if C={Z}, then T(C) is the class of all abelian groups, while T^C_infinity is only a class of representatives for that proper class. Hence the equality T^C_infinity = T(C) cannot hold literally.","section":"Section 3, Lemma 3.3(3)"},{"comment":"The proof of the (5)⇒(1) direction uses the false equality from Lemma 3.3(3). After assuming that a set S⊆T(G) satisfies T(S)=T(G), the paper says 'By Lemma 3.3, T(G)=T^G_infinity, so there is an ordinal γ* such that S⊆T^G_γ*'. This inference is invalid if T^G_infinity is only a class of representatives, because an arbitrary group in S need not be one of the chosen representatives. The gap is repairable: replace S by a set R of representatives, chosen from T^G_infinity, for the isomorphism classes of members of S. Since torsion classes are isomorphism-closed, T(R)=T(S)=T(G); because R is a set and R⊆T^G_infinity, one obtains R⊆T^G_γ* for some γ*, and the remainder of the argument proceeds unchanged. The manuscript should be revised to state Lemma 3.3(3) in terms of representatives and to implement this replacement explicitly.","section":"Section 3, proof of (5)⇒(1)"}],"minor_comments":[{"comment":"The paper fixes 'some nonzero G ∈ G \\ T^G_γ*' without justification. This is valid because the groups in a rigid proper class of abelian groups are pairwise non-isomorphic, so at most one of them is the zero group; the complement of a set in a proper class therefore contains a nonzero member. Adding a brief justification would improve clarity.","section":"Section 3, proof of (5)⇒(1)"},{"comment":"The statement of Lemma 3.3(3) should be replaced by a precise representative statement, for example that T^C_infinity contains at least one member of every isomorphism class in T(C), and the proof should be adjusted to show this weaker but sufficient property.","section":"Section 3, Lemma 3.3"}],"recommendation":"major_revision","confidential_remarks":"The reader's report assigned soundness 9.0, but the skeleton issue in Lemma 3.3 is real and affects a central inference in the proof of (5)⇒(1). The repair is straightforward and does not change the main idea of the proof, so I recommend major revision rather than rejection. Once the lemma is restated and the representative-selection step is added, the paper should be acceptable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Sean Cox has proved the equivalence that the area was waiting for: Maximum Deconstructibility is equivalent to Vopěnka's Principle, and the singly-generated torsion class version is likewise equivalent. This is real progress. The paper is well organized, and Cox is honest about borrowing the Przeździecki functor route from Ben Yassine and Trlifaj, while adapting it to torsion classes. The main theorem's five-way equivalence is clearly stated and each implication is addressed.\n\nThe soft spot is Lemma 3.3(3). The sets T^C_alpha are defined as sets of representatives, which are not isomorphism-closed. The union T^C_infty is therefore a skeleton of the torsion closure T(C), not T(C) itself. Consequently, in the proof of (5)→(1), the line \"By Lemma 3.3, T(G)=T^G_infty, so there is γ* such that S⊆T^G_γ*\" does not follow for an arbitrary set S. Some elements of S need not be in T^G_infty; only their isomorphism classes do. This is not a fatal gap. Replace S by a set R containing one representative from each isomorphism class in S (taken from T^G_infty), use the fact that torsion classes are isomorphism-closed to get T(R)=T(S), and then use the monotonicity of the T^G_alpha to find γ* with R⊆T^G_γ*. The rest of the proof, including the contradiction via id_G, then goes through. The same repair is needed wherever Lemma 3.3(3) is invoked.\n\nOtherwise, the paper's use of external theorems is appropriate. Adámek-Rosický's rigid graph class and Przeździecki's functor are standard and correctly cited, and the claimed equivalence of (4) and (5) via deconstructibility is sound. The paper is a bit terse in places, but the arguments are checkable.\n\nWho should read this? Set theorists and module theorists working on deconstructibility and large cardinals. It deserves a serious referee. My recommendation: send it out, and ask the referee to verify the repaired version of Lemma 3.3.","headline":"The main equivalence is genuine and important; Lemma 3.3(3) is false as written, but the fix is routine and the theorem should stand.","tokens_in":7566,"tokens_out":3707,"would_cite":true,"duration_ms":31722,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["16E30","16D40","03E75","16D90","18G25","16B70"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that Vopěnka's Principle—a large-cardinal axiom—is equivalent to the assertion that every torsion class of abelian groups is generated by a single group, and to the module-theoretic principle Maximum Deconstructibility.","keywords":["Vopěnka's Principle","Maximum Deconstructibility","torsion classes","deconstructible classes","abelian groups","rigid proper classes","large cardinals","filtration closures"],"falsifier":"Take a pair of finite graphs $U,V$ with no graph homomorphism $U \\to V$ and compute $\\operatorname{Hom}_{\\mathrm{Ab}}(FU,FV)$ under the paper's functor; a nonzero group homomorphism would falsify the exact homomorphism-set identity used in Theorem 3.4 and break the rigidity transfer on which the proof of statement (5) implying statement (1) depends.","tokens_in":6484,"feed_emoji":"🔗","tokens_out":14043,"duration_ms":123545,"temperature":0.7,"pith_summary":"This paper proves that five differently worded statements are, in ZFC, one statement. The first is Vopěnka's Principle, a large-cardinal axiom about reflecting properties of proper classes. The last is a concrete algebraic claim: every torsion class of abelian groups—a collection closed under direct sums, homomorphic images, and extensions—is generated by a single group inside the class. In between sits Maximum Deconstructibility, a module-theoretic principle about when a class of modules can be built up from a small set by repeated filtrations. The chain of implications shows the algebraic statements are not just consequences of the large-cardinal axiom; they are exactly as strong as it.","feed_headline":"Vopěnka's Principle equals a module maximum","feed_subtitle":"A module-theoretic maximum principle and Vopěnka's Principle stand or fall together.","key_machinery":"The central mechanism is a functor from graphs to abelian groups whose hom-sets satisfy $\\operatorname{Hom}_{\\mathrm{Ab}}(FU,FV) \\cong \\mathbb{Z}^{(\\operatorname{Hom}_{\\mathrm{Graphs}}(U,V))}$, the free abelian group on the set of graph homomorphisms. This identity is what lets graph rigidity survive the transfer to group rigidity. The second piece is a transfinite hierarchy $T_{\\alpha}^{\\mathcal{C}}$ whose union is the torsion closure of a class $\\mathcal{C}$, built by repeatedly taking set-indexed direct sums, extensions, and homomorphic images. The contradiction uses the fact that each of those operations preserves membership in the class ${}^{\\perp_0}G$ of groups with no homomorphism to $G$, so a set-sized approximation to the torsion class can never reach a rigid group outside it. Together these pieces convert failure of Vopěnka's Principle into a torsion class that cannot be singly generated.","core_discovery":"The paper's Theorem 1.1 states that Vopěnka's Principle, Maximum Deconstructibility, the deconstructibility of every filtration- and quotient-closed class of abelian groups, the deconstructibility of every torsion class of abelian groups, and the single generation of every torsion class of abelian groups are all equivalent. The previously missing direction is the last statement implying the first. Assuming Vopěnka's Principle fails, the paper builds a rigid proper class of graphs, transfers it through a graph-to-abelian-group functor with an exact homomorphism-set identity, and obtains a rigid proper class of abelian groups. Then it shows that the torsion closure of that rigid class cannot be generated by a set: a set-sized generator would appear before some stage of an ordinal-indexed torsion-closure hierarchy, leaving some rigid group outside the class, and that group's nonzero identity map would contradict rigidity. Hence the purely algebraic assertion that every torsion class is singly generated forces the reflection behavior that Vopěnka's Principle demands.","pith_inferences":["The equivalence suggests a concrete way to see a Vopěnka failure: in any model where the principle fails, take the rigid sequence of graphs, push it through the exact homomorphism-set functor, and form the torsion closure; the result is a torsion class that cannot be singly generated.","The same functor transfer may show that analogous maximum deconstructibility principles in other algebraic categories are also equivalent to Vopěnka's Principle, since the only essential input is an exact homomorphism-set embedding from a category that admits rigid proper classes.","The open question about X-Gorenstein projective classes can be re-read: because Maximum Deconstructibility is exactly Vopěnka's Principle, proving that the full X-Gorenstein scheme implies Maximum Deconstructibility would show those homological-algebra consequences already carry large-cardinal strength.","The proof makes Vopěnka's Principle look less like a remote set-theoretic axiom and more like a statement about the size of generating sets in accessible algebraic categories; this may make the principle testable through concrete torsion-class constructions."],"forward_implications":["If Vopěnka's Principle holds, then for every ring $R$ every X-Gorenstein projective class and every X-Ding projective class is deconstructible and therefore precovering, so relative homological algebra can be carried out inside those classes.","If Vopěnka's Principle fails, there is a torsion class of abelian groups that is neither deconstructible nor singly generated; this is a concrete algebraic witness to the failure.","The earlier theorem that Vopěnka's Principle implies every torsion class is singly generated is now an equivalence: the algebraic statement has exactly the same truth value as the large-cardinal axiom.","Maximum Deconstructibility and Vopěnka's Principle have identical consistency strength, so any module-theoretic consequence of one is a consequence of the other.","For torsion classes of abelian groups, deconstructibility coincides with single generation, so the existence of a small generating set is the entire content of Maximum Deconstructibility in this setting."],"supporting_citations":[{"why":"Supplies the graph-to-abelian-group functor whose exact homomorphism-set identity transfers rigidity from graphs to abelian groups.","marker":"[25]"},{"why":"Supplies the rigid proper class of graphs that exists when Vopěnka's Principle fails, the starting point of the reverse implication.","marker":"[1]"},{"why":"Provides the basic theory of torsion classes, including the orthogonality characterization used to show torsion classes are filtration-closed.","marker":"[8]"},{"why":"Introduces Maximum Deconstructibility and proves the forward implication from Vopěnka's Principle to MD.","marker":"[6]"},{"why":"Establishes that torsion classes are closed under filtrations and that MD implies an omega_1-strongly compact cardinal.","marker":"[7]"},{"why":"Is the one-way theorem whose converse the paper proves: Vopěnka's Principle implies every torsion class is singly generated.","marker":"[18]"},{"why":"Gives the general fact that deconstructible classes are precovering, which explains why MD matters for homological algebra.","marker":"[26]"},{"why":"Provides the closest precedent: a related equivalence between a reflection principle and single generation using the same functor.","marker":"[3]"}],"fun_headline_variants":["Vopěnka's Principle and module deconstructibility are one","Maximum Deconstructibility is Vopěnka's Principle","Torsion classes singly generated iff Vopěnka holds","Vopěnka's Principle collapses to a module property","Single-generator torsion classes force Vopěnka's Principle"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole reverse direction rests on the exact homomorphism-set computation of the graph-to-abelian-group functor: if even one spurious group homomorphism appears between the images of two rigid graphs, the rigid family of groups is no longer rigid and the contradiction proving that every singly generated torsion class implies Vopěnka's Principle collapses.","fun_headline_variants_meta":{"raw":{"variants":["Vopěnka's Principle and module deconstructibility are one","Maximum Deconstructibility is Vopěnka's Principle","Torsion classes singly generated iff Vopěnka holds","Vopěnka's Principle collapses to a module property","Single-generator torsion classes force Vopěnka's Principle"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00016,"raw_usage":{"total_tokens":1218,"prompt_tokens":916,"completion_tokens":302,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":532,"completion_tokens_details":{"reasoning_tokens":217}},"tokens_in":532,"tokens_out":302,"duration_ms":3406,"temperature":1.0,"reasoning_tokens":217,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T00:39:42.485402+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a pair of finite graphs $U,V$ with no graph homomorphism $U \\to V$ and compute $\\operatorname{Hom}_{\\mathrm{Ab}}(FU,FV)$ under the paper's functor; a nonzero group homomorphism would falsify the exact homomorphism-set identity used in Theorem 3.4 and break the rigidity transfer on which the proof of statement (5) implying statement (1) depends.","supporting_citations":[{"cited_title":"Prze´ zdziecki, An almost full embedding of the category of graphs into the ca tegory of abelian groups , Adv","cited_arxiv_id":null,"evidence_quote":"Supplies the graph-to-abelian-group functor whose exact homomorphism-set identity transfers rigidity from graphs to abelian groups."},{"cited_title":"189, Cambridge Un iversity Press, Cambridge, 1994","cited_arxiv_id":null,"evidence_quote":"Supplies the rigid proper class of graphs that exists when Vopěnka's Principle fails, the starting point of the reverse implication."},{"cited_title":"Dickson, A torsion theory for Abelian categories , Trans","cited_arxiv_id":null,"evidence_quote":"Provides the basic theory of torsion classes, including the orthogonality characterization used to show torsion classes are filtration-closed."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces Maximum Deconstructibility and proves the forward implication from Vopěnka's Principle to MD."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes that torsion classes are closed under filtrations and that MD implies an omega_1-strongly compact cardinal."},{"cited_title":"Algebra 93 (1985), no","cited_arxiv_id":null,"evidence_quote":"Is the one-way theorem whose converse the paper proves: Vopěnka's Principle implies every torsion class is singly generated."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the general fact that deconstructible classes are precovering, which explains why MD matters for homological algebra."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the closest precedent: a related equivalence between a reflection principle and single generation using the same functor."}],"review_version":1}