[논문 리뷰] The Weak and Strong Lefschetz Properties for Artinian K-Algebras

Tadahito Harima, Juan Migliore외 2명|ArXiv.org|2002. 08. 26.

Commutative Algebra and Its Applications참고 문헌 19인용 수 5

한 줄 요약

이 논문은 특성 0인 체 위의 표준적 순서를 가진 아르틴 $K$-대수에 대해 약한 및 강한 레프셰츠 성질이 동일한 힐베르트 함수의 클래스로 특징지어지고, 동일한 날카운 상한이 그린 Betti 수에 적용된다는 것을 증명한다. 또한 모든 높이 3 완전교차와 $K[x,y]$ 내의 모든 아르틴 아이디얼이 강한 레프셰츠 성질을 가짐을 증명하고, 주어진 힐베르트 함수에 대해 최대 Betti 수를 달성하는 대수를 구성한다.

ABSTRACT

Let A = bigoplus_{i >= 0} A_i be a standard graded Artinian K-algebra, where char K = 0. Then A has the Weak Lefschetz property if there is an element ell of degree 1 such that the multiplication times ell : A_i --> A_{i+1} has maximal rank, for every i, and A has the Strong Lefschetz property if times ell^d : A_i --> A_{i+d} has maximal rank for every i and d. The main results obtained in this paper are the following. 1) EVERY height three complete intersection has the Weak Lefschetz property. (Our method, surprisingly, uses rank two vector bundles on P^2 and the Grauert-Mulich theorem.) 2) We give a complete characterization (including a concrete construction) of the Hilbert functions that can occur for K-algebras with the Weak or Strong Lefschetz property (and the characterization is the same one). 3) We give a sharp bound on the graded Betti numbers (achieved by our construction) of Artinian K-algebras with the Weak or Strong Lefschetz property and fixed Hilbert function. This bound is again the same for both properties. Some Hilbert functions in fact FORCE the algebra to have the maximal Betti numbers. 4) EVERY Artinian ideal in K[x,y] possesses the Strong Lefschetz property. This is false in higher codimension.

연구 동기 및 목표

• 특성 0인 체 위의 아르틴 $K$-대수에서 약한 또는 강한 레프셰츠 성질을 가질 수 있는 힐베르트 함수가 어떤 것인지 규명하는 것.
• 고정된 힐베르트 함수에 대해 이러한 대수의 그린 Betti 수에 대한 날카운 상한을 확립하는 것.
• 강한 레프셰츠 성질이 약한 레프셰츠 성질보다 힐베르트 함수나 Betti 수에 더 엄격한 제약을 가하는지 조사하는 것.
• 특성 0인 체 위의 높이 3 완전교차가 약한 레프셰츠 성질을 가짐을 증명하는 것. 이는 벡터 번들의 기법과 그라우에르트-뮐러러 정리를 사용한다.
• 모든 $K[x,y]$ 내의 아르틴 아이디얼이 강한 레프셰츠 성질을 가짐을 보이며, 이 결과는 높은 코드림에서 실패함을 보여주는 것.

제안 방법

• 높이 3 완전교차에 대해 약한 레프셰츠 성질을 증명하기 위해 $\mathbb{P}^2$ 위의 랭크 2 벡터 번들과 그라우에르트-뮐러러 정리를 사용한다.
• 반복적 아이디얼화를 통한 대수의 구성과 렉스-세그먼트 아이디얼을 사용하여 최대 Betti 수를 달성하고 강한 레프셰츠 성질을 만족시킨다.
• 일반적인 초기 아이디얼 이론과 보렐-고정 아이디얼 이론을 적용하여 강한 레프셰츠 성질을 단순한 단항식 아이디얼 문제로 환원한다.
• 곱셈 사상 $\times x_0^d$ 의 교환도형을 $A_i$ 와 $A_{i+d}$ 사이에 사용하고, 몫대수 $B^{(j)}_i$ 에서의 사상들과 비교하여 단사성과 전사성을 분석한다.
• 특히 $\text{gin}(I)$ 가 보렐-고정임을 이용하고, 강한 레프셰츠 성질이 $A/(y^d)$ 의 힐베르트 함수가 $y^d$ 에 의한 곱셈 사상에서 최대 질량을 가지는 것으로 특징지워진다는 점을 이용한다.
• 특수한 경우, 예를 들어 단항식 완전교차에서 레프셰츠 성질을 확인하기 위해 $\mathfrak{sl}(2)$ 의 표현 이론과 코homological 방법을 적용한다.

실험 결과

연구 질문

• RQ1 특성 0인 체 위의 아르틴 $K$-대수에서 약한 또는 강한 레프셰츠 성질을 가질 수 있는 힐베르트 함수는 무엇인가?
• RQ2 강한 레프셰츠 성질과 약한 레프셰츠 성질은 아르틴 $K$-대수의 가능한 힐베르트 함수에 대해 서로 다른 제약을 가하는가?
• RQ3 약한 레프셰츠 성질을 가진 대수에 대해 그린 Betti 수에 대한 날카운 상한이 강한 레프셰츠 성질을 가진 대수에 의해 달성될 수 있는가?
• RQ4 약한 레프셰츠 성질을 가진 대수에서 실현 가능한 그린 Betti 수의 집합이 강한 레프셰츠 성질을 가진 대수에서는 실현되지 않는가?
• RQ5 모든 $K[x,y]$ 내의 아르틴 아이디얼이 강한 레프셰츠 성질을 가지며, 이 성질이 높은 코드림에서도 유지되는가?

주요 결과

• 특성 0인 체 위의 아르틴 $K$-대수에 대해 약한 레프셰츠 성질과 강한 레프셰츠 성질을 특징짓는 데 동일한 힐베르트 함수의 클래스가 사용된다.
• 모든 높이 3 완전교차 $K[x_1,x_2,x_3]$ 는 약한 레프셰츠 성질을 가진다. 이는 $\mathbb{P}^2$ 위의 랭크 2 벡터 번들과 그라우에르트-뮐러러 정리를 사용하여 증명된다.
• 모든 $K[x,y]$ 내의 아르틴 아이디얼은 강한 레프셰츠 성질을 가진다. 이 결과는 높은 코드림에서는 성립하지 않는다.
• 약한 또는 강한 레프셰츠 성질을 가진 아르틴 $K$-대수에 대해 그린 Betti 수에 대한 날카운 상한은 강한 레프셰츠 성질도 만족하는 구성에 의해 달성된다.
• $A/(y^d)$ 의 힐베르트 함수가 $y^d$ 에 의한 곱셈 사상에서 최대 질량을 가지는 것은 강한 레프셰츠 성질을 특징짓고, 이 조건은 일반적인 초기 아이디얼 연산에 의해 유지된다.
• 약한 레프셰츠 성질을 가진 대수에서 실현 가능한 그린 Betti 수 집합이 강한 레프셰츠 성질을 가진 대수에서는 실현되지 않는다는 추측은 지지된다.