[논문 리뷰] The Dirac Operator on Nilmanifolds and Collapsing Circle Bundles

Bernd Ammann, Christian Baer|ArXiv.org|1998. 01. 20.

Advanced Operator Algebra Research참고 문헌 21인용 수 14

한 줄 요약

이 논문은 3차원 헤이센베르크 다양체 위의 딜라크 연산자의 스펙트럼을 계산하고, 2차 토러스로 붕괴될 때 그 행동을 분석하여, 스핀 구조에 따라 고유값이 ±∞로 갈라지거나 기저의 고유값으로 수렴함을 보여준다. 이는 완전하게 기하학적 인자들을 갖는 원판의 붕괴로 일반화되며, 호프 피브리케이션을 이용해 복소 프로젝티브 공간에서의 딜라크 스펙트럼과 중복도를 계산한다. 또한 함수에 대한 딜라크 및 라플라스 연산자의 스펙트럼이 일정한 1-매개변수 가족의 닐만이폴드를 구성한다. 이 가족에서는 1-형식에 대한 라플라스 연산자와 다른 스핀 구조에 대한 딜라크 연산자의 스펙트럼은 일정하지 않지만, 표시된 길이 스펙트럼은 일정하다.

ABSTRACT

We compute the spectrum of the Dirac operator on 3-dimensional Heisenberg manifolds. The behavior under collapse to the 2-torus is studied. Depending on the spin structure either all eigenvalues tend to $\pm\infty$ or there are eigenvalues converging to those of the torus. This is shown to be true in general for collapsing circle bundles with totally geodesic fibers. Using the Hopf fibration we use this fact to compute the Dirac eigenvalues on complex projective space including the multiplicities. Finally, we show that there are 1-parameter families of Riemannian nilmanifolds such that the Laplacian on functions and the Dirac operator for certain spin structures have constant spectrum while the Laplacian on 1-forms and the Dirac operator for the other spin structures have nonconstant spectrum. The marked length spectrum is also constant for these families.

연구 동기 및 목표

• 좌측 불변 메트릭을 지닌 3차원 헤이센베르크 다양체 위의 딜라크 연산자의 스펙트럼을 계산하는 것.
• 섬세한 섬유 길이를 줄임에 따라 다양체가 2차 토러스로 붕괴될 때 딜라크 고유값의 점근적 행동을 분석하는 것.
• 완전히 기하학적 인자들을 갖는 일반적인 원판의 붕괴로 붕괴 행동을 일반화하고, 스핀 구조 유형(프로젝터블 대비 비프로젝터블)에 따라 분류하는 것.
• 호프 피브리케이션에 대한 붕괴 결과를 응용하여 복소 프로젝티브 공간 위의 딜라크 스펙트럼과 중복도를 계산하는 것.
• 함수에 대한 딜라크 연산자와 라플라스 연산자의 스펙트럼이 일정한 1-매개변수 가족의 리만 닐만이폴드를 구성하고, 1-형식에 대한 라플라스 연산자와 다른 스핀 구조에 대한 딜라크 연산자의 스펙트럼이 일정하지 않음을 보이며, 표시된 길이 스펙트럼이 일정함을 보이는 것.

제안 방법

• 노르말리프 군의 표현 이론과 스핀 기하학을 사용하여 3차원 헤이센베르크 다양체 위의 딜라크 스펙트럼을 계산한다.
• 버거 구형에서의 딜라크 고유값에 대한 명시적 공식을 적용하여, 호프 피브리케이션을 통한 붕괴에서 고유값의 극한을 분석한다.
• 프로젝터블과 비프로젝터블 두 종류의 스핀 구조를 구분하여, 고유값이 기저 다양체의 고유값으로 수렴하는지 또는 ±∞로 발산하는지를 결정한다.
• 코슈울의 공식을 사용하여 기하학적 표현에서의 딜라크 연산자를 표현하고, 특정 표현 공간에 제한된 딜라크 연산자의 행렬식을 계산한다.
• 1차원 표현 공간에 제한된 딜라크 연산자의 행렬식의 도함수를 사용하여 비일정한 스펙트럼 행동을 탐지한다.
• 거의 내부 자동형사를 통한 2단계 닐만이폴드의 1-매개변수 가족을 구성하고, 함수에 대한 라플라스 연산자의 스펙트럼과 표시된 길이 스펙트럼이 일정함을 보인다.

실험 결과

연구 질문

• RQ1 3차원 헤이센베르크 다양체 위의 딜라크 고유값은 2차 토러스로 붕괴될 때 어떻게 행동하는가?
• RQ2 붕괴하는 원판의 붕괴에서 딜라크 고유값이 기저 다양체의 고유값으로 수렴하는지 또는 ±∞로 발산하는지를 결정하는 요소는 무엇인가?
• RQ3 호프 피브리케이션의 붕괴와 알려진 버거 구형 결과를 이용하여 복소 프로젝티브 공간에서의 딜라크 스펙트럼을 계산할 수 있는가?
• RQ4 일부 스핀 구조에서는 딜라크 스펙트럼이 일정하고 다른 스핀 구조에서는 변하는 연속적인 리만 닐만이폴드 가족이 존재하는가?
• RQ5 닐만이폴드에서 스펙트럼 변형 동안 표시된 길이 스펙트럼이 얼마나 오랫동안 불변을 유지하는가?

주요 결과

• 헤이센베르크 다양체에서 비프로젝터블 스핀 구조의 경우, 모든 딜라크 고유값은 2차 토러스로 붕괴될 때 ±∞로 갈라진다.
• 프로젝터블 스핀 구조의 경우, 일부 딜라크 고유값은 정확히 기저 2차 토러스의 고유값으로 수렴한다.
• 복소 프로젝티브 공간 ℂP^m에서의 딜라크 스펙트럼은 호프 피브리케이션을 통해 계산되었으며, 중복도가 명시적으로 결정되어 이전 결과를 확인하고 단순화한다.
• m가 짝수일 경우, ℂP^m은 비스핀이며 모든 고유값이 ±∞로 갈라진다; m가 홀수일 경우, ℂP^m는 스핀이며 고유값은 기저의 고유값으로 수렴한다.
• 함수에 대한 딜라크 연산자와 라플라스 연산자의 스펙트럼이 일정한 7차원 닐만이폴드의 1-매개변수 가족이 존재한다. 그러나 1-형식에 대한 라플라스 연산자와 다른 스핀 구조에 대한 딜라크 연산자의 스펙트럼은 일정하지 않다.
• 동일한 1-매개변수 가족에서 표시된 길이 스펙트럼은 비록 일부 스핀 구조에 대한 딜라크 연산자의 스펙트럼 행동이 일정하지 않더라도 여전히 일정하다.