[논문 리뷰] Specific PDEs for Preserved Quantities in Geometry. III. 1-d Projective Transformations and Subgroups

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

Advanced Topics in Algebra참고 문헌 21인용 수 7

한 줄 요약

이 논문은 1차원 사영기하학에서 사영변환의 대칭 생성자로부터 유도된 특정 편미분방정식(PDE)을 풀어 보존되는 양을 도출한다. 특수사영변환에 대해 역수의 차이가 불변량임을 규명하고, 특수사영변환과 확대 대칭의 조합에 대해선 역수의 차이의 비율이 불변량임을 밝힌다. 궁극적으로 전체 1차원 사영불변량이 교차비율의 매끄러운 함수임을 보이며, 교차비율을 동시에 차이의 비율이자 역수의 차이로 재해석할 수 있음을 제안한다.

ABSTRACT

We extend finding geometrically-significant preserved quantities by solving specific PDEs to 1-$d$ projective transformations and subgroups. This can be viewed not only as a purely geometrical problem but also as a subcase of finding physical observables, and furthermore as part of extending the comparative study of Background Independence level-by-level in mathematical structure to include projective structure. Full 1-$d$ projective invariants are well-known to be cross-ratios. We moreover rederive this fact as the unique solution of 1-$d$ projective geometry's preserved equation PDE system. We also provide the preserved quantities for the 1-$d$ geometries whose only transformations are 1) special-projective transformations $Q$, giving differences of reciprocals. 2) $Q$ alongside dilations $D$, now giving ratios of difference of reciprocals. This analysis moreover firstly points to a new interpretation of cross-ratio: those ratios of differences that are concurrently differences of reciprocals, and secondly motivates 1) and 2) as corresponding to bona fide and distinctive Geometries.

연구 동기 및 목표

• 대칭 생성자와 관련된 PDE를 사용하여 1차원 사영기하학에서 기하학적으로 의미 있는 보존되는 양을 체계적으로 유도하는 것.
• 특수사영군 $ Q $에 대한 보존되는 양이 좌표의 차이가 아닌 역수의 차이임을 보여주며, 이는 이동불변 기하학에서의 순수한 좌표 차이와 다름을 밝혀내는 것.
• 특수사영군 $ Q $와 확대군 $ D $의 조합된 대칭군을 분석하고, 그 보존되는 양이 표준적인 차이의 비율과는 다름을 보여주는 것.
• 전체 1차원 사영불변량이 편미분방정식 전체 시스템의 자유특성문제(Free Characteristic Problem)를 풀어 유일하게 매끄러운 교차비율의 함수임을 증명하는 것.
• 교차비율을 동시에 차이의 비율이자 역수의 차이임을 동시에 만족하는 기능적 의존성으로 재해석하는 새로운 해석을 제안하는 것.

제안 방법

• 1차원에서 특수사영 생성자 $ Q = x^2 \frac{d}{dx} $에 대해 보존방정식 PDE 시스템 $ \sum_{I=1}^{N} q^{I2} \partial_{q^I} \mathbf{Q} = 0 $을 풀이.
• 자유특성문제(Free Characteristic Problem) 방법을 적용하여 $ Q $-단독 및 $ Q $-플러스-$ D $ 대칭군의 PDE 시스템을 해석.
• 부분분수 적분을 사용해 특성변수를 유도하고 시간 매개변수를 제거함으로써 교차비율 표현식을 도출.
• 교차비율을 $ \mathbf{Q} = \mathbf{Q}\left( \frac{(q^N - q^{\bar{n}})(q^n - q^{\widetilde{r}})}{(q^n - q^{\bar{n}})(q^N - q^{\widetilde{r}})} \right) $로 유도하며, 이것이 유일한 해임을 보임.
• 생성자 표현($ Q $ 대비 $ P $)과 그 보존되는 양을 비교하여, 자동형사상군이 이sovolumetric이지만 기하학적으로는 다름을 주장함.
• 대칭 생성자들의 격자와 보존되는 양들의 격자 사이의 이중성(duality)을 확립하여 기하학적 배경 독립성의 더 넓은 프레임워크를 뒷받침함.

실험 결과

연구 질문

• RQ1 1차원 특수사영변환군 $ Q $에 대해 보존되는 양은 무엇이며, 이는 이동군에 대한 것과 어떻게 다를까?
• RQ2 특수사영군 $ Q $가 확대군 $ D $와 조합될 경우 보존되는 양은 어떻게 변화하며, 그 기능적 형태는 어떠한가?
• RQ3 전체 1차원 사영불변량의 유일한 기능적 형태는 무엇이며, 이는 전체 사영대칭군의 PDE 시스템으로부터 어떻게 도출되는가?
• RQ4 교차비율을 동시에 차이의 비율이자 역수의 차이임을 동시에 만족하는 양으로 재해석할 수 있는가?
• RQ5 동일한 자동형사상군을 가지지만 다른 방식으로 표현된 대칭 생성자로부터 유도되는 기하학적 불변량은 얼마나 다를 수 있으며, 이는 기하학적 분류에 대해 어떤 함의를 갖는가?

주요 결과

• $ Q $-단독 군에 대해 1차원에서 보존되는 양은 좌표의 차이가 아닌 역수의 차이의 적절한 매끄러운 함수이며, 이는 이동불변 기하학에서 보존되는 순수한 좌표의 차이와 다름을 보임.
• $ Q $와 $ D $가 모두 포함될 경우 보존되는 양은 역수의 차이의 비율의 매끄러운 함수이며, 이는 확대에 의해 보존되는 표준적인 차이의 비율과 다름을 보임.
• 전체 1차원 사영불변량은 자유특성문제 해법을 통해 PDE 시스템을 풀어 매끄러운 교차비율의 유일한 함수로 결정됨.
• 교차비율은 동시에 차이의 비율과 역수의 차이의 기능적 의존성을 만족하는 유일한 불변량 표현으로 부상함.
• 분석 결과, $ P $-Iso-Tr(1) 및 $ P $-Para-Dilatat(1) 기하학은 자동형사상군이 이sovolumetric이지만 유클리드 기하학 및 유사성 기하학과는 다름을 보이며, 이는 생성자 표현과 보존되는 양의 차이 때문임.
• 유도된 교차비율 표현식은 $ \mathbf{Q} = \mathbf{Q}\left( \frac{(q^N - q^{\bar{n}})(q^n - q^{\widetilde{r}})}{(q^n - q^{\bar{n}})(q^N - q^{\widetilde{r}})} \right) $이며, $ N \geq 4 $일 때 유효하여 전체 1차원 사영불변량의 기초로서의 역할을 확인함.