[논문 리뷰] Lefschetz elements of Artinian Gorenstein algebras and Hessians of homogeneous polynomials

Toshiaki Maeno, Junzo Watanabe|ArXiv.org|2009. 03. 20.

Commutative Algebra and Its Applications참고 문헌 11인용 수 7

한 줄 요약

이 논문은 정 characteristic zero인 체 위의 아르틴 꼬리산 고크스틴 대수에서 강한 레프셰츠 원소를 식별하는 기준을 제시한다. 이는 정의 다항식의 고차 헤시안을 사용한다. 강한 레프셰츠 원소의 집합은 고차 헤시안의 영점의 여집합이며, 첫 번째 헤시안은 0이 아니지만 두 번째 헤시안은 0인 다항식을 제시함으로써, 강한 레프셰츠 성질을 갖지 않는 아르틴 꼬리산 고크스틴 대수의 새로운 예를 구성한다.

ABSTRACT

We give a characterization of the Lefschetz elements in Artinian Gorenstein rings over a field of characteristic zero in terms of the higher Hessians. As an application, we give new examples of Artinian Gorenstein rings which do not have the strong Lefschetz property.

연구 동기 및 목표

• 특성 0인 체 위의 아르틴 꼬리산 고크스틴 대수에서 강한 레프셰츠 원소를 특성화하는 것.
• 伝통적인 행렬식 기반 알고리즘을 사용할 때 주어진 아르틴 꼬리산 고크스틴 대수가 강한 레프셰츠 성질을 갖는지 여부를 판단하는 데 어려움을 해결하는 것.
• 고차 헤시안의 소멸을 분석함으로써 강한 레프셰츠 성질을 갖지 않는 아르틴 꼬리산 고크스틴 대수의 새로운 예를 구성하는 것.
• 균형 잡힌, 대칭적인 힐베르트 함수를 갖는 코인variant 대수 및 대칭 대수의 맥락에서 레프셰츠 성질에 대한 이해를 확장하는 것.

제안 방법

• 다항식 $ F $의 앙니힐레이터를 통해 미분 연산자 환의 몫으로 아르틴 꼬리산 고크스틴 대수를 표현한다. 즉, $ A \cong Q / \operatorname{Ann}_Q F $.
• 레프셰츠 성질을 탐지하기 위한 불변량으로서 $ 1 \leq d \leq \lfloor \deg F / 2 \rfloor $에 대해 고차 헤시안 $ \operatorname{Hess}^{(d)}F $를 도입한다.
• 강한 레프셰츠 원소의 집합은 $ A_1 $에서 이 고차 헤시안의 영점의 여집합이므로, 아르틴 꼬리산 고크스틴 대수에서 조르지 열린 집합임을 이용한다.
• 첫 번째 헤시안은 0이 아니지만 두 번째 헤시안은 0인 다항식 $ F $를 선택함으로써 구체적인 예를 구성한다. 이는 강한 레프셰츠 성질의 실패를 암시한다.
• 두 번째 미분 연산자에 의해 $ F $에 작용한 결과 유도된 특정 벡터들의 선형 의존성을 검증함으로써 $ \operatorname{Hess}^{(2)}F = 0 $임을 확인한다.
• 명시적 단항식 기저를 사용하고, 미분 연산자의 다항식에 대한 작용을 계산함으로써 곱셈 사상의 질량을 결정한다.

실험 결과

연구 질문

• RQ1 특성 0인 체 위의 아르틴 꼬리산 고크스틴 대수에서 원소 $ L \in A_1 $가 강한 레프셰츠 원소가 되기 위한 필요충분조건은 무엇인가?
• RQ2 정의 다항식 $ F $의 고차 헤시안을 사용하여 강한 레프셰츠 성질을 대수적으로 특성화할 수 있는가?
• RQ3 첫 번째 헤시안은 0이 아니지만 두 번째 헤시안은 0인 아르틴 꼬리산 고크스틴 대수는 존재하는가? 이러한 대수는 강한 레프셰츠 성질을 갖지 않는가?
• RQ4 이러한 대수에서 레프셰츠 원소의 집합의 구조는 무엇이며, 고차 헤시안의 영점과 어떻게 관련이 있는가?
• RQ5 헤시안의 영점 조건에 기반한 예외를 초월하여, 강한 레프셰츠 성질을 갖지 않는 아르틴 꼬리산 고크스틴 대수의 새로운 예를 구성할 수 있는가?

주요 결과

• 특성 0인 체 위의 아르틴 꼬리산 고크스틴 대수에서 강한 레프셰츠 원소의 집합은 고차 헤시안 $ \operatorname{Hess}^{(d)}F $의 영점의 여집합이므로, $ A_1 $의 조르지 열린 부분집합이 된다.
• 페르마 타입 다항식 $ F = \sum_{i=1}^n x_i^n - n(n-1)s \prod_{i=1}^n x_i $에 대해 두 번째 헤시안 $ \operatorname{Hess}^{(2)}F $는 항등적으로 0이며, 이는 대응하는 대수 $ A = Q / \operatorname{Ann}_Q F $가 강한 레프셰츠 성질을 갖지 않음을 암시한다.
• 예제 5.1에서 $ n=3 $일 경우, 대수 $ A $는 힐베르트 함수 $ (1,6,13,13,6,1) $를 가지며, $ A_2 $에서 $ A_3 $로의 곱셈 사상 $ \times L $가 임의의 $ L \in A_1 $에 대해 단사나 전사가 아니므로 약한 레프셰츠 성질을 실패한다.
• 예제 5.2는 $ \operatorname{Hess} F \neq 0 $이지만 $ \operatorname{Hess}^{(2)}F = 0 $인 $ k[u,v,x,y,z] $에 속하는 차수 5의 다항식 $ F $를 제공한다. 이에 의해 힐베르트 함수 $ (1,5,12,12,5,1) $를 가지며, 약한 레프셰츠 성질을 실패하는 대수가 유도된다.
• 예제 5.3은 이카다의 기여로, $ F = w^3xy + wx^3z + y^3z^2 $인 다항식으로, $ \operatorname{Hess} F \neq 0 $이고 $ \operatorname{Hess}^{(2)}F = 0 $이며, 힐베르트 함수 $ (1,4,10,10,4,1) $를 가지며 약한 레프셰츠 성질을 실패하는 대수를 유도한다.
• 논문은 $ \operatorname{Hess}^{(2)}F = 0 $일 경우, 첫 번째 헤시안은 0이 아니더라도 대응하는 아르틴 꼬리산 고크스틴 대수 $ A $는 강한 레프셰츠 성질을 갖지 않음을 확인한다.