[논문 리뷰] Sylvester's law of inertia for quadratic forms on vector bundles

Giacomo Dossena|arXiv (Cornell University)|2013. 07. 08.

Microtubule and mitosis dynamics참고 문헌 4인용 수 4

한 줄 요약

이 논문은 연결되고 국소적으로 연결되며 파라콤팩트 하우스도르프 공간 위의 실수 벡터 병렬성에 대한 비퇴화된 이차형식에 대해 실르베스터의 관성 법칙을 일반화한다. 게이지 군 작용 하에서 두 개의 불변량을 도입한다: 전체 게이지 군 작용에 대한 정규직교 기저 병렬성의 위상 동형류, 그리고 게이지 군의 항등원 성분에 대한 최대 양의 정부호 부분병렬성의 호모토피 동치류로, 이는 관성보다 더 정밀한 분류를 제공한다.

ABSTRACT

This paper presents a generalisation of Sylvester's law of inertia to real non-degenerate quadratic forms on a fixed real vector bundle over a connected locally connected paracompact Hausdorff space. By interpreting the classical inertia as a complete discrete invariant for the natural action of the general linear group on quadratic forms, the simplest generalisation consists in substituting such group with the group of gauge transformations of the bundle. Contrary to the classical law of inertia, here the full action and its restriction to the identity path component typically have different orbits, leading to two invariants: a complete invariant for the full action is given by the isomorphism class of the orthonormal frame bundle associated to a quadratic form, while a complete invariant for the restricted action is the homotopy class of any maximal positive-definite subbundle associated to a quadratic form. The latter invariant is finer than the former, which in turn is finer than inertia. Moreover, the orbit structure thus obtained might be used to shed light on the topology of the space of non-degenerate quadratic forms on a vector bundle.

연구 동기 및 목표

• 유한차원 벡터 공간에서의 실르베스터의 관성 법칙을 비퇴화된 이차형식에 대한 실수 벡터 병렬성으로 확장한다.
• 벡터 병렬성 위의 비퇴화된 이차형식 공간에 대한 게이지 군 작용에 대한 완전한 이산 불변량을 규명한다.
• 전체 게이지 군과 그 항등원 성분의 작용이 비퇴화된 이차형식 공간에서 궤도 구조를 어떻게 다르게 만드는지, 특히 위상적 복잡성으로 인해 발생하는 차이를 명확히 한다.
• 이러한 불변량을 통해 비퇴화된 이차형식의 공간 위의 위상학적 성질을 연구할 수 있는 프레임워크를 제공한다.

제안 방법

• 유한차원 벡터 공간에서의 이차형식에 대한 일반선형군 작용 하에서 실르베스터의 관성 법칙을 완전한 불변량으로 재구성한다.
• 일반선형군을 벡터 병렬성의 게이지 군 자동형사상으로 대체하여 이를 병렬성으로 일반화한다.
• 두 가지 불변량을 정의한다: 전체 게이지 군 작용에 대한 정규직교 기저 병렬성의 위상 동형류, 그리고 게이지 군의 항등원 성분에 대한 최대 양의 정부호 부분병렬성의 호모토피 동치류.
• 호모토피 이론과 병렬성 분해 기법을 사용하여, 부분병렬성의 호모토피 동치류가 게이지 군의 항등원 성분 작용 하에서 궤도 동치성과 어떻게 관련되는지 분석한다.
• 비퇴화된 이차형식의 공간의 경로 연결 성분이 정확히 게이지 군의 항등원 성분에 의한 궤도와 일치함을 증명한다.
• 한 개의 전체 게이지 군 궤도 내의 경로 연결 성분의 수가 몫군 Gau(E)/Gau₀(E)의 경로 연결 성분 수에 의해 유계임을 증명한다.

실험 결과

연구 질문

• RQ1 구조군이 GL(n)이 아니라 게이지 군인 경우, 실르베스터의 관성 법칙은 어떻게 벡터 병렬성의 이차형식으로 일반화될 수 있는가?
• RQ2 왜 전체 게이지 군 작용과 그 항등원 성분의 작용이 비퇴화된 이차형식 공간에서 다른 궤도 구조를 유도하는가?
• RQ3 비퇴화된 이차형식에 대한 전체 게이지 군 작용의 궤도를 완전히 분류하는 이산 불변량은 무엇인가?
• RQ4 비퇴화된 이차형식에 대한 게이지 군의 항등원 성분 작용의 궤도를 완전히 분류하는 이산 불변량은 무엇인가?
• RQ5 최대 양의 정부호 부분병렬성의 호모토피 동치류는 게이지 군의 항등원 성분 작용 하에서 궤도 구조와 어떻게 관련되는가?

주요 결과

• 비퇴화된 이차형식에 관련된 정규직교 기저 병렬성의 위상 동형류는 비퇴화된 이차형식에 대한 전체 게이지 군 작용에 대한 완전한 불변량이다.
• 비퇴화된 이차형식에 관련된 최대 양의 정부호 부분병렬성의 호모토피 동치류는 게이지 군의 항등원 성분 작용에 대한 완전한 불변량이다.
• 호모토피 동치류 불변량은 정규직교 기저 병렬성의 위상 동형류보다 더 정밀하며, 그 위상 동형류는 고전적인 관성 (n₊, n₋)보다 더 정밀하다.
• 비퇴화된 이차형식의 공간의 경로 연결 성분은 정확히 게이지 군의 항등원 성분에 의한 궤도와 일치한다.
• 한 개의 전체 게이지 군 궤도 내의 경로 연결 성분의 수는 몫군 Gau(E)/Gau₀(E)의 경로 연결 성분 수에 의해 유계이다.
• 동일한 전체 게이지 군 궤도에 속한 각 경로 연결 성분은 서로 위상동형이며, 게이지 군 작용이 이들 사이에 위상동형을 유도하기 때문이다.