[논문 리뷰] Isometries between leaf spaces

Marcos M. Alexandrino, Marco Radeschi|arXiv (Cornell University)|2011. 11. 26.

Geometric and Algebraic Topology참고 문헌 9인용 수 4

한 줄 요약

이 논문은 두 가지 조건 하에서 특이 리만 폴로노미아의 잎 공간 간의 등장사상이 매끄럽다는 것을 증명한다: 잎의 여부를 유지하거나 잎 공간이 경계를 갖지 않을 경우이다. 주요 결과는 메트릭 등장사상이 정칙 스트라타에서 평균 곡률과 라플라스 연산자 구조를 통제함으로써 궤도 공간과 특이 리만 폴로노미아로 일반화된 마이어스–스티븐드 정리의 일반화이다.

ABSTRACT

In this paper we prove that an isometry between orbit spaces of two proper isometric actions is smooth if it preserves the codimension of the orbits or if the orbit spaces have no boundary. In other words, we generalize Myers-Steenrod's theorem for orbit spaces. These results are proved in the more general context of singular Riemannian foliations.

연구 동기 및 목표

• 특이 리만 폴로노미아의 잎 공간 간 등장사상이 매끄럽게 되는 조건을 규명하는 것.
• 등장사상과 매끄러운 구조 간의 관계를 다루는 고전적 마이어스–스티븐드 정리를, 다양체가 아닌 몰입 공간으로 확장하는 것.
• 적절한 등급 작용과 특이 폴로노미아의 맥락에서, 궤도 공간의 메트릭 구조가 매끄러운 구조를 유일하게 결정하는지에 대한 열린 문제를 다루는 것.
• 특히, 다양체나 오비폴드가 아닌 몰입 공간 간 등장사상이 매끄럽게 되는 데 충분한 조건을 제공하는 것.

제안 방법

• 닫힌 잎을 갖는 특이 리만 폴로노미아(SRFs)의 프레임워크를 사용하여 군 작용을 초월한 설정을 일반화하는 것.
• 스무스 기본 함수의 역상에 의한 잎 공간 간 사상의 매끄러움을 정의함으로써, 샤우르의 몰입 공간 위의 스무스 구조와 일치시키는 것.
• 정칙 스트라타에서 라플라스 연산자와 평균 곡률 벡터장의 분석을 통해, 여부를 유지하거나 경계가 없는 잎 공간에 작용하는 등장사상이 스무스 맵으로 올라간다는 것을 증명하는 것.
• 등장사상에 의해 역상된 스무스 기본 함수가 약한 라플라스 방정식을 만족하며, 이는 여부가 2 이상인 코드레디언스의 특이 집합을 넘어선다.
• 타원형 PDE의 정규성 이론을 적용하여, 이 역상 함수가 낮은 코드레디언스 특이점에서도 스무스하다는 것을 결론 내리는 것.
• 그린 항등식과 특이 집합의 근방에 의한 근사화를 사용하여, 정점에서의 라플라스 항등식을 전체 다양체에서의 약한 해로 확장하는 것.

실험 결과

연구 질문

• RQ1 특이 리만 폴로노미아의 잎 공간 간 등장사상이 매끄럽게 되는 조건은 무엇인가?
• RQ2 다양체나 오비폴드가 아닌 궤도 공간으로 마이어스–스티븐드 정리를 확장할 수 있는가?
• RQ3 잎의 여부를 유지하면 잎 공간 간 등장사상의 매끄러움이 보장되는가?
• RQ4 잎 공간이 경계를 갖지 않으면서 등장사상의 매끄러움을 보장하는 데 어떤 역할을 하는가?
• RQ5 정칙 스트라타에서의 평균 곡률 벡터장은 어떤 방식으로 잎 공간 간 등장사상의 매끄러움에 영향을 주는가?

주요 결과

• 닫힌 잎을 갖는 두 특이 리만 폴로노미아의 잎 공간 간 등장사상이 잎의 여부를 유지하면, 이는 매끄럽다.
• 잎 공간이 경계를 갖지 않으면, 여부를 유지하지 않더라도 이러한 잎 공간 간 등장사상은 매끄럽다.
• 증명은 등장사상에 의해 역상된 스무스 기본 함수가 약한 라플라스 방정식을 만족하며, 이는 타원형 정규성에 의해 스무스함을 이끌어낸다.
• 매끄러움 결과가 성립하기 위해서는 정칙 스트라타에서의 평균 곡률 벡터장이 등장사상에 의해 보존되어야 하며, 이는 라플라스 연산자 구조의 호환성을 보장한다.
• 정칙 스트라타의 여집합은 코드레디언스가 적어도 2 이상이므로, 통합과 근사화를 통해 점별 항등식을 약한 해로 확장할 수 있다.
• 결과적으로, 등각 오비폴드는 샤우르의 의미에서 미분동형임을 의미하며, 오비폴드에 대한 고전적 미분동형의 개념을 복원한다.