[논문 리뷰] The moduli space of embedded singly periodic maximal surfaces with isolated singularities in the Lorentz-Minkowski space $ł^3$

Isabel Fernández, Francisco J. López외 1명|ArXiv.org|2004. 12. 09.

Geometric Analysis and Curvature Flows참고 문헌 10인용 수 6

한 줄 요약

이 논문은 라우레츠-민코프스키 공간 $\mathbb{L}^3$ 내에 임베딩된 단일 주기적 최대 표면이 $n+1$개의 고립된 콘형 특이점을 가지며, 정규화 조건(특이점의 순서가 명시되어 있고, 특정한 점 游점이 주어진)을 만족할 때, 그 모듈리 공간이 차원 $3n+4$인 실해석적 다양체임을 규명한다. 이 공간은 원통 $\{x_3 = 0\}$의 컴acts 부분집합에서 그래프의 균일 수렴과 위상적으로 동일하며, 전역 좌표는 순서된 특이점들과 두 번째 끝에서의 법선 벡터로 주어진다.

ABSTRACT

We show that, up to some natural normalizations, the moduli space of singly periodic complete embedded maximal surfaces in the Lorentz-Minkowski space $ł^3=( ^3,dx_1^2+dx_2^2-dx_3^2),$ with fundamental piece having a finite number $(n+1)$ of singularities, is a real analytic manifold of dimension $3n+4.$ The underlying topology agrees with the topology of uniform convergence of graphs on compact subsets of $\{x_3=0\}.$

연구 동기 및 목표

• 임베딩된, 단일 주기적, 완전한 최대 표면의 공간을 분류하고 매개변수화하는 것, 이 표면들은 $\mathbb{L}^3$ 내에 유한 개의 고립된 콘형 특이점을 가짐.
• 정규화 조건 하에서 이러한 표면의 모듈리 공간의 위상적 및 기하학적 구조를 규명하는 것.
• 모듈리 공간이 차원 $3n+4$인 실해석적 다양체이며, 원통 $\{x_3 = 0\}$의 컴acts 부분집합에서 그래프의 수렴과 호환되는 잘 정의된 위상을 가짐을 입증하는 것.

제안 방법

• 최대 표면의 Weierstrass 표현을 $\mathbb{L}^3$에 적용하여, 특이점에서의 극을 가진 리만 곡면의 이중에 대해 유리형 데이터를 확장함.
• 대칭을 줄이기 위해 이동 벡터를 $(1,0,0)$ 으로 고정하고, $\{x_3 = 0, x_2 \geq 0\}$ 에서의 특정한 점 경계를 선택하여 정규화를 적용함.
• 특이점에 마킹(순서된 집합)을 부여하여 표시된 모듈리 공간 $\mathfrak{M}_n$ 을 구성하고, 이 공간이 실해석적 다양체임을 입증함.
• 기저 위상으로 원통 $\{x_3 = 0\}$ 의 컴acts 부분집합에서 그래프의 수렴을 사용하며, 조화 함수의 수렴과 슈아우더 추정을 통해 검증함.
• 최대 원리와 컴acts 집합의 하우스도르프 수렴을 적용하여 수열을 거쳐 특이점의 극한 행동을 추적함.
• 그래프 함수의 차이로부터 유도된 일관된 타원형 선형 연산자에 대해 슈아우더 추정을 적용하여 $C^2$ 수렴을 입증하고, 이로 인해 두 번째 끝에서의 법선 벡터 수렴을 확보함.

실험 결과

연구 질문

• RQ1 임베딩된, 단일 주기적, 완전한 최대 표면이 $\mathbb{L}^3$ 내에 $n+1$개의 고립된 콘형 특이점을 가지는 모듈리 공간의 차원은 얼마인가요?
• RQ2 이 모듈리 공간의 위상은 원통 $\{x_3 = 0\}$ 에서 그래프 표현의 수렴과 어떻게 관련이 있나요?
• RQ3 모듈리 공간은 순서된 특이점의 위치와 두 번째 끝에서의 법선 벡터로 전역적으로 매개변수화될 수 있나요?
• RQ4 비표시된 표면의 공간은 표시된 모듈리 공간의 $(n+1)!$-겹 덮개인가요?
• RQ5 한 수열의 근사 표면에서의 특이점의 극한으로서 한 극한 표면의 특이점이 발생하기 위한 조건은 무엇인가요?

주요 결과

• 모듈리 공간 $\mathfrak{M}_n$ 은 $\mathbb{L}^3/\langle(1,0,0)\rangle$ 에서 원통 $\{x_3 = 0\}$ 위에 정의된 전체 최대 그래프이며, $n+1 \geq 2$개의 콘형 특이점과 특정한 점 경계를 가지는 경우, 차원 $3n+4$인 실해석적 다양체이다.
• $\mathfrak{M}_n$ 의 위상은 원통 $\{x_3 = 0\}$ 의 컴acts 부분집합에서 그래프의 수렴 위상과 동일하며, 이는 극한에서의 안정성을 보장한다.
• $\mathfrak{M}_n$ 의 전역 좌표계는 순서된 특이점 집합과 두 번째 끝에서의 법선 벡터로 주어지며, 이는 $\mathbb{R}^{3n+4}$ 의 열린 부분집합으로의 미분동형사상이다.
• $\mathfrak{G}_n$ 은 비표시된 그래프의 공간으로서 $\mathfrak{M}_n$ 의 $(n+1)!$-겹 덮개이며, 이는 특이점의 순열 대칭성을 반영한다.
• 컴acts 부분집합에서 그래프 함수 $u_k$ 가 $u_0$ 로 수렴하면 특이점과 법선 벡터의 수렴이 보장되며, 이는 위상이 극한에서 유지됨을 의미한다.
• 두 번째 끝에서의 법선 벡터 수렴은 일관된 타원형 방정식의 해의 차이에 대한 슈아우더 추정을 통해 확립되며, 이는 모듈리 공간 내에서 연속성을 확인한다.