Reduction of symmetric time-dependent Hamiltonian systems I: presymplectic principal $\mathbb{R}$-bundles

기술 요약: 대칭적 시간 의존적 해밀턴 계의 축소 I: 프서임플렉틱 주 $\mathbb{R}$-번들

문제 정의
본 논문은 대칭 리 군 $G$를 갖는 시간 의존적 해밀턴 계의 기하학적 축소를 다룬다. 심플렉틱 다양체 상의 자율적(autonomous) 해밀턴 계에 대한 축소는 마스던-웨인스타인(Marsden-Weinstein) 축소와 같이 잘 확립되어 있으나, 이를 시간 의존적 계로 확장하는 데는 특정한 어려움이 따른다. 기존의 접근 방식(예: [8])은 대칭 군 작용이 구성 파이브레이션(configuration fibration) $\Pi: Q \to \mathbb{R}$을 보존한다(즉, 작용이 시간 변수를 변화시키지 않는다)고 가정하였다. 이러한 가정은 제한적이다. 왜냐하면 이는 명시적으로 시간에 의존하는 보존량을 가질 수 있는 가능성을 배제하며, 시간 변수를 이동시키는 변환을 수용하지 못하기 때문이다. 저자들은 이 조건을 완화하여, 대칭 군이 연관된 1-형식 $\eta = \Pi^*(dt)$를 보존하는 한, 구성 번들의 파이브레이션 $\Pi$를 반드시 보존하지 않는 방식으로 작용할 수 있도록 하는 축소 프레임워크를 개발하고자 한다.

방법론
저자들은 주 $\mathbb{R}$-번들과 프서임플렉틱 구조의 기하학을 활용하여, 시간 의존적 해밀턴 역학의 확장된 형식론을 사용한다.

1. 기하학적 설정:

   • 구성 공간 $Q$는 파이브레이션 $\Pi: Q \to \mathbb{R}$의 전공간(total space)이다.
   • 모멘타의 위상 공간은 수직 쌍대 번들(dual vertical bundle) $V^*\Pi$로 식별된다.
   • 확장된 위상 공간은 공접 접번들(cotangent bundle) $T^*Q$이다.
   • 주 $\mathbb{R}$-번들 구조 $\mu: T^*Q \to V^*\Pi$가 설정되며, 여기서 사영은 수직 번들 $V\Pi \hookrightarrow TQ$의 쌍대 사상이다.

2. 프서임플렉틱 구조:

   • 해밀턴 섹션 $h: V^*\Pi \to T^*Q$가 주어지면, 저자들은 동차 해밀턴 함수 $F_h: T^*Q \to \mathbb{R}$를 정의한다.
   • 이 섹션은 두 개의 닫힌 2-형식을 유도한다:
     • $\omega_h = \omega_Q + dF_h \wedge \eta_0$ (on $T^*Q$): 이는 코랭크(corank) 2인 프서임플렉틱 구조이다.
     • $\Omega_h = h^*\omega_Q$ (on $V^*\Pi$): 이는 코랭크 1인 프서임플렉틱 구조이다.
   • 역학은 $T^*Q$ 상의 벡터장 $X^{\omega_Q}_{F_h}$와 $V^*\Pi$ 상의 $R_h$에 의해 인코딩되며, 이들은 $\mu$-사영 가능하다($\mu$-projectable).

3. 대칭 및 모멘텀 맵:

   • 저자들은 1-형식 $\eta = \Pi^*(dt)$가 불변($\phi_g^*\eta = \eta$)인 리 군 작용 $\phi$를 가정한다. 이는 $\Pi \circ \phi_g = \Pi + m(g)$ (여기서 $m$은 곱셈 함수)를 의미하며, 미분적으로는 리 대수 1-코사이클 $c_\phi: \mathfrak{g} \to \mathbb{R}$의 존재를 의미한다.
   • 이 조건 하에서, 코접 접번들 작용(cotangent lift action)은 $T^*Q$ 상에서, 그리고 유도된 작용은 $V^*\Pi$ 상에서 프서임플렉틱하다.
   • 새로운 모멘텀 맵들이 구성된다:
     • $T^*Q$ 상에서: $J(\alpha_q) = J_c(\alpha_q) - F_h(\alpha_q)c_\phi$ (여기서 $J_c$는 정준 모멘텀 맵이다).
     • $V^*\Pi$ 상에서: $J_V$는 사영 $\mu$를 통해 $J$로부터 유도된다 ($J = J_V \circ \mu$).
   • 노터 정리(Noether's theorem)의 한 버전이 증명되어, $J_V^\xi$가 명시적으로 시간에 의존하더라도 시간 의존적 역학 $R_h$의 제1 적분임을 입증한다.

4. 축소 절차:

   • 정규 값 $\nu \in \mathfrak{g}^*$에 대하여, 저자들은 확장 공간 $(T^*Q, \omega_h)$와 제한 공간 $(V^*\Pi, \Omega_h)$ 모두에서 축소를 수행한다.
   • 저자들은 축소된 공간 $(T^*Q)_\nu = J^{-1}(\nu)/G_\nu$와 $(V^*\Pi)_\nu = J_V^{-1}(\nu)/G_\nu$가 각각 프서임플렉틱 구조 $\omega_h^\nu$ (코랭크 2)와 $\Omega_h^\nu$ (코랭크 1)를 상속받음을 증명한다.
   • 결정적으로, 주 $\mathbb{R}$-번들 구조가 보존된다: 축소된 사상 $\mu_\nu: (T^*Q)_\nu \to (V^*\Pi)_\nu$는 주 $\mathbb{R}$-번들이며, 축소된 역학과 벡터장은 이 구조와 호환성을 유지한다.

주요 기여 및 결과

• 대칭 조건의 일반화: 본 논문은 시간 파이브레이션을 보존해야 한다는 요구 조건을 완화함으로써 이전의 축소 이론들을 일반화한다. 이는 1-형식 $\Pi^*(dt)$의 불변성만을 요구하며, 따라서 시간 이동 대칭을 수용할 수 있게 한다.
• 수정된 모멘텀 맵: 모멘텀 맵 $J$의 구성은 해밀턴 함수 $F_h$와 리 대수 코사이클 $c_\phi$를 포함하는 보정 항을 통합한다. 이 수정은 시간 의존적 환경에서 축소가 작동하도록 하는 데 필수적이다.
• 번들 구조의 보존: 축소 과정은 축소된 확장 위상 공간과 축소된 제한 위상 공간을 연결하는 축소된 주 $\mathbb{R}$-번들을 성공적으로 생성하며, 두 기술 수준 사이의 기하학적 관계를 보존한다.
• 명시적 예시: 이론은 다음 두 가지 예시를 통해 설명된다:
  1. 일정한 속도로 이동하는 프레임에서 관찰되는 $N$차원 조화 진동자.
  2. 일정한 각속도를 가진 프레임에서 관찰되는 시간 의존적 엘로이의 비니(Elroy's Beanie, 질량 중심이 힌지로 연결된 두 강체).
     두 경우 모두 저자들은 축소된 공간, 프서임플렉틱 형식, 그리고 역학을 명시적으로 계산한다.

의의 및 주장
저자들은 본 연구가 시간 변수를 보존하지 않는 대칭을 수용함으로써 기존의 알베르트(Albert) 축소[2] 및 이전의 확장 연구[8]의 한계를 극복했다고 주장한다. 이를 통해 이전에 축소 프레임워크 내에서 접근할 수 없었던, 명시적으로 시간에 의존하는 제1 적분들을 식별할 수 있게 되었다.

본 논문은 코랭크 1 및 2인 프서임플렉틱 구조를 갖는 코접 접번들의 축소를 통합하는 축소 절차를 강조한다. 저자들은 축소된 구조가 기대되는 코랭크(2 및 1)를 유지하도록 하기 위해서는 해밀턴 벡터장 $X^{\omega_Q}_{F_h}$의 상대적 평형(relative equilibria)을 제외해야 한다고 언급한다. 이러한 상대적 평형의 분석과 안정성 연구는 향후 과제로 식별되었다.

또한, 저자들은 현재의 프서임플렉틱 주 $\mathbb{R}$-번들에 기반한 프레임워크가 심플렉틱 주 $\mathbb{R}$-번들로 확장되어, [8]의 결과를 비불변 파이브레이션(non-invariant fibrations)으로 더 일반화할 수 있음을 시사하며, 이를 후속 연구에서 수행할 계획임을 밝히고 있다.