[논문 리뷰] F-regularity of large Schubert varieties

Michel Brion, Jesper Funch Thomsen|ArXiv.org|2004. 08. 13.

Advanced Algebra and Geometry참고 문헌 9인용 수 4

한 줄 요약

이 논문은 연결된 재구성 대칭 대수적 군 $G$의 $G \times G$--equivariant 사영 임베딩에서 큰 슈베르트 다양체가 양의 특성에서 전역적으로 $F$-정규이며, 특성 0에서 전역적으로 $F$-정규 유형임을 확립한다. 프로베누스 분할 기법과 플래그 다양체의 전역 $F$-정규성에 기반하여, 저자들은 이러한 다양체가 정규이자 코hen-맥컬레이임을 증명하며, 해소화를 요구하지 않고 오랜 기간 동안의 그들의 특이성에 대한 질문을 해결한다.

ABSTRACT

Let G denote a connected reductive algebraic group over an algebraically closed field k and let X denote a projective G x G-equivariant embedding of G. The large Schubert varieties in X are the closures of the double cosets BgB, where B denotes a Borel subgroup of G, and g is in G. We prove that these varieties are globally F-regular in positive characteristic, resp. of globally F-regular type in characteristic 0. As a consequence, the large Schubert varieties are normal and

연구 동기 및 목표

• 재구성 대칭 군 $G$의 $G \times G$-equivariant 사영 임베딩에서 큰 슈베르트 다양체의 전역 $F$-정규성을 확립하는 것.
• 플래그 다양체에서 알려진 전역 $F$-정규성의 성질—예를 들어 정규성과 코hen-맥컬레이성—을 더 큰 슈베르트 다양체로 확장하는 것.
• 프로베누스 분할과 $F$-정규성 기법을 사용하여 특성에 관계없이 큰 슈베르트 다양체의 코hen-맥컬레이 성질을 직접 증명하는 것.
• 양의 특성으로의 감소를 통해 특성 0에서 이러한 다양체가 전역적으로 $F$-정규 유형임을 보여주는 것.

제안 방법

• 이전 연구 [2] 및 [18]에서 확립된 큰 슈베르트 다양체의 프로베누스 분할 성질을 활용한다.
• 양의 특성에서 전역 $F$-정규성과 프로베누스 분할 사이의 동치관계를 [20]에서 개발한 바를 적용한다.
• 플래그 다양체와 그 슈베르트 다양체의 전역 $F$-정규성을 기본 입력 자료로 사용한다 [12].
• $G$의 좌표환의 $\mathbb{Z}$-형을 구성하고 $p$로 모듈로 환원함으로써 문제를 $p$-진 설정으로 감소시킨다.
• $\overline{\mathbb{F}_p}$ 위의 군 $G_p$에 대한 $G_p \times G_p$-equivariant 임베딩 $X_p$를 구성하며, 좌표환 $S_p$가 유한 생성되고 정규임을 보인다.
• $B_p \times B_p$-오빗 $B_p w_0 B_p$가 $X_p$에 열려 있음을 증명함으로써 $X_p$가 $G_p$의 $G_p \times G_p$-equivariant 임베딩임을 밝히며, 이를 이중 코셋 $BgB$의 폐쇄의 전역 $F$-정규성으로 확장한다.

실험 결과

연구 질문

• RQ1 양의 특성에서 $G \times G$-equivariant 임베딩의 큰 슈베르트 다양체는 전역적으로 $F$-정규인가?
• RQ2 특성 0에서 큰 슈베르트 다양체는 유리 특이성을 가지며, 이는 $F$-정규성으로부터 유추될 수 있는가?
• RQ3 큰 슈베르트 다양체의 코hen-맥컬레이성과 정규성은 해소화 없이 확립될 수 있는가?
• RQ4 플래그 다양체의 전역 $F$-정규성이 감소 기법을 통해 그들의 더 큰 대응체에 동일한 성질을 유도하는 데 충분한가?
• RQ5 큰 슈베르트 다양체의 좌표환의 $F$-정규성은 프로베누스 분할과 모듈 이론적 방법을 통해 증명될 수 있는가?

주요 결과

• 연결된 재구성 대칭 군 $G$의 임의의 $G \times G$-equivariant 사영 임베딩에서 큰 슈베르트 다양체는 양의 특성에서 전역적으로 $F$-정규이다.
• 이들 다양체는 특성 0에서 전역적으로 $F$-정규 유형이며, 이는 기하학적 의미에서 유도된 측면에서 특이성이 잘 조절되어 있음을 의미한다.
• 이중 코셋 $BgB$의 폐쇄는 정규이자 코hen-맥컬레이이며, 기존의 플래그 다양체와 표준 콪팩티피케이션의 결과를 확장한다.
• 증명은 $p$로 모듈로 환원과 함께 $G$의 좌표환의 $\mathbb{Z}$-형의 구성에 기반하며, 이는 $F$-정규성이 양의 특성에서 특성 0으로 올라가는 것을 보장한다.
• 이 방법은 해소화의 필요성을 피하며, 프로베누스 분할과 $F$-정규성 기반으로 코hen-맥컬레이 성질을 직접 증명한다.
• 결과는 큰 슈베르트 다양체가 $n \times n$ 행렬 공간에 있을 경우 코hen-맥컬레이임을 확인하며, Knutson과 Miller의 이전 결과와 일치한다.