[논문 리뷰] The graph cohomology ring of the GKM graph of a flag manifold of type $G_2$

Yukiko Fukukawa|arXiv (Cornell University)|2012. 07. 22.

Advanced Combinatorial Mathematics참고 문헌 5인용 수 6

한 줄 요약

이 논문은 GKM 그래프의 조합론적 기법을 사용하여 $G_2$ 형식의 플라스크 매니폴드의 동치 코homology의 링 구조를 결정한다. 웨일 군과 루트 시스템으로부터 유도된 레이블이 부여된 그래프를 구성함으로써, 그래프 코homology 링을 $\mathbb{Z}[\tau_1,\tau_2,\tau_3,t_1,t_2,t_3,f]/I$로 명시적으로 기술한다. 여기서 아이디얼 $I$ 는 무게와 동치 매개변수를 포함하는 대칭 다항식 관계를 코딩하며, 국소화 없이도 진짜 동치 코homology 링과의 링 이sovorphism를 확인한다.

ABSTRACT

Suppose a compact torus $T$ acts on a closed smooth manifold $M$. Under certain conditions, Guillemin and Zara associate to $(M, T)$ a labeled graph $\mG_M$ where the labels lie in $H^2(BT)$. They also define the subring $H_T^*(\mG_M)$ of $\bigoplus_{v\in V(\mG_M)}H^*(BT)$, where $V(\mG_M)$ is the set of vertices of $\mG_M$ and we call $H_T^*(\mG_M)$ the "graph cohomology" ring of $\mG_M$. It is known that the equivariant cohomology ring of $M$ can be described by using combinatorial data of the labeled graph. The main result of this paper is to determine the ring structure of equivariant cohomology ring of a flag manifold of type $G_2$ directly, using combinatorial techniques on the graph $\mG_M$. This gives a new computation of the equivariant cohomology ring of a flag manifold of type $G_2$.

연구 동기 및 목표

• 플라스크 매니폴드의 $G_2$ 형식에 대한 동치 코homology의 링 구조를 그 GKM 그래프의 순수 조합론적 자료를 사용하여 결정하는 것.
• 유리수 코homology 이sovorphism에 의존하지 않고 $H_T^*(\mathcal{G}_2)$의 직접 계산을 제공하는 것.
• $H_T^*(\mathcal{G}_2) \cong H_T^*(M)$ 가 유리수를 토치하지 않고도 정수 링으로서의 동치를 확인하는 것.
• 이전의 고전적 리 타입 결과를 예외적 경우인 $G_2$로 확장하여 대칭 다항식 항등식과 모듈러 자유성의 기법을 사용하는 것.

제안 방법

• G_2의 웨일 군과 루트 시스템으로부터 GKM 그래프 $\mathcal{G}_2$를 구성하고, $H^2(BT) \cong \mathbb{Z}[t_1,t_2,t_3]$ 에 속하는 무게로 간선에 레이블을 부여한다.
• 입접성 조건과 무게 조건을 사용하여 $\bigoplus_{v \in V(\mathcal{G}_2)} \mathbb{Z}[t_1,t_2,t_3]$ 의 부분환으로서 그래프 코homology 링 $H_T^*(\mathcal{G}_2)$ 를 정의한다.
• 특히 두 개의 임bedded된 $A_2$ 부분그래프를 활용하여 생성자 $\tau_1, \tau_2, \tau_3, f, t_1, t_2, t_3$ 사이의 관계를 유도한다.
• 대칭 다항식 항등식을 적용: $e_1(\tau) = 0$, $e_2(\tau) - e_2(s) = 0$, $2f - e_3(\tau) - e_3(s) = 0$, 그리고 $f^2 - f e_3(s) = 0$, 여기서 $s_i = t_i - t_{i+1}$.
• 관계를 통해 단항식 차수를 제한하고, 힐버트 급수 비교를 통해 $\mathbb{Z}[\tau,t,f]/I$ 가 $\mathbb{Z}[t]$-모듈로 자유임을 증명한다.
• 힐버트 급수 일치와 자연스러운 사상의 상사상성에 기반하여 $H_T^*(\mathcal{G}_2) \cong \mathbb{Z}[\tau,t,f]/I$ 를 확인한다.

실험 결과

연구 질문

• RQ1 플라스크 매니폴드의 $G_2$ 형식에 대한 그래프 코homology $H_T^*(\mathcal{G}_2)$ 의 명시적 링 구조는 무엇인가?
• RQ2 GKM 그래프의 조합론적 성질로부터 $G_2$ 플라스크 매니폴드의 동치 코homology 링을 어떻게 직접 계산할 수 있는가?
• RQ3 그래프 코homology $H_T^*(\mathcal{G}_2)$ 는 유리화 없이도 전체 정수 동치 코homology 링 $H_T^*(M)$ 을 복원하는가?
• RQ4 $G_2$ 경우에서 $H_T^*(\mathcal{G}_2)$ 의 생성자를 지배하는 대칭 다항식 관계는 무엇인가?

주요 결과

• 그래프 코homology 링 $H_T^*(\mathcal{G}_2)$ 는 $\mathbb{Z}[\tau_1,\tau_2,\tau_3,t_1,t_2,t_3,f]/I$ 와 동형이며, 여기서 $I$ 는 기본 대칭 다항식을 포함하는 네 개의 관계로 생성된다.
• 관계 $e_1(\tau) = 0$ 은 $\tau_1 + \tau_2 + \tau_3 = 0$ 을 의미하며, 이는 독립적인 $\tau$-생성자의 수를 감소시킨다.
• 관계 $e_2(\tau) - e_2(s) = 0$ 은 $\tau$의 기본 대칭 합이 $s_i = t_i - t_{i+1}$ 의 차분에 대한 기본 대칭 합과 같음을 나타낸다.
• 관계 $2f - e_3(\tau) - e_3(s) = 0$ 은 $f$ 가 $e_3(\tau)$ 와 $e_3(s)$ 의 선형 조합으로 표현됨을 나타내며, $f$ 를 루트 시스템과 연결한다.
• 관계 $f^2 - f e_3(s) = 0$ 은 $f(f - e_3(s)) = 0$ 을 의미하므로, $f$ 는 $e_3(s)$ 모듈로 멱등적이며, 이는 그 차수를 제한한다.
• 힐버트 급수 비교를 통해 $\mathbb{Z}[\tau,t,f]/I$ 가 $\mathbb{Z}[t]$-모듈로 순수 자유이며 랭크 12임을 확인하였으며, 이는 $H_T^*(M)$ 의 알려진 베텨 수와 일치한다. 따라서 이는 동형을 증명한다.