{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:OLSDHMLTKFI4AWA6QP5OWUQFJO","short_pith_number":"pith:OLSDHMLT","canonical_record":{"source":{"id":"1708.04271","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2017-08-14T18:47:00Z","cross_cats_sorted":[],"title_canon_sha256":"1e6ee507f3ec40a06c23618e7a3e3c35ca622c85dcec11efd3c25eb08031a3a5","abstract_canon_sha256":"3c99fdeaf65b7d2f887247e77edf69193bd53f7e362c67423552bc19d681ee76"},"schema_version":"1.0"},"canonical_sha256":"72e433b1735151c0581e83faeb52054bbac5c9c41c018d029aa5bae7c04e41a0","source":{"kind":"arxiv","id":"1708.04271","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.04271","created_at":"2026-05-18T00:37:59Z"},{"alias_kind":"arxiv_version","alias_value":"1708.04271v1","created_at":"2026-05-18T00:37:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.04271","created_at":"2026-05-18T00:37:59Z"},{"alias_kind":"pith_short_12","alias_value":"OLSDHMLTKFI4","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_16","alias_value":"OLSDHMLTKFI4AWA6","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_8","alias_value":"OLSDHMLT","created_at":"2026-05-18T12:31:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:OLSDHMLTKFI4AWA6QP5OWUQFJO","target":"record","payload":{"canonical_record":{"source":{"id":"1708.04271","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2017-08-14T18:47:00Z","cross_cats_sorted":[],"title_canon_sha256":"1e6ee507f3ec40a06c23618e7a3e3c35ca622c85dcec11efd3c25eb08031a3a5","abstract_canon_sha256":"3c99fdeaf65b7d2f887247e77edf69193bd53f7e362c67423552bc19d681ee76"},"schema_version":"1.0"},"canonical_sha256":"72e433b1735151c0581e83faeb52054bbac5c9c41c018d029aa5bae7c04e41a0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:37:59.825164Z","signature_b64":"yJ9aITjGeIO/0HzJJhJvlNhpiVWibamFx4U+lYXzD8wbC9OwRbZCdO4cc/pPX80PAdDpGpsiiY36qkaq/thQAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"72e433b1735151c0581e83faeb52054bbac5c9c41c018d029aa5bae7c04e41a0","last_reissued_at":"2026-05-18T00:37:59.824568Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:37:59.824568Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1708.04271","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:37:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k3sItdQcyjH2Rau+DzwTZp8VQvN7acZkV/nAZoVDplYSw66D879PYf02LRABrWbryKtueCFPjhbe+i/H9NEcBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T07:08:15.753310Z"},"content_sha256":"bca0d016aaa75c11bc6f39eb0bfb4dcd631eb477b3bc04123a427253abe75a32","schema_version":"1.0","event_id":"sha256:bca0d016aaa75c11bc6f39eb0bfb4dcd631eb477b3bc04123a427253abe75a32"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:OLSDHMLTKFI4AWA6QP5OWUQFJO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The uniqueness of Weierstrass points with semigroup <a;b> and related subgroups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AG","authors_text":"Marc Coppens","submitted_at":"2017-08-14T18:47:00Z","abstract_excerpt":"Assume $a$ and $b=na+r$ with $n \\geq 1$ and $0<r<a$ are relatively prime integers. In case $C$ is a smooth curve and $P$ is a point on $C$ with Weierstrass semigroup equal to $<a;b>$ then $C$ is called a $C_{a;b}$-curve. In case $r \\neq a-1$ and $b \\neq a+1$ we prove $C$ has no other point $Q \\neq P$ having Weierstrass semigroup equal to $<a;b>$. We say the Weierstrass semigroup $<a;b>$ occurs at most once. The curve $C_{a;b}$ has genus $(a-1)(b-1)/2$ and the result is generalized to genus $g<(a-1)(b-1)/2$. We obtain a lower bound on $g$ (sharp in many cases) such that all Weierstrass semigrou"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.04271","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:37:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MkPk/hbHsEHmbXqmEnEGSQvf+VxG3kBCnnAGuBzFf8BMcCe9JSe7MMjXg3Uj/C3Iq6fnU+QlAj38vrrDtWCZDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T07:08:15.753660Z"},"content_sha256":"1ca1d8b0268310b5b871fb2c349b90b8f1358b79889b30e70ecfbab773dd3090","schema_version":"1.0","event_id":"sha256:1ca1d8b0268310b5b871fb2c349b90b8f1358b79889b30e70ecfbab773dd3090"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OLSDHMLTKFI4AWA6QP5OWUQFJO/bundle.json","state_url":"https://pith.science/pith/OLSDHMLTKFI4AWA6QP5OWUQFJO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OLSDHMLTKFI4AWA6QP5OWUQFJO/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-23T07:08:15Z","links":{"resolver":"https://pith.science/pith/OLSDHMLTKFI4AWA6QP5OWUQFJO","bundle":"https://pith.science/pith/OLSDHMLTKFI4AWA6QP5OWUQFJO/bundle.json","state":"https://pith.science/pith/OLSDHMLTKFI4AWA6QP5OWUQFJO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OLSDHMLTKFI4AWA6QP5OWUQFJO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:OLSDHMLTKFI4AWA6QP5OWUQFJO","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":"3c99fdeaf65b7d2f887247e77edf69193bd53f7e362c67423552bc19d681ee76","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2017-08-14T18:47:00Z","title_canon_sha256":"1e6ee507f3ec40a06c23618e7a3e3c35ca622c85dcec11efd3c25eb08031a3a5"},"schema_version":"1.0","source":{"id":"1708.04271","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.04271","created_at":"2026-05-18T00:37:59Z"},{"alias_kind":"arxiv_version","alias_value":"1708.04271v1","created_at":"2026-05-18T00:37:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.04271","created_at":"2026-05-18T00:37:59Z"},{"alias_kind":"pith_short_12","alias_value":"OLSDHMLTKFI4","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_16","alias_value":"OLSDHMLTKFI4AWA6","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_8","alias_value":"OLSDHMLT","created_at":"2026-05-18T12:31:34Z"}],"graph_snapshots":[{"event_id":"sha256:1ca1d8b0268310b5b871fb2c349b90b8f1358b79889b30e70ecfbab773dd3090","target":"graph","created_at":"2026-05-18T00:37:59Z","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":"Assume $a$ and $b=na+r$ with $n \\geq 1$ and $0<r<a$ are relatively prime integers. In case $C$ is a smooth curve and $P$ is a point on $C$ with Weierstrass semigroup equal to $<a;b>$ then $C$ is called a $C_{a;b}$-curve. In case $r \\neq a-1$ and $b \\neq a+1$ we prove $C$ has no other point $Q \\neq P$ having Weierstrass semigroup equal to $<a;b>$. We say the Weierstrass semigroup $<a;b>$ occurs at most once. The curve $C_{a;b}$ has genus $(a-1)(b-1)/2$ and the result is generalized to genus $g<(a-1)(b-1)/2$. We obtain a lower bound on $g$ (sharp in many cases) such that all Weierstrass semigrou","authors_text":"Marc Coppens","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2017-08-14T18:47:00Z","title":"The uniqueness of Weierstrass points with semigroup <a;b> and related subgroups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.04271","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:bca0d016aaa75c11bc6f39eb0bfb4dcd631eb477b3bc04123a427253abe75a32","target":"record","created_at":"2026-05-18T00:37:59Z","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":"3c99fdeaf65b7d2f887247e77edf69193bd53f7e362c67423552bc19d681ee76","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2017-08-14T18:47:00Z","title_canon_sha256":"1e6ee507f3ec40a06c23618e7a3e3c35ca622c85dcec11efd3c25eb08031a3a5"},"schema_version":"1.0","source":{"id":"1708.04271","kind":"arxiv","version":1}},"canonical_sha256":"72e433b1735151c0581e83faeb52054bbac5c9c41c018d029aa5bae7c04e41a0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"72e433b1735151c0581e83faeb52054bbac5c9c41c018d029aa5bae7c04e41a0","first_computed_at":"2026-05-18T00:37:59.824568Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:37:59.824568Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yJ9aITjGeIO/0HzJJhJvlNhpiVWibamFx4U+lYXzD8wbC9OwRbZCdO4cc/pPX80PAdDpGpsiiY36qkaq/thQAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:37:59.825164Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.04271","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bca0d016aaa75c11bc6f39eb0bfb4dcd631eb477b3bc04123a427253abe75a32","sha256:1ca1d8b0268310b5b871fb2c349b90b8f1358b79889b30e70ecfbab773dd3090"],"state_sha256":"db295983692b1f349a1cce92bd8cd9efd43250fe9b1bcaa7fa834225fcfa2c30"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WcJyh/F4OpWB3qr6yIP63MFodWE6I1XeNHZAi8QIUfiei0YJFBn4u0TdjH1Lg/FFypVvkxhO03hGr3KngidzAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T07:08:15.755502Z","bundle_sha256":"1dbf823f0ef72fe5d9c60f2ab0eee37f4161669886b732d4f3ab0f36d8667a5c"}}