[논문 리뷰] Toroidal affine Nash groups

Mahir Bilen Can|arXiv (Cornell University)|2015. 09. 22.

Finite Group Theory Research참고 문헌 8인용 수 6

한 줄 요약

이 논문은 아핀 내쉬 군에 대해 로젠리크의 구조 정리의 유사체를 수립하며, 반대칭 대수적 군의 유사체로 토로이달 아핀 내쉬 군을 도입한다. 모든 아핀 내쉬 군이 몐체가 거의 선형인 몫을 갖는 가장 작은 정규부분군을 갖는다는 것을 증명하며, 연결된 군의 경우 가장 큰 토로이달 부분군과 가장 큰 거의 선형 정규부분군으로의 분해가 가능하며, 이 두 부분군의 교집합은 토로이달 부분군의 거의 선형 성분을 유한 지수 부분군으로 포함한다.

ABSTRACT

A toroidal affine Nash group is the affine Nash group analogue of an anti-affine algebraic group. In this note, we prove analogues of Rosenlicht's structure and decomposition theorems: (1) Every affine Nash group $G$ has a smallest normal affine Nash subgroup $H$ such that $G/H$ is an almost linear affine Nash group, and this $H$ is toroidal. (2) If $G$ is a connected affine Nash group, then there exist a largest toroidal affine Nash subgroup $\ant{G}$ and a largest connected, normal, almost linear affine Nash subgroup $\aff{G}$. Moreover, we have $G=\ant{G}\aff{G}$, and $\ant{G}\cap \aff{G}$ contains $\aff{(\ant{G})}$ as an affine Nash subgroup of finite index.

연구 동기 및 목표

• 아핀 내쉬 군에 대해 대수적 군의 로젠리크 정리와 유사한 구조 이론을 개발하는 것.
• 내쉬 군의 반대칭 대수적 군에 대한 유사체로 토로이달 아핀 내쉬 군을 정의하고 특성화하는 것.
• 연결된 아핀 내쉬 군이 가장 큰 토로이달 부분군과 가장 큰 거의 선형 정규부분군으로 분해될 수 있도록 하는 것.
• 이 두 부분군의 교집합이 토로이달 부분군의 거의 선형 성분을 유한 지수 부분군으로 포함함을 증명하는 것.
• 대수화와 전역 함수 이론을 활용하여 치르바레-유사 분해 결과를 내쉬 범주로 일반화하는 것.

제안 방법

• 연결된 반선형 아핀 내쉬 군, 즉 비자명한 거의 선형 몫을 갖지 않는 군으로 토로이달 아핀 내쉬 군을 정의한다.
• 대수화 함자들을 활용하여 아핀 내쉬 군을 실대수적 군과 연결하며, 하루쇼프스키와 필레이의 결과(아핀 내쉬 군은 실대수적 군의 유한 커버임)를 활용한다.
• 아핀 내쉬 군에 관련된 대수적 군에 대해 로젠리크의 정리(가장 작은 정규부분군이 아핀 몫을 갖는다)를 적용한다.
• 대수화 아래에서 대수적 군의 반대칭 및 아핀 부분군의 원상으로 가장 큰 토로이달 및 가장 큰 거의 선형 정규부분군을 구성한다.
• 리 대수 비교 및 유한 준동형을 통해 두 부분군의 교집합이 토로이달 부분군의 거의 선형 성분을 유한 지수 부분군으로 포함함을 보인다.
• 내쉬 군이 아핀이자 반대칭이면 자명이어야 한다는 사실을 활용하여 최소성 및 최대성 성질을 증명한다.

실험 결과

연구 질문

• RQ1 반대칭 대수적 군의 적절한 내쉬 군 유사체는 무엇이며, 어떻게 특성화할 수 있는가?
• RQ2 모든 아핀 내쉬 군이 몫이 거의 선형인 가장 작은 정규부분군을 갖는가?
• RQ3 연결된 아핀 내쉬 군은 가장 큰 토로이달 부분군과 가장 큰 거의 선형 정규부분군으로 분해될 수 있으며, 교집합이 제어 가능할까?
• RQ4 토로이달 부분군과 거의 선형 부분군의 교집합은 토로이달 부분군의 거의 선형 성분에서 유한 지수일까?
• RQ5 대수적 군의 구조 정리는 대수화를 통해 내쉬 범주로 어떻게 일반화될 수 있는가?

주요 결과

• 모든 아핀 내쉬 군 $G$ 는 가장 작은 정규 아핀 내쉬 부분군 $H$ 를 갖으며, 이에 대해 $G/H$ 는 거의 선형이며, $H$ 는 토로이달이다.
• 연결된 아핀 내쉬 군 $G$ 에 대해 가장 큰 토로이달 부분군 $G_{\text{ant}}$ 와 가장 큰 연결된, 정규적인, 거의 선형 부분군 $G_{\text{aff}}$ 가 존재하며, $G = G_{\text{ant}} G_{\text{aff}}$ 를 만족한다.
• 교집합 $G_{\text{ant}} \cap G_{\text{aff}}$ 는 $(G_{\text{ant}})_{\text{aff}}$ 를 아핀 내쉬 부분군으로 유한 지수로 포함한다.
• 가장 큰 거의 선형 부분군 $G_{\text{aff}}$ 는 $G$ 의 유일한 최대 연결 거의 선형 내쉬 부분군이며, $G_{\text{ant}}$ 는 유일한 최대 토로이달 부분군이다.
• 분해 $G = G_{\text{ant}} G_{\text{aff}}$ 는 대수화와 호환되며, $G_{\text{ant}}$ 와 $G_{\text{aff}}$ 의 리 대수는 $G$ 의 리 대수를 생성한다.
• 토로이달 부분군의 거의 선형 성분 $(G_{\text{ant}})_{\text{aff}}$ 는 $G_{\text{ant}} \cap G_{\text{aff}}$ 의 유한 지수 부분군이다.