[논문 리뷰] Degree Theory of Immersed Hypersurfaces

Harold Rosenberg, Graham Smith|arXiv (Cornell University)|2010. 10. 09.

Geometric Analysis and Curvature Flows참고 문헌 27인용 수 9

한 줄 요약

이 논문은 컴act하고 옹태된 리만다이안 다양체에서 주어진 타원형 곡률을 갖는 컴팩트한 임베딩된 초표면에 대한 차수 이론을 개발한다. 곡률 함수에 의해 규정된 임베딩의 해 공간에 대한 사상 차수를 구성함으로써, 저자들은 이러한 초표면의 대수적 수를 국소 서명으로 가중한 결과가, 평균 곡률, 외부 곡률, 특수 라그랑주 곡률을 포함한 여러 경우에서, 환경 다양체의 음의 오일러 특성 $-\chi(M)$ 와 일치함을 보여준다.

ABSTRACT

We develop a degree theory for compact immersed hypersurfaces of prescribed $K$-curvature immersed in a compact, orientable Riemannian manifold, where $K$ is any elliptic curvature function. We apply this theory to count the (algebraic) number of immersed hyperspheres in various cases: where $K$ is mean curvature; extrinsic curvature and special Lagrangian curvature, and we show that in all these cases, this number is equal to $-χ(M)$, where $χ(M)$ is the Euler characteristic of $M$.

연구 동기 및 목표

• 컴 pact하고 옹태된 리만다이안 다양체 $M$ 에서 주어진 타원형 곡률 함수 $K$ 를 갖는 컴팩트한 임베딩된 초표면에 대한 차수 이론을 수립하는 것.
• 해 공간의 위상적 차수를 환경 다양체의 오일러 특성 $\chi(M)$ 와 연결하는 것.
• 백의 최소 표면에 대한 차수 이론을 일반 곡률 함수계로 확장하여, 비-$L^2$-기울기 설정을 포함한 일반적인 곡률 함수계로 확장하는 것.
• 비바나흐 다양체의 구조가 없는 비매arametrized 임베딩 공간에서 발생하는 기술적 과제를 해결하는 것.
• 주어진 $K$-곡률 문제의 해의 대수적 수가 곡률 함수에 관계없이 일정하며, $-\chi(M)$ 와 같음을 증명하는 것.

제안 방법

• 해 공간 $\mathcal{Z} = \{([e], f) \in \mathcal{I} \times \mathcal{O} \mid K_e = f \circ e\}$ 를 정의한다. 여기서 $\mathcal{I}$ 는 비매arametrized 임베딩의 공간이고, $\mathcal{O}$ 는 $M$ 상의 매끄러운 함수의 공간이다.
• 타원성과 적절성 조건 하에서, 사영 사상 $\Pi: \mathcal{Z} \to \mathcal{O}$ 가 차수 0인 적절한 프레드홀름 사상임을 확립한다.
• 비바나흐 다양체의 구조가 없는 $\mathcal{I}$ 를 다루기 위해 '약하게 미분가능한' 다양체 개념을 도입하여, 표준적인 미분위상수학 도구를 사용할 수 있도록 한다.
• 선형화된 연산자의 스펙트럼 분석을 통해 각 해 $([e], f)$ 의 국소 서명을 $+1$ 또는 $-1$ 으로 정의하며, 백의 접근 방식을 일반화한다.
• 사르드-스마일 정리와 코코컴팩트성 및 역함수정리에 기반한 등연속성 추론을 사용하여, 일반적인 유한성과 잘 정의된 차수를 확보한다.
• $\mathcal{O}'$ 에 속하는 일반적인 $f$ 에 대해 $\text{Deg}(\Pi; f)$ 가 $f$ 에 관계없이 일정하며, $M$ 의 위상적 불변량을 통해 이를 계산함을 증명한다.

실험 결과

연구 질문

• RQ1 컴 pact한 리만다이안 다양체에서 주어진 타원형 곡률을 갖는 임베딩된 초표면에 대해 차수 이론을 구성할 수 있는가?
• RQ2 주어진 $K$-곡률 문제의 해의 대수적 수는 곡률 함수 $f$ 의 선택에 따라 달라지는가?
• RQ3 해 공간의 사상 $\Pi$ 의 차수는 환경 다양체의 오일러 특성 $\chi(M)$ 와 관련이 있는가?
• RQ4 무한차원 차수 이론에서 비매arametrized 임베딩 공간의 비바나흐 다양체 구조 부족 문제는 어떻게 다룰 수 있는가?
• RQ5 주어진 곡률 문제의 해의 수를 결정하는 정확한 위상적 불변량은 무엇인가?

주요 결과

• 타원성과 적절성 조건 하에서, 해 사상 $\Pi: \mathcal{Z} \to \mathcal{O}$ 의 사상 차수는 잘 정의되고 정수 값을 갖는다.
• 일반적인 $f \in \mathcal{O}'$ 에 대해, 역상 $\Pi^{-1}(\{f\})$ 는 유한하며, 각 해 $([e], f)$ 는 잘 정의된 국소 서명 $+1$ 또는 $-1$ 을 갖는다.
• 총 차수 $\text{Deg}(\Pi; f)$ 는 $f$ 에 관계없이 일정하며, 이는 환경 다양체 $M$ 의 위상적 불변량임을 보여준다.
• 모든 다루어진 경우—평균 곡률, 외부 곡률, 특수 라그랑주 곡률—에서 차수는 $-\chi(M)$, 즉 $M$ 의 음의 오일러 특성과 일치한다.
• 비바나흐 다양체의 구조 부족 문제에서 발생하는 기술적 장애를 극복하기 위해 '약하게 미분가능한' 다양체 개념을 도입하고, 코코컴팩트성 및 등연속성 추론을 사용한다.
• 결과는 백의 최소 표면에 대한 차수 이론을 비-gradient 설정을 포함한 광범위한 매개변수 곡률 함수계로 일반화하며, 통합한다.