[논문 리뷰] Large deviations of multichordal SLE$_{0+}$, real rational functions, and zeta-regularized determinants of Laplacians

Eveliina Peltola, Yilin Wang|arXiv (Cornell University)|2020. 06. 15.

Stochastic processes and statistical mechanics참고 문헌 78인용 수 6

한 줄 요약

이 논문은 하우스도르프 거리에 대해 다중현수선 SLE$_{0+}$ 곡선에 대해 강력한 대칭편차원리(LDP)를 수립하며, 루퍼 잠재력(Löwner potential)을 도입하여 리만-제타 정규화된 라플라스 연산자 행렬식과 연관지운다. 이 잠재력의 최소화자는 실수 유리함수의 위치임을 증명함으로써 쇼파르 추측을 확인하고 양자장론의 반고전적 극한이 SLE 기하학과 연결됨을 보여준다.

ABSTRACT

We prove a strong large deviation principle (LDP) for multiple chordal SLE$_{0+}$ curves with respect to the Hausdorff metric. In the single-chord case, this result strengthens an earlier partial result by the second author. We also introduce a Loewner potential, which in the smooth case has a simple expression in terms of zeta-regularized determinants of Laplacians. This potential differs from the LDP rate function by an additive constant depending only on the boundary data, that satisfies PDEs arising as a semiclassical limit of the Belavin-Polyakov-Zamolodchikov equations of level two in conformal field theory with central charge $c o -\infty$. Furthermore, we show that every multichord minimizing the potential in the upper half-plane for given boundary data is the real locus of a rational function and is unique, thus coinciding with the $κ o 0+$ limit of the multiple SLE$_κ$. As a by-product, we provide an analytic proof of the Shapiro conjecture in real enumerative geometry, first proved by Eremenko and Gabrielov: if all critical points of a rational function are real, then the function is real up to post-composition by a Möbius transformation.

연구 동기 및 목표

• 하우스도르프 거리에 대해 다중현수선 SLE$_{0+}$에 대한 강력한 대칭편차원리(LDP)를 수립하기.
• 경계에 의존하는 상수로 다를 수 있는 루퍼 에너지와 다른 루퍼 잠재력을 정의하고 분석하기.
• 부드러운 경우에 루퍼 잠재력을 제타 정규화된 라플라스 연산자 행렬식과 연결하기.
• 상반평면 $\mathbb{H}$에서 잠재력의 최소화자가 주어진 경계 자료에 의해 유일하게 결정되는 실수 유리함수의 실수 위치임을 보여주기.
• 실수 추상기하학에서의 쇼파르 추측을 증명하기: 만약 유리함수의 모든 임계점이 실수이면, 모비우스 변환에 의해 실수 함수가 됨을 보여주기.

제안 방법

• 루프 측도와 브라운 운동 루프 측도 정규화를 통해 다중현수선 루퍼 잠재력 도입하기.
• LDP에서의 비용 함수로 루퍼 에너지를 정의하며, 잠재력은 경계에 의존하는 상수로 다를 수 있음.
• 스펙트럴 기하학과 열핵 점근적 해석을 이용해 잠재력을 제타 정규화된 라플라스 연산자 행렬식의 형태로 표현하기.
• 중심적 전하 $c \to -\infty$ 근처에서 CFT의 BPZ 방정식의 반고전적 극한을 유도하여, 잠재력이 이러한 PDE를 만족함을 보여주기.
• 루퍼 미분방정식을 사용하여 상반평면 $\mathbb{H}$에서 최소화자가 실수 유리함수의 실수 위치임을 특성화하기.
• 변분법과 열핵 전개를 적용하여 제타 함수의 도함수를 곡률과 경계 항으로 연결하기.

실험 결과

연구 질문

• RQ1 하우스도르프 거리 하에서 다중현수선 SLE$_{0+}$의 대칭편차 비용 함수는 무엇인가요?
• RQ2 부드러운 경우에 루퍼 잠재력은 제타 정규화된 라플라스 연산자 행렬식과 어떻게 관련이 있나요?
• RQ3 양자장론의 반고전적 극한에서 최소 잠재력이 만족하는 PDE는 무엇인가요?
• RQ4 상반평면 $\mathbb{H}$에서 루퍼 잠재력의 모든 최소화자는 실수 유리함수의 실수 위치입니까?
• RQ5 유리함수의 모든 임계점이 실수이면, 그 함수가 모비우스 변환에 의해 실수 함수가 되는가요?

주요 결과

• 다중현수선 SLE$_{0+}$에 대해 루퍼 에너지를 비용 함수로 하는 강력한 대칭편차원리가 수립됨.
• 경계에 의존하는 상수로 다를 수 있는 루퍼 잠재력이 제타 정규화된 라플라스 연산자 행렬식과 동일함을 보여줌.
• 최소 잠재력은 $c \to -\infty$ 근처에서 BPZ 방정식의 반고전적 극한으로 유도되는 반공명 상태 PDE 시스템을 만족함.
• 주어진 경계 자료를 가진 상반평면 $\mathbb{H}$에서의 잠재력 최소화자는 실수 유리함수의 실수 위치이며, 유일함.
• 쇼파르 추측이 해석적으로 증명됨: 만약 유리함수의 모든 임계점이 실수이면, 그 함수는 모비우스 변환에 의해 실수 함수가 됨.
• 열핵 점근적 해석을 통해 루퍼 잠재력의 변동을 계산하였으며, 곡률, 경계 지오데식 곡률, 그리고 원뿔 특이점을 포함한 공식을 도출함.