[논문 리뷰] Cohen-Macaulay Property of pinched Veronese Rings

Ornella Greco, Ivan Martino|arXiv (Cornell University)|2017. 09. 29.

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

한 줄 요약

이 논문은 제곱자유 나눗셈 복합체의 축소된 호모로지로 깎인 베론제 링의 코hen-맥컬레이 및 선형성 성질을 특성화한다. $P_{n,d,\mathbf{m}}$이 코hen-맥컬레이임과 동치인 조건은 $\operatorname{max}\mathbf{m} = d$ 또는 ($\operatorname{max}\mathbf{m} = d-1$ 이고 $n=2$)이며, 두 변수 경우의 베티 표를 완전히 기술하여 $P_{2,d,\mathbf{m}}$가 $i > 1$일 때 $(i-2)$-선형임을 보이며, 베티 수에 대한 명시적 공식을 제시한다.

ABSTRACT

In this work, we study the Betti numbers of pinched Veronese rings, by means of the reduced homology of squarefree divisor complexes. We characterize when these rings are Cohen-Macaulay and we the study the shape of the Betti tables for the pinched Veronese in the two variables. As a byproduct we obtain information on the linearity of such rings. Moreover, in the last section we compute the canonical modules of the Veronese modules.

연구 동기 및 목표

• 깎인 베론제 링 $P_{n,d,\mathbf{m}}$가 코헨-맥컬레이가 되는 조건을 규명하는 것.
• 두 변수 깎인 베론제 링의 베티 표의 형태를 특성화하는 것.
• 기존 결과를 일반화하여 베론제 모듈러스 $S_{n,d,k}$의 캐논리컬 모듈러스를 계산하는 것.
• 깎인 베론제 링에서 분해의 선형성에 대한 이해를 다루며, 표준 베론제 링의 선형 분해와 대비하는 것.

제안 방법

• 제곱자유 나눗셈 복합체의 축소된 호모로지를 사용하여 $P_{n,d,\mathbf{m}}$의 베티 수를 계산한다.
• 베티 수와 심플리셜 복합체의 호모로지를 연결하는 브룬스-허츠로의 공식을 적용한다.
• $\operatorname{max}\mathbf{m}$에 따라 종속되는 힐베르트 급수 $P_{n,d,\mathbf{m}}(z)$의 닫힌 형태 표현을 유도한다.
• 이égor-Northcott 유형의 추론과 고파이어스트 링에서의 딱성과를 사용하여 캐논리컬 모듈러스를 계산한다.
• 특정 차수에서 호모로지 클래스의 소멸을 분석하여 분해의 $p$-선형성을 연구한다.
• 모노미얼 차수와 심플리셜 복합체의 구조에 대한 조합적 추론을 통해 베티 수의 지지 집합을 결정한다.

실험 결과

연구 질문

• RQ1 깎인 베론제 링 $P_{n,d,\mathbf{m}}$가 코헨-맥컬레이가 되는 조건은 무엇인가?
• RQ2 두 변수 경우에서 $P_{2,d,\mathbf{m}}$의 정확한 베티 표의 형태는 무엇인가?
• RQ3 어떤 조건에서 $P_{2,d,\mathbf{m}}$의 분해가 $p < d-1$에 대해 $p$-선형이 되는가?
• RQ4 $k < d$일 때 베론제 모듈러스 $S_{n,d,k}$의 캐논리컬 모듈러스는 무엇인가?
• RQ5 $\mathbf{m}$의 선택이 베티 수와 분해의 선형성에 어떤 영향을 미치는가?

주요 결과

• 깎인 베론제 링 $P_{n,d,\mathbf{m}}$는 $\operatorname{max}\mathbf{m} = d$ 또는 ($\operatorname{max}\mathbf{m} = d-1$ 이고 $n = 2$)일 때에만 코헨-맥컬레이이다.
• 일반적으로 $n=2$일 때, $\mathbf{m} = (i,d-i)$이고 $i > 1$이면 $P_{2,d,\mathbf{m}}$는 $p = i-2$-선형이며, $i=0$일 때는 선형이다.
• 만일 $\operatorname{max}\mathbf{m} < d-1$이면, $1 \leq j \leq i-1$에 대해 $\beta_{j,(j+1)d} = (d-1)\binom{d-2}{j} - \binom{d}{j} - \binom{d-2}{j+1}$이다.
• 만일 $\operatorname{max}\mathbf{m} < d-1$이면, $\beta_{d-3,(d-1)d} = \binom{d}{2} - 1$ 이고 $\beta_{d-2,d^2} = \binom{d}{3} - \binom{d}{2} + 1$이다.
• 베론제 모듈러스 $S_{n,d,k}$의 캐논리컬 모듈러스는 $S_{n,d,t}$이며, 여기서 $t \equiv -n-k \pmod{d}$ 이고 $0 \leq t < d$이다. 이는 이전 결과를 일반화한다.
• $S_{n,d,k}$의 베티 표는 $S_{n,d,d-n-k}$의 베티 표의 역순이며, 캐논리컬 모듈러스를 통한 딱성과 일치함을 확인한다.