[논문 리뷰] Energy Identity for Stationary Yang Mills

Aaron Naber, Daniele Valtorta|arXiv (Cornell University)|2016. 10. 10.

Geometric Analysis and Curvature Flows참고 문헌 2인용 수 3

한 줄 요약

이 논문은 리만다이니안 다양체 위의 정적 양-밀스 접속에서 약한 수렴의 경우 발생하는 결함 측도 $\nu = e(x)\,d\lambda^{n-4}$에 대한 에너지 항등식을 증명함으로써, 이 측도가 양-밀스 수열의 붕괴에서 발생하는 버블—$S^4$ 위의 양-밀스 접속—의 에너지 합과 일치함을 보여준다. 핵심 기여는 사전 가정 없이 에너지 양자화를 보장하는 효과적인 $L^1$-경계를 제공하는 곡률의 헤시안에 대한 것으로, 이는 균일한 추정을 갖춘 정량적 버블 트리 분해를 가능하게 한다.

ABSTRACT

Given a principal bundle $P o M$ over a Riemannian manifold with compact structure group $G$, let us consider a stationary Yang-Mills connection $A$ with energy $\int_M |F_A|^2\le Λ$. If we consider a sequence of such connections $A_i$, then it is understood that up to subsequence we can converge $A_i o A$ to a singular limit connection such that the energy measures converge $|F_{A_i}|^2 dv_g o |F_A|^2dv_g +ν$, where $ν=e(x)dλ^{n-4}$ is the $n-4$ rectifiable defect measure. Our main result is to show, without additional assumptions, that for $n-4$ a.e. point the energy density $e(x)$ may be computed explicitly as the sum of the bubble energies arising from blow ups at $x$. Each of these bubbles may be realized as a Yang Mills connection over $S^4$ itself. Our second main theorem is to show this hessian bound holds automatically. Precisely, given a connection $A$ as above we have the apriori estimate $\int_M | abla^2 F_A| < C(Λ,\dim G,M)$ for the curvature. It is important to note this result is proved in tandem with the energy quantization, and not before it. Indeed, we will in fact prove an effective version of the energy identity, and it is this effective version which will lead to both the $L^1$ hessian bound and the classical energy quantization results. In the course of the proof we will provide a quantitative version of the bubble tree decomposition which hold in all dimensions with effective estimates for a fixed stationary connections. To produce to strongest estimates in the paper we introduce an $ε$-gauge condition, which generalizes the usual Coulomb gauge and which will exist, with effective control, even over singular regions. On these $ε$-gauges we will provide a new superconvexity estimate which will be a key tool in analyzing higher dimensional annular regions.

연구 동기 및 목표

• 약한 수렴에서의 양-밀스 접속 수열에 대해 발생하는 결함 측도 $\nu = e(x)\,d\lambda^{n-4}$의 구조를 규명하는 것.
• 추가적인 곡률 유계 조건 없이도 $e(x)$가 $x$에서 형성된 버블의 에너지 합과 일치하는 에너지 양자화를 확립하는 것.
• 정적 양-밀스 접속에 대해 $\nabla^2 F_A$의 $L^1$-경계를 곡률 에너지에 대해 균일하게 확립하는 것.
• 고정된 정적 접속에 대해 균일한 추정을 갖춘 정량적 버블 트리 분해를 개발하는 것.
• $\epsilon$-게이지 조건을 도입하고 활용하여 특이 영역을 제어하고 초구형성 추정을 가능하게 하는 것.

제안 방법

• 쿠론 게이지의 일반화로서 특이 영역을 효과적으로 제어할 수 있는 $\epsilon$-게이지 조건을 도입하는 것.
• 고차원 분석에 핵심적인, 링형 영역에서 곡률의 $L^1$ 기울기의 초구형성 추정을 개발하는 것.
• $\delta$-약한 평탄성, $\delta$-버블, $\delta$-링형 영역을 사용한 반복 커버링을 통한 정량적 버블 트리 분해를 구성하는 것.
• 링형 영역의 아흐르포르스 정규성과 변환 추정을 활용하여 척도 간 곡률 성장률을 제어하는 것.
• $\epsilon$-게이지 추정과 버블 트리 분해를 조합하여 효과적인 에너지 항등식을 증명하는 것.
• 효과적인 에너지 항등식을 바탕으로 $\int_M |\nabla^2 F_A| \leq C(\Lambda, \dim G, M)$ 형태의 $L^1$ 헤시안 경계를 유도하는 것—이를 사전 가정으로 삼지 않고.

실험 결과

연구 질문

• RQ1 결함 측도 $\nu$의 에너지 밀도 $e(x)$는 $x$에서 형성된 버블의 에너지 합으로 명시적으로 계산될 수 있는가?
• RQ2 유계 에너지를 갖는 정적 양-밀스 접속에 대해 $\nabla^2 F_A$의 $L^1$-경계는 자동으로 성립하는가?
• RQ3 모든 차원에서 균일한 추정을 갖는 정량적 버블 트리 분해를 구성할 수 있는가?
• RQ4 $\epsilon$-게이지 조건을 특이 집합 전체에 정의하고 제어하여 고차원 곡률 추정을 가능하게 할 수 있는가?
• RQ5 일반적인 $L^1$ 헤시안 경계를 가정하지 않고도 양-밀스 접속의 고전적 에너지 양자화 결과가 성립하는가?

주요 결과

• 거의 모든 $n-4$-직선적 점 $x$에서 에너지 밀도 $e(x)$는 $x$에서 양-밀스 접속 수열의 붕괴를 통해 형성된 모든 버블의 에너지 합과 일치한다.
• 에너지가 $\int_M |F_A|^2 \leq \Lambda$를 만족하는 정적 양-밀스 접속에 대해 $\nabla^2 F_A$의 $L^1$-경계는 자동으로 성립하며, $\int_M |\nabla^2 F_A| \leq C(\Lambda, \dim G, M)$를 만족한다.
• 효과적인 추정을 갖는 정량적 버블 트리 분해가 구성되었으며, $\sum_c r_{c,i}^{n-4} \leq \epsilon^i$ 및 $\sum_a r_{a,i}^{n-4} + \sum_b r_{b,i}^{n-4} + \sum_d r_{d,i}^{n-4} \leq C(n,k,\Lambda,\delta)\sum_{j=0}^i \epsilon^j$를 만족한다.
• $\epsilon$-게이지 조건은 효과적으로 존재하며 특이 영역을 제어할 수 있고, 링형 영역에서 곡률의 $L^1$ 기울기의 새로운 초구형성 추정을 가능하게 한다.
• 에너지 항등식은 효과적으로 증명되었으며, 이는 결함 측도 $\nu$가 버블 에너지에 의해 양자화되고, 이로부터 $L^1$ 헤시안 경계가 유도됨을 의미한다.
• $L^1$ 헤시안 경계는 효과적인 버블 트리와 $\epsilon$-게이지 프레임워크를 통해 에너지 항등식과 동시에 도출되었으며, 사전 가정으로서가 아니라 그 결과로 유도됨.