{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2010:7UY66QW45VDT26B2TS35OTJAVT","short_pith_number":"pith:7UY66QW4","schema_version":"1.0","canonical_sha256":"fd31ef42dced473d783a9cb7d74d20ace60cdf24b806d6a6e6f0e1dc83c99242","source":{"kind":"arxiv","id":"1009.5302","version":1},"attestation_state":"computed","paper":{"title":"Intersections of intrinsic submanifolds in the Heisenberg group","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AP","authors_text":"Gian Paolo Leonardi, Valentino Magnani","submitted_at":"2010-09-27T15:51:35Z","abstract_excerpt":"In the first Heisenberg group, we show that the intersection of two intrinsic submanifolds with linearly independent horizontal normals locally coincides with the image of an injective continuous curve. The key tool is a chain rule that relies on a recent result by Dafermos."},"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":"1009.5302","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AP","submitted_at":"2010-09-27T15:51:35Z","cross_cats_sorted":[],"title_canon_sha256":"4b5b3cb81c60aa36e43683480ce163ff6f06d3dd79bf8035cdd338d82c765da4","abstract_canon_sha256":"12aebaa8207a06c0504824509ab54e80723214948b835adeff5afb04d9f22ad0"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:40:18.866502Z","signature_b64":"SIerhMJsRKU5agIdkKmRRY9kvp7hdQsEGHximBDZU/YwjuKabllzQ+N+Bhjxyk9a/WaiKrtTDTB0Y/IztulvCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fd31ef42dced473d783a9cb7d74d20ace60cdf24b806d6a6e6f0e1dc83c99242","last_reissued_at":"2026-05-18T04:40:18.865802Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:40:18.865802Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Intersections of intrinsic submanifolds in the Heisenberg group","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AP","authors_text":"Gian Paolo Leonardi, Valentino Magnani","submitted_at":"2010-09-27T15:51:35Z","abstract_excerpt":"In the first Heisenberg group, we show that the intersection of two intrinsic submanifolds with linearly independent horizontal normals locally coincides with the image of an injective continuous curve. The key tool is a chain rule that relies on a recent result by Dafermos."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1009.5302","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":"1009.5302","created_at":"2026-05-18T04:40:18.865920+00:00"},{"alias_kind":"arxiv_version","alias_value":"1009.5302v1","created_at":"2026-05-18T04:40:18.865920+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1009.5302","created_at":"2026-05-18T04:40:18.865920+00:00"},{"alias_kind":"pith_short_12","alias_value":"7UY66QW45VDT","created_at":"2026-05-18T12:26:05.355336+00:00"},{"alias_kind":"pith_short_16","alias_value":"7UY66QW45VDT26B2","created_at":"2026-05-18T12:26:05.355336+00:00"},{"alias_kind":"pith_short_8","alias_value":"7UY66QW4","created_at":"2026-05-18T12:26:05.355336+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/7UY66QW45VDT26B2TS35OTJAVT","json":"https://pith.science/pith/7UY66QW45VDT26B2TS35OTJAVT.json","graph_json":"https://pith.science/api/pith-number/7UY66QW45VDT26B2TS35OTJAVT/graph.json","events_json":"https://pith.science/api/pith-number/7UY66QW45VDT26B2TS35OTJAVT/events.json","paper":"https://pith.science/paper/7UY66QW4"},"agent_actions":{"view_html":"https://pith.science/pith/7UY66QW45VDT26B2TS35OTJAVT","download_json":"https://pith.science/pith/7UY66QW45VDT26B2TS35OTJAVT.json","view_paper":"https://pith.science/paper/7UY66QW4","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1009.5302&json=true","fetch_graph":"https://pith.science/api/pith-number/7UY66QW45VDT26B2TS35OTJAVT/graph.json","fetch_events":"https://pith.science/api/pith-number/7UY66QW45VDT26B2TS35OTJAVT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7UY66QW45VDT26B2TS35OTJAVT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7UY66QW45VDT26B2TS35OTJAVT/action/storage_attestation","attest_author":"https://pith.science/pith/7UY66QW45VDT26B2TS35OTJAVT/action/author_attestation","sign_citation":"https://pith.science/pith/7UY66QW45VDT26B2TS35OTJAVT/action/citation_signature","submit_replication":"https://pith.science/pith/7UY66QW45VDT26B2TS35OTJAVT/action/replication_record"}},"created_at":"2026-05-18T04:40:18.865920+00:00","updated_at":"2026-05-18T04:40:18.865920+00:00"}