Projective limits in Euclidean quantum field theory, II: Abelian gauge theory

기술 요약: 유클리드 양자 장론에서의 사영 극한, II: 아벨형 게이지 이론

문제 정의
본 논문은 임의의 시공간 차원 $d$에서 아벨형 다면체 게이지 이론의 연속체 및 열역학적(무한 부피) 극한을 구축하는 문제를 다룬다. 구체적으로, 구성 공간의 사영 극한 구조와 일치하는 1-코체인(1-cochain)의 게이지 동치류 공간 상의 확률 측도를 정의하고자 한다. 핵심적인 과제로 식별된 것은, 특히 $d > 2$인 차원에서 격자 게이지 이론의 표준적인 구성 방식들이 격자 평행 이동에 대해 불변인 측도를 생성하지 못하거나, 모든 결합 매개변수에 대해 질량이 없는(massless) 거동을 보이지 못하는 경우가 많다는 점이다. 예를 들어, 4차원 아벨형 격자 게이지 이론의 표준적인 열역학적 극한은 상전이를 일으키며, 작은 결합 상수 범위에서만 질량이 없는 것으로 알려져 있다.

방법론
저자는 [24]에서 시작된 이전 연구를 바탕으로, 사영 시스템으로서의 구성 공간과 확률 측도의 프레임워크를 활용한다. 방법론은 두 가지 별개의 구성으로 나뉜다.

1. 재규격화된 내적을 통한 사영 시스템:

   • 논문은 격자 게이지 이론의 빌라인(Villain) 작용을 리 군(Lie group) 상의 2-코체인에 대한 열 커널(heat kernel)과 코바운더리 연산자(coboundary operator)가 작용하는 것의 합성으로 해석하며 시작한다.
   • 아벨형 이론의 경우, 코바운더리 연산자의 상(image)은 닫힌 리 부분군이다. 저자는 코바운더리를 이 상의 부분군으로 제한된 열 커널과 합성함으로써 빌라인 작용을 수정할 것을 제안한다.
   • 유한 가약 다면체 복합체(finite contractible polyhedral complexes)의 수열을 고려한다. 연관된 측도들이 사영 시스템을 형성하도록 하기 위해, 저자는 리 대수 값(Lie algebra-valued) 2-코체인 상의 "재규격화된" 내적을 구축한다. 이러한 내적은 복합체 간의 제한 사상(restriction maps)을 코-아이소메트리(co-isometry)로 변환하도록 귀납적으로 정의된다.
   • 이 구성은 1-코체인의 게이지 동치류 공간 상의 사영 시스템의 측도를 생성하며, 이를 통해 콜모고로프 확장 정리(또는 위상적 군의 상응물)를 통해 극한 측도를 정의할 수 있게 한다.

2. 사영 극한 상의 무한 차원 열 커널 측도:

   • 첫 번째 구성이 $d > 2$에서 평행 이동 불변성을 결여하는 문제를 해결하기 위해, 세 쌍 $(G, H, J)$의 범주를 사용하는 두 번째 접근법이 도입된다. 여기서 $G$는 컴팩트 아벨 군, $H$는 힐베르트 공간, $J$는 $G$의 쌍대 군을 $H$의 쌍대로 매핑하는 사상이다.
   • 저자는 완전한(exact) 1-코체인의 사영 극한 공간 상에 "극한 열 커널 측도"를 직접 정의한다. 이는 힐베르트 공간과 컴팩트 군의 범주 내에서 사영 시스템을 구축하고, 극한 공간의 쌍대 공간 상의 가우시안 유사 함수에 대한 푸리에 변환을 통해 측도를 정의하는 과정을 포함한다.
   • 최종적인 게이지 동치류 상의 측도는 극한 코바운더리 연산자의 역함수 하에서 이 무한 차원 열 커널 측도를 푸시포워드(pushforward) 함으로써 얻어진다.

주요 기여 및 결과

• 정리 4.1 (사영 시스템 구축): 본 논문은 가산 개의 유한 가약 다면체 복합체 수열에 대하여, 연관된 수정된 빌라인 작용 측도들이 사영 시스템을 형성하도록 하는 재규격화된 내적의 귀납적 구성을 확립한다. 결과적으로, 게이지 동치류 공간 상의 사영 극한 측도가 존재한다.

  • 특수 사례: $d=2$인 경우, 자연스러운 유클리드 내적만으로 충분하며, 그 결과는 [21]-[23]의 기존 연구 결과와 일치한다.
  • 한계: $d > 2$인 무한 부피 극한에 적용될 때, 무한 격자 $\mathbb{Z}^d$ 상의 결과 측도는 격자 평행 이동에 대해 불변이 아니다.

• 정리 5.7 (질량 없음과 평행 이동 불변성): 두 번째 구성은 무한 격자 $\mathbb{Z}^d$ 상에서 다음을 만족하는 측도를 생성한다:

  • 격자 평행 이동 불변성: $d > 2$인 첫 번째 구성과 달리, 이 측도는 격자의 대칭성을 존중한다.
  • 임의의 결합 매개변수에 대한 질량 없음: 본 논문은 이와 관련된 장(field)이 임의의 결합 매개변수 $\beta > 0$ 및 모든 차원 $d > 2$에 대해 질량이 없음을 증명한다.
  • 비교: 이는 4차원 아벨형 격자 게이지 이론의 표준적인 열역학적 극한이 상전이를 보이며 특정 결합 범위에서만 질량이 없다는 결과([13] 및 [5]에서 증명됨)와 대조된다.

• 연속체 극한 구축 (섹션 5.4): 본 논문은 큐브들의 트리앙귤레이션(triangulation)의 방향 집합을 사용하여 두 번째 구성을 연속체 극한으로 확장한다. 저자는 결과적인 측도가 유클리드 군 $E(d)$에 대해 불변임을 입증한다.

의의 및 주장
본 논문은 아벨형 게이지 이론의 극한에 대한 두 가지 엄밀한 구성을 제공한다고 주장한다. 주요 의의는 두 번째 구성(정리 5.7)에 있으며, 이는 무한 큐빅 격자 상의 아벨형 게이지 이론 모델을 생성하면서, 결합 강도에 관계없이 평행 이동 불변성과 질량 없음(masslessness)을 동시에 갖도록 한다. 이는 질량 없음이 결합 조건에 따라 달라지는 표준적인 결과들과 대조된다.

저자는 첫 번째 구성(정리 4.1)이 $d=2$인 경우 알려진 결과를 회복하고 $d > 2$에 대한 일반적인 프레임워크를 제공하지만, 고차원에서는 평행 이동 불변성을 유지하지 못한다는 점을 언급한다. 섹션 5에서 제시된 대안적 구성은 무한 차원 열 커널 측도를 통해 사영 극한 구성 공간 상에 측도를 직접 정의함으로써 이러한 결함을 해결한다. 본 논문은 비아벨(non-Abelian) 사례를 해결하려 하는 것이 아니라, 비아벨 코바운더리 연산자 또한 유사하게 정의될 수 있음을 나타내어 후속 연구를 위한 경로를 제시한다.