비가환 제트 공간에서의 다중벡터 미분법

초록

본 논문은 순환 전치에 대한 불변성을 이용해 비가환 보행 대수와 자유 결합 대수를 섬유로 하는 새로운 비가환 번들을 구성한다. 무한 제트 공간 위에서 변분 미적분학을 전개하고, 이를 바탕으로 Kontsevich의 비가환 심플렉틱 초기하학을 확장한다. Batalin‑Vilkovisky 라플라시안과 Schouten 괄호의 핵심 성질을 증명함으로써, 고전적 변분 포아송 기하가 반드시 그레이드된 교환성을 가정할 필요가 없음을 보여준다.

상세 분석

논문은 먼저 “파생 연산자의 Leibniz 법칙은 인수 내부의 동시곱에 대한 순환 전치에 대해 불변이다”는 원리를 명시적으로 정리한다. 이 불변성은 비가환 환경에서 연산자를 정의할 때, 인수들의 순서를 순환적으로 바꾸어도 결과가 동일함을 의미한다. 이를 기반으로 저자는 텔레시된(tiling) 아핀 다양체 위에 정의된 ‘보행 대수(algebra of walks)’를 전역적인 베이스 공간으로 삼고, 각 점에서 자유 결합 대수 혹은 그 대수에 순환 동치 관계를 부과한 몫을 섬유로 하는 비가환 벡터 번들을 구축한다.

섬유는 자유 비가환 연산자들의 다항식으로 이루어져 있어, 전통적인 스칼라 혹은 교환 대수와는 달리 순서가 중요한 구조를 가진다. 특히 순환 동치 관계를 도입하면, 동일한 원소가 순환 전치에 의해 동일하게 취급되어, 실제 계산에서 불필요한 중복을 제거한다. 이러한 번들은 무한 차원의 제트 공간 J^∞(E) 위에 자연스럽게 승격되며, 여기서 E는 위에서 정의한 비가환 번들을 의미한다.

변분 미적분학은 전통적인 미분 연산자를 비가환 상황에 맞게 일반화함으로써 전개된다. 저자는 변분 미분 연산자를 ‘총 미분(total differential)’과 ‘수직 미분(vertical differential)’으로 분리하고, 각각이 비가환 섬유 구조와 어떻게 상호작용하는지를 상세히 기술한다. 특히, 총 미분은 베이스 방향의 보행 대수와 결합되어, 보행의 조합이 미분 연산에 미치는 영향을 정확히 포착한다.

이러한 기초 위에 Kontsevich가 제시한 비가환 심플렉틱 초기하학(formal noncommutative symplectic supergeometry)을 확장한다. 저자는 비가환 버전의 Batalin‑Vilkovisky (BV) 라플라시안 Δ를 정의하고, Δ가 2차 연산자로서 Δ²=0이라는 핵심 성질을 증명한다. 증명은 순환 불변성에 기반한 ‘그린스 함수’와 ‘정규화된 트레이스’ 개념을 활용하여, 비가환 섬유에서의 적절한 차수 조절을 가능하게 한다.

또한, Schouten 괄호