[논문 리뷰] Weil Spaces and Weil-Lie Groups

Wolfgang Bertram|arXiv (Cornell University)|2014. 02. 11.

Homotopy and Cohomology in Algebraic Topology참고 문헌 11인용 수 4

한 줄 요약

이 논문은 임의의 가환 기저환 위에서 Weil 공간과 Weil-Lie 군을 도입하여, 위상체를 초월한 무한소 미분기하학을 일반화한다. Weil 공간은 Weil 대수에서 집합으로 가는 함자로 정의되며, Weil-Lie 군의 리 대수는 무한소 자기동형사상을 통해 정의되며, Weil-Lie 군의 리 대수는 표준 리 괄호를 가진 벡터장의 공간과 동형임을 보여, 고전적 리 이론을 이산적이고 특이적인 설정으로 확장한다.

ABSTRACT

We define Weil spaces, Weil manifolds, Weil varieties and Weil Lie groups over an arbitrary commutative base ring K (in particular, over discrete rings such as the integers), and we develop the basic theory of such spaces, leading up the definition of a Lie algebra attached to a Weil Lie group. By definition, the category of Weil spaces is the category of functors from K-Weil algebras to sets; thus our notion of Weil space is similar to, but weaker than the one of Weil topos defined by E. Dubuc (1979). In view of recent result on Weil functors for manifolds over general topological base fields or rings by A. Souvay, this generality is the suitable context to formulate and to prove general results of infinitesimal differential geometry, as started by the approach developed in Bertram, Mem. AMS 900.

연구 동기 및 목표

• 임의의 가환 기저환, 특히 ℤ와 같은 이산환을 포함하여 무한소 미분기하학의 일반적 프레임워크를 개발하기 위해.
• 이산환과 특이 공간에서 실패하는 위상적 접근의 한계를 극복하기 위해.
• Weil 공간을 Weil 대수에서 집합으로 가는 함자로 정의하여, 다양체와 접선(bundle)의 개념을 일반화하기 위해.
• 무한소 자기동형사상과 자연 변환을 사용하여 Weil-Lie 군의 리 대수를 구성하기 위해.
• Weil-Lie 군의 리 대수가 표준 리 괄호를 가진 벡터장의 공간과 동형임을 보여주기 위해.

제안 방법

• Weil 공간은 𝕂-Weil 대수의 범주에서 집합의 범주로 가는 함자로 정의되며, 각 Weil 대수 𝔸는 M^𝔸라는 집합을 부여하여 𝔸-접선(bundle)의 역할을 한다.
• Weil 법칙은 이러한 함자들 사이의 자연 변환으로서, 𝔸에 따라 변하는 함자적 방식으로 변화하는 𝔸-접선 사상 f^𝔸: M^𝔸 → N^𝔸를 코딩한다.
• 이 구성은 Weil 대수를 무한소 수의 링으로 사용하며, 𝔸 = 𝕂 ⊕ 𝔪로 표현되며, 여기서 𝔪은 멱영 이상이다. 이는 이중수와 고차 무한소를 일반화한다.
• Weil-Lie 군의 리 대수는 항등원 위에서의 자동사상 함자의 섬유로 실현되며, 벡터장의 공간으로 식별된다.
• 리 괄호는 군의 교환자 공식을 통해 복원되며: [ε₁X, ε₂Y]_group = ε₁ε₂[X,Y]_alg로, 군론적 괄호와 대수적 괄호를 연결한다.
• 이 이론이 카르테시안 닫힘임을 보이며, 내부 호 객체를 허용하고 무한소 기하학의 합성적 접근을 지원한다.

실험 결과

연구 질문

• RQ1 기존 위상적 방법이 실패하는 이산환(예: ℤ) 위의 공간에 대해 리 이론을 어떻게 일반화할 수 있는가?
• RQ2 고차 무한소 구조를 미분기하학에서 올바르게 기술하기 위한 범주론적이고 대수적 프레임워크는 무엇인가?
• RQ3 리 군의 리 대수는 그 점의 함자와 무한소 자기동형사상만으로 재구성될 수 있는가?
• RQ4 Weil 대수는 매끄러운 사상에 대해 일반화된 스칼라 확장으로서 어떻게 작용하는가? 이 경우 Weil 함자는 어떤 역할을 하는가?
• RQ5 Weil 다양체 위의 미분법과 다양체의 자동사상의 리 대수 사이의 관계는 무엇인가?

주요 결과

• Weil 공간의 범주는 카르테시안 닫힘이며, 내부 호 객체를 지원하고 무한소 기하학의 합성적 접근을 가능하게 한다.
• Weil-Lie 군의 리 대수는 기저 공간 위의 벡터장의 공간과 동형이며, 표준 리 괄호는 공식 [X,Y](x) = dX(x)Y(x) - dY(x)X(x)로 주어진다.
• Weil-Lie 군의 리 대수의 리 괄호는 군의 교환자 공식 [ε₁X, ε₂Y]_group = ε₁ε₂[X,Y]_alg를 통해 유도된다.
• 곱셈 s가 있는 Weil 다양체 위의 미분법은 X(p·q) = X(p)·q + p·X(q)를 만족하는 벡터장으로 정확히 일치하며, 이는 벡터장의 리 부분대수를 이룬다.
• 곱셈이 있는 Weil 다양체의 자동사상 군은 자체적으로 Weil 다양체이며, 그 리 대수는 곱셈의 미분법의 공간이다.
• 기저점이 있는 대칭 공간의 경우, 리 삼중계열은 대칭의 −1-고유공간으로 자연스럽게 실현되며, 2가 가역적일 경우 리 대수가 ℤ/2ℤ-중복분할을 갖는다.