{"schema_version":"source-reader-v1","record":{"source_id":"clay-deligne-hodge","versions":[{"work":{"authors":["Pierre Deligne"],"kind":"official_description","publication":"published","publication_note":"Official Clay problem description; historical exposition, not a current literature survey.","ai_role":"not_reported","ai_note":"The cited work does not report AI involvement; this is not an assertion that no AI was used.","artifacts":[{"kind":"pdf","title":"Official description PDF","url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","version":"official-description","assessment":"paper_proof","note":"External evidence linked; no OpenMath execution or independent reproduction is asserted."}]},"id":"clay-deligne-hodge@official-description","source_id":"clay-deligne-hodge","title":"Deligne · official Hodge description","owner":"Pierre Deligne","url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","subject_scope":"Deligne · official Hodge description","revision":"official-description","content_sha256":null,"update_method":"Manual source and revision check; recheck upstream before a new publication.","identifier_policy":"Stable bibliographic identifier and explicit revision; theorem locators belong to source entries.","observed_on":"2026-10-10","source_updated_on":null,"rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","attribution":"Pierre Deligne","rights_note":"No upstream full text or code is republished by this record.","check_interval_days":90}],"entries":[{"id":"hodge-conjecture:hodge-cycle-obstruction:v1","source_version_id":"clay-deligne-hodge@official-description","item_id":"§3–§5, PDF pages 3–4: intermediate Jacobians and detecting Hodge classes","url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","wording":"Hodge classes and their supports can be studied cohomologically, but constructing the required cycles remains the general obstacle.","wording_kind":"paraphrase","locator":"§3–§5, PDF pages 3–4: intermediate Jacobians and detecting Hodge classes","supersedes":null},{"id":"hodge-conjecture:hodge-divisor-classes:v1","source_version_id":"clay-deligne-hodge@official-description","item_id":"Section 2(iii), PDF page 2","url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","wording":"For a smooth projective complex variety X, every rational class in H²(X,Q) of type (1,1) is a rational combination of divisor classes.","wording_kind":"paraphrase","locator":"Section 2(iii), PDF page 2","supersedes":null},{"id":"hodge-conjecture:hodge-divisor-history:v1","source_version_id":"clay-deligne-hodge@official-description","item_id":"§2(iii) and reference [7], Kodaira–Spencer (1953)","url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","wording":"Deligne cites the 1953 divisor-class account for the Lefschetz (1,1) criterion.","wording_kind":"paraphrase","locator":"§2(iii) and reference [7], Kodaira–Spencer (1953)","supersedes":null},{"id":"hodge-conjecture:hodge-kahler-boundary:v1","source_version_id":"clay-deligne-hodge@official-description","item_id":"§2(v), PDF page 3","url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","wording":"Replacing smooth projective varieties by all compact Kähler manifolds makes the cycle-algebraicity assertion false.","wording_kind":"paraphrase","locator":"§2(v), PDF page 3","supersedes":null},{"id":"hodge-conjecture:hodge-lefschetz-consequence:v1","source_version_id":"clay-deligne-hodge@official-description","item_id":"§4 Example 2, PDF page 4; implication from §1","url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","wording":"Under rational Hodge on X×X, the inverse hard-Lefschetz maps are induced by algebraic correspondences.","wording_kind":"paraphrase","locator":"§4 Example 2, PDF page 4; implication from §1","supersedes":null},{"id":"hodge-conjecture:hodge-origin-history:v1","source_version_id":"clay-deligne-hodge@official-description","item_id":"§2(vi) and reference [6], ICM 1950 proceedings published 1952","url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","wording":"Hodge’s broader conjecture appeared in the ICM 1950 proceedings published in 1952; later coefficient and scope corrections are essential.","wording_kind":"paraphrase","locator":"§2(vi) and reference [6], ICM 1950 proceedings published 1952","supersedes":null},{"id":"hodge-conjecture:hodge-projector-consequence:v1","source_version_id":"clay-deligne-hodge@official-description","item_id":"§4 Example 1, PDF page 4; implication from §1","url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","wording":"Under rational Hodge on X×X, the rational Künneth components of the diagonal have algebraic representatives.","wording_kind":"paraphrase","locator":"§4 Example 1, PDF page 4; implication from §1","supersedes":null},{"id":"hodge-conjecture:hodge-rational-target:v1","source_version_id":"clay-deligne-hodge@official-description","item_id":"§1, PDF page 1: rational cycle-class formulation","url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","wording":"For every smooth projective complex variety X and every codimension p, CH^p(X)⊗Q maps onto H^{2p}(X,Q) ∩ H^{p,p}(X).","wording_kind":"paraphrase","locator":"§1, PDF page 1: rational cycle-class formulation","supersedes":null},{"id":"hodge-conjecture:integral-hodge-counterexamples:v1","source_version_id":"clay-deligne-hodge@official-description","item_id":"Section 2(iv), PDF page 2","url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","wording":"The integral analogue of the Hodge conjecture is false: there exist integral Hodge classes on smooth projective complex varieties not represented by integral algebraic cycles.","wording_kind":"paraphrase","locator":"Section 2(iv), PDF page 2","supersedes":null}],"problems":[{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15}],"selected_version_id":"clay-deligne-hodge@official-description","available_versions":[{"id":"clay-deligne-hodge@official-description","revision":"official-description","observed_on":"2026-10-10","title":"Deligne · official Hodge description","publication":"published","content_sha256":null,"used_in_current_publications":true}],"usages":[{"id":"source-use-dce9ca1066ef3ae71493","entry_id":"hodge-conjecture:hodge-cycle-obstruction:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"question","title":"Hodge conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-edfd8bf307526b7edc6f","entry_id":"hodge-conjecture:hodge-divisor-classes:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"assessment","title":"Divisor classes · Lefschetz (1,1)","claim":{"id":"claim-hodge-divisor-classes","version":2,"slug":"hodge-divisor-classes","title":"Divisor classes · Lefschetz (1,1)"},"fragment":"claim-hodge-divisor-classes","assessment":{"id":"hodge-conjecture:hodge-divisor-classes:v1:report","entry_id":"hodge-conjecture:hodge-divisor-classes:v1","state":"resolved","source_label":"Divisor classes · Lefschetz (1,1)","scope":"Codimension one in any dimension; rational coefficients.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-03784aee95ecb322bedc","entry_id":"hodge-conjecture:hodge-divisor-classes:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"milestone","title":"The divisor-class criterion in the cited exposition","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-997a76cc8cd810fa3c08","entry_id":"hodge-conjecture:hodge-divisor-classes:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"question","title":"Hodge conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-1ca7898584935f141cab","entry_id":"hodge-conjecture:hodge-divisor-classes:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"statement","title":"Divisor classes · Lefschetz (1,1)","claim":{"id":"claim-hodge-divisor-classes","version":2,"slug":"hodge-divisor-classes","title":"Divisor classes · Lefschetz (1,1)"},"fragment":"claim-hodge-divisor-classes","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-1e65d2b6e43f3a3464fa","entry_id":"hodge-conjecture:hodge-divisor-history:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"milestone","title":"The divisor-class criterion in the cited exposition","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-873f164bc8359b2958e9","entry_id":"hodge-conjecture:hodge-divisor-history:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"question","title":"Hodge conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-0c70ff96f5f56a10a08c","entry_id":"hodge-conjecture:hodge-kahler-boundary:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"assessment","title":"Counterexamples to the unrestricted compact Kähler extension","claim":{"id":"claim-hodge-kahler-extension","version":3,"slug":"hodge-kahler-extension","title":"The unrestricted compact Kähler extension is false"},"fragment":"claim-hodge-kahler-extension","assessment":{"id":"hodge-conjecture:hodge-kahler-extension:report:v1:counterexample-existence-v2","entry_id":"hodge-conjecture:hodge-kahler-boundary:v1","state":"resolved","source_label":"Counterexamples to the unrestricted compact Kähler extension","scope":"The stated failure of the unrestricted compact Kähler extension is established by counterexamples in the cited exposition. Dropping projectivity changes the domain; this does not refute rational Hodge for smooth projective varieties.","source_date":null,"observed_on":"2026-10-12","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","supersedes":"hodge-conjecture:hodge-kahler-extension:report:v1"},"superseded":false,"formalization":null,"update":null},{"id":"source-use-8d76b94474a64a16cb0d","entry_id":"hodge-conjecture:hodge-kahler-boundary:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"assessment","title":"Exact scoped statement in cited source","claim":{"id":"claim-hodge-kahler-extension","version":3,"slug":"hodge-kahler-extension","title":"The unrestricted compact Kähler extension is false"},"fragment":"claim-hodge-kahler-extension","assessment":{"id":"hodge-conjecture:hodge-kahler-extension:report:v1","entry_id":"hodge-conjecture:hodge-kahler-boundary:v1","state":"refuted","source_label":"Exact scoped statement in cited source","scope":"Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","supersedes":null},"superseded":true,"formalization":null,"update":null},{"id":"source-use-1ec461715bcd46f6776c","entry_id":"hodge-conjecture:hodge-kahler-boundary:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"connection","title":"Dropping projectivity changes the class of spaces and yields a false extension.","claim":null,"fragment":"connections","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-7c116f00682ef98db429","entry_id":"hodge-conjecture:hodge-kahler-boundary:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"question","title":"Hodge conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-0f2753ad028291937d90","entry_id":"hodge-conjecture:hodge-kahler-boundary:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"statement","title":"The unrestricted compact Kähler extension is false","claim":{"id":"claim-hodge-kahler-extension","version":3,"slug":"hodge-kahler-extension","title":"The unrestricted compact Kähler extension is false"},"fragment":"claim-hodge-kahler-extension","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-490208f48a11b39e227b","entry_id":"hodge-conjecture:hodge-lefschetz-consequence:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"assessment","title":"Exact scoped statement in cited source","claim":{"id":"claim-hodge-inverse-lefschetz-consequence","version":2,"slug":"hodge-inverse-lefschetz-consequence","title":"Hodge would algebraize inverse Lefschetz maps"},"fragment":"claim-hodge-inverse-lefschetz-consequence","assessment":{"id":"hodge-conjecture:hodge-inverse-lefschetz-consequence:report:v1","entry_id":"hodge-conjecture:hodge-lefschetz-consequence:v1","state":"resolved","source_label":"Exact scoped statement in cited source","scope":"Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-7ce2999c0cf7b9d13e96","entry_id":"hodge-conjecture:hodge-lefschetz-consequence:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"question","title":"Hodge conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-f5947a2e0478adc02a8c","entry_id":"hodge-conjecture:hodge-lefschetz-consequence:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"statement","title":"Hodge would algebraize inverse Lefschetz maps","claim":{"id":"claim-hodge-inverse-lefschetz-consequence","version":2,"slug":"hodge-inverse-lefschetz-consequence","title":"Hodge would algebraize inverse Lefschetz maps"},"fragment":"claim-hodge-inverse-lefschetz-consequence","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-84fe7e10632542e3d4c9","entry_id":"hodge-conjecture:hodge-origin-history:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"milestone","title":"Hodge’s ICM conjecture and its corrected scope","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-4998567a752f46ed43e3","entry_id":"hodge-conjecture:hodge-origin-history:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"question","title":"Hodge conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-d45f347f8ddbbf7576ca","entry_id":"hodge-conjecture:hodge-projector-consequence:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"assessment","title":"Exact scoped statement in cited source","claim":{"id":"claim-hodge-kunneth-consequence","version":2,"slug":"hodge-kunneth-consequence","title":"Hodge would make cohomological projectors algebraic"},"fragment":"claim-hodge-kunneth-consequence","assessment":{"id":"hodge-conjecture:hodge-kunneth-consequence:report:v1","entry_id":"hodge-conjecture:hodge-projector-consequence:v1","state":"resolved","source_label":"Exact scoped statement in cited source","scope":"Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-57b58eddcec2c0b53d89","entry_id":"hodge-conjecture:hodge-projector-consequence:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"connection","title":"Applying the global conjecture to X×X would algebraize its diagonal projectors.","claim":null,"fragment":"connections","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-bef70a2e1344011ff449","entry_id":"hodge-conjecture:hodge-projector-consequence:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"question","title":"Hodge conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-fa21650cd02aee3403d7","entry_id":"hodge-conjecture:hodge-projector-consequence:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"statement","title":"Hodge would make cohomological projectors algebraic","claim":{"id":"claim-hodge-kunneth-consequence","version":2,"slug":"hodge-kunneth-consequence","title":"Hodge would make cohomological projectors algebraic"},"fragment":"claim-hodge-kunneth-consequence","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-7bd60c2a426c23f8e95d","entry_id":"hodge-conjecture:hodge-rational-target:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"assessment","title":"Exact scoped statement in cited source","claim":{"id":"claim-hodge-rational-target","version":2,"slug":"hodge-rational-target","title":"rational Hodge holds in all codimensions"},"fragment":"claim-hodge-rational-target","assessment":{"id":"hodge-conjecture:hodge-rational-target:report:v1","entry_id":"hodge-conjecture:hodge-rational-target:v1","state":"reported_open","source_label":"Exact scoped statement in cited source","scope":"Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-6045644f9379dc325236","entry_id":"hodge-conjecture:hodge-rational-target:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"connection","title":"Integral coefficients ask for a stronger assertion and admit counterexamples, whereas the canonical question permits rational combinations.","claim":null,"fragment":"connections","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-68592f73d629be97f0f2","entry_id":"hodge-conjecture:hodge-rational-target:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"connection","title":"Applying the global conjecture to X×X would algebraize its diagonal projectors.","claim":null,"fragment":"connections","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-bfb8bb43c31adafa157e","entry_id":"hodge-conjecture:hodge-rational-target:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"connection","title":"Dropping projectivity changes the class of spaces and yields a false extension.","claim":null,"fragment":"connections","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-3a1f313f8035e6cf8b0e","entry_id":"hodge-conjecture:hodge-rational-target:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"definition","title":"Rational Hodge class","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-011c9d1f417ebe577e58","entry_id":"hodge-conjecture:hodge-rational-target:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"question","title":"Hodge conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-a9e47cc39eaf8040abde","entry_id":"hodge-conjecture:hodge-rational-target:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"reading","title":"Read the setting and notation before comparing the results.","claim":null,"fragment":"provenance","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-34ebcfc99239290a5d25","entry_id":"hodge-conjecture:hodge-rational-target:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"statement","title":"rational Hodge holds in all codimensions","claim":{"id":"claim-hodge-rational-target","version":2,"slug":"hodge-rational-target","title":"rational Hodge holds in all codimensions"},"fragment":"claim-hodge-rational-target","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-d9eccb39f4af9e16d2af","entry_id":"hodge-conjecture:integral-hodge-counterexamples:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"assessment","title":"Existence of counterexamples to integral Hodge","claim":{"id":"claim-integral-hodge-counterexamples","version":3,"slug":"integral-hodge-counterexamples","title":"Integral Hodge variant · counterexamples"},"fragment":"claim-integral-hodge-counterexamples","assessment":{"id":"hodge-conjecture:integral-hodge-counterexamples:v1:report:counterexample-existence-v2","entry_id":"hodge-conjecture:integral-hodge-counterexamples:v1","state":"resolved","source_label":"Existence of counterexamples to integral Hodge","scope":"The stated existential counterexample theorem is proved in the cited exposition. It refutes the positive integral variant, not rational Hodge.","source_date":null,"observed_on":"2026-10-12","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","supersedes":"hodge-conjecture:integral-hodge-counterexamples:v1:report"},"superseded":false,"formalization":null,"update":null},{"id":"source-use-f9a701459e3ee9cf87a4","entry_id":"hodge-conjecture:integral-hodge-counterexamples:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"assessment","title":"Integral Hodge variant · counterexamples","claim":{"id":"claim-integral-hodge-counterexamples","version":3,"slug":"integral-hodge-counterexamples","title":"Integral Hodge variant · counterexamples"},"fragment":"claim-integral-hodge-counterexamples","assessment":{"id":"hodge-conjecture:integral-hodge-counterexamples:v1:report","entry_id":"hodge-conjecture:integral-hodge-counterexamples:v1","state":"refuted","source_label":"Integral Hodge variant · counterexamples","scope":"Atiyah–Hirzebruch counterexamples to the integral variant; not a counterexample to rational Hodge.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","supersedes":null},"superseded":true,"formalization":null,"update":null},{"id":"source-use-a3076b1f6bd572f04c16","entry_id":"hodge-conjecture:integral-hodge-counterexamples:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"connection","title":"Integral coefficients ask for a stronger assertion and admit counterexamples, whereas the canonical question permits rational combinations.","claim":null,"fragment":"connections","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-ed1a3c921f0d1c8cefc0","entry_id":"hodge-conjecture:integral-hodge-counterexamples:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"milestone","title":"Integral Hodge counterexamples fix the coefficient boundary","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-ae7b7c77278d63a65c51","entry_id":"hodge-conjecture:integral-hodge-counterexamples:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"question","title":"Hodge conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-c1607a620874c7a05684","entry_id":"hodge-conjecture:integral-hodge-counterexamples:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"statement","title":"Integral Hodge variant · counterexamples","claim":{"id":"claim-integral-hodge-counterexamples","version":3,"slug":"integral-hodge-counterexamples","title":"Integral Hodge variant · counterexamples"},"fragment":"claim-integral-hodge-counterexamples","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}