{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:R2IPDORVAVBIXR54ZJ6MUD7SPQ","short_pith_number":"pith:R2IPDORV","schema_version":"1.0","canonical_sha256":"8e90f1ba3505428bc7bcca7cca0ff27c009d7fe84b01773305578374ecd6adac","source":{"kind":"arxiv","id":"1704.00233","version":1},"attestation_state":"computed","paper":{"title":"Neeman's characterization of K(R-Proj) via Bousfield localization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.RA"],"primary_cat":"math.RT","authors_text":"Ivo Herzog, Xianhui Fu","submitted_at":"2017-04-01T21:56:27Z","abstract_excerpt":"Let $R$ be an associative ring with unit and denote by $K({\\rm R \\mbox{-}Proj})$ the homotopy category of complexes of projective left $R$-modules. Neeman proved the theorem that $K({\\rm R \\mbox{-}Proj})$ is $\\aleph_1$-compactly generated, with the category $K^+ ({\\rm R \\mbox{-}proj})$ of left bounded complexes of finitely generated projective $R$-modules providing an essentially small class of such generators. Another proof of Neeman's theorem is explained, using recent ideas of Christensen and Holm, and Emmanouil. The strategy of the proof is to show that every complex in $K({\\rm R \\mbox{-}P"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1704.00233","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RT","submitted_at":"2017-04-01T21:56:27Z","cross_cats_sorted":["math.RA"],"title_canon_sha256":"088b6932d14287d1d9e9e4875f3d7774548219a40b19ba93a3a6499df8a5d79a","abstract_canon_sha256":"7efd402c0ca8af06f73209d54f37a1d691a677b0bff96f80a565f8eba198a04b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:47:25.045754Z","signature_b64":"7yo0esPpmDg+Qbeacqerkxkrwyx5nXuhH860OYdT0CC4Q7xBUauCZwRK4FcH8EQ73IAEsHDNrXA4VzGkU6AECA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8e90f1ba3505428bc7bcca7cca0ff27c009d7fe84b01773305578374ecd6adac","last_reissued_at":"2026-05-18T00:47:25.045079Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:47:25.045079Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Neeman's characterization of K(R-Proj) via Bousfield localization","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.RA"],"primary_cat":"math.RT","authors_text":"Ivo Herzog, Xianhui Fu","submitted_at":"2017-04-01T21:56:27Z","abstract_excerpt":"Let $R$ be an associative ring with unit and denote by $K({\\rm R \\mbox{-}Proj})$ the homotopy category of complexes of projective left $R$-modules. Neeman proved the theorem that $K({\\rm R \\mbox{-}Proj})$ is $\\aleph_1$-compactly generated, with the category $K^+ ({\\rm R \\mbox{-}proj})$ of left bounded complexes of finitely generated projective $R$-modules providing an essentially small class of such generators. Another proof of Neeman's theorem is explained, using recent ideas of Christensen and Holm, and Emmanouil. The strategy of the proof is to show that every complex in $K({\\rm R \\mbox{-}P"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.00233","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1704.00233","created_at":"2026-05-18T00:47:25.045193+00:00"},{"alias_kind":"arxiv_version","alias_value":"1704.00233v1","created_at":"2026-05-18T00:47:25.045193+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.00233","created_at":"2026-05-18T00:47:25.045193+00:00"},{"alias_kind":"pith_short_12","alias_value":"R2IPDORVAVBI","created_at":"2026-05-18T12:31:39.905425+00:00"},{"alias_kind":"pith_short_16","alias_value":"R2IPDORVAVBIXR54","created_at":"2026-05-18T12:31:39.905425+00:00"},{"alias_kind":"pith_short_8","alias_value":"R2IPDORV","created_at":"2026-05-18T12:31:39.905425+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/R2IPDORVAVBIXR54ZJ6MUD7SPQ","json":"https://pith.science/pith/R2IPDORVAVBIXR54ZJ6MUD7SPQ.json","graph_json":"https://pith.science/api/pith-number/R2IPDORVAVBIXR54ZJ6MUD7SPQ/graph.json","events_json":"https://pith.science/api/pith-number/R2IPDORVAVBIXR54ZJ6MUD7SPQ/events.json","paper":"https://pith.science/paper/R2IPDORV"},"agent_actions":{"view_html":"https://pith.science/pith/R2IPDORVAVBIXR54ZJ6MUD7SPQ","download_json":"https://pith.science/pith/R2IPDORVAVBIXR54ZJ6MUD7SPQ.json","view_paper":"https://pith.science/paper/R2IPDORV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1704.00233&json=true","fetch_graph":"https://pith.science/api/pith-number/R2IPDORVAVBIXR54ZJ6MUD7SPQ/graph.json","fetch_events":"https://pith.science/api/pith-number/R2IPDORVAVBIXR54ZJ6MUD7SPQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/R2IPDORVAVBIXR54ZJ6MUD7SPQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/R2IPDORVAVBIXR54ZJ6MUD7SPQ/action/storage_attestation","attest_author":"https://pith.science/pith/R2IPDORVAVBIXR54ZJ6MUD7SPQ/action/author_attestation","sign_citation":"https://pith.science/pith/R2IPDORVAVBIXR54ZJ6MUD7SPQ/action/citation_signature","submit_replication":"https://pith.science/pith/R2IPDORVAVBIXR54ZJ6MUD7SPQ/action/replication_record"}},"created_at":"2026-05-18T00:47:25.045193+00:00","updated_at":"2026-05-18T00:47:25.045193+00:00"}