[논문 리뷰] On Invariant Theory

Valeri V. Dolotin|ArXiv.org|1995. 12. 14.

Mathematics and Applications인용 수 14

한 줄 요약

이 논문은 부분 도함수로부터 유도된 다중선형 형식의 판별식을 사용하여 $n$-항 다항식의 불변량을 계산하는 새로운 방법을 제안한다—고전적 판별식과 결과식을 일반화한다. 초극성 및 초헤시안을 정의함으로써 저자들은 이러한 판별식이 $GL_n$-불변 다항식을 생성함을 보이며, 다차원 행렬식을 통한 체계적인 불변량 생성이 가능해지며, 이중 4차형식에 대해 명시적인 공식이 제시된다.

ABSTRACT

Here we develop a technique of computing the invariants of $n-$ary forms and systems of forms using the discriminants of corresponding multilinear forms built of their partial derivatives, which should be cosidered as analogues of classical discriminants and resultants for binary forms.

연구 동기 및 목표

• 다중선형 형식의 판별식을 사용하여 $n$-항 다항식의 불변량을 체계적으로 계산하는 기법을 개발하기 위해.
• 고전적 불변량인 판별식과 결과식을 고차 및 다중선형 환경으로 일반화하기 위해.
• 초극성 및 초헤시안이 $GL_n$-불변 다항식을 생성하는 프레임워크를 구축하기 위해.
• 다차원 행렬식을 통한 전체 불변량 환의 생성을 위한 알고리즘적 경로를 제공하기 위해.
• 이중 4차형식에 대한 명시적 계산을 통해 방법의 효과성을 입증하기 위해.

제안 방법

• 차수 $k$의 동차 다항식 $f$의 $K$-극성($K = (k_1, \dots, k_d)$)을 각 색인에 대해 순서가 $k_i$인 혼합 편도함수로 얻어지는 $d$-선형 형식으로 정의한다.
• $(k_1, \dots, k_d)$-헤시안을 $K$-극성 형식의 판별식으로 정의하며, 이는 $\mathcal{H}^{(k_1\dots k_d)}(f)$로 표기되며, $GL_n$-불변 다항식을 생성한다.
• 다중선형 형식의 판별식(참고문헌 [1]의 알고리즘에 의해 계산됨)을 불변량 생성의 핵심 계산 엔진으로 사용한다.
• 다양한 다항식의 편도함수로부터 다중선형 형식을 구성함으로써 형식의 집합에 적용하여 일반화된 결과식을 도출한다.
• 코탄젠트 배럴의 텐서 거듭제곱의 반대칭 수축을 통해 $k$-그램 복합체를 정의하며, 다양체 위의 측도 수열을 얻는다.
• de Rham 복합체를 $k$-그램 복합체를 통해 변형시키며, $k = d!$일 때는 무한차 미분을 가지며, $k = d!/2$일 때는 de Rham 복합체를 복원한다.

실험 결과

연구 질문

• RQ1 부분 도함수로부터 유도된 다중선형 형식에서 $n$-항 다항식의 불변량을 어떻게 체계적으로 생성할 수 있는가?
• RQ2 K-극성 다중선형 형식의 판별식과 원래 다항식의 고전적 불변량 사이의 관계는 무엇인가?
• RQ3 헤시안과 결과식의 고차 일반화를 알고리즘적으로 정의하고 계산할 수 있는가?
• RQ4 $k$-그램 복합체는 de Rham 복합체와 같은 알려진 복합체와 어떻게 관련이 있는가?
• RQ5 이중 4차형식의 불변량 환의 구조는 무엇이며, 초헤시안을 통해 복원될 수 있는가?

주요 결과

• 이중 4차형식 $f$의 $(1,1,1)$-헤시안은 차수 4의 다항식 $f^{111}$이며, 그 판별식은 $D(f^{111}) = 2^{36}3^6 \mathcal{D} \mathcal{H}^6$를 만족한다. 여기서 $\mathcal{D}$는 판별식이고 $\mathcal{H}$는 $f$의 하 Hankel 행렬식이다.
• $f$와 그 $(1,1,1)$-헤시안의 결과식은 $R(f, f^{111}) = 2^{24}3^{12} \mathcal{D}^2 \mathcal{A}^4$이다. 여기서 $\mathcal{A}$는 아폴라 불변량이다.
• 초헤시안 구성은 이중 다항식의 모든 고전적 불변량을 생성한다: 판별식 $\mathcal{D}$, 하 Hankel 행렬식 $\mathcal{H}$, 아폴라 불변량 $\mathcal{A}$.
• $K$-헤시안 $\mathcal{H}^{(k_1\dots k_d)}(f)$는 항상 $GL_n$-불변량의 곱이므로, 불변량 환 생성에서의 역할을 확인한다.
• $k = d!/2$일 때 $k$-그램 복합체는 de Rham 복합체를 복원하며, $k = d!$일 때는 무한차 미분을 가지는 복합체를 생성한다.
• 이 구성은 다차원 행렬식을 통한 불변량 계산을 위한 완전한 알고리즘적 경로를 제공한다. 다중선형 형식의 판별식 계산이 가능하다면(예: [1] 참조).