{"id":"a6e1b206-d338-4ce5-81ca-a4f231f33abb","arxiv_id":"1909.02361","paper_version":2,"verdict":"REJECT","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"Under a splitting assumption, the paper asserts that a chain complex's homology object is the categorified eigenvalue of that complex with the ground ring as eigenobject; the converse half of the assertion is false over Z.","lead":"The paper claims that the homology groups of a chain complex can be seen as a special kind of eigenvalue in the categorical diagonalization framework of Elias and Hogancamp. The intended reader is someone interested in categorical reformulations of homological algebra, but the main equivalence is not valid as stated.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 3.2 conflates injectivity with isomorphism: over Z, α=×2 on a zero-differential complex satisfies λ≅H^0(F) and injectivity, but Cone(α) is not null-homotopic, so Theorem 3.3's converse is false.","rationale":"The reader's weakest_assumption correctly identifies the precise unjustified step. Lemma 3.2's phrase 'α_n are thought of as isomorphisms' is the leap: from λ_n≅kerδ_n and injectivity of α_n one cannot infer that α_n is onto. Over Z, multiplication by 2 is injective with the same rank but not surjective. This is not a boundary case: it yields a concrete model satisfying every hypothesis of Theorem 3.3 whose conclusion fails. Since Main Theorem 1.2 and Corollary 3.4 depend on the 'if' direction, the central claim is unsupported and false as stated. Lemma 3.1 (cone null implies isomorphism onto kerδ_n) and the worked S^1 example are consistent with the corrected condition. A repair is explicit: require α_n:λ_n→kerδ_n to be an isomorphism; then the matrix homotopy in Lemma 3.2 is valid. Because the main theorem as stated is false, the reader's REJECT verdict is appropriate and no verdict change is needed.","tokens_in":9503,"tokens_out":5981,"duration_ms":64405,"concrete_test":"Run the counterexample through the manuscript's definitions. Set R=Z, F=(...→0→Z--0-->Z→0→...), λ=(...→0→Z--0-->Z→0→...), and define α in the nonzero degree as multiplication by 2. Verify Hypotheses of Theorem 3.3: Imα⊂G, α is injective, and λ_0≅H^0(F)=Z. Then compute Cone(α): it is the two-term complex Z --×2--> Z. Check the null-homotopy equation d∘h+h∘d=id in the manuscript's sign convention; in the lower degree this is ×2∘h=id, which has no Z-linear solution. Accepting this counterexample forces the replacement of 'α_n is an injection into G_n' by 'α_n maps λ_n isomorphically onto kerδ_n' in Lemma 3.2 and Theorem 3.3, and Corollary 3.4 must construct such isomorphisms rather than arbitrary injections.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing defect is in Lemma 3.2 and the converse of Theorem 3.3. Lemma 3.2 assumes each α_n is an injection into G_n and λ_n ≅ H^n(F), then asserts that α_n may be regarded as an isomorphism onto kerδ_n. This is invalid over a general commutative ring. Counterexample: take R=Z, F=(Z --0--> Z), so H^0(F)=Z, G=Z, δ=0; take λ=(Z --0--> Z); let α be multiplication by 2. Then α is an injection into G and λ_0≅H^0(F), yet Cone(α) is Z --×2--> Z. This cone is not null-homotopic: a null-homotopy h would force α∘h=id on F, requiring α to be surjective, which multiplication by 2 is not. Thus every hypothesis of Theorem 3.3 holds but Cone(α)∼0 fails. The same defect invalidates Corollary 3.4, since an arbitrary injection of H^n(F) into G_n does not make H^•(F) an eigenobject. The necessary and sufficient condition supplied by Lemma 3.1 is that each α_n be an isomorphism λ_n→kerδ_n, not merely an injection with abstractly isomorphic λ_n.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims that for a chain complex F of finitely generated free modules over a commutative ring and a complex λ with zero differentials, a chain map α: λ → F whose image lies in a chosen complement of the image of the differentials makes λ a categorified eigenvalue of F precisely when each λ_n is isomorphic to the cohomology group H^n(F) and each α_n is injective. The argument proceeds through the null-homotopy of the mapping cone (Lemma 3.1, Lemma 3.2, Theorem 3.3) and then invokes Elias–Hogancamp's categorical diagonalization (Proposition 1.1) to conclude that ordinary (co)homology groups are categorified eigenvalues. A worked example for the chain complex of S^1 is given in Section 3.","tokens_in":9816,"tokens_out":5762,"duration_ms":63351,"significance":"If the main theorem were correct, it would offer a clean categorical interpretation of homology as an eigenspace construction and would provide a concrete instance of Elias–Hogancamp diagonalization. The paper is clearly written, and the forward direction of Theorem 3.3 is proved along standard mapping-cone lines. The worked S^1 example is helpful and explicit. However, the converse direction is false: the paper's Lemma 3.2 conflates injectivity with surjectivity, and the claimed corollary for arbitrary homology sequences already fails over R = Z. The central claim therefore does not stand.","major_comments":[{"comment":"The proof asserts that because λ_n ≅ H^n(F) and α_n is injective into G_n, the map α_n can be regarded as an isomorphism ker δ_n → ker δ_n. An injective map whose domain and codomain are abstractly isomorphic need not be surjective. Concretely, take R = Z, let F be the complex concentrated in degree 0 with F_0 = Z and zero differential, let λ be concentrated in degree 0 with λ_0 = Z, and let α_0 : Z → Z be multiplication by 2. Then α is a chain map, Im α_0 ⊂ G_0 = Z = ker δ_0, α_0 is injective, and λ_0 ≅ H^0(F) = Z. Yet Cone(α) is 0 → Z --×2--> Z → 0, whose homology is Z/2, so it is not null-homotopic. This disproves Lemma 3.2 and with it the 'if' direction of Theorem 3.3 and Main Theorem 1.2.","section":"§3, Lemma 3.2"},{"comment":"Corollary 3.4 asserts that an arbitrary sequence H^•(F) is a categorified eigenvalue by choosing an injection H^n(F) → G_n. This is not generally possible, and even when an injection exists it is insufficient. Over Z, the complex 0 → Z --×2--> Z → 0 has H^1 ≅ Z/2, which cannot be embedded into a free Z-module because free abelian groups are torsion-free. Moreover, for H^0 in a suitably shifted example, an injection can exist but does not produce a contractible mapping cone, as shown in the previous comment. Corollary 3.4 therefore fails.","section":"§3, Corollary 3.4 and Main Theorem 1.2"}],"minor_comments":[{"comment":"The rank-nullity arguments in equations (3.8)–(3.11) use dimension and rank for finitely generated free modules over an arbitrary commutative ring; these notions require additional hypotheses such as the ring being an integral domain or a PID, and the stated generality is not justified.","section":"§3, Lemma 3.1"},{"comment":"The appendix repeats the same flawed inference in deriving Im α_n = ker δ_n from injectivity of α_n and the isomorphism λ_n ≃ ker δ_n, without establishing surjectivity.","section":"Appendix, after (A.9)"}],"recommendation":"reject","confidential_remarks":"The main theorem is false over Z, and the error is not a minor fix: the necessary and sufficient condition for Cone(α) ∼ 0 is that each α_n be an isomorphism onto ker δ_n, not merely an injection with an abstractly isomorphic λ_n. Restricting to a field would make the rank argument work but would substantially reduce the claimed scope, and the corollary on arbitrary homology groups would still fail for torsion classes. I recommend rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: the paper has a nice framing but the central theorem is not true. The forward direction (Cone(α) null-homotopic implies λ_n ≅ H^n(F) and α_n injective) is proved correctly from the homotopy equations. The converse is where it breaks. Lemma 3.2 assumes each α_n is an injection into G_n and λ_n ≅ H^n(F), then treats α_n as an isomorphism onto ker δ_n. That inference only holds over a field, where injective endomorphisms of finite-dimensional spaces are surjective. Over Z it fails: take F = (Z --0--> Z), so H^0(F)=Z, let λ_0=Z and α_0 = multiplication by 2. The map is injective into G_0=Z, and λ_0 ≅ H^0(F), but Cone(α) is not null-homotopic—a null-homotopy would require a left inverse to α, i.e., surjectivity, which multiplication by 2 does not have. So Theorem 3.3's converse is false, and Corollary 3.4 (arbitrary homology sequence is an eigenobject) falls with it. The correct hypothesis should be that α_n is an isomorphism onto ker δ_n, not just an injection with an abstract isomorphism.\n\nThe credit: the paper is not sloppy in its forward direction, and the categorical-diagonalization framing is a genuine perspective. Example 3.6 (homology of S1 as an eigenobject) checks out. The flaw is fixable but substantive: the theorem becomes true over a field, or if you strengthen injectivity to a genuine isomorphism onto the kernel. As written, it overreaches. The rank-nullity arguments also silently assume vector-space dimensionality, which is suspicious for the stated generality of a commutative ring of characteristic 0.\n\nWho this is for: someone working on Elias–Hogancamp categorical diagonalization might find the attempt to connect homology to eigenobjects worth a look, but they should be warned about the counterexample. As it stands, this should not be accepted in its current form. I would recommend telling the authors to fix the statement and reprove the converse under the stronger isomorphism condition, then resubmit. This deserves a serious referee rather than a desk reject—the error is real but subtle, and the paper has content worth salvaging.","headline":"The paper's main iff is false as stated: Lemma 3.2 conflates injectivity with isomorphism, and over Z the converse fails; the forward direction and example are fine.","tokens_in":10296,"tokens_out":4181,"would_cite":false,"duration_ms":41786,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["18G35"],"pacs":[],"model":"deepseek-v4-flash","headline":"Cohomology groups are categorified eigenvalues of a chain complex.","keywords":["homology groups","categorified eigenvalue","categorical diagonalization","mapping cone","chain complexes","finitely generated free modules","eigenobject","cohomology"],"falsifier":"Take $R=\\mathbb{Z}$ and let $F$ be a two-term complex of two copies of $\\mathbb{Z}$ with zero differentials in degrees $1$ and $2$, with $\\lambda_1=\\lambda_2=\\mathbb{Z}$, $\\alpha_1$ multiplication by $2$, and $\\alpha_2$ the identity. Then $\\lambda_n \\cong H^n(F)$ and each $\\alpha_n$ is injective into the relevant $G_n$, yet the mapping cone has $H^1 \\cong \\mathbb{Z}/2\\mathbb{Z}$, so $\\operatorname{Cone}(\\alpha) \\not\\sim 0$; computing the cone's homology in this example settles whether the converse of Theorem 3.3 needs an additional surjectivity condition.","tokens_in":9345,"feed_emoji":"🔗","tokens_out":19169,"duration_ms":169202,"temperature":0.7,"pith_summary":"This paper aims to show that ordinary (co)homology groups can be read as categorified eigenvalues of a chain complex. Working with chain complexes of finitely generated free modules over a characteristic-zero commutative ring $R$, it fixes a complex $F$ and a zero-differential complex $\\lambda$, then studies a chain map $\\alpha:\\lambda \\to F$ through its mapping cone. The central equivalence is that $\\lambda_n \\cong H^n(F)$ and each $\\alpha_n$ injects into a complement $G_n$ of the image of the differential if and only if $\\operatorname{Cone}(\\alpha) \\sim 0$. Feeding this into the categorical-diagonalization criterion makes $R$ an eigenobject and $\\lambda$ a categorified eigenvalue of $F$. The upshot is that any sequence of cohomology groups $H^\\bullet(F)$ can be realized this way, so cohomology itself becomes an eigenvalue-type invariant of the chain complex.","feed_headline":"Cohomology is a categorified eigenvalue of a chain complex","feed_subtitle":"The homology of a chain complex satisfies the categorical eigenvalue equation, with the base ring R as eigenobject.","key_machinery":"The load-bearing object is the mapping cone of the comparison chain map $\\alpha:\\lambda \\to F$. When the cone is null-homotopic, the homotopy decomposes in matrix form and its diagonal entries force the identities $\\psi^{n+1}_{12} \\circ \\alpha_{n+1} = -\\mathrm{id}$, $\\alpha_n \\circ \\psi^n_{12} + \\psi^{n+1}_{23} \\circ \\delta_n = -\\mathrm{id}_{G_n}$, and $\\delta_{n-1} \\circ \\psi^n_{23} = -\\mathrm{id}$; these imply that $\\alpha_n$ is injective and that the image of $\\alpha_n$ is exactly $\\ker \\delta_n$. Since $\\ker \\tilde d^F_n = \\ker \\delta_n \\oplus \\operatorname{Im} \\tilde d^F_{n-1}$, it follows that $\\lambda_n \\cong H^n(F)$. Conversely, given $\\lambda_n \\cong H^n(F)$ and injective $\\alpha_n$, the paper constructs an explicit homotopy from $\\alpha_n^{-1}$ on $\\ker \\delta_n$ and $\\delta_{n-1}^{-1}$ on $\\operatorname{Im} \\tilde d^F_{n-1}$ that satisfies $d^Z_{n-1} \\Phi^n + \\Phi^{n+1} d^Z_n = -\\mathrm{id}$, so $\\operatorname{Cone}(\\alpha) \\sim 0$. The categorical-diagonalization criterion then transfers this null-homotopy to the eigenobject statement for $R$.","core_discovery":"The paper's central claim is that the homology of a chain complex is not only an invariant computed from it but an eigenvalue in the categorical sense of diagonalization. For $F$ in the category of chain complexes of finitely generated free $R$-modules and a zero-differential scalar complex $\\lambda$, a chain map $\\alpha:\\lambda \\to F$ whose image lies inside $G_n$, where $F_n = G_n \\oplus \\operatorname{Im} \\tilde d^F_{n-1}$, satisfies $\\operatorname{Cone}(\\alpha) \\sim 0$ exactly when $\\lambda_n \\cong H^n(F)$ and $\\alpha_n$ is injective into $G_n$. Using the criterion that $\\operatorname{Cone}(\\alpha) \\otimes V \\sim 0$ makes $V$ an eigenobject, taking $V=R$ yields that $R$ is an eigenobject and $\\lambda$ is a categorified eigenvalue of $F$. Corollary 3.4 then states that an arbitrary sequence $H^\\bullet(F)$ of cohomology groups is a categorified eigenvalue of $F$ with eigenobject $R$, with $\\alpha$ choosing representatives of cohomology classes in the complementary summands.","pith_inferences":["The equivalence is delicate at the surjectivity step: over $\\mathbb{Z}$, an injective map such as multiplication by $2$ can have the correct domain and codomain ranks without being onto, so the cleanest version of the theorem would require $\\alpha_n$ to be an isomorphism onto $\\ker \\delta_n$, not merely injective.","A straightforward extension is to replace the eigenobject $R$ by another finitely generated free module $V$; the same matrix-homotopy argument would then classify when $\\lambda$ is a categorified eigenvalue with eigenobject $V$, tying homology with coefficients in $V$ to null-homotopy of $\\operatorname{Cone}(\\alpha)\\otimes V$.","The explicit $S^1$ example in the paper suggests that the mapping-cone homotopy can be written down by inspection for simple cell complexes, so the construction could serve as a computational certificate for homology computations in settings where the ring has a basis."],"forward_implications":["For every chain complex $F$ of finitely generated free modules over a characteristic-zero commutative ring, the sequence $H^\\bullet(F)$ is a categorified eigenvalue of $F$ with eigenobject $R$.","A zero-differential complex $\\lambda$ is isomorphic to $H^\\bullet(F)$, with $\\alpha$ injective into the chosen complements, precisely when $\\operatorname{Cone}(\\alpha)$ is contractible.","Reversing the grading, the same statement realizes homology groups $H_\\bullet(F)$ as categorified eigenvalues, as noted in the remark after Corollary 3.5.","In the circle example, the homology groups $\\mathbb{Z}$ in degrees $0$ and $1$ are exhibited with an explicit homotopy proving $\\operatorname{Cone}(\\alpha)\\sim 0$."],"supporting_citations":[{"why":"Supplies the definition of categorified eigenvalues, scalar objects, and eigenobjects, and the criterion that a null-homotopic mapping cone tensored with V makes V an eigenobject; Main Theorem 1.2 relies directly on this criterion.","marker":"[2]"},{"why":"Presents the categorical diagonalization of full twists that motivates interpreting lambda as a categorified eigenvalue of F.","marker":"[4]"},{"why":"A chapter on categorical diagonalization that restates the scalar-object and eigenobject framework behind Proposition 1.1.","marker":"[1]"},{"why":"The book presentation of categorical diagonalization containing the same eigenobject framework, cited alongside [2] and [1].","marker":"[3]"}],"fun_headline_variants":["Cohomology: the eigenvalue of a chain complex","Chain complexes yield cohomology as categorified eigenvalues","Cohomology groups satisfy the eigenvalue equation","Categorical diagonalization turns cohomology into eigenvalues"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The converse proof treats an injective map $\\alpha_n$ with $\\lambda_n \\cong H^n(F)$ as a bijection onto $\\ker \\delta_n$; this step needs injectivity plus matching rank to imply surjectivity, which can fail over rings such as the integers.","fun_headline_variants_meta":{"raw":{"variants":["Cohomology: the eigenvalue of a chain complex","Chain complexes yield cohomology as categorified eigenvalues","Cohomology groups satisfy the eigenvalue equation","Categorical diagonalization turns cohomology into eigenvalues"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001033,"raw_usage":{"total_tokens":4354,"prompt_tokens":956,"completion_tokens":3398,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":572,"completion_tokens_details":{"reasoning_tokens":3335}},"tokens_in":572,"tokens_out":3398,"duration_ms":21337,"temperature":1.0,"reasoning_tokens":3335,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T04:54:57.296059+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $R=\\mathbb{Z}$ and let $F$ be a two-term complex of two copies of $\\mathbb{Z}$ with zero differentials in degrees $1$ and $2$, with $\\lambda_1=\\lambda_2=\\mathbb{Z}$, $\\alpha_1$ multiplication by $2$, and $\\alpha_2$ the identity. Then $\\lambda_n \\cong H^n(F)$ and each $\\alpha_n$ is injective into the relevant $G_n$, yet the mapping cone has $H^1 \\cong \\mathbb{Z}/2\\mathbb{Z}$, so $\\operatorname{Cone}(\\alpha) \\not\\sim 0$; computing the cone's homology in this example settles whether the converse of Theorem 3.3 needs an additional surjectivity condition.","supporting_citations":[{"cited_title":"Awodey : Category theory","cited_arxiv_id":null,"evidence_quote":"Supplies the definition of categorified eigenvalues, scalar objects, and eigenobjects, and the criterion that a null-homotopic mapping cone tensored with V makes V an eigenobject; Main Theorem 1.2 relies directly on this criterion."},{"cited_title":"Categorical diagonalization","cited_arxiv_id":"1707.04349","evidence_quote":"Presents the categorical diagonalization of full twists that motivates interpreting lambda as a categorified eigenvalue of F."},{"cited_title":"Mac Lane","cited_arxiv_id":null,"evidence_quote":"A chapter on categorical diagonalization that restates the scalar-object and eigenobject framework behind Proposition 1.1."},{"cited_title":"Chandler, N","cited_arxiv_id":null,"evidence_quote":"The book presentation of categorical diagonalization containing the same eigenobject framework, cited alongside [2] and [1]."}],"review_version":1}