[논문 리뷰] An analogue of Hilbert's Theorem 90 for infinite symmetric groups

Rovinsky Marat|arXiv (Cornell University)|2016. 01. 01.

Algebraic structures and combinatorial models참고 문헌 3인용 수 3

한 줄 요약

이 논문은 무한 대칭군 $G = \operatorname{Sym}(S)$ 가 체 $k$ 위에서 무한 집합 $S$ 에 대해 자유롭게 생성된 체 $k(S)$ 에 작용할 때, 다양한 $G$-불변 부분체 $K \subset k(S)$ 에 대해, 체 $k(S)$ 가 부드러운 $K$-반선형 $G$-표현의 범주에서의 임베딩 코제너레이터임을 규명한다. 주요 결과로는 유한 생성 부드러운 표현의 노에테리안성, 일차원 표현의 텐서 곱을 통한 임베딩 코제너레이터 존재성, 그리고 유한 길이에 따른 불가약 표현의 완전한 분류가 포함된다.

ABSTRACT

Let $K$ be a field and $G$ be a group of its automorphisms. If $G$ is precompact then $K$ is a generator of the category of smooth (i.e. with open stabilizers) $K$-semilinear representations of $G$. There are non-semisimple smooth semilinear representations of $G$ over $K$ if $G$ is not precompact. In this note the smooth semilinear representations of the group $G$ of all permutations of an infinite set $S$ are studied. Let $k$ be a field and $k(S)$ be the field freely generated over $k$ by the set $S$ (endowed with the natural $G$-action). One of principal results describes the Gabriel spectrum of the category of smooth $k(S)$-semilinear representations of $G$. It is also shown, in particular, that (i) for any smooth $G$-field $K$ any smooth finitely generated $K$-semilinear representation of $G$ is noetherian, (ii) for any $G$-invariant subfield $K$ in the field $k(S)$, the object $k(S)$ is an injective cogenerator of the category of smooth $K$-semilinear representations of $G$, (iii) if $K\subset k(S)$ is the subfield of rational homogeneous functions of degree 0 then there is a one-dimensional $K$-semilinear representation of $G$, whose integral tensor powers form a system of injective cogenerators of the category of smooth $K$-semilinear representations of $G$, (iv) if $K\subset k(S)$ is the subfield generated over $k$ by $x-y$ for all $x,y\in S$ then there is a unique isomorphism class of indecomposable smooth $K$-semilinear representations of $G$ of each given finite length.

연구 동기 및 목표

• 무한 대칭군 $G = \operatorname{Sym}(S)$ 가 체에 작용하는 부드러운 반선형 표현의 구조를 이해하기 위해.
• 해당 표현이 노에테리안이거나 단순형인 조건을 규명하기 위해, 특히 군 작용의 전밀집성과의 관계를 고려하기 위해.
• 부드러운 $k(S)$-반선형 $G$-표현의 범주에 대한 가브리엘 스펙트럼을 묘사하기 위해.
• 임베딩 코제너레이터를 식별하고, $k(S)$ 의 부분체 기반으로 불가약 표현을 분류하기 위해.
• 표현론적 및 체론적 방법을 통해 힐베르트의 정리 90의 무한 대칭군에 대한 유사체를 확장하기 위해.

제안 방법

• 군 $G = \operatorname{Sym}(S)$ 가 체 $k(S)$ 에 작용하는 방식을 분석하며, 이는 $k$ 위의 유리함수로 구성된 체이며 자연스러운 $G$-작용을 지닌다.
• 특히 가브리엘 스펙트럼의 개념을 포함한 범주론적 도구를 적용하여, $G$-불변 부분체 $K \subset k(S)$ 에 대해 부드러운 $K$-반선형 $G$-표현의 범주를 분류한다.
• $k(S)$ 가 $G$-체로서의 구조를 이용해, 임의의 $G$-불변 부분체 $K \subset k(S)$ 에 대해, 이 체가 부드러운 $K$-반선형 표현의 범주에서 임베딩 코제너레이터임을 증명한다.
• 차수 0 유리함수의 부분체를 이용해 일차원 $K$-반선형 표현을 구성하고, 그 텐서 곱이 임베딩 코제너레이터 시스템을 이룬다는 것을 보인다.
• $x, y \in S$ 에 대해 $x - y$ 를 포함하는 부분체 $K \subset k(S)$ 를 조사하며, 각 유한 길이에 대해 불가약 부드러운 $K$-반선형 표현의 동형류가 유일하게 존재함을 증명한다.
• 열린 안정자와 관련된 부드러운 표현 이론을 활용하고, 군 작용의 전밀집성 조건을 이용하여 단순성과 노에테리안성에 관한 구조적 결과를 도출한다.

실험 결과

연구 질문

• RQ1 무한 대칭군 $G = \operatorname{Sym}(S)$ 의 부드러운 $K$-반선형 표현이 어떤 조건에서 노에테리안인가?
• RQ2 임의의 $G$-불변 부분체 $K \subset k(S)$ 에 대해, 체 $k(S)$ 가 부드러운 $K$-반선형 $G$-표현의 범주에서 임베딩 코제너레이터인가?
• RQ3 부드러운 $K$-반선형 $G$-표현의 범주에서, 일차원 표현의 텐서 곱을 이용해 임베딩 코제너레이터 시스템을 구성할 수 있는가?
• RQ4 만약 $K$ 가 $k(S)$ 내의 차수 0 유리함수의 부분체일 경우, 부드러운 $K$-반선형 $G$-표현의 불가약 표현은 어떻게 분류되는가?
• RQ5 부드러운 $K$-반선형 $G$-표현의 범주가 $G$-불변 부분체 $K \subset k(S)$ 의 선택에 따라 어떻게 달라지는가?

주요 결과

• 임의의 부드러운 $G$-체 $K$ 에 대해, $G$ 의 모든 유한 생성 부드러운 $K$-반선형 표현은 노에테리안이다.
• 임의의 $G$-불변 부분체 $K \subset k(S)$ 에 대해, 체 $k(S)$ 는 $G$ 의 부드러운 $K$-반선형 표현의 범주에서 임베딩 코제너레이터이다.
• 만약 $K$ 가 $k(S)$ 내의 차수 0 유리함수의 부분체일 경우, 일차원 $K$-반선형 표현의 정수 텐서 곱은 임베딩 코제너레이터 시스템을 이룬다.
• 만약 $K$ 가 $x, y \in S$ 에 대해 $x - y$ 를 포함하는 부분체일 경우, 각 유한 길이에 대해 불가약 부드러운 $K$-반선형 표현의 동형류가 정확히 하나 존재한다.
• 부드러운 $k(S)$-반선형 $G$-표현의 범주에는 잘 정의된 가브리엘 스펙트럼이 존재하며, 이는 $k(S)$ 가 $G$-체로서의 구조에 따라 완전히 묘사된다.
• 부드러운 $K$-반선형 표현에서 단순성의 결여는 군 작용의 전밀집성 부재에 의해 특징지어지며, 힐베르트의 정리 90의 기준을 일반화한다.