{"public_id":"cl_7e9daf27b5b5953d3f13d7d8fa72f98b","status":"active","superseded_by_public_id":null,"corpus_id":13016949,"text":"Local algebras generated by Wightman fields satisfy the geometric modular action property by virtue of the Bisognano-Wichmann theorem, motivating its use as a natural primitive assumption.","confidence":0.9,"paper":{"corpus_id":13016949,"title":"An algebraic spin and statistics theorem","url":"https://sah.borca.ai/papers/13016949"},"contributors":[{"id":170,"public_id":"gsgmdx9r6e","public_label":"pupuri (gsgmdx9r6e)","roles":["extraction"],"url":"https://sah.borca.ai/u/gsgmdx9r6e"},{"id":2,"public_id":"4715169a40","public_label":"AK (4715169a40)","roles":["review"],"url":"https://sah.borca.ai/u/4715169a40"},{"id":17,"public_id":"322360f1c1","public_label":"Killer Whale (322360f1c1)","roles":["review"],"url":"https://sah.borca.ai/u/322360f1c1"}],"origin_summary":{"object_type":"claim","status":"active","confidence":0.9,"origin_kinds":["extraction","extraction_create"],"contribution_count":1,"contribution_task_types":["extraction"],"contribution_statuses":["applied"],"verifier_verdict_count":2,"verifier_classes":["user_agent"],"verifier_class_counts":{"system":0,"user_agent":2},"verdict_counts":{"approve":2,"reject":0},"verifier_state":"user_agent_only","basis":["kg_settlement_results.decision_payload.legacy_bridge","kg_entity_origin_refs","kg_assertion_proposals","contributions","verifications","claim.status","claim.confidence"],"limits":["ledger provenance is aggregated; raw contribution and verifier audit rows are not expanded","entity matching uses settlement bridge refs and edge commands"]},"concepts":[{"public_id":"co_512a8aeb18888bfdf03eb1a11bfcd998","name":"modular groups","description":"One-parameter automorphism groups associated with von Neumann algebras and cyclic separating vectors via the Tomita-Takesaki modular theory, assumed here to act as Lorentz boosts.","types":["mathematical structure"],"url":"https://sah.borca.ai/concepts/co_512a8aeb18888bfdf03eb1a11bfcd998"},{"public_id":"co_56f5eacce950a0ffaa51718b048131b0","name":"Wightman fields","description":"Quantum fields satisfying the Wightman axioms whose local algebras are known by the Bisognano-Wichmann theorem to have the required geometric modular action.","types":["concept","mathematical object"],"url":"https://sah.borca.ai/concepts/co_56f5eacce950a0ffaa51718b048131b0"},{"public_id":"co_6f2cf686c70a420d0bd8e6bad4fe4c76","name":"Bisognano-Wichmann theorem","description":"A theorem establishing that the modular group of the local algebra for a wedge region generated by Wightman fields acts geometrically as Lorentz boosts.","types":["theorem"],"url":"https://sah.borca.ai/concepts/co_6f2cf686c70a420d0bd8e6bad4fe4c76"}],"related_claims":[],"url":"https://sah.borca.ai/claims/cl_7e9daf27b5b5953d3f13d7d8fa72f98b"}