[논문 리뷰] Fibered Manifolds, Natural Bundles, Structured Sets, G-Sets and all that: The Hole Story from Space Time to Elementary Particles

John Stachel, M. Iftime|ArXiv.org|2005. 05. 27.

Relativity and Gravitational Theory참고 문헌 40인용 수 14

한 줄 요약

이 논문은 일반 상대성 이론의 구멍 역설을 다루는 데서 출발하여, 섬유다발, 자연다발, 구조가 부여된 집합, G-공간 등으로 일반화한다. 여기서 미분형식 불변성은 시공간 점들이 물리적 장에 의존하지 않는 한 내재된 정체성(haecceity)을 갖지 못함을 보여준다. 주요 기여는, 점들이 장에 의해만 개별화될 경우, 미분형식에 의한 동치인 해들이 서로 구별되지 않음을 보여주며, 잊어버림 함자와 기하적 대상 장의 당김을 기반으로 한 범주론적이고 기하학적인 프레임워크를 통해 구멍 역설을 해결한다.

ABSTRACT

In this paper we review the hole argument for the space-time points and elementary particles and generalize the hole argument to include all geometric object fields and diffeomorphisms; and, by application of forgetful functors to abstract from differentiability and even continuity, the hole argument is applied to a much wider class of mathematical objects. We discuss the problem concerning the individuation of the objects in more general settings such that fibered manifolds, fibered sets and n-ary relations.

연구 동기 및 목표

• 시공간 점의 개별화를 내재된 정체성 대신 물리적 장에 의존하도록 재해석함으로써 일반 상대성 이론의 구멍 역설을 해결하는 것.
• 측도 장 이외의 모든 기하학적 대상 장(예: 텐서 장, 기저 장, 게이지 장)으로까지 구멍 역설을 확장하는 것.
• 범주론과 잊어버림 함자를 사용하여 더 추상적인 수학적 구조—섬유다발 집합, n항 관계, G-공간—으로 구멍 역설을 적용하는 것.
• 시공간 점에서 '질성(quiddity, 내재적 성질)'과 '개별성(haecceity, 개별성)'의 차이를 명확히 하여, 물리적으로 의미 있는 것은 오직 첫 번째이지만 두 번째는 아님을 보여주는 것.
• 점들이 장에 의해 개별화될 경우, 미분형식으로 관련된 해들이 물리적으로 동치임을 확립함으로써, 일반적으로 공변하는 이론에서 결정론을 유지하는 것.

제안 방법

• 기하학적 대상 장(측도, 접속, 기저 장 포함)을 표현하기 위해 섬유다발과 자연다발을 사용하여 구멍 역설을 형식화한다.
• 미분형식에 의한 변환을 정의하기 위해 당김 함자(D*F)를 적용하여, 기저와 점의 레이블링 변화에 관계없이 물리적 성분이 보존됨을 보장한다.
• 연속성과 미분 가능성 등을 추상화하기 위해 잊어버림 함자를 사용하여, 집합과 관계와 같은 이산적·비연속적 구조로까지 구멍 역설을 일반화한다.
• 모든 구조를 미분형식에 따라 끌고 가면 물리적으로 구별되지 않는 모델이 된다는 '비어 있는 동치' 개념을 도입한다. 즉, (M, F[p]) ≡ (M, D*F[p])이다.
• 양-밀스 이론과 G-공간에 이 프레임워크를 적용하여, 게이지 변환과 군 작용이 미분형식과 동일한 물리적 동치를 유지함을 보여준다.
• 초기 조건 및 경계 조건 문제의 관점에서 구멍 역설을 분석하여, 점들이 장에 의존하는 개별화가 없으면 유일한 해가 존재하지 않음을 증명한다.

실험 결과

연구 질문

• RQ1 일반 상대성 이론에서 측도 장을 넘어서 모든 기하학적 대상 장으로 구멍 역설을 일반화할 수 있는가?
• RQ2 시공간 점들이 독립적으로 개별화되지 않을 경우, 물리적으로 다른 해가 존재하는지 여부를 결정하는 데에 미분형식 불변성이 수행하는 역할은 무엇인가?
• RQ3 이산적 또는 비연속적인 수학적 구조—섬유다발 집합, n항 관계—로 구멍 역설을 어떻게 확장할 수 있는가?
• RQ4 점들이 장에 의해만 개별화될 경우, 미분형식으로 관련된 해들이 어떤 의미에서 물리적으로 동치인가?
• RQ5 잊어버림 함자는 어떻게 G-공간과 구조가 부여된 집합과 같은 추상적 수학적 대상으로까지 구멍 역설을 일반화하는 데 기여하는가?

주요 결과

• 장에 의존하는 개별화가 없을 경우, 경계에서 완전한 자료가 주어져도 일반적으로 공변하는 장 방정식에 대해 유일한 해가 존재하지 않음을 보여준다.
• 점들이 장의 존재에 의해만 개별화될 경우, 당김 구성 D*F는 기저와 점의 레이블링 변화에 관계없이 물리적 성분을 유지하므로, 미분형식으로 관련된 해들이 물리적으로 동치임을 보여준다.
• 비어 있는 동치 (M, F[p]) ≡ (M, D*F[p])는 보편적으로 성립하며, 이는 모든 구조를 미분형식에 따라 끌고 가도 물리적 변화가 없음을 의미한다.
• 시공간 점들은 haecceity를 갖지 않는다. 즉, 내재된 정체성이 없이, 오직 측도 또는 다른 물리적 장이 존재할 때에만 개별적 존재가 된다. 이는 구멍 역설을 해결한다.
• 이 프레임워크는 섬유다발 집합과 관계로까지 일반화되며, 점의 개별화가 내재된 정체성보다는 구조에 의존하는 모든 수학적 대상에 대해 구멍 역설이 적용됨을 보여준다.
• 대칭성이 없는 일반적인 시공간에서는 크레츠만-코마르 불변량이 장에 의존하는 좌표로 사용될 수 있으며, 절대적 정체성을 가정하지 않고도 점을 개별화할 수 있는 방법을 제공한다.