[논문 리뷰] Configuration Spaces in Fundamental Physics

Edward Anderson|arXiv (Cornell University)|2015. 03. 05.

Black Holes and Theoretical Physics참고 문헌 35인용 수 17

한 줄 요약

이 논문은 기본 물리학의 구성 공간—특히 N체 문제, gauge 이론, 일반 상대성 이론에서—이 매끄러운 다양체가 아니라 계층적 다양체로 모델링되어야 하며, 이는 전통적인 fibre bundle 대신 sheaf 이론적 방법이 필요하다고 주장한다. 이는 이러한 공간에서의 특이점을 다루는 데 있어 '수용'(accept) 전략을 채택할 것을 주장하며, 3체 삼각형 구성에서 sheaf 이론이 전역 일관성과 차단 이론을 자연스럽게 다룰 수 있음을 보여준다.

ABSTRACT

I consider configuration spaces for $N$-body problems, gauge theories and for GR in both geometrodynamical and Ashtekar variables forms, including minisuperspace and inhomogeneous perturbations thereabout in the former case. These examples include many interesting spaces of shapes (with and without whichever of local or global notions of scale). In considering reduced configuration spaces, stratified manifolds arise. Three strategies to deal with these are `excise', `unfold' and `accept'. I show that spaces of triangles arising from various interpretations of 3-body problems already serve as model arena for all three. I furthermore argue in favour of the `accept' strategy on relational grounds. This approach requires sheaf methods (which go beyond fibre bundles and general bundles, which I contrast with sheaves and presheaves in some appendices). Sheaf methods are also required for the stratifold construct that pairs some well-behaved stratified manifolds with sheaves. I apply arguing against `excise' and `unfold' to GR's superspace and thin sandwich, and to the removal of collinear configurations in mechanics. Non-redundant configurations are also useful in providing more accurate names for various spaces and theories.

연구 동기 및 목표

• 기본 물리학의 구성 공간을 대칭 감소에서 유래하는 계층적 다양체로 분석함으로써, 특히 N체 시스템과 일반 상대성 이론에서의 응용을 다루는 것.
• 감소된 구성 공간에서 특이점을 다루는 데 있어 '제거'(excise), '전개'(unfold), '수용'(accept)의 세 전략을 평가하고 비교하는 것.
• '수용' 전략이 관계론 물리학에 기반하여 열등한 것으로 간주되며, fibre bundle 방법 대신 sheaf 이론적 도구가 필수적임을 주장하는 것.
• 순수한 형태와 관계론적 구성 공간(예: 3체 문제에서의 삼각형)이 세 전략의 최소 모델로 기능하며, 이는 세 전략의 행동을 하나의 기하적 무대에서 시연할 수 있음을 보여주는 것.
• sheaf 코hom로지가 Čech 코호몰로지나 fibre bundle 구성보다도 더 일반적이고 계산적으로 안정된 프레임워크를 제공함으로써, 특이 구성 공간에서의 위상적 장애를 기술하는 데 더 포괄적이고 실용적인 방법임을 확립하는 것.

제안 방법

• Jacobi 및 Lagrange 좌표를 사용하여 N체 시스템을 상대적 구성 공간으로 감소시키며, 결과로 유도된 공간이 계층적 다양체임을 확인한다.
• 중심 질량 운동, 회전, 척도를 제거하기 위해 운동량(총 운동량, 각운동량, 확장 운동량)에 대한 제약 조건을 통한 관계론 감소를 적용한다.
• 특이점이 존재하더라도 전체 구성 공간의 구조를 유지하는 '수용' 전략을 선호하는 방법으로 도입한다.
• 특이 구성 공간의 개방 덮개 위에서 섹션의 전역 일관성을 모델링하기 위해 sheaf 이론—특히 localit 및 gluing 성질을 가진 sheaf 공리—를 활용한다.
• sheaf와 fibre bundle를 대조하여, sheaf가 이질적인 국소 데이터와 sheaf 코호몰로지를 통한 전역 장애를 다룰 수 있음을 강조한다.
• Kreck의 stratifold 이론을 사용하여 연속 함수와 계층적 다양체의 쌍을 이루는 이중적 구조를 제공하며, 이는 sheaf 기반의 형식주의의 필요성을 강화한다.

실험 결과

연구 질문

• RQ1 기본 물리학의 구성 공간—특히 N체 시스템, gauge 이론, 일반 상대성 이론에서—왜 매끄러운 다양체가 아니며, 대신 계층적 다양체가 되는가?
• RQ2 '제거', '전개', '수용' 전략의 상대적 장점과 단점은 감소된 구성 공간에서 특이점을 다룰 때 어떻게 나타나는가?
• RQ3 관계론 물리학 관점에서 '수용' 전략—특이 구조를 그대로 유지하는 것—이 왜 바람직한가?
• RQ4 특이 구성 공간을 기술할 때 sheaf 이론적 방법이 fibre bundle 방법을 어떻게 일반화하고 초월하는가?
• RQ5 sheaf 코호몰로지가 Čech 코호몰로지보다 특이 구성 공간에서 전역 섹션의 장애를 탐지하기 위해 더 포괄적이고 계산적으로 실용적인 프레임워크를 제공하는 방식은 무엇인가?

주요 결과

• N체 문제, gauge 이론, 일반 상대성 이론에서의 구성 공간은 대칭 감소와 특이점으로 인해 일반적으로 매끄러운 다양체가 아니라 계층적 다양체이다.
• 3체 문제의 형태 공간(삼각형)은 '제거', '전개', '수용' 전략의 최소 모델로 기능하며, 이는 동일한 기하적 무대에서 세 전략의 상이한 행동을 시연한다.
• 관계론적 관점에서 '수용' 전략이 선호된다: 물리적 내용을 유지하고 구성 공간의 구조를 인위적으로 제거하거나 확장하는 것을 방지한다.
• 특이 구성 공간에서 전역 일관성과 장애 이론을 다루는 데 sheaf 방법이 필수적이며 충분하다. 특히 fibre bundle 방법이 실패하는 경우에 더욱 중요하다.
• sheaf 코호몰로지가 Čech 코호몰로지를 일반화하며, 특이 공간에서 전역 섹션의 장애를 탐지하기 위한 강력하고 계산적으로 접근 가능한 프레임워크를 제공한다.
• stratifolds는 계층적 다양체와 연속 함수의 대수(전역 sheaf 섹션으로 해석됨)의 쌍으로서 정의되며, 물리적 구성 공간을 모델링하는 데 sheaf의 사용을 추가로 정당화한다.