[논문 리뷰] Morse theory on graphs

Victor Guillemin, Catalin Zara|ArXiv.org|2000. 07. 26.

Algebraic structures and combinatorial models참고 문헌 3인용 수 3

한 줄 요약

이 논문은 유한한 d-정점 그래프 Γ와 간선에 무게를 할당하는 축성 함수 α를 갖는 GKM 그래프 (Γ, α)의 G-equivariant 코homology 링 $ H_G(\Gamma) $ 를 분석하기 위한 모어스 이론적 프레임워크를 개발한다. 극성 벡터와 그래프적 모어스 이론을 활용하여, 저자들은 $ H_G(\Gamma) $ 가 $ \SS(\mathfrak{g}^*) $ 위의 자유 모듈러임을 증명하고, 대칭 다항식과 바르데모인 행렬식을 통해 각 차수에서의 생성자 수를 결정하며, 대칭 함수 이론과 가중치 데이터에 대한 정수적 연산을 통해 이러한 생성자들을 조합론적으로 기술한다.

ABSTRACT

Let $Γ$ be a finite d-valent graph and G an n-dimensional torus. An ``action'' of G on $Γ$ is defined by a map, $α$, which assigns to each oriented edge e of $Γ$ a one-dimensional representation of G (or, alternatively, a weight, $α_e$, in the weight lattice of G). For the assignment, $e o α_e$, to be a schematic description of a ``G-action'', these weights have to satisfy certain compatibility conditions: the GKM axioms. We attach to $(Γ, α)$ an equivariant cohomology ring, $H_G(Γ)=H(Γ,α)$. By definition this ring contains the equivariant cohomology ring of a point, $\SS(\fg^*) = H_G(pt)$, as a subring, and in this paper we will use graphical versions of standard Morse theoretical techniques to analyze the structure of $H_G(Γ)$ as an $\SS(\fg^*)$-module.

연구 동기 및 목표

• 점의 코homology인 $ \SS(\mathfrak{g}^*) $ 위의 모듈러로서 $ H_G(\Gamma) $ 의 구조를 이해하는 것.
• 만약 $ H_G(\Gamma) $ 가 $ \SS(\mathfrak{g}^*) $-자유 모듈러라면 각 차수에서의 생성자 수를 결정하는 것.
• 그래프의 대칭 다항식과 가중치 데이터를 이용한 $ H_G(\Gamma) $ 의 생성자에 대한 조합론적 기술 제공.
• 부드러운 다양체에 의존하지 않고도 G-equivariant 코homology를 분석할 수 있는 그래프적 모어스 이론적 프레임워크 수립.
• GKM 이론의 결과를 GKM 공리를 만족하는 축성 함수를 갖는 추상적 그래프로 일반화하는 것.

제안 방법

• 모든 간선 e에 대해 $ \alpha_e(\xi) \neq 0 $ 를 만족하는 극성 벡터 $ \xi \in \mathfrak{g} $ 를 정의하여, $ \alpha_e(\xi) > 0 $ 를 만족함으로써 그래프의 방향성을 정의한다.
• ξ에 의해 유도된 방향성을 이용해 정점에 높이 함수를 정의하고, 이를 통해 코homology 링의 모어스 이론적 분해를 가능하게 한다.
• 표준 모어스 이론 기법의 그래프적 유사체를 적용하여, GKM 조건과 1-스켈레톤의 구조를 이용해 코homology 링을 분석한다.
• 대칭 다항식과 바르데모인 행렬 이론을 활용하여, $ H_G(\Gamma) $ 의 생성자를 $ \SS(\mathfrak{g}^*) $-모듈러의 원소로 기술한다.
• 유한 집합 Δ에서 $ \SS(W) $ 의 분수체로의 사상에 대해 정수적 연산 $ \int_\Delta $ 를 도입하여, 코homology 공간 $ H(\Delta, \tau) $ 의 원소를 특성화한다.
• 대칭 다항식과 행렬식의 성질을 이용하여, 임의의 원소 $ g \in H(\Delta, \tau) $ 가 $ \sum_{k=0}^{d-1} g_k \tau^k $ 의 선형 조합으로 유일하게 표현될 수 있음을 증명한다. 여기서 $ g_k \in \SS(W) $ 이다.

실험 결과

연구 질문

• RQ1 G-equivariant 코homology 링 $ H_G(\Gamma) $ 는 $ \SS(\mathfrak{g}^*) $ 위의 자유 모듈러인가?
• RQ2 만약 $ H_G(\Gamma) $ 가 자유 모듈러라면 각 차수에서의 생성자 수는 얼마인가?
• RQ3 대칭 함수와 가중치 데이터를 이용해 $ H_G(\Gamma) $ 의 생성자를 조합론적으로 기술할 수 있는가?
• RQ4 Γ 위의 그래프적 모어스 이론적 접근 방식은 코homology 링의 구조를 어떻게 반영하는가?
• RQ5 축성 함수 $ \alpha $ 는 $ H_G(\Gamma) $ 의 모듈러 구조를 결정하는 데 어떤 역할을 하는가?

주요 결과

• $ H_G(\Gamma) $ 는 모어스 이론적 분해와 극성 벡터의 활용을 통해 $ \SS(\mathfrak{g}^*) $ 위의 자유 모듈러임이 입증된다.
• 차수 m에서의 생성자 수는 $ \sum_{k=0}^{d-1} \lambda_{m-k,n} $ 으로 주어지며, 여기서 $ \lambda_{i,n} $ 는 n개 변수에서 차수 i의 단항식의 수이다.
• 모든 원소 $ g \in H(\Delta, \tau) $ 는 $ \sum_{k=0}^{d-1} g_k \tau^k $ 의 형태로 유일하게 표현되며, 이는 코homology 모듈러의 표준 기저를 제공한다.
• 가중치 데이터와 관련된 바르데모인 행렬의 역행렬은 기저 전개에서 계수에 대한 명시적 공식을 제공하며, $ (A^{-1})_{1j} = \prod_{k \neq j} \left( \frac{-X_k}{X_j - X_k} \right) $ 를 만족한다.
• 정수적 연산 $ \int_\Delta g = \sum_{k=1}^d \frac{g(v_k)}{\prod_{j \neq k} (\tau(v_k) - \tau(v_j))} $ 는 $ H(\Delta, \tau) $ 의 원소를 특성화하며, 다항식 계수 $ g_k $ 를 재구성하는 데 사용된다.
• 코homology 공간 $ H(\Delta, \tau) $ 는 정수 조건을 만족하는 사상 $ g: \Delta \to \SS(W) $ 의 공간과 동형이며, 이 동형은 $ \SS(W) $ 의 군형 구조와 호환된다.