{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:VOMWDCJ6ZWCACDUTFJBN3DLMJE","short_pith_number":"pith:VOMWDCJ6","schema_version":"1.0","canonical_sha256":"ab9961893ecd84010e932a42dd8d6c490cfa7fcce54eb3e88b4b0b10f53e13ea","source":{"kind":"arxiv","id":"1402.4048","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1402.4048","created_at":"2026-05-18T00:50:23.585141+00:00"},{"alias_kind":"arxiv_version","alias_value":"1402.4048v1","created_at":"2026-05-18T00:50:23.585141+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.4048","created_at":"2026-05-18T00:50:23.585141+00:00"},{"alias_kind":"pith_short_12","alias_value":"VOMWDCJ6ZWCA","created_at":"2026-05-18T12:28:54.890064+00:00"},{"alias_kind":"pith_short_16","alias_value":"VOMWDCJ6ZWCACDUT","created_at":"2026-05-18T12:28:54.890064+00:00"},{"alias_kind":"pith_short_8","alias_value":"VOMWDCJ6","created_at":"2026-05-18T12:28:54.890064+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/VOMWDCJ6ZWCACDUTFJBN3DLMJE","json":"https://pith.science/pith/VOMWDCJ6ZWCACDUTFJBN3DLMJE.json","graph_json":"https://pith.science/api/pith-number/VOMWDCJ6ZWCACDUTFJBN3DLMJE/graph.json","events_json":"https://pith.science/api/pith-number/VOMWDCJ6ZWCACDUTFJBN3DLMJE/events.json","paper":"https://pith.science/paper/VOMWDCJ6"},"agent_actions":{"view_html":"https://pith.science/pith/VOMWDCJ6ZWCACDUTFJBN3DLMJE","download_json":"https://pith.science/pith/VOMWDCJ6ZWCACDUTFJBN3DLMJE.json","view_paper":"https://pith.science/paper/VOMWDCJ6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1402.4048&json=true","fetch_graph":"https://pith.science/api/pith-number/VOMWDCJ6ZWCACDUTFJBN3DLMJE/graph.json","fetch_events":"https://pith.science/api/pith-number/VOMWDCJ6ZWCACDUTFJBN3DLMJE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/VOMWDCJ6ZWCACDUTFJBN3DLMJE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/VOMWDCJ6ZWCACDUTFJBN3DLMJE/action/storage_attestation","attest_author":"https://pith.science/pith/VOMWDCJ6ZWCACDUTFJBN3DLMJE/action/author_attestation","sign_citation":"https://pith.science/pith/VOMWDCJ6ZWCACDUTFJBN3DLMJE/action/citation_signature","submit_replication":"https://pith.science/pith/VOMWDCJ6ZWCACDUTFJBN3DLMJE/action/replication_record"}},"created_at":"2026-05-18T00:50:23.585141+00:00","updated_at":"2026-05-18T00:50:23.585141+00:00"}