{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:PDL5334WIN32WNBCCTQKWE2ZUT","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":"5a97e8d341ac6cbc71cdb34939c4213042eca08e624033af347ecd4eb0758a5f","cross_cats_sorted":["math.GN","math.GT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AT","submitted_at":"2024-01-16T23:40:39Z","title_canon_sha256":"1a159a79a1097a5753d822ceab42cb46e8fb936049dd9e98b577c50df83a2a26"},"schema_version":"1.0","source":{"id":"2401.08883","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.08883","created_at":"2026-05-27T14:06:35Z"},{"alias_kind":"arxiv_version","alias_value":"2401.08883v2","created_at":"2026-05-27T14:06:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.08883","created_at":"2026-05-27T14:06:35Z"},{"alias_kind":"pith_short_12","alias_value":"PDL5334WIN32","created_at":"2026-05-27T14:06:35Z"},{"alias_kind":"pith_short_16","alias_value":"PDL5334WIN32WNBC","created_at":"2026-05-27T14:06:35Z"},{"alias_kind":"pith_short_8","alias_value":"PDL5334W","created_at":"2026-05-27T14:06:35Z"}],"graph_snapshots":[{"event_id":"sha256:f348a91866ee6fcb3da9aea1e83e21504fcaeb5960790d0e5c1f08fa0d01452b","target":"graph","created_at":"2026-05-27T14:06:35Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"every map of manifolds with the unique path lifting property is a covering map"},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The equivalence relation of homotopies of paths rel. endpoints is generated by inserting and deleting one-dimensional backtracking (abstract)."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Quotients of R-trees under group actions with unique path lifting contain no discs, implying that maps of manifolds with unique path lifting are covering maps, via the result that path homotopies are generated by one-dimensional backtracking."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Every map of manifolds with the unique path lifting property is a covering map"}],"snapshot_sha256":"073cd68237cb85f7c61a2e0e70eaef1b2bbf58c70a75f1fe360de16c981cc4d4"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2401.08883/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A map $p:E\\to X$ has the \\emph{unique path lifting} property if every path in $X$, after a choice of an initial point, lifts uniquely to a path in $E$. We prove that if a group $G$ acts on an $\\mathbb R$-tree $T$ such that the quotient map $p: T\\to T/G$ has the unique path lifting property, then the quotient space $T/G$ does not contain a disc. As a consequence, we show that every map of manifolds with the unique path lifting property is a covering map. The proof requires a study of one-dimensional backtracking in paths. We show the surprising and counterintuitive result that the equivalence r","authors_text":"Curtis Kent, Gregory R. Conner, Jeremy Brazas, Paul Fabel","cross_cats":["math.GN","math.GT"],"headline":"Every map of manifolds with the unique path lifting property is a covering map","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AT","submitted_at":"2024-01-16T23:40:39Z","title":"On R-trees, homotopies, and covering maps"},"references":{"count":20,"internal_anchors":1,"resolved_work":20,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"R.C. Alperin, K.N. Moss, Complete trees for groups with a real-valued length function, J. London Math. Soc. 31 (1985) no. 2, 55-68","work_id":"4752abc0-afdc-4e88-8e25-35c484d97750","year":1985},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"R. D. Anderson, A continuous curve admitting monotone open maps onto all locally connected metric continua, BAMS 62 (1956) 264-265","work_id":"fb58a4c2-291a-41db-a223-5b68f17aed6c","year":1956},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"Berestovski i , C.P","work_id":"86ee993c-e7d1-4034-b89f-2ae072d622e6","year":2007},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"Berestovski i , C.P","work_id":"a9fb2081-c76c-4302-9bde-2fb295298540","year":2010},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"Bestvina, -trees in topology, geometry and group theory, Handbook of Geometric Topology, edited by R","work_id":"5aaa39c6-5309-4c6a-bcfa-25e2b3e10f6a","year":2002}],"snapshot_sha256":"e0280670e570ca430a1485f4d082e80c7c2639df4207402b0906fa524209deee"},"source":{"id":"2401.08883","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-24T04:35:31.617527Z","id":"4a54dfd8-980f-4e64-8035-80eae4e35662","model_set":{"reader":"grok-4.3"},"one_line_summary":"Quotients of R-trees under group actions with unique path lifting contain no discs, implying that maps of manifolds with unique path lifting are covering maps, via the result that path homotopies are generated by one-dimensional backtracking.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Every map of manifolds with the unique path lifting property is a covering map","strongest_claim":"every map of manifolds with the unique path lifting property is a covering map","weakest_assumption":"The equivalence relation of homotopies of paths rel. endpoints is generated by inserting and deleting one-dimensional backtracking (abstract)."}},"verdict_id":"4a54dfd8-980f-4e64-8035-80eae4e35662"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:432e0af13c224fd74c17b6a33ba00446a6cd069c1292d1359c54713ddce06392","target":"record","created_at":"2026-05-27T14:06:35Z","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":"5a97e8d341ac6cbc71cdb34939c4213042eca08e624033af347ecd4eb0758a5f","cross_cats_sorted":["math.GN","math.GT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AT","submitted_at":"2024-01-16T23:40:39Z","title_canon_sha256":"1a159a79a1097a5753d822ceab42cb46e8fb936049dd9e98b577c50df83a2a26"},"schema_version":"1.0","source":{"id":"2401.08883","kind":"arxiv","version":2}},"canonical_sha256":"78d7ddef964377ab342214e0ab1359a4d306f586b0257ad953fcf233058b3972","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"78d7ddef964377ab342214e0ab1359a4d306f586b0257ad953fcf233058b3972","first_computed_at":"2026-05-27T14:06:35.317904Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-27T14:06:35.317904Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ryjM39t/uSCOPosjygR5S0xGVRAPGK5dLunz9V6OygXVbfw7ktbknA/tNABh3fPJ6MEklOHao5P3aplsRH60CA==","signature_status":"signed_v1","signed_at":"2026-05-27T14:06:35.319017Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.08883","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:432e0af13c224fd74c17b6a33ba00446a6cd069c1292d1359c54713ddce06392","sha256:f348a91866ee6fcb3da9aea1e83e21504fcaeb5960790d0e5c1f08fa0d01452b"],"state_sha256":"31cf4996d451a45a7de7ba6a8e120860203f05b228c8d9e5a7133fe90ab19787"}