{"id":"da42dc85-b8fd-4b8c-aa7f-c5205b556756","arxiv_id":"2412.09716","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Assuming OCA_T and MA(σ-linked), every homomorphism from P(N) into a quotient by a countably 80-determined ideal has a continuous lifting on a nonmeager ideal, improving PFA-based results and removing MA for countably generated ideals.","lead":"A set theory paper proves stronger rigidity theorems for quotient Boolean algebras, weakening the forcing axioms needed and shortening a notoriously long proof. It gives new evidence that forcing axioms form the right framework for when isomorphisms of P(N)/I have completely additive liftings.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.4's proof applies Proposition 5.3 to K_n^{16} but concludes a K_n^{80}-approximation; the exponent transition is not justified as written.","rationale":"The reader identified the same load-bearing concern: the unstated implication from nonmeagerness of J_{cont}^{K_n^{16}}(Φ) to an application of Proposition 5.3 yielding K_n^{80}-approximations. My independent reading confirms this is the central gap in the derivation of Theorem 1.4. If the exponent arithmetic cannot be repaired, the proof of Theorem 1.4 does not follow from the lemmas as written; the theorem may still be true, and the surrounding framework is credible, but the written argument is incomplete at exactly this junction. The proposed test, tracking exponents through Lemma 3.4, Proposition 5.3, and Lemma 3.5, is the minimal check that would resolve the issue. Since this is the same concern the reader raised, and the recommended verdict was already CONDITIONAL, I do not see grounds to move the verdict; hence UNCHANGED.","tokens_in":25206,"tokens_out":14276,"duration_ms":146436,"concrete_test":"Re-derive the exponent chain in §6 with explicit bookkeeping: if Proposition 5.3 is applied with K = K_n^{16}, write down the exact output approximation as (K_n^{16})^{80} = K_n^{1280}. Then check the hypotheses of Lemma 3.5: does the proof supply a Borel K_n^{80}-approximation for each n, or only a K_n^{1280}-approximation? If only the latter, test whether I = ∩_n(K_n^{80} ∪ Fin) implies I = ∩_n(K_n^{1280} ∪ Fin) for arbitrary closed hereditary K_n satisfying Definition 1.2; exhibit a counterexample if not. A direct check on the proof structure will settle whether the stated lemmas prove Theorem 1.4 or whether an additional approximation refinement lemma is needed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 1.4 in §6 uses Lemma 3.4 to get that J_{cont}^{K_n^{16}}(Φ) intersects every perfect tree-like almost disjoint family, and then invokes Proposition 5.3 to obtain a continuous K_n^{80}-approximation to Φ on J_{cont}. This is not licensed by the stated statements. Proposition 5.3 requires the hereditary set J_{cont}^{K}(Φ) itself to meet every uncountable tree-like almost disjoint family; substituting K = K_n^{16} would produce only a (K_n^{16})^{80} = K_n^{1280}-approximation, not a K_n^{80}-approximation. The proof gives no argument that a K_n^{1280}-approximation can be converted into a K_n^{80}-approximation, nor does countably 80-determinedness, as defined in Definition 1.2, imply I = ∩_n(K_n^{1280} ∪ Fin) merely from I = ∩_n(K_n^{80} ∪ Fin), since K_n^{1280} ∪ Fin is generally a larger family. The subsequent appeal to Lemma 3.5 with B_n = K_n^{80} therefore requires B_n-approximations that the preceding steps have not constructed; the missing link is exactly the structural connection between the local lifting lemma and the uniformization proposition.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper presents a new proof and a strengthening of the OCA lifting theorem. The main technical result, Theorem 1.4, asserts that under OCA_T and MA(σ-linked), every homomorphism from P(N) into P(N)/I for a countably 80-determined ideal I has a continuous lifting on a nonmeager ideal. The author derives from it rigidity consequences for quotient Boolean algebras (Theorem 1) and triviality of automorphisms of quotients over countably generated ideals (Theorem 2). The proof introduces 'Biba's trick' to simplify the structure of the earlier OCA lifting theorem, replacing roughly thirty pages of [7].","tokens_in":25453,"tokens_out":14046,"duration_ms":106744,"significance":"If the central theorem holds, the paper is a substantial advance: it weakens the forcing assumptions from PFA to OCA_T plus MA(σ-linked), strengthens the ideal class from countably 3204-determined to countably 80-determined, and offers a considerably shorter proof. The paper contains many detailed, apparently correct local arguments (e.g., Lemma 3.4 and Proposition 5.3 each have elaborate proofs with explicit uses of OCA# and MA(σ-linked)). The applications to rigidity are stated crisply. However, the proof of the main theorem as written contains a load-bearing gap in the transition from the local lifting lemma to the uniformization proposition.","major_comments":[{"comment":"The step 'By Proposition 5.3, Φ has a continuous K_n^{80} approximation on J_cont' is not justified by the preceding lines. Lemma 3.4 yields that J_cont^{K_n^{16}}(Φ) meets every perfect tree-like almost disjoint family. Proposition 5.3, applied with K = K_n^{16}, would require J_cont^{K_n^{16}} to meet every uncountable tree-like almost disjoint family and would conclude the existence of a continuous (K_n^{16})^{80} = K_n^{1280}-approximation on J_cont^{K_n^{16}}, not a K_n^{80}-approximation on J_cont. Applying Proposition 5.3 with K = K_n^{80} would require J_cont^{K_n^{80}} to meet every uncountable tree-like family, which Lemma 3.4 does not give. The paper does not explain how a K_n^{1280}-approximation can be converted into a K_n^{80}-approximation, nor how the domain J_cont^{K_n^{16}} is replaced by J_cont. This gap is load-bearing because it is precisely the connection between the local lifting lemma and the uniformization proposition.","section":"§6, proof of Theorem 1.4"},{"comment":"The sentence 'Lemma 3.5 applied with B_n = K_n^{80} implies that Φ has a continuous lifting on a relatively comeager subset X of J_cont' does not follow from the stated Lemma 3.5, which asserts an equivalence between a global continuous lifting and the existence of global Borel B_n-approximations. No local version of Lemma 3.5 is stated or proved, and the manuscript does not specify how the approximations obtained on J_cont are used to produce a single continuous lifting on a nonmeager ideal. This needs to be made precise, especially because the final appeal to Corollary 2.2 requires the existence of approximations on J_cont^2 = J_cont.","section":"§6, application of Lemma 3.5"},{"comment":"Proposition 5.3 and Lemma 3.4 have mismatched hypotheses: Proposition 5.3 assumes that J_cont^K intersects every uncountable tree-like almost disjoint family, whereas Lemma 3.4 only establishes intersection with every perfect tree-like almost disjoint family. The proof of Proposition 5.3 appears to use only perfect tree-like families (in Claim 2, the constructed A(h) is perfect), so the author should either weaken the assumption of Proposition 5.3 to 'every perfect tree-like almost disjoint family' and state the corresponding version, or supply an argument that the perfect case implies the uncountable case.","section":"Proposition 5.3 and Lemma 3.4"}],"minor_comments":[{"comment":"The abstract contains an incomplete sentence: 'In the assumptions of this theorem.'","section":"Abstract"},{"comment":"In the proof of Lemma 3.3, the symbol K_1 is used without the full superscript; it should be K^{Φ*,A,K}_1 or an explanation of the shorthand.","section":"Lemma 3.3"},{"comment":"In Claim 2 of the proof of Theorem 4.1, the notation 'J^K_cont' appears but K is not defined in that context.","section":"Theorem 4.1, Claim 2"},{"comment":"In Lemma 5.2, the condition 'G ∩ ˜Y_n = ∅ for all n /∈ X' appears to be a typo; the intended set is likely G ∩ Y_n, not G ∩ ˜Y_n.","section":"Lemma 5.2"},{"comment":"In the proof of Proposition 5.3, the definition of the sets V_m is hard to parse; a short explanatory sentence would improve readability.","section":"Proposition 5.3"},{"comment":"In Section 1.1, the sentence 'No care is taken to assure the optimality of this constant' before Lemma 1.3 is informal; consider clarifying that the constants 16, 80, and 3204 are artifacts of the proof.","section":"Section 1.1"}],"recommendation":"major_revision","confidential_remarks":"The exponent gap in the proof of Theorem 1.4 is serious. If it cannot be repaired, the main theorem may only hold for countably 16-determined ideals, which would still be a notable result but weaker than advertised. The author should be asked to either close the gap or adjust the statement and abstract. The paper's contributions are otherwise significant."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this is a serious paper by a leading expert, and parts of it are genuinely new — Theorem 2 removes MA entirely for countably generated ideals, and the OCA#/Biba's-trick machinery gives a much shorter route to the OCA lifting theorem. The simplification is real and worth having. But the proof of the central Theorem 1.4 has a gap at the final step, and it is not a minor typo.\n\nIn §6 the author applies Lemma 3.4 to obtain that J_{K_n^{16}}^{cont}(Φ) meets every perfect tree-like almost disjoint family. Then Proposition 5.3 is invoked to conclude a continuous K_n^{80}-approximation on Jcont. Proposition 5.3, applied to an approximation K, outputs a K^{80}-approximation on J^K_cont. With K = K_n^{16} this is a (K_n^{16})^{80} = K_n^{1280}-approximation, not a K_n^{80}-approximation. The subsequent appeal to Lemma 3.5 with B_n = K_n^{80} requires approximations at exactly that exponent; the countably 80-determined representation I = ∩_n(K_n^{80} ∪ Fin) does not imply the same representation with K_n^{1280}. I could not find any argument in the paper that converts K_n^{1280}-approximations back to K_n^{80}-approximations. This is the structural link between the local lifting lemma and the uniformization proposition, so as written Theorem 1.4 does not follow from the lemmas.\n\nThe rest of the paper is in better shape. Theorem 2's proof uses Theorem 4.1 and Proposition 3.1, and those sections look coherent; the uniformization argument in §4 is intricate but I did not find a comparable gap there. The paper is honest about what needs MA(σ-linked) and about the open questions. There are some typos and terse passages — the abstract has a sentence fragment — and the reliance on the author's own prior work ([7], [8], [1]) is heavy, but that is normal in this area and the credits are accurate.\n\nWho should read it: anyone working on quotient rigidity, OCA, or lifting theorems. If the gap in §6 is repairable — and I suspect it may be, by either strengthening Lemma 3.4 or adjusting the exponent bookkeeping — Theorem 1.4 would be a substantial strengthening of [8]. Right now it needs a serious referee, not a desk reject, but the referee should be asked to check that step carefully. I would not cite Theorem 1.4 as it stands; I would cite Theorem 2 and the technique.","headline":"Real progress on OCA lifting with a much shorter proof, but the main theorem's proof has an unjustified exponent jump that needs fixing before acceptance.","tokens_in":26077,"tokens_out":6006,"would_cite":true,"duration_ms":53180,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["03E15","03E50","03E65"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that two forcing axioms force every homomorphism into a quotient algebra P(N)/I to lift to a continuous function on a nonmeager ideal, for countably 80-determined ideals I.","keywords":["lifting theorems","quotient Boolean algebras","analytic ideals","OCA","MA(σ-linked)","forcing axioms","completely additive liftings","countably determined ideals"],"falsifier":"Work through the exponent transition in Section 6: Lemma 3.4 gives nonempty intersection with perfect tree-like almost disjoint families for $J_{\\mathrm{cont}}^{K_n^{16}}(\\Phi)$, while Proposition 5.3 requires $J_{\\mathrm{cont}}^K(\\Phi)$ itself to meet every uncountable tree-like almost disjoint family; a formal check of whether $K=K_n$ can be substituted, or constructing a countably 80-determined ideal and homomorphism for which the produced ideal is nonmeager but fails that hypothesis, would settle the claim.","tokens_in":24963,"feed_emoji":"🧩","tokens_out":14598,"duration_ms":119752,"temperature":0.7,"pith_summary":"This paper tries to show that the forcing axioms $\\mathrm{OCA}_T$ and $\\mathrm{MA}(\\sigma\\text{-linked})$ are enough to prove strong lifting theorems for homomorphisms between quotient Boolean algebras of the form $P(\\mathbb{N})/I$. The main result is that whenever an ideal $I$ is countably 80-determined by closed approximations, every homomorphism $\\Phi\\colon P(\\mathbb{N})\\to P(\\mathbb{N})/I$ has a continuous lifting on a nonmeager ideal. Because continuous liftings can be converted into completely additive liftings, the theorem implies that isomorphisms between quotients by nonpathological $F_\\sigma$ ideals, nonpathological analytic P-ideals, and the ideals of nowhere dense, null, and zero-density subsets are all given by a single function on the integers. A second theorem shows that under $\\mathrm{OCA}_T$ alone, every automorphism of $P(\\mathbb{N})/I$ for a countably generated ideal $I$ is trivial. The author presents this as evidence that forcing axioms provide a coherent framework for the rigidity of quotient structures.","feed_headline":"Two forcing axioms tame quotient Boolean algebras","feed_subtitle":"Continuous liftings become one-function maps, so many analytic quotients are rigid.","key_machinery":"The load-bearing device is the stabilization trick named in the title, in which one tries to build two sets whose one-step approximations conflict and the construction is forced to stop after finitely many steps, producing one function that uniformizes all the approximations. The surrounding machinery has three parts. A closed hereditary approximation $K$ to an ideal $I$ is a closed family of finite perturbations such that $I\\subseteq K\\cup \\mathrm{Fin}$; an ideal is countably $d$-determined when it is an intersection, up to finite errors, of $d$-fold unions of such approximations. The ideal $J_{\\mathrm{cont}}(\\Phi)$ collects the sets $A$ on which $\\Phi$ has a continuous $K$-approximation, and a hereditary family is nonmeager exactly when it meets every perfect tree-like almost disjoint family. The equivalent axiom $\\mathrm{OCA}^{\\#}$ feeds the stabilization argument, and $\\mathrm{MA}(\\sigma\\text{-linked})$ supplies the finite-combinatorial uniformization through Lemma 5.1, a finite interval-packing lemma.","core_discovery":"The central claim is that the OCA lifting theorem can be sharpened from countably 3204-determined ideals under the Proper Forcing Axiom to countably 80-determined ideals under the weaker hypotheses $\\mathrm{OCA}_T$ plus $\\mathrm{MA}(\\sigma\\text{-linked})$, with a proof short enough to replace an earlier thirty-page argument. The proof splits into two parts. Under $\\mathrm{OCA}_T$ alone, Proposition 3.1 shows that for a countably 16-determined ideal the ideal $J_{\\mathrm{cont}}(\\Phi)$ of sets on which $\\Phi$ has a continuous approximation meets every perfect tree-like almost disjoint family. Under $\\mathrm{OCA}_T$ plus $\\mathrm{MA}(\\sigma\\text{-linked})$, Proposition 5.3 converts this intersection property into a continuous $K^{80}$-approximation on $J_{\\mathrm{cont}}(\\Phi)$. Theorem 1.4 combines these approximations, one for each closed approximation $K_n$, to obtain a single continuous lifting of $\\Phi$ on a nonmeager ideal; Theorem 1 then adds the Ulam-stability step that upgrades this to a completely additive lifting.","pith_inferences":["The constant 80 is likely an artifact of the proof architecture rather than a natural boundary; the author makes no claim of optimality, and if the machinery is sound the same strategy should extend to all $F_{\\sigma\\delta}$ ideals that are strongly countably determined.","A metric analogue of the stabilization trick already exists, so the same two-stage strategy of uniformization followed by Ulam stability may transfer to metric structures and operator-algebra quotients; the paper mentions the metric version only in passing.","A natural next target is removing $\\mathrm{MA}(\\sigma\\text{-linked})$ from Proposition 5.3; the author states that he does not know whether that is possible, and a positive answer would make Theorem 1.4 a consequence of $\\mathrm{OCA}_T$ alone.","A sharper test of the Section 6 transition would be to see whether the exponent 80 can be reduced to 16 by combining Lemma 3.4 and Proposition 5.3 more directly; the exponent arithmetic is where the proof's main risk sits."],"forward_implications":["If Theorem 1.4 is correct, every isomorphism $\\Phi\\colon P(\\mathbb{N})/I'\\to P(\\mathbb{N})/I$ where $I$ is a nonpathological $F_\\sigma$ ideal, a nonpathological analytic P-ideal, or one of $\\mathrm{NWD}(Q)$, $\\mathrm{NULL}(Q)$, $\\mathrm{ZW}$ has a completely additive lifting, so $I$ and $I'$ are Rudin–Keisler isomorphic.","Under $\\mathrm{OCA}_T$ alone, every automorphism of $P(\\mathbb{N})/I$ for a countably generated ideal $I$ is trivial, meaning it is induced by a bijection on a set whose complement belongs to $I$.","The earlier lifting theorem for countably 3204-determined ideals under the Proper Forcing Axiom now follows from the weaker hypotheses $\\mathrm{OCA}_T$ plus $\\mathrm{MA}(\\sigma\\text{-linked})$ and applies to the wider class of 80-determined ideals.","The proof of the OCA lifting theorem is shortened from roughly thirty pages to a two-proposition argument, making the method easier to adapt to further quotient-rigidity questions."],"supporting_citations":[{"why":"Supplies the $\\mathrm{OCA}^{\\#}$ reformulation of $\\mathrm{OCA}_T$ and the stabilization trick used in the uniformization argument.","marker":"[1]"},{"why":"The OCA lifting theorem and quotient-rigidity framework being improved; also provides completely additive liftings for analytic P-ideals.","marker":"[7]"},{"why":"Proved the earlier lifting theorem for countably 3204-determined ideals under the Proper Forcing Axiom, the result this paper extends.","marker":"[8]"},{"why":"Establishes the equivalence of $\\mathrm{OCA}_T$ and $\\mathrm{OCA}^{\\infty}$, used in Proposition 3.1.","marker":"[23]"},{"why":"Provides the uniformization theorem used to turn Borel and analytic sections into measurable selections.","marker":"[17]"},{"why":"Contains the finite combinatorial lemma used inside Proposition 5.3 to produce disjoint interval packings.","marker":"[28]"},{"why":"Upgrades continuous liftings to completely additive liftings for quotients over Fin, bridging the main theorem to Theorem 1.","marker":"[30]"},{"why":"Gives the measure-theoretic lifting result that converts continuous liftings to completely additive liftings for nonpathological $F_\\sigma$ ideals.","marker":"[16]"},{"why":"Extends that measure-theoretic lifting result to the ideals $\\mathrm{NWD}(Q)$, $\\mathrm{NULL}(Q)$, and $\\mathrm{ZW}$.","marker":"[15]"}],"fun_headline_variants":["Forcing axioms plus Biba's trick tame quotients","OCA_T and MA tame quotient algebras","Improved lifting: from 3204 to 80 determinacy","Biba's trick shortens OCA lifting proof","Weaker assumptions, stronger lifting for quotients"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument's hidden hinge is the step in Section 6 where the nonmeager ideals obtained from the 16-approximation lemma are treated as satisfying the intersection-with-tree-like-families condition needed to start the 80-approximation proposition; if this implication is not valid, Theorem 1.4 does not follow from the lemmas as written.","fun_headline_variants_meta":{"raw":{"variants":["Forcing axioms plus Biba's trick tame quotients","OCA_T and MA tame quotient algebras","Improved lifting: from 3204 to 80 determinacy","Biba's trick shortens OCA lifting proof","Weaker assumptions, stronger lifting for quotients"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000763,"raw_usage":{"total_tokens":3327,"prompt_tokens":830,"completion_tokens":2497,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":446,"completion_tokens_details":{"reasoning_tokens":2421}},"tokens_in":446,"tokens_out":2497,"duration_ms":17467,"temperature":1.0,"reasoning_tokens":2421,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T16:50:37.927937+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Work through the exponent transition in Section 6: Lemma 3.4 gives nonempty intersection with perfect tree-like almost disjoint families for $J_{\\mathrm{cont}}^{K_n^{16}}(\\Phi)$, while Proposition 5.3 requires $J_{\\mathrm{cont}}^K(\\Phi)$ itself to meet every uncountable tree-like almost disjoint family; a formal check of whether $K=K_n$ can be substituted, or constructing a countably 80-determined ideal and homomorphism for which the produced ideal is nonmeager but fails that hypothesis, would settle the claim.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the uniformization theorem used to turn Borel and analytic sections into measurable selections."},{"cited_title":"De Bondt, I","cited_arxiv_id":null,"evidence_quote":"Supplies the $\\mathrm{OCA}^{\\#}$ reformulation of $\\mathrm{OCA}_T$ and the stabilization trick used in the uniformization argument."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The OCA lifting theorem and quotient-rigidity framework being improved; also provides completely additive liftings for analytic P-ideals."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Proved the earlier lifting theorem for countably 3204-determined ideals under the Proper Forcing Axiom, the result this paper extends."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the equivalence of $\\mathrm{OCA}_T$ and $\\mathrm{OCA}^{\\infty}$, used in Proposition 3.1."},{"cited_title":"Talagrand","cited_arxiv_id":null,"evidence_quote":"Contains the finite combinatorial lemma used inside Proposition 5.3 to produce disjoint interval packings."},{"cited_title":"Velickovic","cited_arxiv_id":null,"evidence_quote":"Upgrades continuous liftings to completely additive liftings for quotients over Fin, bridging the main theorem to Theorem 1."},{"cited_title":"Kanovei and M","cited_arxiv_id":null,"evidence_quote":"Gives the measure-theoretic lifting result that converts continuous liftings to completely additive liftings for nonpathological $F_\\sigma$ ideals."},{"cited_title":"Kanovei and M","cited_arxiv_id":null,"evidence_quote":"Extends that measure-theoretic lifting result to the ideals $\\mathrm{NWD}(Q)$, $\\mathrm{NULL}(Q)$, and $\\mathrm{ZW}$."}],"review_version":1}