[논문 리뷰] Torsion type invariants of singularities

Huijun Fan, Hao Fang|arXiv (Cornell University)|2016. 03. 21.

Geometry and complex manifolds참고 문헌 22인용 수 3

한 줄 요약

이 논문은 복소수 $\mathbb{C}^n$ 위의 비퇴화적인 준동차 특이점에 관련된 슈뢰딩거 연산자에 대해 열핵 전개의 존재성을 확립하며, 밀놀 수를 가우시안 적분 형태로 표현하는 국소 지수 공식을 증명한다. 열핵의 흔적을 통해 유도된 새로운 토판 유형의 스펙트럼 불변량을 도입하여, LG/CY 대응의 맥락에서 특이점 불변량에 대한 새로운 해석적 접근을 제시한다.

ABSTRACT

Inspired by the LG/CY correspondence, we study the local index theory of the Schrödinger operator associated to a singularity defined on ${\mathbb C}^n$ by a quasi-homogeneous polynomial $f$. Under some mild assumption on $f$, we show that the small time heat kernel expansion of the corresponding Schrödinger operator exists and is a series of fractional powers of time $t$. Then we prove a local index formula which expresses the Milnor number of $f$ by a Gaussian type integral. Furthermore, the heat kernel expansion provides spectral invariants of $f$. Especially, we define torsion type invariants associated to a singularity. These spectral invariants provide a new direction to study the singularity.

연구 동기 및 목표

• 준동차 다항식으로 정의된 특이점에서 $\bar{\partial}_f$-라플라스 연산자에 대한 국소 지수 이론을 개발한다.
• 비유계 잠재력이 있는 비유계 행렬형 슈뢰딩거 연산자에 대해 시간의 분수 거듭제곱에 대한 작고 작은 시간 열핵 전개의 존재성을 확립한다.
• BCOV 토판을 계기로 삼아 특이점에 대한 토판 유형의 스펙트럼 불변량을 정의하고 연구한다.
• 열핵 흔적 점근적 분석을 통해 밀놀 수를 가우시안 적분 형태로 표현하는 국소 지수 공식을 증명한다.
• 특히 $A_r$ 경우에서 특이점의 직접 합에 대한 이러한 불변량의 행동을 탐구한다.

제안 방법

• 준동차 다항식 $f$에 대한 온건한 흐름성 조건과 가중치 조건 하에서 열핵 $e^{-t\Delta_f}$가 추적 가능임을 증명한다.
• 반복 오차 항 $R_k$ 를 사용하여 연산자 $L = \partial_t + \Delta_f$ 에 대해 매개체수 $P_k$ 를 구성하고, 시리즈 $P = \sum_{i=0}^\infty (-1)^i P^i_k$ 의 수렴성을 확보한다.
• 작은 시간 $t \to 0^+$ 에서 열핵 전개 $\operatorname{tr}(e^{-t\Delta_f}) \sim \sum_{j=0}^\infty a_j t^{j/2}$ 를 확립하며, 계수는 국소 기하학과 잠재력의 성장에 따라 달라진다.
• 열핵 흔적의 가우시안 적분과 $L^2$ $\bar{\partial}_f$-코homology 오일러 특성의 관계를 통해 국소 지수 공식을 유도한다.
• 스펙트럼 토판 $T^2(f)$ 는 열핵의 제타-정규화된 흔적을 통해 정의되며, 스펙트럼 $\Delta_f^0$ 의 고유값 $\lambda_i$ 에 대해 $\Theta^2_f(s) = \sum_{i=1}^\infty \lambda_i^{-s}$ 를 사용한다.
• 특이점의 직접 합에 대한 $T^2(f)$ 의 행동을 분석하여, 밀놀 수와 교대 부호를 포함한 곱의 이상 공식을 증명한다.

실험 결과

연구 질문

• RQ1 비유계 잠재력이 있는 비유계 행렬형 슈뢰딩거 연산자에 대해, $\mathbb{C}^n$ 상의 $\bar{\partial}_f$-라플라스 연산자에 대한 열핵이 $f$ 에 대한 온건한 조건 하에서 시간의 분수 거듭제곱으로 전개될 수 있는가?
• RQ2 비퇴화적인 준동차 특이점의 밀놀 수가 스펙트럼 자료를 통해 가우시안 유형의 적분으로 표현될 수 있는가?
• RQ3 스펙트럼에서 유도된 토판 유형의 불변량의 성질은 무엇이며, 특이점의 직접 합에 대해 어떻게 행동하는가?
• RQ4 $A_r$-형 특이점에 대해 스펙트럼 제타 함수 $\Theta^2_f(s)$ 는 어떻게 행동하며, 그로 인해 유도되는 해석적 토판은 무엇인가?
• RQ5 스펙트럼 토판 불변량 $T^2(f_1 \oplus f_2)$ 에 대해, 밀놀 수와 $T^2(f_1), T^2(f_2)$ 를 포함한 곱의 이상 공식이 존재하는가?

주요 결과

• 조건 $q_M - q_m < \frac{1}{3}$ 하에서, $\partial_t + \Delta_f$ 의 열핵 $P(\mathbf{z}, \mathbf{w}, t)$ 는 시간의 분수 거듭제곱의 급수로 수렴한다.
• 밀놀 수 $\mu(f)$ 는 $t \to 0^+$ 에서 $\int_{\mathbb{C}^n} \operatorname{tr}(P(\mathbf{z}, \mathbf{z}, t)) \, d\mathbf{z}$ 의 가우시안 적분으로 주어지며, 이는 국소 지수 공식을 제공한다.
• 스펙트럼 토판 $T^2(f)$ 는 열핵의 제타-정규화된 흔적을 통해 정의되며, $A_r$ 특이점 $f = \frac{\tau z^2}{2}$ 에 대해 $T^2(f) = (2|\tau|)^{-1/12} e^{-\zeta'(-1)}$ 로 평가된다.
• 토판 불변량은 곱의 이상 공식 $\log T^2(f_1 \oplus f_2) = (-1)^{n_1}\mu(f_1)\log T^2(f_2) + (-1)^{n_2}\mu(f_2)\log T^2(f_1)$ 을 만족한다.
• 열핵 전개는 $k > \frac{3l_0 + n + 1 + 2\sum q_i}{\delta}$ 와 $\delta = \frac{1 - 3(q_M - q_m)}{3(1 - q_M)}$ 를 만족할 때 수렴성과 특정 도함수까지의 미분 가능성 보장한다.
• 1차원 조화 진동자 경우 ($f = \frac{\tau z^2}{2}$) 에서 스펙트럼 제타 함수는 $\Theta^2_f(s) = (2|\tau|)^{-s} \zeta(s-1)$ 로 주어지며, 여기서 $\zeta(s)$ 는 리만 제타 함수이다.