[논문 리뷰] The Lie algebra of the group of bisections

Hirokazu Nishimura|ArXiv.org|2006. 12. 02.

Advanced Algebra and Geometry참고 문헌 1인용 수 9

한 줄 요약

이 논문은 미세선형 군oids의 이분할군의 접공간이 합성미분기하학에서 리 대수를 이룬다는 것을 입증하며, 자코비 항등식에 대해 두 가지 서로 다른 증명을 제시한다. 무한소 변환과 미세정사각형을 활용하여 기하학적으로 리 괄호의 구조를 유도함으로써, 이분할군의 접공간의 대수적 닫힘성과 기본 항등식을 확인한다.

ABSTRACT

Groupoids provide a more appropriate framework for differential geometry than principal bundles. Synthetic differential geometry is the avant-garde branch of differential geometry, in which nilpotent infinitesimals are available in abundance. The principal objective in this paper is to show within our favorite framework of synthetic differential geometry that the tangent space of the group of bisections of a microlinear groupoid at its identity is naturally a Lie algebra. We give essentially distinct two proofs for its Jacobi identity.

연구 동기 및 목표

• 미세선형 군oids의 이분할군의 접공간이 합성미분기하학 내에서 자연스럽게 리 대수를 이룬다는 것을 입증하는 것.
• 이 리 대수의 자코비 항등식에 대해 두 가지 독립적인 기하적 증명을 제공하는 것.
• 영방형 무한소를 사용하여 무한소 게이지 변환과 이분할군의 리 대수 간의 관계를 명확히 하는 것.
• 합성미분기하학의 맥락에서 무한소 정사각형 구성과 순열 대칭성을 통해 리 괄호를 형식화하는 것.

제안 방법

• 영방형 무한소를 포함하는 고로트렌드 토포스를 포함하는 합성미분기하학의 프레임워크를 사용하며, 특히 $ D = \{d \in \mathbb{R} \mid d^2 = 0\} $ 를 사용한다.
• 벡터장은 $ X: D \to \mathfrak{B}(G) $ 와 $ X_0 = \mathrm{id} $ 를 만족하는 사상으로 이분할군의 접벡터로 표현한다.
• 리 괄호 $[X,Y]$ 는 $ \ast $ 를 통한 이분할군의 흐름의 교환자에 대한 도함수로 정의된다.
• $ n $-미세정사각형 $ X_n \circledast \cdots \circledast X_1 $ 을 구성하여 $ \mathfrak{B}(G) $ 에 대한 고차 무한소 작용을 인코딩한다.
• 무한소 변환의 다양한 순서를 비교하기 위해 무한소 정사각형에 순열 대칭 $ \sum_\varepsilon $ 를 적용한다.
• 특히 $ (Y \circledast X) \mathbin{\cdot\!\!\cdot} \sum_{(12)}(X \circledast Y) = [X,Y] $ 를 사용하여 축을 따라 무한소 정사각형의 차이를 비교함으로써 자코비 항등식을 도출한다.

실험 결과

연구 질문

• RQ1 미세선형 군oids의 이분할군의 접공간은 합성미분기하학에서 자연스럽게 리 대수를 지니는가?
• RQ2 이 리 대수의 자코비 항등식은 무한차원 다양체나 고전적 집합론에 의존하지 않고 기하학적으로 증명될 수 있는가?
• RQ3 무한소 정사각형 구성과 순열 대칭은 어떻게 리 괄호와 그 항등식을 인코딩하는가?
• RQ4 무한소 흐름과 연산 $ \ast $ 는 이분할군을 통한 리 괄호 정의에서 어떤 역할을 하는가?
• RQ5 두 가지 서로 다른 자코비 항등식 증명은 기하학적 및 대수적 기초에서 어떻게 다름을 보이는가?

주요 결과

• 항등원에서의 이분할군의 접공간은 리 군대체의 단면 공간 $ \Gamma(\mathcal{A}G) $ 와 미분동형이며, 이는 리 대수를 이룬다.
• 리 괄호 $[X,Y]$ 는 $ \sigma, \rho \in \mathfrak{B}(G) $ 를 만족하는 흐름의 교환자 $ \sigma \ast \rho \ast \sigma^{-1} \ast \rho^{-1} $ 의 도함수로서 기하학적으로 실현된다.
• 첫 번째 증명은 고정된 작용 $ \mathbf{L}_X $ 과 항등식 $ [X,[Y,Z]] = \mathbf{L}_X[Y,Z] - \mathbf{L}_{[X,Y]}Z - \mathbf{L}_Y[X,Z] $ 에 기반한다.
• 두 번째 증명은 무한소 정사각형 구성에 기반한다: $[X,Y] = Y \circledast X \mathbin{\cdot\!\!\cdot} \sum_{(12)}(X \circledast Y) $, 고차 무한소 정사각형이 자코비 항등식을 인코딩한다.
• 자코비 항등식은 $ D^3 $ 에 정의된 함수 $ \lambda $ 를 구성함으로써 검증되며, 이는 무한소 정사각형 값 사이를 보간하고 대각선에서 괄호를 복원한다.
• 대칭적 무한소 정사각형 비교를 통해 세 가지 형태의 자코비 항등식이 모두 검증되었으며, 합성 기하학적 추론을 통해 리 대수의 구조가 확인된다.