[논문 리뷰] Action Type Geometrical Equivalence of Representations of Groups

B. Plotkin, A. Tsurkov|ArXiv.org|2005. 01. 21.

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

한 줄 요약

이 논문은 가환환 K 위에서의 군 표현을 위한 동작 유형 대수기하학을 도입하여, 동작 유형 기하 등치성, 준다각형, 논리적 노에테리안성과 같은 새로운 개념을 정의한다. 기약 $KF_2$-모듈의 연속체 수의 비동형체 존재를 증명함으로써, 동작 유형으로서 논리적 노에테리안이 아닌 표현을 구성하고, 그 초구체화가 원래 표현과 동작 유형으로서 기하 등치적이지 않음을 보이며, 군 이론에서의 결과와 유사성을 보인다.

ABSTRACT

For every variety of algebras and every algebras in these variety we can consider an algebraic geometry. Algebras may be many sorted (not necessarily one sorted) algebras. A set of sorts is fixed for each variety. This theory can be applied to the variety of representations of groups over fixed commutative ring with unit. We consider a representation as two sorted algebra. We concentrate on the case of the action type algebraic geometry of representations of groups. In this case algebraic sets are defined by systems of action type equations and equations in the acting group are not considered. This is the special case, which cannot be deduced from the general theory. In this paper the following basic notions are introduced: action type geometrical equivalence of two representations, action type quasi-identity in representations, action type quasi-variety of representations, action type Noetherian variety of representations, action type geometrically Noetherian representation, action type logically Noetherian representation.

연구 동기 및 목표

• 군 표현을 위한 특수화된 대수기하학 프레임워크를 개발하여, 동작 유형 방정식에 중점을 두고 작용하는 군 내의 방정식은 배제한다.
• 동작 유형 기하 등치성, 동작 유형 준다각형, 동작 유형 논리적 노에테리안성과 같은 새로운 불변량을 정의하고 연구한다.
• 준항등식과 초구체화 구축을 통해 동작 유형 기하 및 논리적 노에테리안성의 기준을 설정한다.
• 기약 $KF_2$-모듈의 연속체 수의 비동형체 존재를 증명하여, 표현 이론에서의 고전적 노에테리안 가정에 도전한다.
• 동작 유형으로서 논리적 노에테리안이지만 기하학적으로 노에테리안이 아닌 표현을 구성하고, 그 초구체화가 원래 표현과 기하학적으로 등치적이지 않음을 보인다. 이는 군 이론에서 알려진 결과를 확장한다.

제안 방법

• 표현을 두 종류의 대수 $(V, G)$로 형식화하며, $V$는 $K$-모듈이고 $G$는 $V$에 작용하는 군이며, 동작 유형 방정식이 대수적 집합을 정의한다.
• 정리 5.1의推론 2에 따라 근사 유사 기준을 통한 동작 유형 기하 등치성을 도입하며, 고전적 기하 등치성과 유사하다.
• 동작 유형 준항등식을 정의하고, 이를 통해 동작 유형 준다각형을 특성화하며, 비르코프 유형 기술(정리 7.1의 추론 2)을 사용한다.
• 핵 부분표현과 정규 부분표현 개념을 활용하여, 동작 유형 폐쇄에 대한 이상의 닫힘 성질을 분석한다.
• 초구체화 구축을 통해 원래 표현과 동작 유형으로서 기하 등치적이지 않은 표현을 생성하며, 이는 논리적 노에테리안성의 실패에 기반한다.
• 기약 $KF_2$-모듈의 연속체 수의 비동형체 존재(정리 8.1)를 활용하여 논리적 노에테리안성에 대한 반례를 구성한다.

실험 결과

연구 질문

• RQ1 표현이 동작 유형으로서 논리적 노에테리안이지만, 동작 유형으로서 기하학적 노에테리안이 아닌가?
• RQ2 두 표현이 동작 유형으로서 기하학적으로 등치되기 위한 조건은 무엇이며, 이는 근사 기준으로 특성화될 수 있는가?
• RQ3 비가산 수의 비동형 기약 $KF_2$-모듈 존재가 동작 유형으로서 논리적 노에테리안이 아닌 표현의 존재를 암시하는가?
• RQ4 동작 유형으로서 논리적 노에테리안이지만 기하학적으로 등치적이지 않은 표현의 초구체화가 원래 표현과 동작 유형으로서 기하학적으로 등치적이지 않은가?
• RQ5 가환환 위의 군 표현 맥락에서 동작 유형 준다각형과 논리적 노에테리안성은 어떻게 관련되어 있는가?

주요 결과

• 논문은 자유군 $F_2$ (두 생성자로 생성된 자유군) 위에서의 기약 $KF_2$-모듈이 연속체($\beth_1 = \beth_1$) 수의 비동형체 존재를 증명한다.
• 표현 $(V, F_2)$를 구성하며, $|V| = \beth_0$이며, 이는 동작 유형으로서 논리적 노에테리안이 아니며, 특정 이상이 동작 유형으로 닫혀 있지 않은 것으로 나타난다.
• 표현 $(V, F_2)$는 기약 부분모듈의 가산 집합을 가지지만, 비가산 수의 비동형 기약 $KF_2$-모듈이 존재하므로, 모든 모듈이 동일한 초구체화 이미지에 포함될 수는 없다.
• 표현 $(V, F_2)$의 초구체화 $(\tilde{V}, \tilde{F_2})$를 구성하여, 이는 동작 유형으로서 기하학적으로 등치적이지 않음을 보이며, 이는 서로 다른 동작 유형 준다각형 폐쇄로 인해 발생한다.
• 초구체화는 $\text{LQ}^{0}\text{Q}^{r}\text{SC}(\tilde{V}, \tilde{F_2}) \neq \text{LQ}^{0}\text{Q}^{r}\text{SC}(V, F_2)$를 만족하며, 정리 5.1의 추론 2에 제시된 기준을 통해 비등치성을 확인한다.
• 결과는 군 이론에서 알려진 정리([MR])와 유사하며, 이 맥락에서 논리적 노에테리안성은 초구체화 구축에서 기하학적 등치성을 암시하지는 않음을 보여준다.