무한 차원 프루베니우스 다양체와 그 부분 다양체

초록

본 논문은 단위 원 내부·외부에서 정의되는 짝수 멀티플리케이션 함수쌍 위에 무한 차원의 프루베니우스 다양체 구조를 구축한다. 이 구조에서 유도된 주 계층은 분산 없는 두 성분 BKP 계층의 확장 형태이며, 바이-해밀토니안 재귀 관계를 통해 명시적으로 기술된다. 또한, 이러한 무한 차원 다양체는 B형·D형 코시터 군의 궤도 공간에 정의된 유한 차원 프루베니우스 부분 다양체들을 포함함을 증명한다.

상세 분석

논문은 먼저 복소 평면에서 단위 원을 경계로 하는 두 개의 영역(내부와 외부)에서 정의되는 짝수 함수 a(z), b(z)를 고려한다. 이 함수들은 각각 원 안·밖에서 정칙이며, Laurent 전개에서 짝수 차수만을 갖는다. 저자는 이러한 함수쌍을 무한 차원의 좌표계 (t₁, t₃, …; s₁, s₃, …) 로 매핑하고, 그 위에 평탄하고 비퇴화된 메트릭 η와 결합 연산 * 를 정의한다. η는 두 함수의 변분을 적분 형태로 결합한 bilinear form이며, * 연산은 구조 상수 Cᵢⱼᵏ를 통해 정의된 곱셈 구조로, 이는 곧 프루베니우스 다양체의 핵심인 결합법칙과 대칭성을 만족한다. 특히, 저자는 이 곱셈이 전역적으로 정의될 수 있도록 함수 공간을 적절히 제한하고, 그 결과 무한 차원 프루베니우스 다양체 (M, η, *) 를 얻는다.

다음 단계에서는 바이-해밀토니안 구조를 도입한다. 두 개의 서로 호환되는 포아송 구조 P₀, P₁ 를 정의하고, 이들 사이의 리프시츠 연산자를 이용해 재귀 관계 R = P₁·P₀⁻¹ 를 구축한다. 이 연산자는 무한 차원 좌표에 대한 흐름을 생성하며, 그 흐름들은 전통적인 두 성분 BKP 계층의 분산 없는 형태와 일치한다. 그러나 여기서는 추가적인 자유도(예: 짝수 차수의 높은 모드)가 포함되어 있어, 기존 BKP 계층을 자연스럽게 확장한다는 점이 핵심이다. 저자는 구체적인 흐름식과 보존량을 제시하고, 이들이 바이-해밀토니안 재귀에 의해 어떻게 생성되는지를 상세히 증명한다.

마지막으로, 저자는 이 무한 차원 구조가 유한 차원의 프루베니우스 부분 다양체를 포함한다는 사실을 보여준다. B형·D형 코시터 군의 반사군 작용에 의해 형성되는 궤도 공간은 잘 알려진 유한 차원 프루베니우스 다양체이며, 이 공간은 위에서 정의한 무한 차원 다양체의 특정 제한(예: 고차 모드들을 0으로 고정)으로 얻어진다. 이러한 제한은 메트릭과 곱셈 구조를 보존하므로, 제한된 부분은 자체적으로 프루베니우스 구조를 갖는다. 따라서 무한 차원 프루베니우스 다양체는 기존의 Coxeter 군 관련 유한 차원 사례들을 포괄하는 보다 일반적인 프레임워크를 제공한다는 결론에 이른다.