[논문 리뷰] Specific PDEs for Preserved Quantities in Geometry. I. Similarities and Subgroups

Edward Anderson|arXiv (Cornell University)|2018. 09. 06.

Advanced Topics in Algebra참고 문헌 24인용 수 13

한 줄 요약

이 논문은 구조 $\langle\mathfrak{M}, \sigma\rangle$를 가진 다양체에서 기하학적으로 보존되는 양 $Q$에 대해 구체적인 편미분방정식(PDEs)을 수립하며, 제약 조건이 있는 시스템에서 물리적 관측 가능량 $O$로의 다리를 놓는다. $Q$와 $O$가 리/포아송 괄호에 대해 닫힌 대수를 이룬다는 것을 증명하고, 다중 대칭에 기인한 과다정의된 PDE 시스템이 항상 적분 가능하다는 것을 보이며, 기하학의 기초에 대해 새로운 '제7개의 기둥'을 제안하고 배경에 종속되지 않은 이론에서 관측 가능량의 구체적 이론을 제공한다.

ABSTRACT

We provide specific PDEs for preserved quantities $Q$ in Geometry, as well as a bridge between this and specific PDEs for observables $O$ in Physics. We furthermore prove versions of four other theorems either side of this bridge: the below enumerated sentences. For the generic geometry - in the sense of it possessing no generalized Killing vectors, i.e.\ continuous geometrical automorphisms - the $P$ form a smooth space of free functions over said geometry. If a geometry possesses the corresponding type of Killing vectors, the $P$ must Lie-brackets commute with `sums-over-points of the automorphism generators', $S$. The observables counterpart of this is that in the presence of first-class constraints $F$, the $O$ must Poisson-brackets commute with these. Then 1) defining $Q$, $O$ requires closed subalgebras of $S$, $F$. 2) The $Q$, and the $O$, themselves form closed algebras. 3) The subalgebras of $Q$, $O$ form bounded lattices dual to those of $S$, $F$ respectively. Both $S$, $Q$ and $F$, $O$ commutations can moreover be reformulated as first-order linear PDEs, treated free-characteristically. The secondmost generic case has just one $S$ or $F$, and so just one PDE, which standardly reduces to an ODE system. The more highly nongeneric case of multiple $S$ or $F$, however, returns an over-determined PDE system. 4) We prove that nonetheless these are always integrable. This is significant by being mostly-opposite to how the more familiar generalized Killing equations themselves behave. We finally solve for the preserved quantities of similarity geometry and its subgroups; companion papers extend this program to affine, projective and conformal geometries.

연구 동기 및 목표

• 구조 $\langle\mathfrak{M}, \sigma\rangle$를 가진 다양체에서 일반화된 칠링 벡터가 존재하지 않을 경우, 보존되는 기하학적 양 $Q$에 대해 특정한 PDEs를 유도하는 것.
• 기하학적으로 보존되는 양 $Q$와 제1급 제약 조건이 있는 시스템에서 물리적 관측 가능량 $O$ 사이에 엄밀한 수학적이고 개념적인 다리를 구축하는 것.
• $Q$와 $O$가 리/포아송 괄호 연산에 대해 닫힌 대수를 이룬다는 것을 보이며, 그들의 부분대수들이 대칭 대수 $\mathcal{S}$와 $\mathcal{F}$에 대해 유계이면서 쌍대 격자 구조를 이룬다는 것을 보여주는 것.
• 다중 대칭에 기인한 과다정의된 PDE 시스템의 적분 가능성 증명을 통해 일반화된 칠링 방정식의 비적분 가능성과 대비되는 점을 밝혀내는 것.
• 기하학의 기초 프레임워크를 확장하여, 기존의 에르랭겐 프로그램과 제约束 폐쇄와 같은 기둥들과 함께, PDE를 통한 보존 방정식을 포함하는 '제7개의 기둥'을 도입하는 것.

제안 방법

• 특성 방법을 사용하여 보존되는 양 $Q$에 대해 일阶 선형 PDEs를 유도하며, 적분 가능성을 보장하기 위해 자유 특성으로 다루는 방식을 사용한다.
• 기하학적 자동형사 생성자 $\mathcal{S}$와 물리적 제1급 제약 조건 $\mathcal{F}$ 사이의 대응 관계를 수립하며, $Q$가 $\mathcal{S}$와 리 괄호로 교환되어야 하고, $O$가 $\mathcal{F}$와 포아송 괄호로 교환되어야 한다는 것을 보여준다.
• 대칭 대수 $\mathcal{S}$와 $\mathcal{F}$의 닫힌 부분대수 개념을 적용하여 일관된 $Q$와 $O$ 공간을 정의하고, 괄호 연산에 대한 대수적 닫힘을 보장한다.
• 다중 인덱스를 가진 일반화된 칠링 벡터 $\xi_A$와 그들의 구조 상수 $C^C_{AB}$의 구조를 사용하여 대칭 대수와 그가 $Q$에 작용하는 방식을 특성화한다.
• 유사성 기하학과 그 부분군에 대해 PDE 시스템을 해결하며, 비일반적인 경우에서의 $Q$에 대한 명시적 예를 제시한다.
• 필요한 경우 호환성 방정식과 체인 룰 순차적 방법을 사용하여, 동반 논문들을 통해 애핀, 사영, 등각 기하학으로 이 방법을 확장한다.

실험 결과

연구 질문

• RQ1 일반화된 칠링 벡터가 존재하지 않을 경우, 구조 $\langle\mathfrak{M}, \sigma\rangle$를 가진 다양체에서 보존되는 기하학적 양 $Q$에 대해 특정 PDEs를 어떻게 도출할 수 있는가?
• RQ2 제약 조건이 있는 해밀토니안 시스템에서 기하학적으로 보존되는 양 $Q$와 물리적 관측 가능량 $O$ 사이의 정확한 수학적이고 개념적인 다리는 무엇인가?
• RQ3 언제 $Q$와 $O$가 리/포아송 괄호 연산에 대해 닫힌 대수를 이룬다는가? 그리고 그들의 부분대수는 대칭 대수 $\mathcal{S}$와 $\mathcal{F}$와 어떻게 관련되어 있는가?
• RQ4 다중 대칭에 기인한 과다정의된 PDE 시스템이 그들의 명백한 복잡성에도 불구하고 항상 적분 가능한 이유는 무엇이며, 일반화된 칠링 방정식과의 대비는 어떠한가?
• RQ5 이 프레임워크는 표준 이동 생성자가 대체되는 특수 등각 또는 특수 사영 생성자가 있는 비표준 기하학으로 확장될 수 있는가?

주요 결과

• 일반적인 경우—일반화된 칠링 벡터가 존재하지 않을 경우—보존되는 양 $Q$는 다양체 위에서 자유 함수의 스무스 공간을 이룬다. 이는 최대한의 기하학적 자유도를 나타낸다.
• 일반화된 칠링 벡터가 존재할 경우, $Q$는 자동형사 생성자 $\mathcal{S}$의 점별 합과 리 괄호로 교환되어야 하며, 이는 연속 대칭에 대한 불변성을 보장한다.
• 물리적 시스템에서의 관측 가능량 $O$는 제1급 제약 조건 $\mathcal{F}$와 포아송 괄호로 교환되어야 하며, 이는 기하학적 보존 법칙과 물리적 보존 법칙 사이의 직접적인 이중성 관계를 수립한다.
• $Q$와 $O$는 각각의 괄호 연산에 대해 닫힌 대수를 이루며, 그들의 부분대수는 대칭 대수 $\mathcal{S}$와 $\mathcal{F}$에 대해 유계이면서 쌍대 격자 구조를 이룬다. 이는 깊이 있는 구조적 동형성을 드러낸다.
• 보존되는 양 $Q$와 $O$에 대한 PDE 시스템은 과다정의되어도 항상 적분 가능하다. 이는 일반화된 칠링 방정식의 비적분 가능성과 뚜렷한 대비를 이룬다.
• 이 방법은 성공적으로 유사성 기하학과 그 부분군에서 보존되는 양을 구해내며, 동반 논문들을 통해 애핀, 사영, 등각 기하학으로의 확장이 가능하다.