동차 Pfaffian 형식의 Darboux 분류

초록

본 논문은 가중치 벡터장으로 정의되는 동차 구조를 가진 초다양체 위의 Pfaffian 1‑형식(또는 일반 k‑형식)의 지역 등가성을 연구한다. 동차 차수와 특성 분포 χ(α)=ker α∩ker dα의 차원을 이용해 ‘클래스’를 정의하고, 일정한 차수와 정칙성 가정 하에 동차 Darboux 좌표를 구성함으로써 기존의 Darboux 정리와 접촉·전시 symplectic 형태의 일반화를 제공한다. 결과는 순수히 짝수인 일반 다양체에도 그대로 적용된다.

상세 분석

논문은 먼저 동차 초다양체(Homogeneity supermanifold)의 기본 개념을 정리한다. 여기서 핵심은 짝수 벡터장 ∇가 가중치 w_i를 갖는 좌표 x_i에 대해 ∇=∑w_i x_i∂_{x_i} 형태로 표현될 수 있다는 점이다. 이러한 ∇는 ‘가중치 벡터장(weight vector field)’이라 불리며, 좌표의 동차성을 보장한다. 저자는 ∇가 0이 되는 점에서는 D_m∇가 대각화 가능함을 보이고, 비영점에서는 ∇를 직선화하여 임의의 가중치 집합을 갖는 동차 좌표계를 만들 수 있음을 증명한다(정리 2.4).

다음으로 Pfaffian 형식 α의 ‘클래스’를 기존의 Darboux 용어인 constant class 대신 χ(α)=ker α∩ker dα의 코랭크로 정의한다. 이 정의는 짝·홀 차이를 모두 포함하는 초기하학에서 유효하며, 고전적인 경우와 일치한다. 특히 α가 1‑형식일 때는 class(α)=2s+1이면 접촉형식, class(α)=2s+2이면 전시(symplectic)형식으로 해석된다.

핵심 정리는 ‘동차 Darboux 정리’이다. 저자는 α가 일정한 클래스와 일정한 가중치를 갖는 동차 Pfaffian 형식이라고 가정하고, 특성 분포 χ(α)의 차원이 일정하면(정칙성 가정) χ(α)와 동치인 동차 분포 D를 찾을 수 있다. 그런 다음 Frobenius 정리를 동차 버전으로 적용해 D를 적분하고, 적분된 좌표를 이용해 α를 표준 형태로 변환한다. 결과적으로
\