공변 라플라시안 프리팩터라이제이션 대수와 중앙 전하, 힐베르트 포크 공간

초록

이 논문은 차원 $d\ge 2$의 정향 리만 다양체와 그 위의 공변 열린 삽입을 대상으로, 공변 라플라시안에 대한 프리팩터라이제이션 대수를 구축한다. 유클리드 영역 $U\subset\mathbb{R}^d$에서는 $F_{\mathrm{CL}}(U)$가 조화함수의 연속 이중공간 $H’(U)$의 대칭 알gebra $\mathrm{Sym},H’(U)$와 동일시되며, $d\ge3$에서는 모든 공변 변환에 대해 자연스러운 동형을 갖는다. $d=2$에서는 자연성의 실패가 명시적인 조화 코사이클, 즉 중앙 전하에 의해 제어され, 원판 $\mathbb D$에 대해서는 이 대수가 공변 원판 삽입의 작용을 받는 연산자 구조를 가지며, 힐베르트 포크 공간에 조밀하게 삽입된다. 2차원 경우는 코시 차원 하나의 부분공간으로 제한할 때만 동일한 삽입이 가능함을 보인다.

상세 분석

논문은 먼저 $\mathrm{Mfld}{d,\mathrm{emb}}^{\mathrm{CO}}$라는 대칭 모노이달 범주를 정의한다. 객체는 정향 리만 $d$‑다양체이며, 사상은 공변(open) 삽입이다. 이 범주 위에 공변 라플라시안 $\Delta_g$의 Green 함수 $G_U$를 이용해 프리팩터라이제이션 대수 $F{\mathrm{CL}}$를 구축한다. 구체적으로, 각 영역 $U$에 대해 조화함수 공간 $\mathcal{H}(U)={h\in C^\infty(U)\mid \Delta_g h=0}$를 취하고, 그 연속 이중공간 $H’(U)=\mathcal{H}(U)^{\prime}$를 고려한다. Green 함수는 $G_U:\mathcal{H}(U)^{\prime}\to C^\infty(U)$를 제공하고, 이를 통해 $F_{\mathrm{CL}}(U)=\mathrm{Sym},H’(U)$라는 대칭 알제브라를 정의한다.

$d\ge3$에서는 공변 변환 $f:U\hookrightarrow V$가 $G_U$와 $G_V$ 사이에 정확히 교환한다. 즉, $f^\ast G_V=G_U\circ f^\ast$가 성립해, $F_{\mathrm{CL}}$가 $\mathrm{Mfld}_{d,\mathrm{emb}}^{\mathrm{CO}}$의 대칭 모노이달 함자임을 보인다. 반면 $d=2$에서는 로그 특이성이 나타나며, $f^\ast G_V-G_U\circ f^\ast$가 비제로 코사이클 $\omega_f\in \Lambda^1(\mathrm{Conf}(U,V))\otimes\mathbb{R}$를 만든다. 이 코사이클은 정확히 중앙 전하 $c$와 동형이며, $c$는 조화함수의 평균값을 보존하지 못하는 변환에 의해 발생한다.

다음으로 저자는 원판 $\mathbb D$에 대한 구조를 상세히 분석한다. $\mathbb D$의 경우, 공변 원판 삽입들의 작용은 원판 모듈러 군 $\mathrm{Conf}(\mathbb D)$에 의해 지배되며, $F_{\mathrm{CL}}(\mathbb D)$는 이 작용에 대해 알게브라적 오페라드 모듈을 형성한다. 특히, $H’(\mathbb D)$는 푸리에 모드 ${a_n}_{n\in\mathbb{Z}}$와 동형이며, 대칭 알제브라 $\mathrm{Sym},H’(\mathbb D)$는 이들 모드의 다항식 환으로 해석된다.

히일베르트 포크 공간 $\mathcal{F}= \bigoplus_{n=0}^\infty \mathrm{Sym}^n L^2(S^{d-1})$에 대한 삽입을 위해, 저자는 $H’(\mathbb D)$에 자연적인 내적을 정의하고, 이를 완성시켜 $L^2$-공간을 만든다. 그 결과 $F_{\mathrm{CL}}(\mathbb D)$는 $\mathcal{F}$ 안에 조밀하게 포함되며, 이 포함은 공변 삽입에 대해 연속적인 연산자를 제공한다. 2차원에서는 중앙 전하가 존재하므로, 전체 포크 공간이 아니라 중앙 전하가 사라지는 코시 차원 하나의 부분공간 $\mathcal{F}_0\subset\mathcal{F}$에만 조밀 삽입이 가능함을 보인다. 이는 로그 CFT에서 나타나는 “중심 전하가 사라지는” 현상과 일치한다.

결과적으로, 논문은 프리팩터라이제이션 대수와 전통적인 양자장론의 구조(중앙 전하, 포크 공간)를 공변 라플라시안이라는 순수한 기하학적 연산자를 통해 연결한다. 이는 고차원에서는 완전한 자연성을, 2차원에서는 중앙 전하라는 예외를 명시적으로 제시함으로써, 공변 대수와 로그 CFT 사이의 교량을 제공한다.