[논문 리뷰] Prototypes of higher algebroids with applications to variational calculus

Michał Jóźwikowski, Mikołaj Rotkiewicz|arXiv (Cornell University)|2013. 06. 14.

Homotopy and Cohomology in Algebraic Topology참고 문헌 25인용 수 8

한 줄 요약

이 논문은 리 군oids의 고차 미분계량군의 축소로부터 유도되는 기하적 구조로 고차 대수oid를 도입하며, 고차 설정으로 일반화된 리 대수oid을 제시한다. 이 구조를 바탕으로 자크제프스키 사상과 함께 변분법 계산 프레임워크를 개발하고, 고차역학, 대칭 축소 시스템, 일阶 대수oid 문제를 통합적으로 다룬다. 주요 기여는 고차 오일러-라그랑주 방정식의 기하적 공식화를 고차 다항식 구조와 미분관계를 통해 제시하는 것이다.

ABSTRACT

Reductions of higher tangent bundles of Lie groupoids provide natural examples of geometric structures which we would like to call higher algebroids. Such objects can be also constructed abstractly starting from an arbitrary almost Lie algebroid. A higher algebroid is, in principle, a graded bundle equipped with a differential relation of special kind (a Zakrzewski morphism). In the paper we investigate basic properties of higher algebroids and show some applications. Namely, we develop a geometric framework for variational calculus on higher algebroids (including both forces and momenta). Such a formalism covers simultaneously variational problems on higher tangent bundles, first-order problems on algebroids and higher-order problems reduced by symmetries.

연구 동기 및 목표

• 리 군oids의 고차 미분계량군의 축소로부터 유도되는 자연스러운 기하적 구조로서 고차 대수oid를 정의하고 연구하는 것.
• 클래식한 대수oid의 구조를 고차 설정으로 일반화하기 위해 자크제프스키 사상과 고차 다항식 구조를 사용하는 것.
• 고차 라그랑주 시스템, 운동량, 힘을 포함한 고차 대수oid 위에서의 통합된 기하적 변분법 계산 프레임워크를 개발하는 것.
• 고차 다항식 구조 위에서의 내재된 미분관계를 통해 고차 오일러-라그랑주 방정식의 기하적 공식화를 제공하는 것.
• 고차 미분계량군, 일阶 대수oid, 대칭 축소 고차 시스템 위의 변분 문제를 통합하는 것.

제안 방법

• 리 군oids $\mathcal{G}$의 고차 미분계량군 $\mathrm{T}^k\mathcal{G}$의 축소를 통해 고차 대수oid를 구성하며, 특히 소스 섬유의 따라 $k$-속도로 표현되는 $\mathcal{A}^k(\mathcal{G})$로 정의한다.
• 고전적 대수oid의 경우와 달리, 총공간의 미분계량군 위에서 정의된 미분관계(자크제프스키 사상) $\kappa$를 통해 고차 대수oid를 정의한다. 이는 고전적 경우의 리 괄호를 대체한다.
• 자기장 사상 $\varepsilon = \tilde{\Lambda} \circ \mathbf{R}$을 사용하여 $\kappa$를 총공간의 쌍대 벡터다발에서 기저의 기저 사상 $\rho$를 통해 정의된 벡터다발 사상의 쌍대관계로 정의한다.
• 고차 다항식 구조 위에서 라그랑주안을 올리고 기하학적 부분적 통합을 통해 고차 오일러-라그랑주 방정식을 유도함으로써 고차 대수oid 위에서의 변분법 계산을 기하학적으로 기술한다.
• 고차 시스템의 다변수 다항식과 대칭 축소 동역학의 예를 적용하여 기존의 경우와 일관성을 보임을 보여준다.
• 관계의 미분계량 올림을 통해 도함수에 대한 구조를 유지함으로써 변분법 프레임워크가 기하학적 연산과 일관성을 유지함을 보장한다.

실험 결과

연구 질문

• RQ1 리 군oids $\mathcal{G}$의 $k$-차 미분계량군 $\mathrm{T}^k\mathcal{G}$의 축소에서 어떤 기하적 구조가 유도되는가?
• RQ2 자연스러운 괄호가 존재하지 않는 고차 설정에서, 고전적 리 대수oid의 괄호와 자기장 사상에 의해 정의된 기하학적 구조는 어떻게 고차로 일반화될 수 있는가?
• RQ3 자크제프스키 사상 $\kappa$는 고차 대수oid의 대수적 및 기하학적 구조를 어떻게 표현하는가?
• RQ4 고차 대수oid 위에서의 변분 문제는 힘과 운동량을 포함하여 어떻게 기하학적으로 기술될 수 있는가?
• RQ5 이 프레임워크는 고차역학, 일阶 대수oid 동역학, 대칭 축소 시스템을 어느 정도 통합하는가?

주요 결과

• 고차 대수oid는 특수한 미분관계(자크제프스키 사상) $\kappa$를 갖춘 고차 다항식 구조로 정의되며, 이는 첫 번째 차수를 초월한 리 대수oid의 구조를 일반화한다.
• 자크제프스키 사상 $\kappa$는 $\varepsilon = \tilde{\Lambda} \circ \mathbf{R}$의 복합체의 쌍대관계로 구성되며, $\tilde{\Lambda}$는 쌍대다발 위의 표준 파울리 텐서에서 유래되고 $\mathbf{R}$은 표준 반대심플렉틱사상이다.
• 이 프레임워크는 고차 대수oid 위에서의 변분법 계산을 성공적으로 일반화하여 고차 다항식 구조 위에서 고차 오일러-라그랑주 방정식의 기하적 공식화를 도출한다.
• 이 방법은 세 가지 유형의 변분 문제를 통합한다: 다변수 다항식 고차 시스템, 일阶 대수oid 문제, 대칭 축소 고차 시스템.
• 관계의 미분계량 올림은 자크제프스키 사상의 구조를 유지하여 변분법 계산이 기하학적 연산과 일관성을 유지함을 보장한다.
• 이 접근법은 적합한 곡선의 호모토피 관계를 통해 리 대수oid의 통합 이론을 고차 설정으로 자연스럽게 확장한다.