[논문 리뷰] On integrability of infinitesimal actions

Ieke Moerdijk, J. Mrčun|ArXiv.org|2000. 06. 06.

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

한 줄 요약

이 논문은 한 개의 적분 가능 Lie 대수다발이 다른 하나의 적분 가능 Lie 대수다발 위에 작용하는 무한소 작용으로부터 유도되는 반직접곱 Lie 대수다발의 적분 가능성 조건을 수립한다. 분할 이론과 주어진 Lie 군다발 위의 접속을 이용하여, 저자들은 이러한 반직접곱이 일반적인 가정 하에서 적분 가능하다는 것을 증명한다 — 특히 타깃 대수다발이 분할이거나, 작용하는 대수다발에 대해 올바르게 정의되며, 또는 원천-콤팩트이고 원천-단순히 연결된 군다발에 의해 적분 가능한 경우 — 이는 Dazord와 Nistor의 결과를 일반화한다.

ABSTRACT

We use foliations and connections on principal Lie groupoid bundles to prove various integrability results for Lie algebroids. In particular, we show, under quite general assumptions, that the semi-direct product associated to an infinitesimal action of one integrable Lie algebroid on another is integrable. This generalizes recent results of Dazord and Nistor.

연구 동기 및 목표

• 기존의 사례를 넘어서 Lie 대수다발의 적분 가능성 결과를 일반화하기, 특히 무한소 작용의 반직접곱에 대해.
• 두 개의 적분 가능 Lie 대수다발의 반직접곱이 스스로 적분 가능해지는 데 필요한 충분조건을 설정하기.
• 변형 대수다발과 평탄한 분할을 갖는 정규 대수다발의 이전 결과들을 통합하고 확장하기.
• 분할 이론과 주어진 Lie 군다발 위의 접속을 이용한 프레임워크를 개발하여 Lie 대수다발 작용의 맥락에서 적분 가능성 분석하기.

제안 방법

• 분할 이론과 주어진 Lie 군다발 위의 접속을 이용하여 Lie 대수다발의 적분 가능성 분석하기.
• Lie 군다발의 원천-단순히 연결된 코팅을 이용하여 대수다발에서 적분 군다발을 구성하기.
• Lie 군다발의 Lie 대수다발 값의 접속 개념을 도입하여 경로 끌림과 호로노미 제어하기.
• 분할에 의해 유도된 코팅 사영을 따라 경로 끌기를 이용하여 Lie 군다발 $ H $ 가 단일화 군다발 $ \mathrm{Mon}(M,\mathcal{F})_1 $ 위에 작용하는 것을 구성하기.
• 여기서 $ K = \mathrm{Mon}(M,\mathcal{F})/G/H $ 몫을 이용하여 Lie 군다발을 구성하고, 그 Lie 대수다발이 $ \mathfrak{g} \ltimes \mathfrak{h} $ 와 동형임을 보장하기.
• 대수다발의 부분대수다발과 대수다발 간의 사상에 관한 결과를 적용하여 주요 정리를 증명하기.

실험 결과

연구 질문

• RQ1 두 개의 적분 가능 Lie 대수다발의 반직접곱 $ \mathfrak{g} \ltimes \mathfrak{h} $ 가 스스로 적분 가능해지는 조건은 무엇인가?
• RQ2 변형 대수다발과 평탄한 분할을 갖는 정규 대수다발의 적분 가능성 결과는 공통 프레임워크를 통해 통합되고 일반화될 수 있는가?
• RQ3 분할과 주어진 Lie 군다발 위의 접속은 적분 군다발의 구성에 어떻게 기여하는가?
• RQ4 원천-단순히 연결된 코팅과 벡터장의 완비성은 Lie 대수다발의 적분 가능성에서 어떤 역할을 하는가?

주요 결과

• 반직접곱 $ \mathfrak{g} \ltimes \mathfrak{h} $ 는 $ \mathfrak{h} $ 가 분할 대수다발일 경우 적분 가능하다.
• 반직접곱은 $ \mathfrak{h} $ 가 적절한 의미에서 $ \mathfrak{g} $ 에 대해 올바르게 정의될 경우, 정리 5.4에 의해 일반화된 조건을 만족하면 적분 가능하다.
• 만약 $ \mathfrak{h} $ 가 원천-콤팩트이고 원천-단순히 연결된 Lie 군다발에 의해 적분 가능하다면, 정리 5.7에 의해 $ \mathfrak{g} \ltimes \mathfrak{h} $ 는 적분 가능하다.
• Lie 대수다발 $ \mathfrak{h} $ 위에서의 유도자 대수 $ \mathrm{Der}(\mathfrak{h}) $ 는 그 원천-단순히 연결된 군다발 $ H $ 위에서의 다중성 벡터장 대수와 동형이다.
• 적절한 조건 하에서 Lie 군다발 $ G $ 가 적분 가능 Lie 대수다발 $ \mathfrak{h} $ 에 작용할 수 있으며, 이는 $ \mathfrak{h} $ 의 적분 군다발 위로 확장될 수 있다.
• 몫 군다발 $ K = \mathrm{Mon}(M,\mathcal{F})/G/H $ 의 구성은 Lie 대수다발이 $ \mathfrak{g} \ltimes \mathfrak{h} $ 와 동형인 Lie 군다발을 얻으며, 기하학적 경로 끌임과 코팅 이론을 통해 적분 가능성의 확인이 가능하다.