{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:HCXDTBE4QWMPN54VCKZZHIL2J2","short_pith_number":"pith:HCXDTBE4","canonical_record":{"source":{"id":"1506.00437","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-06-01T10:56:39Z","cross_cats_sorted":[],"title_canon_sha256":"245ca205f2c029bc1128c43d2143110b072950f383c221c6dd64e1de1c439c2d","abstract_canon_sha256":"450f207dd4da92802d8a095a4afc6d33ccd5c2c8bff932471e35d042434a5038"},"schema_version":"1.0"},"canonical_sha256":"38ae39849c8598f6f79512b393a17a4e8fd4ec8035683315db6c84ea1a996c17","source":{"kind":"arxiv","id":"1506.00437","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.00437","created_at":"2026-05-18T00:18:04Z"},{"alias_kind":"arxiv_version","alias_value":"1506.00437v4","created_at":"2026-05-18T00:18:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.00437","created_at":"2026-05-18T00:18:04Z"},{"alias_kind":"pith_short_12","alias_value":"HCXDTBE4QWMP","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_16","alias_value":"HCXDTBE4QWMPN54V","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_8","alias_value":"HCXDTBE4","created_at":"2026-05-18T12:29:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:HCXDTBE4QWMPN54VCKZZHIL2J2","target":"record","payload":{"canonical_record":{"source":{"id":"1506.00437","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-06-01T10:56:39Z","cross_cats_sorted":[],"title_canon_sha256":"245ca205f2c029bc1128c43d2143110b072950f383c221c6dd64e1de1c439c2d","abstract_canon_sha256":"450f207dd4da92802d8a095a4afc6d33ccd5c2c8bff932471e35d042434a5038"},"schema_version":"1.0"},"canonical_sha256":"38ae39849c8598f6f79512b393a17a4e8fd4ec8035683315db6c84ea1a996c17","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:18:04.439444Z","signature_b64":"7cMA6kmdmATkVsa4iG0xt62ee9Ay5amQQ+m8Gkl0HwoCvi7H3OB4g5rcjyrUJ4VUelOBZcwI9v5ZR+RFnFuDCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"38ae39849c8598f6f79512b393a17a4e8fd4ec8035683315db6c84ea1a996c17","last_reissued_at":"2026-05-18T00:18:04.439055Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:18:04.439055Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1506.00437","source_version":4,"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:18:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LIiGEtiEZKStDliTO26LftWfaG7szIpkYkB6k869J/lF7QePHtIserm4F70Tw33BP9X3DnavT56ryQ65Hzn0Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T10:25:24.890128Z"},"content_sha256":"6d742451991768473bb49ad2b9269043d7d4c5f3a51e08fb0ff23d5540a011f5","schema_version":"1.0","event_id":"sha256:6d742451991768473bb49ad2b9269043d7d4c5f3a51e08fb0ff23d5540a011f5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:HCXDTBE4QWMPN54VCKZZHIL2J2","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"K3 surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space IV: the structure of invariant","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AG","authors_text":"Ken-Ichi Yoshikawa, Shouhei Ma","submitted_at":"2015-06-01T10:56:39Z","abstract_excerpt":"A holomorphic torsion invariant of K3 surfaces with involution was introduced by the second-named author. In this paper, we completely determine its structure as an automorphic function on the moduli space of such K3 surfaces. On every component of the moduli space, it is expressed as the product of an explicit Borcherds lift and a classical Siegel modular form. We also introduce its twisted version. We prove its modularity and a certain uniqueness of the modular form corresponding to the twisted holomorphic torsion invariant. This is used to study an equivariant analogue of Borcherds' conject"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.00437","kind":"arxiv","version":4},"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:18:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tNZbViIpaJGUpUGGZ61WeiZwEhoHxmrEb4P/LFmwh/S/cxuc1IE966shykJ8HNLLffrLruzrCjrSrnPa6hrwCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T10:25:24.890543Z"},"content_sha256":"bfba6dfb7d6cd77de0114b897e8ac24d4fad11e35330648daf2ed1d7a89f9cd2","schema_version":"1.0","event_id":"sha256:bfba6dfb7d6cd77de0114b897e8ac24d4fad11e35330648daf2ed1d7a89f9cd2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HCXDTBE4QWMPN54VCKZZHIL2J2/bundle.json","state_url":"https://pith.science/pith/HCXDTBE4QWMPN54VCKZZHIL2J2/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HCXDTBE4QWMPN54VCKZZHIL2J2/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-28T10:25:24Z","links":{"resolver":"https://pith.science/pith/HCXDTBE4QWMPN54VCKZZHIL2J2","bundle":"https://pith.science/pith/HCXDTBE4QWMPN54VCKZZHIL2J2/bundle.json","state":"https://pith.science/pith/HCXDTBE4QWMPN54VCKZZHIL2J2/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HCXDTBE4QWMPN54VCKZZHIL2J2/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:HCXDTBE4QWMPN54VCKZZHIL2J2","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":"450f207dd4da92802d8a095a4afc6d33ccd5c2c8bff932471e35d042434a5038","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-06-01T10:56:39Z","title_canon_sha256":"245ca205f2c029bc1128c43d2143110b072950f383c221c6dd64e1de1c439c2d"},"schema_version":"1.0","source":{"id":"1506.00437","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.00437","created_at":"2026-05-18T00:18:04Z"},{"alias_kind":"arxiv_version","alias_value":"1506.00437v4","created_at":"2026-05-18T00:18:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.00437","created_at":"2026-05-18T00:18:04Z"},{"alias_kind":"pith_short_12","alias_value":"HCXDTBE4QWMP","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_16","alias_value":"HCXDTBE4QWMPN54V","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_8","alias_value":"HCXDTBE4","created_at":"2026-05-18T12:29:22Z"}],"graph_snapshots":[{"event_id":"sha256:bfba6dfb7d6cd77de0114b897e8ac24d4fad11e35330648daf2ed1d7a89f9cd2","target":"graph","created_at":"2026-05-18T00:18:04Z","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":"A holomorphic torsion invariant of K3 surfaces with involution was introduced by the second-named author. In this paper, we completely determine its structure as an automorphic function on the moduli space of such K3 surfaces. On every component of the moduli space, it is expressed as the product of an explicit Borcherds lift and a classical Siegel modular form. We also introduce its twisted version. We prove its modularity and a certain uniqueness of the modular form corresponding to the twisted holomorphic torsion invariant. This is used to study an equivariant analogue of Borcherds' conject","authors_text":"Ken-Ichi Yoshikawa, Shouhei Ma","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-06-01T10:56:39Z","title":"K3 surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space IV: the structure of invariant"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.00437","kind":"arxiv","version":4},"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:6d742451991768473bb49ad2b9269043d7d4c5f3a51e08fb0ff23d5540a011f5","target":"record","created_at":"2026-05-18T00:18:04Z","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":"450f207dd4da92802d8a095a4afc6d33ccd5c2c8bff932471e35d042434a5038","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2015-06-01T10:56:39Z","title_canon_sha256":"245ca205f2c029bc1128c43d2143110b072950f383c221c6dd64e1de1c439c2d"},"schema_version":"1.0","source":{"id":"1506.00437","kind":"arxiv","version":4}},"canonical_sha256":"38ae39849c8598f6f79512b393a17a4e8fd4ec8035683315db6c84ea1a996c17","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"38ae39849c8598f6f79512b393a17a4e8fd4ec8035683315db6c84ea1a996c17","first_computed_at":"2026-05-18T00:18:04.439055Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:18:04.439055Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7cMA6kmdmATkVsa4iG0xt62ee9Ay5amQQ+m8Gkl0HwoCvi7H3OB4g5rcjyrUJ4VUelOBZcwI9v5ZR+RFnFuDCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:18:04.439444Z","signed_message":"canonical_sha256_bytes"},"source_id":"1506.00437","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6d742451991768473bb49ad2b9269043d7d4c5f3a51e08fb0ff23d5540a011f5","sha256:bfba6dfb7d6cd77de0114b897e8ac24d4fad11e35330648daf2ed1d7a89f9cd2"],"state_sha256":"0548a12dcacf1c94902aa301e3f1f297f9dd109151c6b6787c7178a89058bb7e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FadiJHd3yVwdw7ox73CCKaiEmewcXBtEkvJ6XjsChAAn7eBeC1D/v6etNhZ2bGxdcqRkT/7KA7BFjii3kEUwDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T10:25:24.892364Z","bundle_sha256":"d6b920d1b5efcb5704ecd45a53e715ceea4389d5f4940afbb8ca6172a4244405"}}