On the bisections of a local Lie grpoupod

기술 요약: 국소 리 군토이드(Local Lie Groupoid)의 비섹션(Bisections)에 관하여

문제 정의
본 논문은 리 알제브라(Lie algebroid)의 적분 이론을 다룬다. 모든 리 알제브라는 국소 리 군토이드로의 국소 적분을 허용하지만(Cabrera, Mărcuţ, Salazar가 보여준 바와 같이), 전역 리 군토이드 적분의 존재 여부는 전역 모노드로미 그룹(global monodromy groups)에 의해 저해된다(Crainic and Fernandes). 결과적으로, 국소 리 군토이드는 국소적-무한소적 구조에서 전역적 구조로 가는 자연스러운 가교 역할을 한다. 이 이론의 핵심 과제는 "전역화 가능성(globalizability)"이다. 즉, 주어진 국소 리 군토이드가 언제 전역 리 군토이드로 확장될 수 있는지를 결정하는 것이다.

이와 병행하여, 비섹션 이론은 리 군토이드와 무한 차원 리 이론 사이의 연결 고리를 제공한다. Schmeding과 Wockel은 전역 리 군토이드의 비섹션 공간이 자연스러운 무한 차원 리 군 구조를 가진다는 것을 확립했다. 본 논문은 이와 유사한 구조를 국소 리 군토이드에 대해 조사하며, 구체적으로 다음 질문을 던진다:

1. 국소 리 군토이드의 허용 가능한 비섹션들의 공간은 국소 리 군을 형성하는가?
2. 이 국소 리 군의 리 대수와 연관된 리 알제브라의 섹션들 사이의 관계는 무엇인가?
3. 국소 리 군토이드의 전역화 가능성은 그와 연관된 국소 리 군의 비섹션의 전역화 가능성과 어떤 관계가 있는가?

방법론 및 프레임워크
저자들은 국소 볼록(locally convex), 국소 메트릭 가능(locally metrizable) 위상 벡터 공간을 활용하는 무한 차원 다양체 이론의 프레임워크 내에서 작업한다. 연구는 **적응된 국소 가산(adapted local addition)**을 갖는 컴팩트 다양체 $M$ 위의 국소 리 군토이드 $G$에 초점을 맞춘다. 이 기술적 조건은 매핑 공간($C^\infty(M, G)$) 및 섹션 상에 다양체 구조를 구축하는 데 매우 중요하다.

방법론은 다음 단계들을 통해 진행된다:

• 비섹션 공간의 구축: 저자들은 국소 리 군토이드의 비섹션을 소스 맵 $\alpha$의 매끄러운 섹션 $\sigma: M \to G$로서 정의하되, $\beta \circ \sigma$가 미분 동형 사상(diffeomorphism)이 되도록 정의한다. 이들은 이러한 비섹션들의 공간인 $\text{Bis}(G)$에 다양체 구조를 구축하기 위해, 이를 섹션 공간 $\Gamma(M \leftarrow_\alpha G)$의 열린 부분 다양체로 식별한다.
• 군 구조의 정의: 곱셈과 역원은 국소 리 군토이드 $G$의 국소 곱셈 및 역원을 사용하여 비섹션의 미분 동형 사상 성질에 따라 점별(pointwise)로 정의된다.
• 리 대수 대응: $\text{Bis}(G)$의 항등원에서의 접공간을 분석하여, 이것이 연관된 리 알제브라 $L(G)$의 섹션들과 동형임을 밝힌다.
• 전역화 분석: 저자들은 국소 리 군의 전역화에 대한 말체프(Mal'cev)의 특징화와 국소 리 군토이드에 대한 유사한 결과(Fernandes, Michiels, and Zhang에 의해 확립됨)를 사용하여, 한 구조의 전역화 가능성이 다른 구조의 전역화 가능성에 어떻게 함의되는지에 대한 조건을 도출한다.

주요 기여 및 결과

1. 비섹션의 국소 리 군 구조 (정리 1.3 / 3.3):
   본 논문은 적응된 국소 가산을 갖는 컴팩트 다양체 $M$ 위의 국소 볼록, 국소 메트릭 가능 국소 리 군토이드 $G$에 대하여, 모든 허용 가능한 비섹션의 집합 $\text{Bis}(G)$가 국소 리 군을 형성함을 증명한다. 이 증명은 평가 사상(evaluation map)의 매끄러움과 미분 동형 사상의 공간이 매끄러운 맵 공간의 열린 부분 다양체라는 사실에 기초한다.

2. 리 대수 동형 (정리 4.3):
   저자들은 국소 리 군 $\text{Bis}(G)$의 리 대수가 $G$와 연관된 리 알제브라의 섹션 $\Gamma(L(G))$와 반동형(anti-isomorphic)임을 확립한다. 이는 $\text{Bis}(G)$의 항 identity에서의 접공간으로부터 $L(G)$의 섹션들로의 사상 $\phi_G$를 구성하고, 벡터 필드의 $\gamma$-관련성( $\gamma$-relatedness)을 통해 리 브래킷 구조를 보존함을 증명함으로써 달성된다.

3. 전역화 함의 (정리 5.2, 따름정리 5.3, 정리 5.5, 정리 5.7):

• 순방향 함의: 국소 리 군토이드 $G$가 전역 결합적(globally associative)이면(그리고 강한 연결성을 가정할 때 전역화 가능하면), 그와 연관된 국소 리 군 $\text{Bis}(G)$ 또한 전역 결합적이며, 연결되어 있다면 전역화 가능하다.
• 역방향 함의: $G$의 모든 화살표(arrow)가 전역 비섹션에 포함된다는 조건 하에서, $\text{Bis}(G)$가 전역 결합적이면 $G$는 전역 결합적이다.
• 임베딩 결과: 만약 $G$가 전역화 가능하고 그 전역화 대상이 $\tilde{G}$라면, $\text{Bis}(G)$는 전역 리 군 $\text{Bis}(\tilde{G})$의 열린 국소 리 부분군으로 임베딩된다. 결과적으로, $G$의 전역화 가능성은 $\text{Bis}(G)$의 전역화 가능성을 함의한다.

의의 및 주장
본 논문은 전역 리 군토이드에 대해 잘 확립된 이론을 모방하여, 국소 리 군토이드에 대한 엄밀한 무한 차원 리 이론적 프레임워크를 제공한다고 주장한다. 비섹션의 국소 리 군 구조를 구축하고 이의 리 대수를 기저의 리 알제브라와 연결함으로써, 이 연구는 "무한소에서 전역으로" 가는 가교를 국소적 설정으로 확장한다.

그 의의는 전역화 가능성의 성격 규정에 있다. 즉, 본 논문은 국소 리 군토이드의 전역화에 대한 장애물이 그 비섹션 군의 전역 결합성과 밀접하게 연관되어 있음을 보여준다. 구체적으로, 모든 화속(arrow)이 전역 비섹션에 속하는 강하게 연결된 국소 리 군토이드에 대해, 리 군토이드의 전역화 가능성과 그 비섹션 군의 전역화 가능성은 동치 조건임을 입증한다. 이 결과는 리 알제브라의 적분 문제와 무한 차원 비섹션 리 군의 구조적 이론을 국소적 맥락 내에서 통합한다.