[논문 리뷰] Degree of rational maps via specialization

Yairon Cid‐Ruiz, Aron Simis|arXiv (Cornell University)|2019. 01. 19.

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

한 줄 요약

이 논문은 다항식환에서 계수의 전문화에 under하여 프로젝티브 스킴 사이의 유리사상의 차수의 불변성을 보장하는 조건을 설정한다. Noetherian 도메인 위에서의 상대적 섬유환이나 Rees 대수의 이론을 개발하여, 일반적인 전문화 하에서 사상의 차수와 그 이미지가 유지됨을 증명한다. 주요 적용 분야로는 Gorenstein 아이디얼과 j-중복도 불변성에 대한 응용이 포함된다.

ABSTRACT

One considers the behavior of the degree of a rational map under specialization of the coefficients of the defining linear system. The method rests on the classical idea of Kronecker as applied to the context of projective schemes and their specializations. For the theory to work one is led to develop the details of rational maps and their graphs when the ground ring of coefficients is a Noetherian integral domain.

연구 동기 및 목표

• 다항식환에서 정의된 선형계의 계수 전문화 하에서 유리사상의 차수가 어떻게 행동하는지 이해하는 것.
• 고전적인 결과를 체 위에서 일반화하여 Noetherian 도메인 위에서의 유리사상에 대한 엄밀한 대수적 프레임워크를 개발하는 것.
• 섬유환과 포화 섬유환 이론을 상대적 설정으로 확장하여, 유리사상의 기하적 성질과 연결하는 것.
• 유리사상의 차수와 이미지가 전문화 하에서 일정하게 유지되는 조건을 설정하는 것.
• 특정 사례, 예를 들어 코디멘션 3인 Gorenstein 아이디얼과 j-중복도 불변성에 이 프레임워크를 적용하는 것.

제안 방법

• Noetherian 도메인 위의 프로젝티브 스킴에 적응된 크로네커의 전문화 원리를 사용한다.
• 기하적 이미지와 그 차수의 대수적 동반자로 상대적 섬유환과 포화 섬유환을 도입한다.
• 이중등급 모듈 이론과 국소코homology 기법을 적용하여 등급 성분의 차원을 유계화한다.
• 일반적인 결정식환과 펄라프시안 아이디얼을 사용하여 기저 아이디얼이 제어되는 유리사상을 모델링한다.
• Rees 대수와 관련된 등급환을 사용하여 유리사상의 그래프와 이미지를 대수적으로 기술한다.
• j-중복도를 아이디얼 복잡성의 척도로 사용하며, 일반 전문화 하에서 그 불변성을 보여준다.

실험 결과

연구 질문

• RQ1 정의된 선형계의 계수를 전문화할 때, 유리사상의 차수가 어떤 조건에서 유지되는가?
• RQ2 체 위에서의 고전적 유리사상 이론을 계수로 정의된 Noetherian 도메인 위의 사상으로 어떻게 일반화할 수 있는가?
• RQ3 상대적 섬유환과 포화 섬유환이 유리사상의 차수와 비라쇼널리티를 제어하는 데 어떤 역할을 하는가?
• RQ4 일반적인 계수 전문화 하에서 아이디얼의 j-중복도가 불변하는가?
• RQ5 코디멘션 3인 Gorenstein 기저 아이디얼을 가진 유리사상이 Dr과 같은 차수를 가지기 위한 충분조건은 무엇인가?

주요 결과

• 기저 아이디얼의 분석적 전개가 최대일 때, 유리사상의 차수와 이미지의 차수는 일반적인 계수 전문화 하에서도 유지된다.
• 높이 3, 차수 D인 형식들로 정의된 Gorenstein 기저 아이디얼을 가진 유리사상의 차수는 Dr로 유계이며, 아이디얼이 Gr+1 조건을 만족할 경우 Dr과 같다.
• 분석적 전개가 최대일 경우, 아이디얼의 j-중복도는 일반적인 계수 전문화 하에서도 불변하다.
• 포화 섬유환은 상대적 섬유환을 부분대수로 포함하며, 그 다항식의 차수는 사상의 차수와 이미지의 차수의 곱과 같다.
• 일반적인 반대칭 행렬의 펄라프시안으로 유도되는 유리사상은 일반적으로 유한하며, 그 차수는 Dr로 유계이다.
• 이 이론은 임의의 Noetherian 도메인 위에서 Rees 대수와 섬유환을 통한 차수 불변성 연구를 위한 통일된 프레임워크를 제공하며, 고전 결과를 확장한다.