[논문 리뷰] Groupoids: unifying internal and external symmetry

Alan Weinstein|ArXiv.org|1996. 02. 04.

Homotopy and Cohomology in Algebraic Topology참고 문헌 17인용 수 250

한 줄 요약

이 논문은 전통적인 군이 전역 자동형사상이 없어 실패하는 경우, 기하학적 및 해석적 구조에서 내부 대칭과 외부 대칭을 통합하는 대칭의 보편적 대수적 프레임워크로 군oids를 제안한다. 특히 리 군oids와 그 무한소 대응체인 리 앨지브로이드를 사용하여 경계가 있는 공간, 특이 몫공간, 비이행적 작용에서의 대칭을 기술하며, 미분기하학, 경계가 있는 다양체 위의 해석학, 변형 양자화에서의 유용성을 입증한다.

ABSTRACT

The aim of this paper is to explain, mostly through examples, what groupoids are and how they describe symmetry. We will begin with elementary examples, with discrete symmetry, and end with examples in the differentiable setting which involve Lie groupoids and their corresponding infinitesimal objects, Lie algebroids.

연구 동기 및 목표

• 전역 자동형사상이 없는 구조에서 군만으로는 부족한 대칭의 보다 포괄적인 기술이 군oids에 의해 가능함을 보여주기 위해.
• 군 작용이 실패하는, 타일로 된 평면이나 경계가 있는 다양체와 같은 국소적이고 내부적인 대칭을 군oids가 어떻게 포착하는지 보여주기 위해.
• 메르로즈의 경계가 있는 다양체 위에서의 b-분석과 같은 기하학적 및 해석적 구조를 모델링하기 위해 리 군oids와 리 앨지브로이드의 역할을 확립하기 위해.
• 비가환 기하학과 변형 양자화에서 군oids의 복합 대수의 유용성을 설명하기 위해.
• 미분기하학, 위상수학, 해석학, 표현론 등 다양한 수학 분야를 군oids의 공통 프레임워크 아래 통합하기 위해.

제안 방법

• 직사각형 타일링과 같은 간단한 예를 들어 군oids가 대칭을 기술하는 데 있어 군의 일반화임을 소개한다.
• 모르피즘들이 x에서 y로의 대칭을 나타내는 쌍 (x,y)로 구성된 공간 X 위의 쌍 군oids를 도입하며, 군 작용을 일반화한다.
• 기하학적 구조를 모델링하기 위해 리 군oids와 그 관련 리 앨지브로이드의 개념을 적용한다. 예를 들어, 경계가 있는 다양체 위의 b-접선(bundle) bTM.
• 경계가 있는 다양체 위의 미분 연산자 분석을 위해 b-코타angent(bundle) bT*M 과 b-임의의 연산자들을 활용한다.
• 블로우업 구조(예: b(M×M))를 사용하여 연산자의 커널을 군oids로 올리고, 복합 기반 분석을 가능하게 한다.
• 군oids b(M×M)의 복합 대수가 정확히 b-임의의 연산자 대수와 일치함을 보여주며 기하학과 해석학을 연결한다.

실험 결과

연구 질문

• RQ1 전역 자동형사상이 없는 객체, 예를 들어 유한한 타일링된 직사각형에서 군oids는 어떻게 대칭을 기술할 수 있는가?
• RQ2 리 군oids와 리 앨지브로이드는 경계가 있는 다양체 위의 미분 연산자를 모델링하는 데 어떤 역할을 하는가?
• RQ3 군oids의 구조인 b(M×M)는 어떻게 b-임의의 연산자와 그 커널의 분석을 통합하는가?
• RQ4 비가환 기하학에서 나쁜 행동을 보이는 몫공간 위의 함수 대수를 일반화하는 데 군oids 복합 대수는 어떤 방식으로 기능하는가?
• RQ5 브라하트-파우송 구조를 가진 플래그 다양체에서 유도되는 다른 기하학적 구조로 군oids와 리 앨지브로이드의 프레임워크를 확장할 수 있는가?

주요 결과

• M×M의 모서리에 대해 블로우업을 수행하여 얻은 군oids b(M×M)는 리 앨지브로이드 bTM의 보편적 포함 대수와 동형이다.
• 군oids 대수 b(M×M) 위의 복합 연산은 정확히 b-임의의 연산자의 병합 법칙을 재현한다.
• b-접선(bundle) bTM는 경계에 접선이고 무한대에서 0이 되는 벡터장의 세트를 가지며, 경계 근처에서 국소 기저로 ∂/∂yi와 x∂/∂x를 갖는 리 앨지브로이드이다.
• 군oids b(M×M)는 내부의 쌍 군oids와 경계 위의 군oids로 대수적으로 분리되며, 후자의 모르피즘은 법선선의 방향 보존 선형 동형사상이다.
• bTM 위의 벡터장 x∂/∂x는 경계에서 0이 되지 않으며, 무한소 내측 방향을 나타내며, '무한소 경계층' 존재를 반영한다.
• 군oids와 리 앨지브로이드의 프레임워크는 메르로즈의 b-분석에 기하학적 기초를 제공하며, 경계가 있는 다양체로의 임의의 연산자 이론을 확장하고, 브라하트-파우송 구조에서 유도된 다른 리 앨지브로이드로의 일반화를 시사한다.