[논문 리뷰] Vector invariants of a class of pseudo-reflection groups and multisymmetric syzygies

M. Domokos|arXiv (Cornell University)|2007. 06. 14.

Advanced Algebra and Geometry참고 문헌 38인용 수 9

한 줄 요약

이 논문은 다중대칭다항식에서 유도된 생성자와 관계를 통해, $B_n$ 유형의 웨일 군과 대칭군을 포함한 일련의 가짜반사군에 대한 다항식 불변량의 대수에 대한 유한 표현을 제공한다. 디르켄의 차수 경계와 월라흐-가르시아 기법을 사용하여, 첫 번째 및 두 번째 기본정리를 수립하고, 불변 가환 스킴의 근본성(fundamental relation)을 증명하며, 특성에 관계없이 무한한 표현을 제공함으로써 오랫동안 존재해 온 문헌의 빈도를 메운다.

ABSTRACT

First and second fundamental theorems are given for polynomial invariants of a class of pseudo-reflection groups (including the Weyl groups of type $B_n$), under the assumption that the order of the group is invertible in the base field. Special case of the result is a finite presentation of the algebra of multisymmetric polynomials. Reducedness of the invariant commuting scheme is proved as a by-product. The algebra of multisymmetric polynomials over an arbitrary base ring is revisited.

연구 동기 및 목표

• 가짜반사군의 일련에 대해 다항식 불변량의 첫 번째 및 두 번째 기본정리를 수립하는 것, 특히 $B_n$ 유형의 웨일 군과 대칭군을 포함하여.
• 다중대칭다항식 이론을 일반화하여, 생성자와 관계로 표현된 $K[V^m]^{G(n,q)}$ 대수의 유한 표현을 제공하는 것.
• 불변 가환 스킴의 근본성을 부산물로 증명함으로써 표현 이론과代수기하학 분야의 결과를 확장하는 것.
• 임의의 기저환 위에서 다중대칭다항식 이론을 재검토하고 강화하여, 기저체의 특성에 관계없이 적용 가능한 새로운 무한 표현을 제공하는 것.

제안 방법

• 저자들은 $G(n,q)$의 작용을 유지하는 $K[V^m]$의 좌표환에 다중차수 다항식 구조를 적용한다. 여기서 $G(n,q)$는 $C_q$와 $S_n$의 와이어드 프로덕트이다.
• 모노미얼 $w \in \mathcal{M}(q)$에 대해 극화 연산자 $[w]$를 정의하며, 이는 추적 유사 구성에 의해 $G$-불변 다항식을 유도한다.
• 이 방법은 시지지의 차수 경계를 디르켄의 결과로 적용하고, 월라흐와 가르시아의 아이디어를 변형하여 불변환의 생성자 집합과 관계를 유한하게 구성한다.
• 핵심 구성은 $S_n$ 작용 하에서의 단항식 궤도 합으로, $\mathcal{M}(q)$ 내 다중집합의 인덱스를 가진 $K[V^m]^G$의 기저를 이룬다.
• $q=1$인 경우, 이 구성은 다중대칭함수 대수의 새로운 투명한 유한 표현을 제공한다.
• 논문은 정리 5.5를 통해 임의의 기저환으로 확장하여, 특성 가정 없이 다중대칭다항식의 새로운 무한 표현을 제공한다.

실험 결과

연구 질문

• RQ1 군 $G(n,q)$, 즉 $C_q$와 $S_n$의 와이어드 프로덕트에 대한 다항식 불변량 대수의 유한 표현은 무엇인가?
• RQ2 특히 $q > 1$일 때, $K[V^m]^{G(n,q)}$의 생성자들 사이의 관계(시지지)는 어떻게 명시적으로 기술할 수 있는가?
• RQ3 $GL(n,\mathbb{C})$-불변량과 관련된 불변 가환 스킴은 여전히 근본적인가? 이는 $G(n,q)$의 불변 이론을 통해 증명될 수 있는가?
• RQ4 기저체의 특성에 관계없이 다중대칭다항식의 대수에 대해 특성에 독립적인 표현을 구성할 수 있는가?

주요 결과

• $K[V^m]^{G(n,q)}$ 대수는 정리 3.2에서 보여지듯이, $w \in \mathcal{M}(q)$에 대해 생성자 $[w]$와 추적 항등식에서 유도된 관계를 통해 유한 표현을 갖는다.
• $q=1$일 경우, 이 구성은 다중대칭함수 대수의 유한 표현을 제공하며, 이는 이전 문헌에서 일반적인 특성에 대해 이러한 표현이 존재하지 않았던 빈도를 메운다.
• $GL(n,\mathbb{C})$-불변량과 관련된 불변 가환 스킴은 정리 4.1에서 증명된 불변환의 기본관계의 결과로 근본적이다.
• $K[V^2]^{S_3}$의 힐베르트 급수는 $H = \frac{1 + t_1t_2 + t_1^2t_2 + t_1t_2^2 + t_1^2t_2^2 + t_1^3t_2^3}{(1-t_1)(1-t_1^2)(1-t_1^3)(1-t_2)(1-t_2^2)(1-t_2^3)}$로 계산되며, 기본 대칭함수에 대한 다항식환 위에서 자유성을 확인한다.
• $K[V^2]^{S_3}$의 생성자들 사이의 관계 아이디얼은 기본 항등식 $\Psi_4 = 0$에서 유도된 5개의 최소 생성자로 이루어지며, 이들의 이차수는 $(3,2), (2,3), (4,2), (2,4), (3,3)$이다.
• 임의의 기저환 위에서 정리 5.5는 특성 가정 없이 다중대칭다항식의 새로운 특성에 독립적인 무한 표현을 제공하며, 체 가정이 없는 상황에서 알려진 결과를 강화한다.