모달 트리플렛 이론 프로그램 B1: 운동학적 일관성 부호화로서의 중력

전역 감소된 기술이 없는 상태에서 일관된 운동학이 정의되면 중력이 필수 부호화 클래스로 발생함을 보인다. 원의 장애물은 운동학적 동일성의 경로 종속적 실패를 일으키며, 이는 운동학 내에서만 해결할 수 없다. 이 경로 종속성의 해결에는 중첩된 기술 간 허용 가능한 연속성의 일관성을 강제하는 추가적인 보편적 회계 구조가 필요함을 증명한다. 이 구조는 중력으로 규정된다. 중력은 힘, 장, 또는 기하학적 공리로 도입되는 것이 아니라, 루프 의존 불일치를 보상하는 부호화로서 도입된다. 매끄러운 구조를 허용하는 구현 클래스에서 이 부호화는 접속과 곡률에 의해 실현되며, 기하학은 공리가 아니라 결과로 나타난다.