Special Lagrangians with multiple isolated singularities

기술 요약: 다중 고립 특이점을 갖는 특수 라그랑주 다양체

문제 정의
본 논문은 여러 개의 고립된 원뿔형 특이점(conical singularities)을 갖는 $\mathbb{C}^m$ ($m \geq 3$) 내의 연결된 특수 라그랑주 부분다양체(special Lagrangian submanifolds)의 구성을 다룬다. 매끄러운 컴팩트 특수 라그랑주의 변형 이론(McLean)과 단일 원뿔에 모델링된 특이 특수 라그랑주의 변형 이론(Joyce, Pacini)은 잘 알려져 있으나, 연결된 예시를 여러 개의 기정의된 특이점과 함께 구성하는 것은 여전히 중요한 과제로 남아 있다. 구체적으로, 저자들은 네이선 스메일(Nathan Smale)이 최소 곡면 원뿔(minimal cones)을 위해 개발한 "브릿지 원리(bridge principle)"를 특수 라그랑주 설정으로 일반화하는 것을 목표로 한다. 목표는 동일한 라그랑주 각도(Lagrangian angle)를 가진 유한한 정규 특수 라그랑주 원뿔들의 목록이 주어졌을 때, 그 원뿔들을 각각의 특이점으로 하는 연결된 특수 라그랑주 부분다양체를 구성할 수 있음을 증명하는 것이다.

방법론
저자들은 Caffarelli–Hardt–Simon 및 Smale의 프레임워크를 확장한 섭동 접합 전략(perturbative gluing strategy)을 사용한다. 방법론은 다음 세 단계로 진행된다:

1. 근사해의 구성:
   저자들은 절단된 정규 특수 라크랑주 원뿔 $C_1, \dots, C_N$을 평평한 라그랑주 띠(flat Lagrangian strips, "$\varepsilon$-브릿지"라 불림)를 통해 연결함으로써 근사해 $L_\varepsilon$를 구성한다. 평균 곡률 추정에 의존하는 스메일의 최소 곡면 브릿지와 달리, 특수 라그랑주 설정에서는 라그랑주 각도를 제어해야 한다. 저자들은 Dimler과 Smale의 그래피컬 최소 곡면 연구에서 영감을 얻은 "평탄화 절차(flattening procedure)"를 활용하여, 근사해가 $L^p$뿐만 아니라 $C^{0,\alpha}$ 노름에서도 작은 라그랑주 각도 결함(Lagrangian angle defect) $\Theta_0^\varepsilon$를 갖도록 보장한다. 이 $C^{0,\alpha}$ 제어는 특수 라그랑주 방정식의 비선형 나머지 항(non-linear remainder terms)을 다루는 데 매우 중요하다.

2. 선형화 및 함수 해석학:
   정확한 특수 라그랑주 부분다양체를 찾는 문제는 폐형 1-형(closed 1-form) 섭동의 포텐셜을 나타내는 스칼라 함수 $u$에 대한 비선형 편미분 방정식을 푸는 문제로 환원된다. 방정식은 다음과 같은 형태를 띤다:
   $$\Delta_{L_\varepsilon} u = -\Theta_0^\varepsilon - R(u)$$
   여기서 $\Delta_{L_\varepsilon}$는 근사 다양체 위의 라플라시안이고, $\Theta_0^\varepsilon$는 초기 각도 결함이며, $R(u)$는 비선형 나머지 항이다.
   최소 곡면 사례와의 핵심적인 기술적 차이점은, 라그랑주 각도의 선형화가 폐형 1-형에 대한 1차 연산자라는 점이며, 저자들은 이를 (Lemma 1을 통해) exact 1-form과 동일시하여 스칼라 포텐셜로 작업한다. 이를 통해 2차 원뿔 연산자(second-order conical operators)에 대한 프레드홀름 이론(Fredholm theory)을 적용할 수 있다. 저자들은 원뿔형 특이점 근처에서의 해의 거동을 관리하기 위해 가중 횔더 공간(weighted Hölder spaces, $C^{k,\alpha,\nu}$)과 소볼레프 공간($\rho^\delta H^k$) 내에서 작업한다.

3. 고정점 논법:
   비선형 방정식을 풀기 위해, 저자들은 함수 $u$를 특정 경계 조건과 라플라시안의 커널(kernel)로의 투영을 가진 $v$로 매핑하는 연산자 $P_\psi$를 정의한다. 저자들은 $\varepsilon$와 경계 데이터가 충분히 작을 때, 이 연산자가 함수 공간의 특정 유계이고 볼록하며 컴팩트한 부분 집합을 자기 자신으로 매핑함을 증명한다. Schauder의 고정점 정리를 적용함으로써, 저자들은 고정점 $u$의 존재를 확립하며, 이는 정확한 특수 라그랑주 부분다양체 $L_{du}$를 제공한다.

주요 기여 및 결과

• 특수 라그랑주를 위한 브릿지 원리 (정리 1): 주요 결과는 동일한 라그랑주 각도를 공유하고 연속적인 원뿔들이 하나의 공통 아핀 라그랑주 평면(affine Lagrangian plane)의 광선(ray)을 따라 접하도록 배치된 임의의 유한한 정규 특수 라그랑주 원뿔 $C_1, \dots, C_N$에 대하여, 이들 원뿔을 모델로 하는 $N$개의 고립된 원뿔형 특이점을 갖는 경계가 있는 연결된 특수 라가그랑주 부분다양체가 존재함을 확립한다.
• 단일 원뿔의 변형 이론 (정리 2/3): 예비 단계로서, 저자들은 Caffarelli–Hardt–Simon의 섭동 결과에 대한 특수 라그랑주 유사성을 증명한다. 저자들은 하나의 절단된 정규 특수 라그랑주 원뿔에 대해, 경계 데이터를 (유한 차원 부분 공간까지) 지정하고 해당 원뿔을 동일한 특이 유형을 갖는 특수 라그랑주 부분다양체로 변형할 수 있음을 보여준다.
• 면적 최소화 성질: 저자들은 구성된 부분다양체들이 일정한 각도를 갖는 특수 라그랑주이므로 면적 최소화(calibrated) 성질을 갖는다고 언급한다. 이는 구성된 연결된 곡면의 면적 최소화 성질이 보장되지 않았던 스메일의 최소 곡면 구성과 대조된다.
• 정칙성 및 추정치: 논문은 가중 횔더 공간에서의 비선형 나머지 항 $R(u)$에 대한 상세한 추정치를 제공한다. 결정적인 기여는 평평한 브릿지의 선택이 각도 결함의 $C^{0,\alpha}$ 제어를 가능하게 하여, 고정점 논법에서 초선형(super-linear) 나머지 항 $R(u)$를 바운드하는 데 필요하다는 것을 입증한 것이다.

의의 및 주장
본 논문은 제한된 기초 원뿔 군이나 특정 구성에 국한되었던 이전의 결과들을 확장하여, 다수의 기정의된 특이점을 갖는 원뿔형 특이 특수 라그랑주에 대한 유연한 존재 정리(existence theorem)를 제공한다고 주장한다. 저자들은 자신의 접근 방식이 (일반적인 특이 집합에 대한 Simon이나 Liu의 구성과 달리) 주변 메트릭을 섭동할 필요가 없으며, 따라서 표준 $\mathbb{C}^m$에서 직접적인 예시를 생성한다는 점을 강조한다.

저자들은 다음과 같은 한계를 겸허히 밝힌다:

• 구성된 예시들은 반드시 경계를 갖는다.
• 사용된 브릿지는 스메일의 최소 곡면 이론보다 유연성이 떨어지며, 동일한 각도를 가진 원뿔들 사이의 임의의 연결을 허용하기보다는 원뿔들이 공통 평면에 광선을 따라 접해야 한다는 조건을 요구한다.
• 이 방법은 원뿔들이 "정규적"(매끄러운 링크)이고 동일한 라그랑주 각도를 가져야 한다는 것에 의존한다.

이 연구는 특수 라그랑주 방정식의 초선형적인 나머지 항의 성질과 각도 결함에 대한 $C^{0,\alpha}$ 추정치의 필요성에 맞추어 조정된, 스메일의 브릿지 원리에 대한 직접적인 유사물로 제시된다.