[논문 리뷰] Equivariant class group. III. Almost principal fibrer bundles

Mitsuyasu Hashimoto|arXiv (Cornell University)|2015. 03. 07.

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

한 줄 요약

이 논문은 코디멘션 두 개 이상의 닫힌 부분집합을 제외한 곳에서는 주다발이 되는 유리 almost 주다발의 개념을 도입하여, 불변론에서의 코디멘션 두 개에 기반한 추론을 일반화한다. 이는 강하성, 등급 이론, 쌍대화 복합체를 갖춘 국소 Krull 및 Noetherian (S2) 스킴에서의 분류군, 캐논리컬 모듈, 프로베누스 푸시포워드, 전역 F-정규성에 대한 결과들을 통합하는 데 기여하며, 다중단면 다항식의 다항식과 토릭 다양체에 관한 기존 정리의 새로운 증명과 일반화를 제공한다.

ABSTRACT

As a formulation of 'codimension-two arguments' in invariant theory, we define a (rational) almost principal bundle. It is a principal bundle off closed subsets of codimension two or more. We discuss the behavior of the category of reflexive modules over locally Krull schemes, the category of the coherent sheaves which satisfy Serre's condition $(S'_2)$ over Noetherian $(S_2)$ schemes with dualizing complexes, the class group, the canonical module, the Frobenius pushforwards, and global $F$-regularity, of a rational almost principal bundle. We give examples of finite group schemes, multisection rings, surjectively graded rings, and determinantal rings, and give unified treatment and new proofs to known results in invariant theory, algebraic geometry, and commutative algebra, and generalize some of them. In particular, we generalize the result on the canonical module of the multisection ring of a sequence of divisors by Kurano and the author. We also give a new proof of a generalization of Thomsen's result on the Frobenius pushforwards of the structure sheaf of a toric variety.

연구 동기 및 목표

• 유리 almost 주다발을 사용하여 불변론에서의 코디멘션 두 개에 기반한 추론을 형식화하기 위해.
• 내림내림에 의한 유도를 통해 몫 스킴 위의 반사 모듈과 G-등변 반사 모듈 사이의 범주적 동치를 수립하기 위해.
• 다중단면 다항식의 캐논리컬 모듈과 토릭 다양체의 프로베누스 푸시포워드에 관한 기존 결과를 일반화하기 위해.
• 이중화 복합체를 갖춘 국소 Krull 및 Noetherian (S2) 스킴에서 분류군, 캐논리컬 모듈, F-정규성을 통합적으로 다룰 수 있는 프레임워크를 제공하기 위해.
• 유리 almost 주다발으로의 그로텐디크의 내림내림 정리 확장하여 군 작용과 몫 사이의 모듈 이론적 성질 이행을 가능하게 하기 위해.

제안 방법

• G가 기저 위에서 자명하게 작용하고, 코디멘션 두 개 이상의 부분집합을 제외한 곳에서는 주다발이 되는 다이어그램으로서 유리 almost 주다발을 정의하기 위해.
• 그로텐디크의 내림내림 정리를 사용하여 열린 부분다양체 U와 V를 통해 X 위의 등변 반사 모듈의 범주와 Y 위의 반사 모듈의 범주를 연결하기 위해.
• i*, i*, ρ*, 및 (⋅)G ∘ ρ*에 의해 유도되는 범주 동치를 활용하여 Ref(G,X)와 Ref(Y)를 연결하기 위해.
• 세레의 (S2) 조건과 이중화 복합체를 사용하여 Noetherian 스킴 위의 반사 모듈과 캐논리컬 모듈을 분석하기 위해.
• 프로베누스 전환과 프로베누스 핵자기 함수를 적용하여 프로베누스 푸시포워드와 전역 F-정규성을 연구하기 위해.
• 유한군 스킴, 다중단면 다항식, 토릭 다양체의 코엑스 다항식, 전사적으로 등급이 매겨진 다항식, 결정식 다항식에 이 프레임워크를 적용하여 통합된 결과를 도출하기 위해.

실험 결과

연구 질문

• RQ1 불변론에서의 코디멘션 두 개에 기반한 추론은 어떻게 유리 almost 주다발을 통해 형식화할 수 있는가?
• RQ2 유리 almost 주다발에 의한 몫에 대한 스킴의 분류군과 캐논리컬 모듈 사이의 관계는 무엇인가?
• RQ3 이 일반화된 프레임워크 하에서 토릭 다양체의 기하학적 구조층에 대한 프로베누스 푸시포워드는 어떻게 행동하는가?
• RQ4 이 접근법을 통해 키라노와 하시모토의 원래 결과를 초월하여 다중단면 다항식의 캐논리컬 모듈을 일반화할 수 있는가?
• RQ5 유리 almost 주다발의 맥락에서 전역 F-정규성을 보장하는 조건은 무엇인가?

주요 결과

• Y 위의 반사 모듈의 범주와 X 위의 G-등변 반사 모듈의 범주 사이에 i*ρ*j*와 (⋅)Gj*ρ*i*의 합성에 의한 동치가 성립한다.
• 유리 almost 주다발의 분류군과 캐논리컬 모듈은 동치에 의해 보존되며, 이는 다중단면 다항식에 관한 기존 결과를 일반화한다.
• 토릭 다양체의 기하학적 구조층에 대한 프로베누스 푸시포워드에 관한 톰센의 결과 일반화에 대해 새로운 증명이 제시된다.
• 다중단면 다항식의 캐논리컬 모듈은 유리 almost 주다발 프레임워크를 통해 키라노와 하시모토의 원래 결과를 초월하여 일반화된다.
• 유리 almost 주다발에 의해 유도되는 범주 동치에 따라 전역 F-정규성이 보존되며, 양의 특성에서의 대수기하학에서의 기존 결과를 확장한다.
• 이 프레임워크는 불변론, 대수기하학, 교환대수학의 결과들을 통합하고 새로운 증명을 제공하며, 결정식 다항식과 토릭 다양체의 코엑스 다항식에 관한 결과를 포함한다.