[논문 리뷰] Regularity of subschemes invariant under Pfaff fields on projective spaces

Joana Darc Antonia Santos Da Cruz, Eduardo Esteves|ArXiv.org|2009. 02. 13.

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

한 줄 요약

이 논문은 프로젝트브 스페이스에서 페프 필드에 관하여 불변인 산술적으로 코hen–맥컬레이 부분다양체의 캐스트엘누오보–무프라드 정규성에 대한 경계를 설정하며, 이 정규성이 페프 필드의 차수와 부분다양체의 특이점 집합에 의해 제어됨을 보여준다. 차수 1인 페프 필드에 관하여 불변이며 유한한 특이점 집합을 가지는 단순형, 산술적으로 코hen–맥컬레이 곡선의 경우, 정규성은 정확히 $ r = m + 1 + \rho $ 로 주어지며, 여기서 $ \rho = \mathrm{reg}(\Sigma_C) - r + 2 $ 이다. 이는 벡터장의 대수적 적분에 대한 이전 경계를 일반화한다.

ABSTRACT

A Pfaff field on a projective space is a map from the sheaf of differential s-forms, for a certain s, to an invertible sheaf. The interesting ones are those arising from a Pfaff system, as they give rise to a distribution away from their singular locus. A subscheme of the projective space is said to be invariant under the Pfaff field, if the latter induces a Pfaff field on the subscheme. We give bounds for the Castelnuovo-Mumford regularity of invariant complete intersection subschemes (more generally, arithmetically Cohen-Macaulay subschemes) of dimension s, depending on how singular these schemes are, thus bounding the degrees of the hypersurfaces that cut them out.

연구 동기 및 목표

• 프로젝트브 스페이스 $ \mathbb{P}^n_k $ 에서 페프 필드에 관하여 불변인 완전교차와 산술적으로 코hen–맥컬레이 부분다양체의 캐스트엘누오보–무프라드 정규성을 경계하는 것.
• 정규성과 페프 필드의 차수 및 부분다양체의 특이점 집합 간의 관계를 통해 이전의 파오노르 문제 결과를 일반화하는 것.
• 특이점 집합에서의 층 코homology 군의 소멸 조건을 이용한 정규성 경계에 대한 코homological 기준을 제시하는 것.
• 기존의 곡선과 초곡면에 대한 경계를 고차원, 특이점이 있는, 비단순형 불변 부분다양체로 확장하는 것.

제안 방법

• 페프 필드를 $ \eta: \Omega^s_{\mathbb{P}^n_k} \to \mathcal{L} $ 의 형태로 해석하며, 여기서 $ \mathcal{L} $ 는 가역층이며 $ m = \deg(\mathcal{L}) + s $ 이다.
• 특정 차수로 틀어진 이상층의 $ H^1 $ 과 $ H^2 $ 군의 소멸을 활용한 코homological 기법을 적용한다.
• 이상층 $ \mathcal{S} $, $ C $ 및 그 교차의 정확한 수열을 이용하여 코homology 를 정규성과 연결한다.
• 특이점 집합 $ \mathcal{S} $ 과 부분다양체의 특이점 집합 $ \Sigma_C $ 의 정규성을 이용하며, 0차원 스킴의 정규성에 관한 기존 결과를 활용한다.
• 등식 $ \mathcal{I}_{\mathcal{S} \cap C, C}(m-1) \cong \widetilde{\Omega}^1_C $ 를 사용하며, 여기서 $ \widetilde{\Omega}^1_C $ 는 캐논리컬 층의 비정상 부분이다.
• 하나의 조건 $ \omega_C \cong \mathcal{O}_C(r-3) $ 과 고렌스타인 성질을 이용하여 $ \mathcal{I}_{\Sigma_C, C} \otimes \omega_C \cong \widetilde{\Omega}^1_C $ 를 유도한다.

실험 결과

연구 질문

• RQ1 차수 $ m \geq 1 $ 인 랭크 1 페프 필드에 관하여 불변이며, 특이점 집합이 유한한 단순형 산술적으로 코hen–맥컬레이 곡선의 최대 정규성은 무엇인가?
• RQ2 페프 필드의 차수 $ m $ 외에 곡선의 특이점 집합은 정규성 경계에 어떤 영향을 미치는가?
• RQ3 특이점 집합의 정규성과 페프 필드의 차수로 표현되는 불변 부분다양체의 정규성을 경계로 삼을 수 있는가?
• RQ4 특정 코homological 조건이 성립할 경우, 불변 부분다양체의 정규성이 $ m + 1 + \rho $ 로 정확히 일치하는가, 여기서 $ \rho $ 는 특이점 집합에 의존한다.
• RQ5 곡선에 대한 경계는 어떤 정도까지 고차원 불변 부분다양체로 확장될 수 있는가?

주요 결과

• 차수 $ m \geq 1 $ 인 랭크 1 페프 필드 $ \eta $ 에 관하여 불변이며, 특이점 집합이 유한한 단순형 산술적으로 코hen–맥컬레이 곡선 $ C \subseteq \mathbb{P}^n_k $ 의 정규성은 $ r = m + 1 + \rho $ 를 만족하며, 여기서 $ \rho = \mathrm{reg}(\Sigma_C) - r + 2 $ 이다.
• 경계 $ r = m + 1 + \rho $ 는 날카롭고, 특이점 집합 $ \Sigma_C $ 가 비어 있지 않으며 $ r \geq m + 4 $ 일 때에만 달성된다. 이 경우 $ \rho \geq 3 $ 가 보장된다.
• 페프 필드의 특이점 집합 $ \mathcal{S} $ 의 정규성은 $ \mathrm{reg}(\mathcal{S}) = mn - n + 2 $ 로 주어지며, 이는 증명에서 코homological 소멸을 제어하는 데 사용된다.
• $ H^1(\mathcal{I}_{\mathcal{S}}(j)) $ 의 소멸은 $ j = m + \rho - 2 $ 일 때 필수적이며, 이는 $ \mathcal{S} $ 의 정규성 경계에 의해 보장된다.
• $ H^1(\mathcal{I}_{\Sigma_C, C}(\sigma - 2)) $ 의 비소멸성은 $ \Sigma_C $ 가 유한하고 비어 있지 않기 때문에 $ H^1(\mathcal{I}_{\Sigma_C}(\sigma - 2)) $ 의 비소멸성에 의해 유도된다.
• 이 결과는 세르베우와 린스 네토, 브루넬라와 멤테스의 이전 결과를 일반화하며, 코homological 도구를 활용하여 특이 곡선과 고차원 설정으로 확장한다.