[논문 리뷰] On the Maslov index of symplectic paths that are not transversal to the Maslov cycle. Semi-Riemannian index theorems in the degenerate case

Roberto Giambò, Paolo Piccione외 1명|ArXiv.org|2003. 06. 11.

Geometric and Algebraic Topology참고 문헌 39인용 수 8

한 줄 요약

이 논문은 비정상적인 대칭 이차형식의 고립된 특이점에서의 일반화된 서명을 사용하여, 마스로프 순환과 비교각을 이루지 않는 라그랑주 경로의 마스로프 지수를 비퍼트루베이션 이론적으로 계산하는 이론을 개발한다. 이는 유한 및 무한차원 라그랑주 그라스만니안에서 연속 곡선으로의 마스로프 지수의 확장, 공액점이 있는 반리만 기하학적 지오데식스에 대한 일반화된 모어스 지수 정리의 수립, 그리고 자기수반 프리드홀름 연산자의 해석적 경로에 대한 스펙트럴 플로우가 비특이점에서의 홀수 부분 서명의 합과 일치함을 증명한다.

ABSTRACT

We use the notion of generalized signatures at a singularity of a smooth curve of symmetric bilinear forms to determine a formula for the computation of the Maslov index in the case of a real-analytic path having possibly non transversal intersections. We discuss some applications of the theory, with special emphasis on the study of the Jacobi equation along a semi-Riemannian geodesic. The research work exposed in this paper originated from a suggestion given by the third author relating the spectral flow with the partial signatures. He pointed out several references and formulated the statement that in the invertible endpoints case, the spectral flow of a real analytic path of self-adjoint Fredholm operators is given by the sum of the odd partial signatures at each degeneracy instant. In the present version of the article, this statement is part of Proposition 2.9; totally, the contribution of the third author to the theory consists in Definition 2.3, formulas (2.1) and (2.2), the first statement of Proposition 2.4, parts of Remark 2.5, Definition 2.6, and parts of the statement and parts of the proof of Proposition 2.9. Apart from this original contribution, the material contained in this paper was entirely developed and written by the first two authors at the Universita' di Camerino (Italy), Universidade de Sao Paulo (Brazil).

연구 동기 및 목표

• 연속적인 라그랑주 경로의 마스로프 지수를 정의하고, 마스로프 순환과의 교차가 비비례하지 않을 경우에도, 특히 끝점에서 적용 가능한 방법을 제시한다.
• 두 번째 변분이 비특이한 경우, 공액점이 있는 반리만 기하학적 지오데식스에 대한 고전적 모어스 지수 정리를 일반화한다.
• 대칭 이차형식의 고립된 특이점에서의 일반화된 서명을 사용하여 마스로프 지수에 대한 비퍼트루베이션 공식을 수립한다.
• 실해석적 경로를 따라 변하는 자기수반 프리드홀름 연산자에 대한 스펙트럴 플로우와 부분 서명 간의 관계를 명확히 한다.
• 심플렉틱 기하학과 반리만 기하학의 맥락에서, 쌍별 마스로프 지수, 삼중 및 네중 지수 등 다양한 지수 개념을 하나의 일관된 프레임워크 안에서 통합한다.

제안 방법

• 연속적인 대칭 이차형식 곡선의 고립된 특이점에서의 일반화된 서명을 도입하며, 이는 루트 함수와 스펙트럴 프로젝션을 통해 정의된다.
• 비비례하지 않는 경우의 마스로프 지수 계산을 위해 부분 서명의 개념을 사용하며, 특이점에서의 해석적 제어를 비비례 조건의 대체로 사용한다.
• 라그랑주 그라스만니안을 통해 심플렉틱 경로에 이 те올리를 적용하며, 일반화된 서명을 사용하여 마스로프 순환과의 교차 수를 부호가 있는 수로 정의한다.
• 실해석적 경로를 따라 변하는 자기수반 프리드홀름 연산자에 대한 스펙트럴 플로우 공식을 수립하며, 이가 각 특이점에서의 홀수 부분 서명의 합과 일치함을 보여준다.
• 마스로프 지수와 지오데식스의 자코비 방정식 간의 관계를 통해 반리만 기하학에 이 이론을 적용한다.
• 리 군 이론과 폴라 분해를 사용하여 부정부정비율의 직교군 O(n,k)의 연결 성분을 분석하며, 음의 정부정부분공간의 그라스만니안 위에서의 전이성(transitivity)을 증명한다.

실험 결과

연구 질문

• RQ1 비비례하지 않는 마스로프 순환과의 교차, 특히 끝점에서 마스로프 지수를 어떻게 정의하고 계산할 수 있는가?
• RQ2 실해석적 경로를 따라 변하는 자기수반 프리드홀름 연산자에 대한 스펙트럴 플로우와 특이점에서의 일반화된 서명 간의 정확한 관계는 무엇인가?
• RQ3 두 번째 변분이 비특이한 경우, 공액점이 있는 반리만 기하학적 지오데식스에 대해 고전적 모어스 지수 정리를 어떻게 일반화할 수 있는가?
• RQ4 특이점에서의 일반화된 서명이 비비례하지 않는 경우의 마스로프 지수에 대한 국소 기여도와 어떻게 관련되는가?
• RQ5 비특이 심플렉틱 경로의 맥락에서 카시와라의 삼중 지수와 허르만더의 네중 지수의 기하학적 및 분석적 의미는 무엇인가?

주요 결과

• 유한 또는 무한차원 심플렉틱 공간에서의 연속적인 라그랑주 경로의 마스로프 지수는 고립된 특이점에서의 일반화된 서명을 사용하여 비비례하지 않는 교차가 있을 경우에도 잘 정의되어 있다.
• 실해석적 경로를 따라 변하는 자기수반 프리드홀름 연산자에 대한 스펙트럴 플로우는 각 특이점에서의 홀수 부분 서명의 합과 일치하며, 이는 정리 2.9에 명시되어 있다.
• 공액점이 있는 반리만 기하학적 지오데식스에 대한 일반화된 모어스 지수 정리는, 특이점에서의 일반화된 서명을 통해 공액점의 수를 중복도를 고려하여 계산한 마스로프 지수와 일치함을 보여준다.
• O(n,k)의 항등원의 연결 성분은 g-음의 k차원 부분공간의 그라스만니안 위에서 전이적(transitive)이며, 이는 해당 공간이 호연결임을 의미한다.
• 이론은 쌍별, 삼중, 네중 지수 등의 다양한 지수 개념을 일반화된 서명 프레임워크를 통해 일관되게 정의할 수 있음을 보여주며 통합한다.
• 비특이한 경우에 공액 지수와 마스로프 지수가 항상 일치하지 않음을 보여주는 반례를 구성함으로써, 고전 결과의 난이도 있는 일반화를 도전한다.