[논문 리뷰] On the reductive monoid associated to a parabolic subgroup

Jonathan Wang|arXiv (Cornell University)|2016. 02. 23.

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

한 줄 요약

이 논문은 완전체 위의 재구성군 G의 포물선 부분군 P에 관련된 정규 재구성 모노이드 $\overline{M}$를 구성하고 특성화하며, 이는 아핀 폐쇄 $\overline{G/U(P)}$의 리트랙으로 나타나며, 바이너리 반군 $\overline{G_{\text{enh}}}$의 특정 임베디드 단순화와 동형임을 보여준다. 핵심 결과는 $\overline{M}$이 정규이며, 그 단위원군이 P의 리 파생 인수 M와 일치하고, 그 Renner 원뿔이 자르기된 바이너리 반군의 것과 일치함을 보여, 임의의 특성에서의 조합론적 분류를 제공한다.

ABSTRACT

Let $G$ be a connected reductive group over a perfect field $k$. We study a certain normal reductive monoid $\overline M$ associated to a parabolic $k$-subgroup $P$ of $G$. The group of units of $\overline M$ is the Levi factor $M$ of $P$. We show that $\overline M$ is a retract of the affine closure of the quasi-affine variety $G/U(P)$. Fixing a parabolic $P^-$ opposite to $P$, we prove that the affine closure of $G/U(P)$ is a retract of the affine closure of the boundary degeneration $(G imes G)/(P imes_M P^-)$. Using idempotents, we relate $\overline M$ to the Vinberg semigroup of $G$. The monoid $\overline M$ is used implicitly in the study of stratifications of Drinfeld's compactifications of the moduli stacks $\mathrm{Bun}_P$ and $\mathrm{Bun}_G$.

연구 동기 및 목표

• 특성에 관계없이 정규 대수적 모노이드임을 입증하는 것: $\overline{M}$은 $\operatorname{Spec}k[G/U(P)]$ 안에서 리 파생 인수 M의 폐쇄로 정의된다.
• 모노이드 $\overline{M}$이 아핀 폐쇄 $\overline{G/U(P)}$의 리트랙임을 보여, 환경 공간의 정규성에서 유도된 정규성을 상속함을 입증한다.
• 특정 임베디드 단순화 $e_P \cdot \overline{G_{\text{enh}},\mathbf{c}_P} \cdot e_P$를 통해 $\overline{M}$을 바이너리 반군 $\overline{G_{\text{enh}}}$와 연결한다.
• 모노이드 $\overline{M}$의 Renner 원뿔이 자르기된 바이너리 반군 $e_P \cdot \overline{G_{\text{enh}},\mathbf{c}_P} \cdot e_P$의 것과 일치함을 증명함으로써, $\overline{M}$의 조합론적 분류를 제공한다.
• 특성 0이 아닌 경우에 대해 점점 더 발전하는 점근적 성질과 아이zen슈타인 시리즈 함수자에 대한 일반화를 위한 기초를 제공한다. 특히 드리플란의 폐쇄와 헤크 스택의 맥락에서 고려된다.

제안 방법

• Grosshans에 의해 확립된 $k[G/U(P)]$의 유한 생성성을 활용하여, $\overline{M}$을 $\operatorname{Spec}k[G/U(P)]$ 안에서 M의 폐쇄로 구성한다.
• 적절한 임베디드 원소 $e_P$를 사용하여 $x \mapsto e_P \cdot x \cdot e_P$ 사상으로 $\overline{M}$이 $\overline{G/U(P)}$의 리트랙임을 증명한다.
• 정규 스킴의 리트랙은 정규이므로, 정규성의 성질을 보장하는 데 사용되는 Lemma 4.2.11을 적용하여, $\overline{G/U(P)}$의 정규성에서 $\overline{M}$의 정규성을 유도한다.
• 모노이드 $\overline{M}$과 $e_P \cdot \overline{G_{\text{enh}},\mathbf{c}_P} \cdot e_P$ 사이의 Renner 원뿔을 비교함으로써, 이 둘이 동형임을 확인한다.
• 원자량 격자 위의 가중치 사상 $\check{C}_{\mathbb{Z}} \to \check{\Lambda}$를 평가함으로써 $\mathbf{c}_P$에서 유도된 이미지가 $W_M \cdot \check{\Lambda}^+_G$임을 분석한다. 이는 $\overline{M}$의 Renner 원뿔의 생성자이다.
• Renner 원뿔에 의한 정규 재구성 모노이드의 분류를 사용하여, $\overline{M}$과 $e_P \cdot \overline{G_{\text{enh}},\mathbf{c}_P} \cdot e_P$가 모노이드로서 동형임을 결론짓는다.

실험 결과

연구 질문

• RQ1 정규 대수적 모노이드 $\overline{M}$은 $\operatorname{Spec}k[G/U(P)]$ 안에서 리 파생 인수 M의 폐쇄로 정의되며, 임의의 특성에서 정규인가?
• RQ2 $\overline{M}$은 아핀 폐쇄 $\overline{G/U(P)}$와 바이너리 반군 $\overline{G_{\text{enh}}}$와 어떻게 관련되어 있는가?
• RQ3 모노이드 $\overline{M}$의 Renner 원뿔은 무엇이며, 바이너리 반군의 조합론적 자료와 어떻게 관련되어 있는가?
• RQ4 모노이드 $\overline{M}$의 구성은 특성 0 이외의 경우에 대해 점근적 성질과 아이젠슈타인 시리즈 함수자의 일반화에 사용될 수 있는가?
• RQ5 $\overline{G/U(P)}$ 위의 리트랙 구조 $x \mapsto e_P \cdot x \cdot e_P$는 $\overline{M}$을 부분모노이드로 자연스럽게 실현하는 방법을 제공하는가?

주요 결과

• 모노이드 $\overline{M}$은 정규 아핀 다양체 $\overline{G/U(P)}$의 리트랙이므로, 임의의 특성에서 정규이다.
• 모노이드 $\overline{M}$은 정규임을 보여주는 리트랙 및 정규화 추론에 기반한, $e_P \cdot \overline{G_{\text{enh}},\mathbf{c}_P} \cdot e_P$와 동형이다.
• 모노이드 $\overline{M}$의 Renner 원뿔은 $W_M \cdot \check{\Lambda}^+_G$와 같다. 이는 G의 주된 원자량의 Weyl 군 궤도로 생성된 포화 모노이드이다.
• 평가 $\mathbf{c}_P$에서 유도된 가중치 사상 $\check{C}_{\mathbb{Z}} \to \check{\Lambda}$의 이미지는 정확히 $W_M \cdot \check{\Lambda}^+_G$이며, 원뿔의 일치를 확인한다.
• $\overline{M}$의 구성은 드리플란의 폐쇄와 관련된 헤크 스택의 양의 부분 $\mathcal{H}^+_{M}$에 대한 조합론적 모델을 제공한다.
• 결과적으로, [15]의 프레임워크를 특성 0 이외의 경우로 일반화하며, $\overline{M}$의 Renner 원뿔이 [15]에서 경계 붕괴의 멱급수 전개에 사용된 원뿔의 딱딱한 이중임을 규명한다.