[논문 리뷰] The normal shapes of the symplectic and contact forms over algebras of divided powers

Serge Skryabin|arXiv (Cornell University)|2019. 06. 27.

Homotopy and Cohomology in Algebraic Topology참고 문헌 5인용 수 5

한 줄 요약

이 논문은 양의 특성에서 분할 거듭제곱 대수에서 심플렉틱 및 접촉 형식을 분류하며, 반선형 대수학과 플래그 호환 구조를 통해 제1형 및 제2형 심플렉틱 형식과 접촉 형식의 정규 형태를 확립한다. 핵심 결과는 동치에 대해 고려할 때, 주기적 또는 유한한 정수 수열로 매개화된 분해 불가능한 제1형 심플렉틱 형식의 완전한 분류이며, 이는 반선형 자기형사에 따라 명시적인 정규 형태를 갖는다.

ABSTRACT

This text is the English translation of a 1986 manuscript which gives the classification of the differential forms parametrizing the finite-dimensional Lie algebras of hamiltonian and contact Cartan types over fields of positive characteristic. The results of this paper have not been previously published in full.

연구 동기 및 목표

• 분할 거듭제곱 대수에서 양의 특성에서 심플렉틱 및 접촉 미분 형식을 분류함으로써, Tyurin과 Wilson이 제시한 부피 형식의 분류를 확장한다.
• 복잡한 상호작용을 요구하는 제1형 심플렉틱 형식의 분류라는 열린 문제를 해결한다. 이는 교환형 이차형식, 플래그, 반선형 동형사의 복합적 상호작용을 수반한다.
• 특성 p > 0인 체에서 카르탕 유형 리 대수의 맥락에서 심플렉틱 및 접촉 형식에 대한 완전한 정규 형태 분류를 확립한다.
• 분해 불가능한 제1형 심플렉틱 형식의 동치류와 정수 수열의 몫집합 원소 사이의 전단사 대응 관계를 수립한다. 이는 특정 동치 관계에 따라 정의된다.

제안 방법

• 분류는 군 $ G'(F) $ 가 심플렉틱 및 접촉 형식에 작용하는 방식을 분석함으로써 이루어지며, 문제를 유한 차원 벡터 공간 위의 반선형 대수학으로 환원한다.
• 논문은 벡터 공간 $ E $ 의 플래그 호환 기저를 사용하며, 각 미지수 $ x_i $ 에 높이 $ m_i $ 를 할당함으로써 분할 거듭제곱 대수 $ O(F) $ 의 구조를 결정한다.
• 제1형 심플렉틱 형식의 경우, 분류 문제는 두 유한 차원 벡터 공간, 교환형 이차형식, 양쪽의 플래그, 그리고 대응 플래그 인자 간의 반선형 동형사로 구성된 시스템으로 환원된다.
• 형식의 정규 형태는 $ \sum_{i<j} \left(a_{ij} + b_{ij}x_i^{(p^{m_i}-1)}x_j^{(p^{m_j}-1)} \right) dx_i \wedge dx_j $ 로 표현되며, $ (a_{ij}) $ 와 $ (b_{ij}) $ 는 특정한 구조를 갖는 행렬이다.
• 행렬 $ (b_{ij}) $ 의 분류는 유한하거나 무한 주기적인 수열 $ \overline{k}, \overline{\ell} $ 에 의해 결정되며, 동치 관계는 식 (6.45)–(6.47)로 정의된다.
• 대수적으로 닫힌 체의 경우, 행렬 $ (b_{ij}) $ 는 수열의 항 합에 따라 (6.55) 또는 (6.56)의 캐논ical 조르당 유사 형태를 갖는다. 이 경우 동치 관계는 기저 반선형 자기형사의 동치에 의해 결정된다.

실험 결과

연구 질문

• RQ1 분할 거듭제곱 대수에서 양의 특성에서 제1형 심플렉틱 형식의 완전한 정규 형태는 무엇인가?
• RQ2 군 $ G'\left(\fF\right) $ 작용 하에서 심플렉틱 및 접촉 형식의 궤도는 어떻게 분해되며, 이를 분류하는 불변량은 무엇인가?
• RQ3 플래그 인자 공간 간의 반선형 동형사가 제1형 심플렉틱 형식의 분류에 어떤 역할을 하는가?
• RQ4 제2형 심플렉틱 및 접촉 형식의 정규 형태는 제1형과 어떻게 다를까?
• RQ5 분해 불가능한 제1형 심플렉틱 형식을 분류하는 동치 관계는 무엇이며, 이는 형식의 행렬 계수의 구조에 어떻게 표현되는가?

주요 결과

• 제1형 심플렉틱 형식의 분류는 두 벡터 공간, 교환형 이차형식, 플래그, 그리고 플래그 인자 간의 반선형 동형사로 구성된 시스템의 분류로 환원되며, 이는 §6에서 해결된다.
• 분해 불가능한 제1형 심플렉틱 형식은 몫집합 $ \mathfrak{P}/\sim $ 의 원소와 전단사 대응 관계를 이룬다. 여기서 $ \mathfrak{P} $ 는 둘 다 유한하거나 무한 주기적인 수열 쌍 $ (\overline{k}, \overline{\ell}) $ 로 구성된다.
• 정규 형태의 행렬 $ (b_{ij}) $ 는 수열 쌍에 의해 결정된다. 유한 수열의 경우 식 (6.54)에 의해 주어지고, 주기적 무한 수열의 경우 주기 $ t $ 와 항의 합에 따라 (6.55) 또는 (6.56)에 의해 주어진다.
• 대수적으로 닫힌 체의 경우, $ \sum k_i = \sum \ell_i $ 이면 행렬 $ (b_{ij}) $ 는 조르당 블록 (6.55) 이며, 그렇지 않으면 $ 2t \times 2t $ 행렬 (6.56) 이다. 형식의 동치는 기저 반선형 자기형사의 동치에 의해 결정된다.
• 제2형 심플렉틱 형식의 정규 형태는 빠르게 분류되며, 플래그의 구조와 형식의 계수에만 의존한다.
• 접촉 형식은 유사하게 분류되며, 이들의 정규 형태는 유사한 불변량에 의해 결정되며, 동치류는 동일한 반선형 대수적 프레임워크에 따라 정의된다.