[논문 리뷰] Hesse manifolds and Hessian symmetries of multifield cosmological models

Calin Iuliu Lazaroiu|arXiv (Cornell University)|2020. 09. 10.

Geometric Analysis and Curvature Flows참고 문헌 12인용 수 5

한 줄 요약

이 논문은 다중장 우주론 모델에서 숨겨진(Hessian) 대칭을 분류하기 위한 기하적 프레임워크로, 비자명한 헤세 함수(헤세 방정식의 해)를 갖는 리만다이내닉스를 갖는 헤세 다양체를 도입한다. 완전한 헤세 다양체는 본질적으로 쌍곡기하학적 성질을 띠며, 헤세 지수의 최대값 $ n+1 $ 을 갖는 것은 오직 다양체가 파oincaré 구와 등급일 때에만 성립한다. 또한 헤세 함수는 특징적인 부분집합과의 거리에 의해 기하학적 자료를 코딩하며, 이는 쌍곡기하학을 일반화한다.

ABSTRACT

I give a brief overview of the mathematical theory of Noether symmetries of multifield cosmological models, which decompose naturally into visible and Hessian (a.k.a. 'hidden') symmetries. While visible symmetries correspond to those infinitesimal isometries of the Riemannian target space of the scalar field map which preserve the scalar potential, Hessian symmetries have a much deeper theory. The latter correspond to Hesse functions, defined as solutions of the so-called Hesse equation of the target space. By definition, a Hesse manifold is a Riemannian manifold which admits nontrivial Hesse functions -- not to be confused with a Hessian manifold (the latter being a Riemannian manifold whose metric is locally the Hessian of a function). All Hesse $n$-manifolds ${\cal M}$ are non-compact and characterized by their index, defined as the dimension of the space of Hesse functions, which carries a natural symmetric bilinear pairing. The Hesse index is bounded from above by $n+1$ and, when the metric is complete, this bound is attained iff ${\cal M}$ is a Poincaré ball, in which case the space of Hesse functions identifies with $\mathbb{R}^{1,n}$ through an isomorphism constructed from the Weierstrass map. More generally, any elementary hyperbolic space form is a complete Hesse manifold and any Hesse manifold whose local Hesse index is maximal is hyperbolic. In particular, the class of complete Hesse surfaces coincides with that of elementary hyperbolic surfaces and hence any such surface is isometric with the Poincaré disk, the hyperbolic punctured disk or a hyperbolic annulus. On a complete Hesse manifold $({\cal M},G)$, the value of any Hesse function $Λ$ can be expressed though the distance from a characteristic subset of ${\cal M}$ determined by $Λ$.

연구 동기 및 목표

• 다중장 우주론 모델에서 노이터 대칭을 분류하기 위한 기하적 프레임워크를 개발하고, 표면적(등급) 대칭과 은폐된(Hessian) 대칭을 구분한다.
• 헤세 방정식의 비자명한 해를 갖는 리만다이내닉스로 헤세 다양체를 정의하고 특성화한다.
• 헤세 지수(헤세 함수 공간의 차원)와 다양체의 기하학적 성질 간의 관계를 설정하며, 특히 완전한 경우에 초점을 맞춘다.
• 헤세 지수가 최대일 때 완전한 헤세 다양체가 파oincaré 구와 등급임을 보이며, 위에르슈트라스 사상을 통해 구성된 동형사상에 기반한다.
• 모든 기본적인 쌍곡기하 공간 형식이 완전한 헤세 다양체임을 보이고, 국소적으로 최대 헤세 지수를 갖는다는 것은 국소적으로 쌍곡기하학적임을 의미함을 일반화한다.

제안 방법

• 스칼라 장 사상의 타겟 공간에서 헤세 방정식의 비자명한 해인 비자명한 헤세 함수를 갖는 리만다이내닉스로 헤세 다양체를 정의한다.
• 헤세 함수 공간의 차원으로서 헤세 지수를 정의하며, 자연스러운 대칭 이항형태를 갖춘다.
• 헤세 지수가 최대일 때, 위에르슈트라스 사상으로부터 헤세 함수 공간과 $ \mathbb{R}^{1,n} $ 사이의 동형사상을 구성한다.
• 완전한 헤세 다양체가 최대 헤세 지수 $ n+1 $ 을 갖는 것은 오직 파oincaré 구와 등급일 때에만 성립함을 증명한다.
• 쌍곡기하학의 균일화 정리를 적용하여, 최대 국소 헤세 지수를 갖는 완전한 헤세 다양체는 국소적으로 쌍곡기하학적임을 보인다.
• 임의의 헤세 함수 $ \Lambda $ 의 값과 그 기울기 흐름을 다양체의 특징적인 부분집합과의 거리에 따라 기하학적으로 표현한다.

실험 결과

연구 질문

• RQ1 다중장 우주론 모델에서 타겟 공간의 표면적 등급 대칭을 초월해 숨겨진(Hessian) 대칭을 뒷받침하는 기하학적 구조는 무엇인가?
• RQ2 헤세 함수 공간은 타겟 다양체의 기하학과 어떻게 관련되어 있으며, 특히 완전한 경우에 어떻게 되는가?
• RQ3 리만다이내닉스 다양체가 최대 헤세 지수를 갖는 조건은 무엇이며, 이는 그의 전반적 기하학적 구조에 어떤 의미를 갖는가?
• RQ4 헤세 다양체를 사용해 쌍곡기하학을 일반화할 수 있으며, 만약 가능하면 이들은 기본적인 쌍곡기하 공간 형식과 어떻게 관련되는가?
• RQ5 헤세 함수의 값과 동역학은 다양체 위의 거리 함수를 통해 어떻게 기하학적으로 표현할 수 있는가?

주요 결과

• 모든 헤세 $ n $-다양체는 비유계이며, 헤세 지수는 $ n+1 $ 이하로 상한이 존재하며, 이 상한은 완전한 경우에만 파oincaré 구와 등급일 때에만 도달된다.
• 완전한 헤세 다양체에서 헤세 함수 공간은 위에르슈트라스 사상에 의해 $ \mathbb{R}^{1,n} $ 과 동형이 되며, 이는 로렌츠 기하학과 깊은 연관성을 지닌다.
• 모든 기본적인 쌍곡기하 공간 형식은 완전한 헤세 다양체이며, 최대 국소 헤세 지수를 갖는 모든 헤세 다양체는 국소적으로 쌍곡기하학적이다.
• 완전한 헤세 표면의 집합은 정확히 기본적인 쌍곡 표면의 집합과 일치하며, 이에는 파oincaré 원판, 쌍곡 구멍이 있는 원판, 쌍곡 원환형이 포함된다.
• 완전한 헤세 다양체에서 임의의 헤세 함수 $ \Lambda $ 의 값은 $ \Lambda $ 에 의해 결정되는 특정 부분집합과의 거리 함수의 함수로 표현될 수 있다.
• 헤세 함수 $ \Lambda $ 의 기울기 흐름은 그에 관련된 특징적인 부분집합과의 거리 함수에 의해 완전히 기하학적으로 기술되며, 이는 기하학적 동역학 기술을 제공한다.