Higher order Weyl coefficients for the operator curl

기술 요약: 커(Curl) 연산자에 대한 고차 베일(Weyl) 계수

문제 정의
본 논문은 연결된 방향이 있는 폐쇄된 리만 3차원 다양체 $(M, g)$ 상에서 실수 값 1-형식(1-form)에 작용하는 커(curl) 연산자의 스펙트럼 기하학을 다룬다. 라플라스-벨트라미(Laplace–Belt-rami) 또는 디락(Dirac) 연산자와 달리, 커 연산자는 타원형(elliptic)이 아니며 스칼라나 스피너가 아닌 벡터장(1-형식)에 작용하므로 상당한 기술적 난제를 제시한다. 주요 목표는 양의 고윳값과 음의 고윳값을 분리하여 커 연산자의 정밀한 스펙트럼 점근식을 확립하는 것이다. 구체적으로, 저자들은 스펙트럼 파라미터 $\lambda \to +\infty$일 때 고윳값의 점근적 분포를 설명하는 첫 여섯 개의 전역 및 국소 베일 계수를 명시적인 공식으로 계산하는 것을 목표로 한다. 부차적인 목표는 연산자의 스펙트럼 비대칭성을 분석하고 관련 에타(eta) 함수의 정칙성 영역(holomorphy domain)을 결정하는 것이다.

방법론
저자들은 커 연산자의 프로파게이터(propagator)를 명시적으로 구축하는 데 중심을 둔 구성적 미분 미적분 분석(constructive microlocal analysis) 방법을 사용한다. 핵심 전략은 다음과 같은 단계로 구성된다:

1. 프로파게이터 구축: 저자들은 시간 의존적 프로파게이터 $U(t) = e^{-it \text{curl}}$를 정의하고, 이를 양의 성분($U_+$), 음의 성분($U_-$), 그리고 제로 모드 성분($U_0$)으로 분해한다. 커 연산자의 비타원성(non-ellipticity)을 처리하기 위해, 이들은 제곱 적분 가능한 1-형식의 전체 힐베르트 공간에서 작용하는 보조 유니터리 연산자 $V(t) = U_+(t) + U_-(t) + U_0$를 도입한다.
2. 진동 적분(Oscillatory Integrals): 연산자 $V(t)$는 세 개의 진동 적분의 합(두 개의 시간 의존적 푸리에 적분 연산자와 하나의 시간 독립적 의사 미분 연산자)으로, 무한 소멸 연산자($\Psi^{-\infty}$)를 제외하고 구성된다.
3. 수송 방정식(Transport Equations): 이 진동 적분들의 심볼(symbol)은 $(-i\partial_t + \text{curl})V = 0$ 식으로부터 유도된 일련의 수송 방정식들을 해결함으로써 결정된다. 알고리즘은 다음과 같다:
   • 커의 주 심볼(principal symbol)과 그 고윳값($0, \pm \|\xi\|$)을 식별한다.
   • 비영(non-zero) 고윳값들의 해밀토니안 흐름(Hamiltonian flows)과 관련된 위상 함수 $\phi^{(\pm)}$를 구한다.
   • 진폭 심볼 $v^{(\pm)}_{-j}$를 재귀적으로 구하기 위해 대수 방정식 및 상미분 방정식을 푼다.
   • 제로 모드 성분에 대한 과결정(overdetermined) 시스템 문제를 해결하기 위해, 확장된 커 연산자(이는 타원형임)의 성질을 활용하여 구성을 정당화한다.
4. 게이지 불변성(Gauge Invariance): 주 심볼의 고유 공변 벡터(eigencovectors) 선택에 내재된 게이지 자유도를 신중하게 관리하여, 최종적인 베일 계수가 게이지 불변 기하학적 불변량이 되도록 보장한다.
5. 점근 추출: 매끄러운 테스트 함수와의 합성곱을 이용한 몰리파이드 계수 함수(mollified counting functions)를 평가함으로써, $\lambda$의 거듭제곱에 따른 점근 전개의 계수들을 추출한다.

주요 기여 및 결과

• 명시적 베일 계수: 본 논문은 첫 여섯 개의 국소 베일 계수 $c^{\pm}_k(y)$ ($k = 2, 1, 0, -1, -2, -3$)에 대한 명시적인 공식을 제공한다.
  • $c^{\pm}_2(y) = \frac{1}{2\pi^2}$ (부피와 관련된 주 항)
  • $c^{\pm}_1(y) = 0$
  • $c^{\pm}_0(y) = -\frac{1}{12\pi^2} \text{Sc}(y)$ (스칼라 곡률에 비례)
  • $c^{\pm}_{-1}(y) = 0$
  • $c^{\pm}_{-2}(y) = -\frac{1}{80\pi^2} \|\mathring{\text{Ric}}(y)\|^2 + C (\Delta \text{Sc})(y)$, 여기서 $\mathring{\text{Ric}}$은 트레이스 없는 리치 텐서이며 $C$는 보편 상수이다.
  • $c^{\pm}_{-3}(y) = \mp \frac{1}{120\pi^2} E_{\alpha\beta\gamma}(y) \mathring{\text{Ric}}_{\alpha\mu}(y) \nabla_\beta \mathring{\text{Ric}}_{\gamma\mu}(y)$.
• 스펙트럼 비대칭성: 저자들은 스펙트럼 비대칭성(양의 스펙트럼 분포와 음의 스펙트럼 분포의 차이)이 여섯 번째 베일 계수($k=-3$) 단계에서 처음 나타난다는 것을 입증한다. 첫 다섯 개의 계수는 대칭이거나 0이며, 이는 주 항들이 양의 스펙트럼과 음의 스펙트럼을 구분하지 못함을 의미한다.
• 정밀한 점근법: 비초점점(non-focality) 및 비주기적 측지선(non-periodicity of geodesics)에 관한 기하학적 조건 하에서, 계수 함수 점근의 나머지 항(remainder term)은 $O(\lambda^2)$에서 $o(\lambda^2)$로 개선된다.
• 에타 함수의 정칙성: 국소 에타 함수 $\eta(y; s)$의 잔차(residues)를 분석함으로써, 저자들은 커 연산자의 에타 함수가 복소 반평면 $\text{Re } s > -2$에서 정칙(holomorphic)임을 증명한다. 이는 $\text{Re } s > -1/2$에서 정칙성을 시사했던 이전의 추측을 정교화한다.
• 대칭성 성질: 관계식 $c^+_k(y) = (-1)^k c^-_k(y)$에 대한 엄밀한 증명이 제공된다. 이는 기존 문헌에서 엄밀한 증명 없이 민간 전승(folklore)으로 여겨졌던 성질이다.

의의
본 논문은 스펙트럼 비대칭성을 나타내는 가장 낮은 차수의 계수인 여섯 번째 베일 계수를 확립한 최초의 연구라고 주장한다. 이 결과는 저에너지 고윳값에 집중했던 기존 연구를 보완하며, 고에너지 고윳값을 사용하여 스펙트럼 비대칭성을 정량적으로 측정할 수 있게 한다는 점에서 중요하다. 계수의 명시적 공식은 에타 불변량과 에타 함수의 잔차를 계산할 수 있게 하며, 이는 인덱스 이론(index theory) 및 수학 물리학에서 중요한 불변량이다. 또한, 본 연구는 비타원형 연산자의 스펙트럼 기하학의 간극을 메우며, 다른 폼(form)에 작용하는 일계 연산자에 적용될 수 있는 견고한 알고리즘 프레임워크를 제공한다. 또한, 적절한 기하학적 가정 하에서 계수 함수의 오차 항을 정교화함으로써 Bär의 초기 점근 공식의 정밀도를 높인다.