[논문 리뷰] A converse to the Grace--Walsh--Szeg\H{o} theorem

Petter Brändén, David G. Wagner|arXiv (Cornell University)|2008. 09. 18.

Advanced Algebra and Geometry참고 문헌 13인용 수 4

한 줄 요약

이 논문은 Grace-Walsh-Szegö 일치 정리의 역을 확립하며, 순열군의 대칭화자( symmetrizer )가 안정성을 유지하는 것은 그 군이 궤도 동질적일 때에만 가능하다는 것을 증명한다. 주요 결과는 원래 정리에서 전치 대칭성의 가정을 약화시킬 수 없음을 보여주며, 주어진 조건 하에서 영의 위치 성질을 유지하는 것은 오직 동질적 군들뿐임을 시사함으로써, 정리가 성립하기 위한 최소한의 대칭성 조건을 규명한다.

ABSTRACT

We prove that the symmetrizer of a permutation group preserves stability of a polynomial if and only if the group is orbit homogeneous. A consequence is that the hypothesis of permutation invariance in the Grace-Walsh-Szeg\H{o} Coincidence Theorem cannot be relaxed. In the process we obtain a new characterization of the \emph{Grace-like polynomials} introduced by D. Ruelle, and prove that the class of such polynomials can be endowed with a natural multiplication.

연구 동기 및 목표

• 완전한 대칭군 불변성 이외의 일반화가 가능한 순열군 G ≤ S_n 를 규명하는 것.
• 원래 정리에서 순열 불변성의 가정을 부분군 G 에 대한 불변성으로 약화시킬 수 있는지 조사하는 것.
• 다중아핀 G-불변 다항식이 상반평면에서 일치 성질을 만족하는 순열군의 집합을 특성화하는 것.
• 군 대칭화자들을 통해 안정성을 보존하는 선형 연산자와 Grace 유사 다항식 간의 연결 고리를 설정하는 것.
• 오직 궤도 동질적 군—특히 동질적 군—만이 일치 성질가 성립하기 위한 필요 및 충분 조건을 만족함을 증명하는 것.

제안 방법

• 다중아핀 다항식 위의 선형 연산자로 G-대칭화자 TG = (1/|G|) ∑_{σ ∈ G} σ 를 정의한다.
• 다항식 Q(z,w) = ∑_{σ ∈ S_n} c_σ ∏_{j=1}^n (z_{σ(j)} + w_j) 의 안정성과 연산자 T = ∑_{σ ∈ S_n} c_σ σ 의 안정성 보존 성질 간의 등가성을 이용한다.
• 안정 다항식 이론과 뉴턴 부등식을 적용하여 대칭 함수의 계수를 분석한다.
• 부분집합의 크기로 귀납법을 사용하여, G 가 동질적이지 않다면 대칭화된 다항식이 안정성이 아니며, 이는 가정과 모순됨을 증명한다.
• 모비우스 변환과 리만 구면을 활용하여 원에 의한 분리 조건을 상반평면으로 환원함으로써 안정성 기준의 적용을 가능하게 한다.
• 대칭화자가 안정성을 보존하는 유일한 군은 궤도 동질적 군이며, 특히 동질적 군임을 증명한다.

실험 결과

연구 질문

• RQ1 Grace-Walsh-Szegö 정리에서 완전한 순열 불변성은 S_n 의 진부분군 G 에 대한 불변성으로 약화시킬 수 있는가?
• RQ2 정확히 어떤 순열군 G 에서 일치 성질이 성립하는가? 즉, 어떤 상반평면 H 의 ξ 에 대해 f(ξ_1, ..., ξ_n) = f(ξ, ..., ξ) 가 성립하는가?
• RQ3 G-대칭화자가 다중아핀 다항식의 안정성을 보존하는 순열군 G 를 특성화할 수 있는가?
• RQ4 대칭화된 다항식 Q(z,w) = ∑_{σ ∈ S_n} c_σ ∏_j (z_{σ(j)} + w_j) 가 안정적이라면, G 는 동질적일까?
• RQ5 궤도 동질적 군과 대칭화자에 의한 안정성 보존 간의 관계는 무엇인가?

주요 결과

• 순열군 G 의 대칭화자가 안정성을 보존하는 것은 G 가 궤도 동질적일 때에만 성립한다.
• Grace-Walsh-Szegö 일치 성질이 성립하는 유일한 순열군 G 는 동질적 군이며, 즉 모든 k 에 대해 k-동질인 군이다.
• 원래 Grace-Walsh-Szegö 정리에서 전치 대칭성의 가정은 약화시킬 수 없다: S_n 의 진부분군 G 중 일치 성질을 만족하는 것은 존재하지 않는다.
• z-변수와 w-변수 간이 원으로 분리될 때 영이 없는 다항식—즉, Grace 유사 다항식의 집합은 복소수 군 대수 C[S_n] 의 곱셈 부분-반군을 이룬다.
• 대칭화자 TG 는 G 가 동질적일 때에만 안정성을 보존하며, 이 경우 TG = T_{S_n} 이다.
• 모든 비동질적 군 G 에 대해, f(ξ_1, ..., ξ_n) ≠ f(ξ, ..., ξ) 를 만족하는 다중아핀 G-불변 다항식 f 가 존재하며, 이는 일치 성질 위반을 의미한다.