{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2009:A4DWZJMCGJTM2VUZRVMY273BFU","short_pith_number":"pith:A4DWZJMC","canonical_record":{"source":{"id":"0907.2246","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.QA","submitted_at":"2009-07-13T20:02:51Z","cross_cats_sorted":["math-ph","math.AT","math.MP"],"title_canon_sha256":"a4eb6a6d81df017936f6704855812e99c4d23203a57a0ee9e414779e54c1defd","abstract_canon_sha256":"0258ba538c230dc581551a5dd26f08d9bd6023e58eb5e4d0efab4ae41160016c"},"schema_version":"1.0"},"canonical_sha256":"07076ca5823266cd56998d598d7f612d2b14729ba870f26ed03f00df580cc582","source":{"kind":"arxiv","id":"0907.2246","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0907.2246","created_at":"2026-05-18T04:25:28Z"},{"alias_kind":"arxiv_version","alias_value":"0907.2246v3","created_at":"2026-05-18T04:25:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0907.2246","created_at":"2026-05-18T04:25:28Z"},{"alias_kind":"pith_short_12","alias_value":"A4DWZJMCGJTM","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"A4DWZJMCGJTM2VUZ","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"A4DWZJMC","created_at":"2026-05-18T12:25:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2009:A4DWZJMCGJTM2VUZRVMY273BFU","target":"record","payload":{"canonical_record":{"source":{"id":"0907.2246","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.QA","submitted_at":"2009-07-13T20:02:51Z","cross_cats_sorted":["math-ph","math.AT","math.MP"],"title_canon_sha256":"a4eb6a6d81df017936f6704855812e99c4d23203a57a0ee9e414779e54c1defd","abstract_canon_sha256":"0258ba538c230dc581551a5dd26f08d9bd6023e58eb5e4d0efab4ae41160016c"},"schema_version":"1.0"},"canonical_sha256":"07076ca5823266cd56998d598d7f612d2b14729ba870f26ed03f00df580cc582","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:25:28.718493Z","signature_b64":"uJUOOUbu8jcQHhjcz4bNrEmlJQN17pHxL5JsYX1c3CPflPRcpITr0ybHRdUnKjE8tbu2txAKeK23cSxNfn9uAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"07076ca5823266cd56998d598d7f612d2b14729ba870f26ed03f00df580cc582","last_reissued_at":"2026-05-18T04:25:28.717917Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:25:28.717917Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0907.2246","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:25:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kTH6t3sU+JqvYmOFpfsqmQlQc43CSF2vND4DDHurmaJkzzwSwazDnugowtbP56n4HG2iIqy2WPAALnI3JAXyDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T06:37:58.629010Z"},"content_sha256":"8296dded539b14936cb83e3890f500f6353ae562b7d3f3ef2d508dd1cb4cf99e","schema_version":"1.0","event_id":"sha256:8296dded539b14936cb83e3890f500f6353ae562b7d3f3ef2d508dd1cb4cf99e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2009:A4DWZJMCGJTM2VUZRVMY273BFU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Homotopy Batalin-Vilkovisky algebras","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math-ph","math.AT","math.MP"],"primary_cat":"math.QA","authors_text":"Andy Tonks, Bruno Vallette, Imma Galvez-Carrillo","submitted_at":"2009-07-13T20:02:51Z","abstract_excerpt":"This paper provides an explicit cofibrant resolution of the operad encoding Batalin-Vilkovisky algebras. Thus it defines the notion of homotopy Batalin-Vilkovisky algebras with the required homotopy properties.\n  To define this resolution we extend the theory of Koszul duality to operads and properads that are defind by quadratic and linear relations. The operad encoding Batalin-Vilkovisky algebras is shown to be Koszul in this sense. This allows us to prove a Poincare-Birkhoff-Witt Theorem for such an operad and to give an explicit small quasi-free resolution for it.\n  This particular resolut"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0907.2246","kind":"arxiv","version":3},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:25:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"znpcrohlMjWGoz2NX85kUVD0QQDQdtukDkj/ydqI5uD4pA8e0V/QBJjQmKOxroReq1LtaHp9vU8/saVV5CMzAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T06:37:58.629720Z"},"content_sha256":"fd8042033f68f85fac3281a698cc43314f4bdc8bcbc0b3472f0cc7f73b1196d6","schema_version":"1.0","event_id":"sha256:fd8042033f68f85fac3281a698cc43314f4bdc8bcbc0b3472f0cc7f73b1196d6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/A4DWZJMCGJTM2VUZRVMY273BFU/bundle.json","state_url":"https://pith.science/pith/A4DWZJMCGJTM2VUZRVMY273BFU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/A4DWZJMCGJTM2VUZRVMY273BFU/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-25T06:37:58Z","links":{"resolver":"https://pith.science/pith/A4DWZJMCGJTM2VUZRVMY273BFU","bundle":"https://pith.science/pith/A4DWZJMCGJTM2VUZRVMY273BFU/bundle.json","state":"https://pith.science/pith/A4DWZJMCGJTM2VUZRVMY273BFU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/A4DWZJMCGJTM2VUZRVMY273BFU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2009:A4DWZJMCGJTM2VUZRVMY273BFU","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"0258ba538c230dc581551a5dd26f08d9bd6023e58eb5e4d0efab4ae41160016c","cross_cats_sorted":["math-ph","math.AT","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.QA","submitted_at":"2009-07-13T20:02:51Z","title_canon_sha256":"a4eb6a6d81df017936f6704855812e99c4d23203a57a0ee9e414779e54c1defd"},"schema_version":"1.0","source":{"id":"0907.2246","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0907.2246","created_at":"2026-05-18T04:25:28Z"},{"alias_kind":"arxiv_version","alias_value":"0907.2246v3","created_at":"2026-05-18T04:25:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0907.2246","created_at":"2026-05-18T04:25:28Z"},{"alias_kind":"pith_short_12","alias_value":"A4DWZJMCGJTM","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"A4DWZJMCGJTM2VUZ","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"A4DWZJMC","created_at":"2026-05-18T12:25:58Z"}],"graph_snapshots":[{"event_id":"sha256:fd8042033f68f85fac3281a698cc43314f4bdc8bcbc0b3472f0cc7f73b1196d6","target":"graph","created_at":"2026-05-18T04:25:28Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"This paper provides an explicit cofibrant resolution of the operad encoding Batalin-Vilkovisky algebras. Thus it defines the notion of homotopy Batalin-Vilkovisky algebras with the required homotopy properties.\n  To define this resolution we extend the theory of Koszul duality to operads and properads that are defind by quadratic and linear relations. The operad encoding Batalin-Vilkovisky algebras is shown to be Koszul in this sense. This allows us to prove a Poincare-Birkhoff-Witt Theorem for such an operad and to give an explicit small quasi-free resolution for it.\n  This particular resolut","authors_text":"Andy Tonks, Bruno Vallette, Imma Galvez-Carrillo","cross_cats":["math-ph","math.AT","math.MP"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.QA","submitted_at":"2009-07-13T20:02:51Z","title":"Homotopy Batalin-Vilkovisky algebras"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0907.2246","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:8296dded539b14936cb83e3890f500f6353ae562b7d3f3ef2d508dd1cb4cf99e","target":"record","created_at":"2026-05-18T04:25:28Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"0258ba538c230dc581551a5dd26f08d9bd6023e58eb5e4d0efab4ae41160016c","cross_cats_sorted":["math-ph","math.AT","math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.QA","submitted_at":"2009-07-13T20:02:51Z","title_canon_sha256":"a4eb6a6d81df017936f6704855812e99c4d23203a57a0ee9e414779e54c1defd"},"schema_version":"1.0","source":{"id":"0907.2246","kind":"arxiv","version":3}},"canonical_sha256":"07076ca5823266cd56998d598d7f612d2b14729ba870f26ed03f00df580cc582","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"07076ca5823266cd56998d598d7f612d2b14729ba870f26ed03f00df580cc582","first_computed_at":"2026-05-18T04:25:28.717917Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:25:28.717917Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uJUOOUbu8jcQHhjcz4bNrEmlJQN17pHxL5JsYX1c3CPflPRcpITr0ybHRdUnKjE8tbu2txAKeK23cSxNfn9uAg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:25:28.718493Z","signed_message":"canonical_sha256_bytes"},"source_id":"0907.2246","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8296dded539b14936cb83e3890f500f6353ae562b7d3f3ef2d508dd1cb4cf99e","sha256:fd8042033f68f85fac3281a698cc43314f4bdc8bcbc0b3472f0cc7f73b1196d6"],"state_sha256":"5fd943e695cb5bb6939a38213fca570d3b0157688ffb95b0414dbb61d61eb2a2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p4GFYRR7cfDcoq0TUKqTJfWOEU53FjlhU4RD3jqGT4n7nTDXPnllJkeQcmZX1K4j0RRtJclL0b5D687TqO0VAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T06:37:58.633428Z","bundle_sha256":"6b6ccfe0e042ee23a2494a7732f311d12cce9112789d804d8f9bcaf9eaa3c676"}}