[논문 리뷰] Introduction into Geometry over Division Ring

Aleks Kleyn|arXiv (Cornell University)|2009. 05. 31.

Advanced Numerical Analysis Techniques참고 문헌 4인용 수 4

한 줄 요약

이 논문은 보편 대수학의 타워 표현을 사용하여 애핀 및 유클리드 공간을 일반화함으로써 분할환 위에서의 미분기하학을 위한 새로운 프레임워크를 제안한다. $D$-애핀 접속과 가속도 도함수의 변환 법칙을 수립하여, 이중선형 접속 계수와 준위변환 불변 구조를 통해 고전적 미분기하학을 비가환 설정으로 확장한다.

ABSTRACT

Theory of representations of F-algebra is a natural development of the theory of F-algebra. Exploring of morphisms of the representation leads to the concepts of generating set and basis of representation. In the book I considered the notion of tower of representations of F_i-algebras, i=1, ..., n, as the set of coordinated representations of F_i-algebras. I explore the geometry of affine space as example of tower of representations. Exploration of curvilinear coordinates allows us to see how look at the main structures of the manifold with affine connection. I explore Euclidean space over division ring.

연구 동기 및 목표

• 분할환 위의 공간으로 고전적 애핀 기하학과 유클리드 기하학을 일반화하는 것, 단지 체에 대해서만이 아니라.
• 보편 대수학의 $T^*$-표현을 사용하여 기하학의 표현 이론적 기반을 마련하는 것.
• $D$-애핀 공간을 표현의 타워로 정의하고, 비가환 설정에서 접속과 곡률의 연구를 가능하게 하는 것.
• 좌표 변화에 따른 $D$-애핀 접속 계수의 변환 규칙을 유도하여 고전적 크리스토펠 기호의 변환을 일반화하는 것.
• 가속도 도함수를 사용하여 $D$-애핀 다양체에서 평행 이동과 지오데식을 정의하고 분석하는 것

제안 방법

• 각 수준이 분할환 $D$ 의 표현에 해당하는 $\text{End}(D)$-대수학의 $T^*$-표현의 타워로 $D$-애핀 공간을 모델링한다.
• 표현 간의 사상은 구조를 유지하는 사상으로 정의되며, 벡터 공간에서의 선형 사상의 일반화이다.
• 표현에 대한 생성집합과 기저를 도입하며, 기저는 표현 공간 위에서 단일 전이적 작용을 통해 정의된다.
• 좌표 전환의 체인 규칙과 두 번째 도함수를 사용하여 좌표 변화에 따른 $D$-애핀 접속 계수의 변환 법칙을 유도한다.
• 벡터장의 가속도 도함수를 $ D(\bar{v})(d\bar{x}) = \nabla(\bar{v})(d\bar{x}) - \tilde{\nabla}(\bar{v})(d\bar{x}) $ 로 표현하며, 여기서 $ \tilde{\nabla} $ 는 $D$-애핀 접속이다.
• 지오데식을 조건 $ \nabla^2 \bar{x}(d\bar{x}; d\bar{x}) = \tilde{\nabla}(d\bar{x})(d\bar{x}) $ 를 통해 정의하며, 고전적 지오데식 방정식을 일반화한다.

실험 결과

연구 질문

• RQ1 어떻게 애핀 기하학과 유클리드 기하학을 체가 아닌 분할환 위의 공간으로 일반화할 수 있는가?
• RQ2 $T^*$-표현과 표현의 타워는 비가환 링 위의 기하학적 구조를 구성하는 데 어떤 역할을 하는가?
• RQ3 비가환 기하학에서 좌표 변화에 따라 $D$-애핀 접속 계수는 어떻게 변환되는가?
• RQ4 가속도 도함수를 사용하여 평행 이동과 지오데식의 개념을 $D$-애핀 다양체로 확장할 수 있는가?
• RQ5 $D$-애핀 공간의 표현 이론적 구조와 비가환 미분기하학(예: 콘네 스타일 기하학) 사이의 관계는 무엇인가?

주요 결과

• 좌표 변화에 따른 $D$-애핀 접속 계수의 변환 법칙은 $ \tilde{\nabla}^{\text{new}} = \frac{\tilde{\nabla}^{\text{old}} \frac{\tilde{\nabla}^{\text{old}}}{\tilde{\nabla}^{\text{old}}} + \frac{\tilde{\nabla}^{\text{old}}}{\tilde{\nabla}^{\text{old}}} }{ \text{자기행렬 항목} } $ 로 유도되며, 명시적으로 $ \tilde{\nabla}^{\text{new} p}_{ji}(v^{\text{new} i})(a^{\text{new} j}) = \frac{\tilde{\nabla}^p}{\tilde{\nabla}^r} \big( \tilde{\nabla}^r_{mk} \big( \frac{\tilde{\nabla}^k}{\tilde{\nabla}^i} v^{\text{new} i} \big) \big( \frac{\tilde{\nabla}^m}{\tilde{\nabla}^j} a^{\text{new} j} \big) + \frac{\tilde{\nabla}^2 x^r}{\tilde{\nabla} x^{\text{new} j} \tilde{\nabla} x^{\text{new} i}} (v^{\text{new} i}; a^{\text{new} j}) \big) $ 로 주어진다.
• 벡터장의 가속도 도함수는 $ D(\bar{v})(d\bar{x}) = \nabla(\bar{v})(d\bar{x}) - \tilde{\nabla}(\bar{v})(d\bar{x}) $ 로 정의되며, 여기서 $ \tilde{\nabla} $ 는 $D$-애핀 접속이다.
• 벡터장이 평행 이동되려면 $ \nabla(\bar{v})(d\bar{x}) = \tilde{\nabla}(\bar{v})(d\bar{x}) $ 를 만족해야 하며, 이는 고전적 평행 이동 조건을 일반화한다.
• $D$-애핀 다양체에서의 지오데식은 방정식 $ \nabla^2 \bar{x}(d\bar{x}; d\bar{x}) = \tilde{\nabla}(d\bar{x})(d\bar{x}) $ 로 정의되며, 이는 두 번째 도함수 조건과 동치이다.
• 이 프레임워크는 분할환 위의 1형식이 계수들이 형식 내부에 통합되어 있을 수 있는 내부 선형 종속성을 보일 수 있음을 드러내며, 비가환 기하학에서 새로운 대수적 구조를 제안한다.
• $T^*$-표현과 생성집합 이론은 비가환 기하학적 공간에서 기저를 구성하는 데 기초를 제공하지만, 양자 기하학을 위한 효과적인 알고리즘이 아직 열려 있다.