[논문 리뷰] The A_infty de Rham theorem and integration of representations up to homotopy

Camilo Arias Abad, Florian Schaetz|arXiv (Cornell University)|2010. 11. 21.

Homotopy and Cohomology in Algebraic Topology참고 문헌 15인용 수 3

한 줄 요약

이 논문은 체인의 반복 적분을 통해 리 대수다발의 호모토피를 통한 표현들을 그 무한군오브의 단위 표현으로 통합하는 A∞-함수를 구성한다. 이는 고차원 구조로의 고전적 리 이론의 일반화이며, 핵심 기여는 호모토피 이론적 일반화된 드 라무 정리로, 슈퍼연결과 고차 표현에 대한 평행 이동을 가능하게 한다.

ABSTRACT

We use Chen's iterated integrals to integrate representations up to homotopy. That is, we construct an A_infty functor from the representations up to homotopy of a Lie algebroid to those of its infinity groupoid. This construction extends the usual integration of representations in Lie theory. We discuss several examples including Lie algebras and Poisson manifolds. The construction is based on an A_infty version of de Rham's theorem due to Gugenheim. The integration procedure we explain here amounts to extending the construction of parallel transport for superconnections, introduced by Igusa and Block-Smith, to the case of certain differential graded manifolds.

연구 동기 및 목표

• 호모토피를 통한 표현으로의 고전적 리 이론을 확장하기 위해 호모토피-일관된 통합 함수를 구성하는 것.
• 체인의 반복 적분을 사용하여 A∞-구조로의 드 라무 정리를 일반화하는 것.
• 리 대수다발의 표현을 그 무한군오브로 통합하는 통합된 프레임워크를 제공하는 것.
• 고차 호모토피 데이터가 사라질 경우 일반 표현 이론을 특수한 경우로 회복하는 것.
• 슈퍼연결과 고차 호몰로지 사이의 연결 고리를 A∞-함수를 통해 미분가환 다양체 위에서 설정하는 것.

제안 방법

• 체인의 반복 적분을 사용하여 미분 형식을 단순 코체인으로 계층 수준에서 올리는 방법을 정의한다.
• 구겐하임의 A∞-버전 드 라무 정리를 적용하여 리 대수다발의 미분 형식과 그 무한군오브의 단순 코체인 간의 관계를 설정한다.
• 드 라무 복합체의 A∞-구조를 이용하여 A∞-함수 R: Rep∞(A) → ˆRep∞(Π∞(A))를 구성한다.
• 게이지 불변성과 모어-카르탕 원소에 의한 트위스팅을 활용하여 A∞-의미에서의 함숫법과 일관성을 확보한다.
• 스 suspension s와 구조 사상 bn을 사용하여 표현과 관련된 군집된 벡터 공간 위의 A∞-대수를 정의한다.
• id_E ⊗ψ의 텐서곱 구조를 적용하여 A∞-함수를 군집 대수 위의 모듈로 확장한다.

실험 결과

연구 질문

• RQ1 리 대수다발의 호모토피를 통한 표현은 어떻게 그 무한군오브의 표현으로 통합될 수 있는가?
• RQ2 체인의 반복 적분은 표현 카테고리 사이의 A∞-함수를 구성하는 데 어떤 역할을 하는가?
• RQ3 A∞-드 라무 정리는 고전적 드 라무 코homology를 어떻게 고차 호모토피 구조로 일반화하는가?
• RQ4 이 구성은 어떤 의미에서 평행 이동의 고전적 통합과 일치하는가?
• RQ5 슈퍼연결과 파오송 구조는 이 A∞-프레임워크에서 고차 평행 이동에 어떻게 통합되는가?

주요 결과

• 논문은 리 대수다발 A의 호모토피를 통한 표현들을 그 무한군오브 Π∞(A)의 단위 표현으로 통합하는 잘 정의된 A∞-함수 R: Rep∞(A) → ˆRep∞(Π∞(A))를 구성한다.
• 이 구성은 구겐하임의 A∞-버전 드 라무 정리를 체인의 반복 적분을 통해 실현한 것으로, 미분 형식과 단순 코체인 사이의 준동형을 제공한다.
• 일반 표현(즉, 평행 이동이 가능한 연결)에 국한된 경우, A∞-함수 R는 리 이론에서의 고전적 표현 통합을 회복한다.
• 이 방법은 이구사와 블록-스미스의 슈퍼연결에 대한 작업을 일반화하여, A∞-구조를 통해 고차 호모토피 데이터로의 평행 이동을 확장한다.
• A∞-함수는 게이지 불변이며, 모어-카르탕 원소에 의한 트위스팅을 존중하여 변형 하에 일관성을 유지한다.
• 이 프레임워크는 리 대수, 리 대수다발의 고유 표현, 파오송 다양체 등 주요 기하적 예제에 적용되며, 무한군오브는 심플렉틱 호모토피 유형을 캡처한다.