[논문 리뷰] Geometric structures modeled on affine hypersurfaces and generalizations of the Einstein Weyl and affine hypersphere equations

Daniel J. F. Fox|arXiv (Cornell University)|2009. 09. 10.

Advanced Differential Geometry Research인용 수 4

한 줄 요약

이 논문은 평탄한 아핀 공간 내의 와일 구조와 아핀 초면의 내재 기하학을 통합하는 기하적 프레임워크로 아인슈타인 AH(아핀 초면) 구조를 도입한다. 이는 아인슈타인-와일 방정식을 일반화하고, AH 구조가 아인슈타인임과 동시에 그 기초가 되는 초면이 아핀 초구임을 보여준다. 볼록적인 평탄한 프로젝티브 기하에서 아인슈타인 AH 구조의 존재를 확립하고, 교환 법칙은 성립하지만 결합 법칙은 성립하지 않는 대수를 통해 비와일 예제를 구성하며, 스칼라 곡률 분류를 확장하고 아인슈타인-와일 기하학과 유사하게 일반화된 바흐 텐서를 도입한다.

ABSTRACT

An affine hypersurface (AH) structure is a pair comprising a conformal structure and a projective structure such that for any torsion-free connection representing the projective structure the completely trace-free part of the covariant derivative of any metric representing the conformal structure is completely symmetric. AH structures simultaneously generalize Weyl structures and abstract the geometric structure determined on a non-degenerate co-oriented hypersurface in flat affine space by its second fundamental form together with either the projective structure induced by the affine normal or that induced by the conormal Gauss map. There are proposed notions of Einstein equations for AH structures which for Weyl structures specialize to the usual Einstein Weyl equations and such that the AH structure induced on a non-degenerate co-oriented affine hypersurface is Einstein if and only if the hypersurface is an affine hypersphere. It is shown that a convex flat projective structure admits a metric with which it generates an Einstein AH structure, and examples are constructed on mean curvature zero Lagrangian submanifolds of certain para-Kähler manifolds. The rough classification of Riemannian Einstein Weyl structures by properties of the scalar curvature is extended to this setting. Known estimates on the growth of the cubic form of an affine hypersphere are partly generalized. The Riemannian Einstein equations are reformulated in terms of a given background metric as an algebraically constrained elliptic system for a cubic tensor. From certain commutative nonassociative algebras there are constructed examples of exact Riemannian signature Einstein AH structures with self-conjugate curvature but which are not Weyl and are neither projectively nor conjugate projectively flat.

연구 동기 및 목표

• 새로운 기하 구조인 AH 구조를 통해 와일 구조와 아핀 초면의 내재 기하학을 통합하는 것.
• 아인슈타인-와일 방정식을 일반화하는 AH 구조에 대한 아인슈타인 방정식을 정의하고 연구하는 것.
• 평탄한 아핀 공간 내의 초면에 유도된 AH 구조가 아인슈타인임은 초면이 아핀 초구일 때에만 성립함을 증명하는 것.
• 특히 교환 법칙은 성립하지만 결합 법칙은 성립하지 않는 대수를 사용하여, 와일 또는 아핀 초면 유형을 초월한 새로운 아인슈타인 AH 구조의 예를 구성하는 것.
• 콤���한 다양체에서 아인슈타인 AH 구조의 스칼라 곡률 성질을 분류하고, 이를 와일 구조에 대한 보천 유형 분류로 확장하며, 아인슈타인-와일 기하학과 유사하게 AH 구조에 대한 일반화된 바흐 텐서를 도입하는 것.

제안 방법

• AH 구조를 동치 구조와 프로젝티브 구조의 쌍으로 정의하며, 동치 클래스 내의 계량의 공액 도함수에 대해 특정한 비자기 대칭 조건을 갖는다.
• 배경 계량을 사용하여 삼차 텐서에 대한 대수적 제약 조건이 붙은 타원형 비선형 편미분방정식 시스템으로 아인슈타인 AH 방정식을 정의한다.
• 평탄한 파라-카일러 공간에서 평균 곡률이 0인 라그랑지안 부분다양체와 볼록한 평탄한 실프로젝티브 기하에서 예를 구성한다.
• 교환 법칙은 성립하지만 결합 법칙은 성립하지 않는 대수를 사용하여, 자가수축 곡률을 갖는 정확한 아인슈타인 AH 구조를 생성하며, 이는 와일 또는 프로젝티브 평탄하지 않다.
• 비자기 대칭 텐서에 대한 곡률 연산자들을 통해 AH 구조에 대한 일반화된 바흐 연산자를 유도하고, 코다치 프로젝티브 구조에서의 불변성을 증명한다.
• 바이츠엔보크 유형 항등식과 미분 연산자를 적용하여 아인슈타인 방정식을 재구성하고 삼차 토르션 텐서의 성장 특성을 분석한다.

실험 결과

연구 질문

• RQ1 AH 구조가 아인슈타인일 조건은 무엇이며, 이 조건은 아인슈타인-와일 방정식으로 어떻게 특수화되는가?
• RQ2 평탄한 아핀 공간 내의 초면에 유도된 AH 구조가 아인슈타인일 조건은 무엇이며, 이는 어떤 기하적 성질에 해당하는가?
• RQ3 비와일 아인슈타인 AH 구조는 존재할 수 있으며, 만약 존재한다면 어떻게 대수적 구조를 통해 구성할 수 있는가?
• RQ4 콤팩트 다양체에서 스칼라 곡률 성질은 아인슈타인 AH 구조를 어떻게 분류하는가? 이는 와일 구조에 대한 보천 유형 분류로 어떻게 확장되는가?
• RQ5 AH 구조에 대한 적절한 바흐 텐서의 일반화는 무엇이며, 이는 곡률 연산자와 발산이 없는 조건과 어떻게 관련되는가?

주요 결과

• AH 구조가 아인슈타인임은 평탄한 아핀 공간 내의 기초 초면이 아핀 초구일 때에만 성립함을 보여주며, 깊이 있는 기하적 특성화를 확립한다.
• 모든 볼록한 평탄한 실프로젝티브 기하는 쌍방향으로 상호수축되는 아인슈타인 AH 구조의 표준 쌍을 갖는다.
• 비와일 아인슈타인 AH 구조는 존재하며, 교환 법칙은 성립하지만 결합 법칙은 성립하지 않는 대수를 통해 구성되며, 예시는 자가수축 곡률을 갖지만 프로젝티브 평탄하지 않다.
• 리만 기반 아인슈타인 AH 방정식은 삼차 텐서에 대한 대수적 제약 조건이 붙은 타원형 시스템으로 재구성되어 분석적 접근이 가능해진다.
• AH 구조에 대해 일반화된 바흐 텐서를 정의하였으며, 차원 4에서 자가수축 곡률을 갖는 폐쇄된 아인슈타인 AH 구조에서는 이 텐서가 0이 된다.
• 아핀 초면에서 삼차 토르션 텐서의 성장 특성은 부분적으로 일반화되었으며, 이는 곡률 연산자와 미분 항등식과 연결되어 있다.