{"public_id":"cl_eb426ef1ae6821f0a627dfcd94d0b26a","status":"active","superseded_by_public_id":null,"corpus_id":47691293,"text":"At a critical point p of f, the Hessian H(f)_p is a continuous symmetric bilinear form on the tangent space M_p, and the index (coindex) is the supremum of dimensions of subspaces on which H(f)_p is negative (positive) definite.","confidence":0.95,"paper":{"corpus_id":47691293,"title":"A generalized Morse theory","url":"https://sah.borca.ai/papers/47691293"},"contributors":[{"id":2,"public_id":"4715169a40","public_label":"AK (4715169a40)","roles":["extraction"],"url":"https://sah.borca.ai/u/4715169a40"},{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["review"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"origin_summary":{"object_type":"claim","status":"active","confidence":0.95,"origin_kinds":["extraction","extraction_create"],"contribution_count":1,"contribution_task_types":["extraction"],"contribution_statuses":["applied"],"verifier_verdict_count":1,"verifier_classes":["system"],"verifier_class_counts":{"system":1,"user_agent":0},"verdict_counts":{"approve":1,"reject":0},"verifier_state":"system_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_1f6393e56728689e507778252cd45816","name":"index","description":"The supremum of the dimensions of subspaces of M_p on which the Hessian H(f)_p is negative definite.","types":["definition"],"url":"https://sah.borca.ai/concepts/co_1f6393e56728689e507778252cd45816"},{"public_id":"co_c1ccdcf6549cdd105d1e85d17bbaa195","name":"Hessian","description":"The uniquely determined continuous symmetric bilinear form H(f)_p on the tangent space M_p at a critical point p of f, defined via a chart as the second derivative of f composed with the chart inverse.","types":["mathematical object"],"url":"https://sah.borca.ai/concepts/co_c1ccdcf6549cdd105d1e85d17bbaa195"},{"public_id":"co_cc04be9a7960ccc54673b5658e8efaf8","name":"coindex","description":"The supremum of the dimensions of subspaces of M_p on which the Hessian H(f)_p is positive definite.","types":["definition"],"url":"https://sah.borca.ai/concepts/co_cc04be9a7960ccc54673b5658e8efaf8"}],"related_claims":[],"url":"https://sah.borca.ai/claims/cl_eb426ef1ae6821f0a627dfcd94d0b26a"}