[논문 리뷰] Local structure of algebraic monoids

Michel Brion|ArXiv.org|2007. 09. 09.

Algebraic Geometry and Number Theory참고 문헌 2인용 수 4

한 줄 요약

이 논문은 등급 원소에서의 불가약 대수적 모노이드의 국소 구조 정리를 수립하며, 그러한 등급 원소의 근방이 이중 코셋 공간 $MeM$ 위의 유도된 다양체이자 두 측면 안정자 $M_e$를 갖는다는 것을 보여준다. 주요 기여는 불가약 대수적 모노이드를 아벨 다양체 위의 유도된 다양체로 분류하고, 그 섬유로 연결된 아핀 모노이드를 갖는 것으로, 레너의 오랜 숙제를 해결하며 정규성 및 스무스함에 대한 기준을 제공한다.

ABSTRACT

We describe the local structure of an irreducible algebraic monoid $M$ at an idempotent element $e$. When $e$ is minimal, we show that $M$ is an induced variety over the kernel $MeM$ (a homogeneous space) with fibre the two-sided stabilizer $M_e$ (a connected affine monoid having a zero element and a dense unit group). This yields the irreducibility of stabilizers and centralizers of idempotents when $M$ is normal, and criteria for normality and smoothness of an arbitrary $M$. Also, we show that $M$ is an induced variety over an abelian variety, with fiber a connected affine monoid having a dense unit group.

연구 동기 및 목표

• 등급 원소에서의 불가약 대수적 모노이드에 대한 국소 구조 이론을 개발하여, 이전의 아핀 모노이드에 대한 연구를 확장한다.
• 레너가 제기한 오랜 숙제인 불가약 대수적 모노이드의 분류 문제를 해결하며, 그것들이 특정한 섬유 모노이드를 갖는 아벨 다양체 위의 유도된 다양체임을 보여준다.
• 등급 원소에서의 안정자 구조에 기반하여 불가약 대수적 모노이드의 정규성 및 스무스함에 대한 기준을 제공한다.
• 알베르소 사상의 아핀성에 의해, 대수적 그룹의 동차 임베딩 중에서 불가약 대수적 모노이드를 특성화한다.
• 모든 불가약 대수적 모노이드가 준사영 다양체임을 증명하며, 이는 이전에 정규 모노이드에 대해서만 알려진 결과를 일반화한다.

제안 방법

• 등급 원소 $e$에서의 안정자 $M_e = \{x \in M \mid xe = ex = e\}$를 분석함으로써 국소 구조 정리를 수립하며, 이는 영 원소를 갖는 연결된 아핀 모노이드이자 밀도 있는 단위군을 가짐을 보여준다.
• 논문은 유도된 다양체 개념을 사용한다: $M$ 내 $e$의 열린 근방은 $MeM$의 열린 부분집합 위의 유도된 다양체와 동형이며, 섬유로 $M_e$를 갖는다.
• 등급 원소 $e$가 커널에 속할 경우, 전체 모노이드 $M$은 $G \times^H N$과 동형임을 도출한다. 여기서 $G$는 단위군, $H$는 $e$의 안정자, $N = M_e$이다.
• 알베르소 사상 $\alpha_X$는 대수적 그룹의 동차 임베딩 중에서 모노이드를 특성화하는 데 사용된다: $X$가 모노이드임과 동시에 $\alpha_X$가 아phin임은 동치이다.
• 구성은 특히 $G$-작용이 $G \times^H N$ 위에서 왼쪽 곱셈으로 작용하고, $H$-작용이 $N$에 확장되는 군 작용과 몫을 활용한다.
• 이론은 특성 0인 대수적으로 닫힌 체 위에서 개발되며, 모노이드 스킴를 통한 임의의 특성으로의 일반화에 대한 언급이 포함되어 있다.

실험 결과

연구 질문

• RQ1 등급 원소 근처에서의 불가약 대수적 모노이드의 국소 구조는 어떻게 묘사할 수 있는가?
• RQ2 등급 원소가 커널에 속할 경우, 불가약 대수적 모노이드의 전반적인 구조는 어떻게 되는가?
• RQ3 불가약 대수적 모노이드가 정규적이거나 스무스한 조건은 무엇인가?
• RQ4 모든 불가약 대수적 모노이드를 아벨 다양체 위의 유도된 다양체로 분류할 수 있는가? 이때 섬유 모노이드는 특정한 조건을 갖는다.
• RQ5 연결된 대수적 그룹의 동차 임베딩이 대수적 모노이드가 되는 조건은 무엇인가?

주요 결과

• 등급 원소 $e$ 근처의 국소 구조는 $MeM$의 열린 부분집합 위의 유도된 다양체이며, 섬유로 $M_e$를 갖는다. 이는 영 원소를 갖는 연결된 아핀 모노이드이자 밀도 있는 단위군을 갖는다.
• 등급 원소 $e$가 커널에 속할 경우, 전체 모노이드 $M$은 $G \times^H M_e$와 동형이며, 여기서 $H$는 $e$의 안정자이고 $M_e$는 양방향 안정자이다.
• $M$의 정규성 또는 스무스함은 $M_e$의 동일한 성질과 동치이며, 이는 안정자 연구로의 환원을 가능하게 한다.
• 모든 불가약 대수적 모노이드는 준사영 다양체이며, 이는 이전에 정규 모노이드에 대해서만 알려진 결과를 일반화한 것이다.
• 연결된 대수적 그룹 $G$의 동차 임베딩 $X$가 대수적 모노이드임과 동시에 그 알베르소 사상 $\alpha_X$가 아phin임은 동치이다.
• 모노이드 $M$은 $G \times^{G_{\text{aff}}} M_{\text{aff}}$와 동형이며, 이 사상은 유한하므로 $M$이 정규임과 동시에 $M_{\text{aff}}$가 정규이고 $G_{\text{aff}} = H$임은 동치이다.