{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:VOMWDCJ6ZWCACDUTFJBN3DLMJE","short_pith_number":"pith:VOMWDCJ6","canonical_record":{"source":{"id":"1402.4048","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.QA","submitted_at":"2014-02-17T16:24:18Z","cross_cats_sorted":[],"title_canon_sha256":"533f471f4fa428fba6d58573112c7c93265aad248cc69b5642bf5a920c7b5fe1","abstract_canon_sha256":"7698c8cc2b486045e0c18015d3a311ab15cc4f3cc65140ed82789457f5bc6065"},"schema_version":"1.0"},"canonical_sha256":"ab9961893ecd84010e932a42dd8d6c490cfa7fcce54eb3e88b4b0b10f53e13ea","source":{"kind":"arxiv","id":"1402.4048","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.4048","created_at":"2026-05-18T00:50:23Z"},{"alias_kind":"arxiv_version","alias_value":"1402.4048v1","created_at":"2026-05-18T00:50:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.4048","created_at":"2026-05-18T00:50:23Z"},{"alias_kind":"pith_short_12","alias_value":"VOMWDCJ6ZWCA","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"VOMWDCJ6ZWCACDUT","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"VOMWDCJ6","created_at":"2026-05-18T12:28:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:VOMWDCJ6ZWCACDUTFJBN3DLMJE","target":"record","payload":{"canonical_record":{"source":{"id":"1402.4048","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.QA","submitted_at":"2014-02-17T16:24:18Z","cross_cats_sorted":[],"title_canon_sha256":"533f471f4fa428fba6d58573112c7c93265aad248cc69b5642bf5a920c7b5fe1","abstract_canon_sha256":"7698c8cc2b486045e0c18015d3a311ab15cc4f3cc65140ed82789457f5bc6065"},"schema_version":"1.0"},"canonical_sha256":"ab9961893ecd84010e932a42dd8d6c490cfa7fcce54eb3e88b4b0b10f53e13ea","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:50:23.585780Z","signature_b64":"0pbqABH2U3rITAC6Np/nJ2iK/Bm2CXawl/icF6wu6wcn8s0h0646MeXwZOlo6/haGCf4OggAq/H5EcCf75MKCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ab9961893ecd84010e932a42dd8d6c490cfa7fcce54eb3e88b4b0b10f53e13ea","last_reissued_at":"2026-05-18T00:50:23.585025Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:50:23.585025Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1402.4048","source_version":1,"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-18T00:50:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B8tNqUTcpEJWCGmROKbRs77Z2x3H7qSzAaN6PimqoC36OX8aC2bAMGSmxqIKbnKnlZOjz6co7uCAXvyxIMemCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T05:03:46.913753Z"},"content_sha256":"c877f723bd6a2e37398ed5af91830637e7f9fb40de57ac4f1ef12bad502a60d0","schema_version":"1.0","event_id":"sha256:c877f723bd6a2e37398ed5af91830637e7f9fb40de57ac4f1ef12bad502a60d0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:VOMWDCJ6ZWCACDUTFJBN3DLMJE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Frobenius properad is Koszul","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.QA","authors_text":"Ricardo Campos, Sergei Merkulov, Thomas Willwacher","submitted_at":"2014-02-17T16:24:18Z","abstract_excerpt":"We show Koszulness of the prop governing involutive Lie bialgebras and also of the props governing non-unital and unital-counital Frobenius algebras, solving a long-standing problem. This gives us minimal models for their deformation complexes, and for deformation complexes of their algebras which are discussed in detail. Using an operad of graph complexes we prove, with the help of an earlier result of one of the authors, that there is a highly non-trivial action of the Grothendieck-Teichm\\\"uller group $GRT_1$ on (completed versions of) the minimal models of the properads governing Lie bialge"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.4048","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"},"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-18T00:50:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q46j82lzYz7cASKMKrZQGW62Lq3+4JUKDO8vp0YE809tKN8CLfrc6Y1cLybmoB0gh4OlyfVlLBoA++VxxPbnCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T05:03:46.914477Z"},"content_sha256":"a34d2725c0835741e7020889800470d9f7974961cc625bec9535dcf9d088b266","schema_version":"1.0","event_id":"sha256:a34d2725c0835741e7020889800470d9f7974961cc625bec9535dcf9d088b266"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VOMWDCJ6ZWCACDUTFJBN3DLMJE/bundle.json","state_url":"https://pith.science/pith/VOMWDCJ6ZWCACDUTFJBN3DLMJE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VOMWDCJ6ZWCACDUTFJBN3DLMJE/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-06-04T05:03:46Z","links":{"resolver":"https://pith.science/pith/VOMWDCJ6ZWCACDUTFJBN3DLMJE","bundle":"https://pith.science/pith/VOMWDCJ6ZWCACDUTFJBN3DLMJE/bundle.json","state":"https://pith.science/pith/VOMWDCJ6ZWCACDUTFJBN3DLMJE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VOMWDCJ6ZWCACDUTFJBN3DLMJE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:VOMWDCJ6ZWCACDUTFJBN3DLMJE","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":"7698c8cc2b486045e0c18015d3a311ab15cc4f3cc65140ed82789457f5bc6065","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.QA","submitted_at":"2014-02-17T16:24:18Z","title_canon_sha256":"533f471f4fa428fba6d58573112c7c93265aad248cc69b5642bf5a920c7b5fe1"},"schema_version":"1.0","source":{"id":"1402.4048","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.4048","created_at":"2026-05-18T00:50:23Z"},{"alias_kind":"arxiv_version","alias_value":"1402.4048v1","created_at":"2026-05-18T00:50:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.4048","created_at":"2026-05-18T00:50:23Z"},{"alias_kind":"pith_short_12","alias_value":"VOMWDCJ6ZWCA","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"VOMWDCJ6ZWCACDUT","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"VOMWDCJ6","created_at":"2026-05-18T12:28:54Z"}],"graph_snapshots":[{"event_id":"sha256:a34d2725c0835741e7020889800470d9f7974961cc625bec9535dcf9d088b266","target":"graph","created_at":"2026-05-18T00:50:23Z","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":"We show Koszulness of the prop governing involutive Lie bialgebras and also of the props governing non-unital and unital-counital Frobenius algebras, solving a long-standing problem. This gives us minimal models for their deformation complexes, and for deformation complexes of their algebras which are discussed in detail. Using an operad of graph complexes we prove, with the help of an earlier result of one of the authors, that there is a highly non-trivial action of the Grothendieck-Teichm\\\"uller group $GRT_1$ on (completed versions of) the minimal models of the properads governing Lie bialge","authors_text":"Ricardo Campos, Sergei Merkulov, Thomas Willwacher","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.QA","submitted_at":"2014-02-17T16:24:18Z","title":"The Frobenius properad is Koszul"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.4048","kind":"arxiv","version":1},"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:c877f723bd6a2e37398ed5af91830637e7f9fb40de57ac4f1ef12bad502a60d0","target":"record","created_at":"2026-05-18T00:50:23Z","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":"7698c8cc2b486045e0c18015d3a311ab15cc4f3cc65140ed82789457f5bc6065","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.QA","submitted_at":"2014-02-17T16:24:18Z","title_canon_sha256":"533f471f4fa428fba6d58573112c7c93265aad248cc69b5642bf5a920c7b5fe1"},"schema_version":"1.0","source":{"id":"1402.4048","kind":"arxiv","version":1}},"canonical_sha256":"ab9961893ecd84010e932a42dd8d6c490cfa7fcce54eb3e88b4b0b10f53e13ea","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ab9961893ecd84010e932a42dd8d6c490cfa7fcce54eb3e88b4b0b10f53e13ea","first_computed_at":"2026-05-18T00:50:23.585025Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:50:23.585025Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0pbqABH2U3rITAC6Np/nJ2iK/Bm2CXawl/icF6wu6wcn8s0h0646MeXwZOlo6/haGCf4OggAq/H5EcCf75MKCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:50:23.585780Z","signed_message":"canonical_sha256_bytes"},"source_id":"1402.4048","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c877f723bd6a2e37398ed5af91830637e7f9fb40de57ac4f1ef12bad502a60d0","sha256:a34d2725c0835741e7020889800470d9f7974961cc625bec9535dcf9d088b266"],"state_sha256":"48be8e1d784fcf8b1d34219e32d7b327e55ba6b3961f972fb7801baafd3b965a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZUuIow9YRA7bzFMv/32+vKJRR0icsERWt05GEM/mHYJkOZWrl2pS9fmvKmp5kHFdBRDeCCnASN1JlxhqQ/LLBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T05:03:46.918419Z","bundle_sha256":"b243000c6f383d82e622ad80a2df3538950b4fd83e7f897192dbb8dbab209301"}}