[논문 리뷰] On the equivariant cohomology of subvarieties of a B-regular variety

James B. Carrell, Kiumars Kaveh|ArXiv.org|2008. 09. 06.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 12

한 줄 요약

이 논문은 ${\mathfrak{B}}$-정규 다양체 $X$ 의 ${\mathfrak{B}}$-불변 부분다양체 $Y$ 중에서 제약 사상 $H^*(X) \to H^*(Y)$ 가 전사인 경우(즉, 주요 부분다양체라고 불리는 경우)를 분류한다. 이러한 부분다양체는 ${\mathfrak{T}}$-동차 코homology $H^*_{\mathfrak{T}}(Y)$ 가 $Y \times \mathbb{P}^1$ 에 내장된 곡선 ${\mathcal{Z}}_Y$ 의 좌표환과 동형임과 정확히 일치하며, $Y$ 가 주요임은 물론 $H^*_{\mathfrak{T}}(Y) = {\mathcal{H}}_{\mathfrak{B}}^*(Y)$ 라는 조건을 만족함을 증명한다. 여기서 ${\mathcal{H}}_{\mathfrak{B}}^*(Y)$ 는 $Y$ 에 정의된 ${\mathfrak{B}}$-동차 벡터(bundle)의 코homology 클래스들로 생성된 부분대수이다. 이는 동차 기하학을 통한 주요 부분다양체의 코homological 특성화를 제공한다.

ABSTRACT

By a $B$-regular variety, we mean a smooth projective variety over $C$ admitting an algebraic action of the upper triangular Borel subgroup $B \subset SL_2(C)$ such that the unipotent radical in $B$ has a unique fixed point. A result of M. Brion and the first author describes the equivariant cohomology algebra (over $C$) of a $B$-regular variety $X$ as the coordinate ring of a remarkable affine curve in $X imes P^1$. The main result of this paper uses this fact to classify the $B$-invariant subvarieties $Y$ of a $B$-regular variety $X$ for which the restriction map $i_Y:H^*(X) o H^*(Y)$ is surjective.

연구 동기 및 목표

• ${\mathfrak{B}}$-정규 다양체 $X$ 의 ${\mathfrak{B}}$-불변 부분다양체 $Y$ 중에서 제약 사상 $H^*(X) \to H^*(Y)$ 가 전사인 경우를 분류하는 것.
• 그러한 부분다양체의 ${\mathfrak{T}}$-동차 코homology 대수의 구조를 이용하여 이를 특성화하는 것.
• 제약 사상의 코homological 전사성과 $H^*_{\mathfrak{T}}(Y) \cong \mathbb{C}[{\mathcal{Z}}_Y]$ 간의 정확한 대응을 확립하는 것. 여기서 ${\mathcal{Z}}_Y$ 는 $Y \times \mathbb{P}^1$ 에 내장된 표준 곡선이다.
• ${\mathfrak{B}}$-불변 부분다양체 $Y$ 가 주요임은 물론 $H^*_{\mathfrak{T}}(Y) = {\mathcal{H}}_{\mathfrak{B}}^*(Y)$ 라는 조건을 만족함을 증명하는 것. 여기서 ${\mathcal{H}}_{\mathfrak{B}}^*(Y)$ 는 $Y$ 에 정의된 ${\mathfrak{B}}$-동차 벡터(bundle)의 코homology 클래스들로 생성된 부분대수이다.

제안 방법

• ${\mathfrak{T}}$-안정 아핀 곡선 ${\mathcal{Z}}_X \subset X \times \mathbb{P}^1$ 에 대해 알려진 동형사상 $H^*_{\mathfrak{T}}(X) \cong \mathbb{C}[{\mathcal{Z}}_X]$ 를 이용하여, ${\mathfrak{B}}$-불변 부분다양체 $Y$ 에 대한 제약 사상 $i_Y^*: H^*_{\mathfrak{T}}(X) \to H^*_{\mathfrak{T}}(Y)$ 를 분석한다.
• ${\mathcal{Z}}_Y$ 를 ${\mathcal{Z}}_X \cap (Y \times \mathbb{C})$ 로 정의하고, ${\mathbb{C}}[v]$-대수 준동형사상 $\rho_Y: {\mathcal{H}}_{\mathfrak{B}}^*(Y) \to \mathbb{C}[{\mathcal{Z}}_Y]$ 를 구성한다.
• 핵심 기술적 도구는 $\textup{End}(\tilde{E}_{|{\mathcal{Z}}_Y})$ 의 정규 단면 $s(v)$ 를 구성하는 것으로, 이는 $c_k^{{\mathfrak{T}}}(E)$ 의 코homology 클래스들을 ${\mathcal{Z}}_Y$ 상의 정칙 함수로 표현할 수 있게 한다.
• 국소화 기법과 ${\mathfrak{B}}$-작용의 구조를 적용하여, $Y$ 가 홀수 코homology 를 가지지 않을 경우 $\rho_Y$ 가 동형임을 보인다.
• $i_Y^*$ 의 이미지가 $H^*_{\mathfrak{T}}(Y)$ 와 정확히 일치하는 것은 물론 $H^*_{\mathfrak{T}}(Y) = {\mathcal{H}}_{\mathfrak{B}}^*(Y)$ 라는 조건을 만족함을 증명한다. 이는 코homological 조건과 동차 코homology 의 대수적 구조 사이의 연결 고리를 확립한다.
• 제약 사상과 $\rho_X$, $\rho_Y$ 를 포함하는 다이어그램의 교환성에 기반하여, $\rho_Y \circ i_Y^* \circ \rho_X^{-1} = \text{id}$ 가 $\mathbb{C}[{\mathcal{Z}}_Y]$ 상에서 성립함을 증명한다.

실험 결과

연구 질문

• RQ1 ${\mathfrak{B}}$-정규 다양체 $X$ 의 ${\mathfrak{B}}$-불변 부분다양체 $Y$ 중에서 제약 사상 $H^*(X) \to H^*(Y)$ 가 전사인 것은 무엇인가?
• RQ2 그러한 부분다양체에 대해 ${\mathfrak{T}}$-동차 코homology $H^*_{\mathfrak{T}}(Y)$ 는 기하학적으로 어떻게 묘사될 수 있는가?
• RQ3 제약 사상의 전사성과 $H^*_{\mathfrak{T}}(Y) \cong \mathbb{C}[{\mathcal{Z}}_Y]$ 간의 정확한 대응을 이루는 $Y$ 에 대한 대수적 조건은 무엇인가? 여기서 ${\mathcal{Z}}_Y$ 는 $Y \times \mathbb{P}^1$ 에 내장된 곡선이다.
• RQ4 ${\mathfrak{B}}$-불변 부분다양체 $Y$ 의 동차 코homology 대수 $H^*_{\mathfrak{T}}(Y)$ 에서의 부분대수 ${\mathcal{H}}_{\mathfrak{B}}^*(Y)$ 가 전체 동차 코homology 대수와 일치하는 조건은 무엇인가?
• RQ5 제약 사상 $i_Y^*: H^*_{\mathfrak{T}}(X) \to H^*_{\mathfrak{T}}(Y)$ 가 전사가 되는 조건는 무엇이며, 이는 $Y$ 에 정의된 ${\mathfrak{B}}$-동차 벡터(bundle)의 코homology 클래스들과 어떻게 관련이 있는가?

주요 결과

• ${\mathfrak{B}}$-정규 다양체 $X$ 의 ${\mathfrak{B}}$-불변 부분다양체 $Y$ 가 주요임은 물론 $H^*_{\mathfrak{T}}(Y) = {\mathcal{H}}_{\mathfrak{B}}^*(Y)$ 라는 조건을 만족함을 증명한다. 여기서 ${\mathcal{H}}_{\mathfrak{B}}^*(Y)$ 는 $Y$ 에 정의된 ${\mathfrak{B}}$-동차 벡터(bundle)의 코homology 클래스들로 생성된 부분대수이다.
• ${\mathfrak{T}}$-동차 코homology $H^*_{\mathfrak{T}}(Y)$ 는 $Y \times \mathbb{P}^1$ 에 내장된 곡선 ${\mathcal{Z}}_Y = {\mathcal{Z}}_X \cap (Y \times \mathbb{C})$ 의 좌표환 $\mathbb{C}[{\mathcal{Z}}_Y]$ 와 동형임을 증명한다. 여기서 ${\mathcal{Z}}_X \subset X \times \mathbb{P}^1$ 는 표준 곡선이며, $Y \times \mathbb{C}$ 와의 줄임 교차이다.
• $i_Y^*: H^*_{\mathfrak{T}}(X) \to H^*_{\mathfrak{T}}(Y)$ 의 이미지가 $H^*_{\mathfrak{T}}(Y)$ 와 정확히 일치하는 것은 물론 $H^*_{\mathfrak{T}}(Y) = {\mathcal{H}}_{\mathfrak{B}}^*(Y)$ 라는 조건을 만족함을 증명한다. 이는 주요성에 대한 코homological 기준을 확립한다.
• $Y$ 에 정의된 임의의 ${\mathfrak{B}}$-동차 벡터(bundle) $E$ 의 코homology 클래스 $c_k^{{\mathfrak{T}}}(E)$ 는 $\rho_Y$ 를 통해 ${\mathcal{Z}}_Y$ 상의 정칙 함수로 매핑되며, 이는 $\bigwedge^k E_y$ 에서의 $s(v)_y$ 의 추적으로 주어진다.
• $\rho_Y: H^*_{\mathfrak{T}}(Y) \to \mathbb{C}[{\mathcal{Z}}_Y]$ 는 ${\mathbb{C}}[v]$-대수 동형이며, $\rho_X$, $\rho_Y$, 제약 사상들을 포함하는 다이어그램은 교환된다.
• $Y$ 가 정규이며 $H^*(Y)$ 가 선다발의 코homology 클래스들로 생성된다면, 이는 $H^*_{\mathfrak{T}}(Y) = {\mathcal{H}}_{\mathfrak{B}}^*(Y)$ 를 의미하므로 $Y$ 는 주요이다.