푸아송 코호몰로지

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요
2. 정의
- 2.1. 푸아송 코호몰로지
- 2.2. 푸아송 호몰로지
3. 성질
4. 예
참조

1. 개요

푸아송 코호몰로지는 푸아송 다양체 위에 정의되는 코호몰로지 이론으로, 스하우턴-네이엔하위스 괄호를 사용하여 정의된다. 푸아송 코호몰로지는 푸아송 공사슬 복합체의 코호몰로지 군이며, 푸아송 호몰로지는 미분 형식의 공간에 정의된 연산자를 통해 정의되는 사슬 복합체의 호몰로지이다. 심플렉틱 다양체의 경우 드람 코호몰로지와 일치하며, 리 대수 코호몰로지 및 드람 코호몰로지와의 관계가 있다. 0차 푸아송 코호몰로지는 카시미르 함수로, 1차 푸아송 코호몰로지는 푸아송 벡터장과 해밀턴 벡터장의 몫공간으로 해석될 수 있다.

더 읽어볼만한 페이지

미분기하학 - 가우스 곡률
가우스 곡률은 3차원 유클리드 공간에 놓인 곡면의 두 주곡률의 곱으로, 곡면의 형태를 나타내는 지표이며 곡면 자체의 길이 측정만으로 결정되는 내재적인 값이다.
미분기하학 - 가우스의 빼어난 정리
가우스의 빼어난 정리는 곡면의 가우스 곡률이 외부 공간이 아닌 곡면 자체의 리만 계량만으로 결정된다는 정리로, 곡면의 변형 시 가우스 곡률이 보존됨을 의미하며, 지도 제작의 불가능성 증명과 고차원 리만 다양체 일반화에 응용되어 미분기하학과 일반 상대성 이론의 기초가 된다.

푸아송 코호몰로지
일반 정보
분야	수학, 미분기하학, 푸아송 기하학
연구	미분다양체의 함수에 대한 푸아송 괄호의 코호몰로지
이름의 유래	시메옹 드니 푸아송
같이 보기	리 대수 코호몰로지

2. 정의

푸아송 다양체 위에는 스하우턴-네이엔하위스 괄호를 이용해 정의하는 푸아송 코호몰로지와 푸아송 쌍벡터와의 내부곱으로 정의하는 푸아송 호몰로지가 있다.

2. 1. 푸아송 코호몰로지

푸아송 다양체

X

가 주어졌다고 하자. 그렇다면, 그 위의 스하우턴-네이엔하위스 괄호를 생각하자. 푸아송 구조

\pi\in\Gamma(\textstyle\bigwedge^2\mathrm TM)

의 경우

[\pi,\pi]=0

이므로, 미분 연산자

:

[\pi,-]\colon \Gamma\left(\bigwedge^m\mathrm M\right)\to \Gamma\left(\bigwedge^{m+1}\mathrm M\right)

는

:

을 만족시킨다. 즉, 다음과 같은, 텐서장 으로 구성된 공사슬 복합체가 존재한다.: 0 \to \mathcal C^\infty(M;\mathbb R) \,\xrightarrow{[\pi,-]}\,  \Gamma\left(\mathrm TM\right) \,\xrightarrow{[\pi,-]}\, \Gamma\left(\bigwedge^2\mathrm TM\right) \to \dotsb\to  \Gamma\left(\bigwedge^{\dim M}\mathrm TM\right) \to 0

이에 대한 코호몰로지 군을 '''푸아송 코호몰로지'''라고 한다. 즉, 텐서장

\alpha\in\Gamma(\textstyle\bigwedge^n\mathrm TM)

에 대하여, 만약

[\pi,\alpha] = 0

이라면

\alpha

를

n

차 '''푸아송 공순환'''(Poisson cocycle^영어)이라고 한다.

2. 2. 푸아송 호몰로지

푸아송 다양체

(M,\pi)

위의 미분 형식의 공간

\Omega^\bullet(M)

에는 푸아송 쌍벡터와의 내부곱

:

\pi\lrcorner \colon \Omega^\bullet(M) \to \Omega^{\bullet-2}(M)

이 존재한다. 이에 따라, 다음과 같은 −1등급 연산이 존재한다.

:

\partial_\pi = [\pi\lrcorner,\mathrm d] \colon \Omega^\bullet(M) \to \Omega^{\bullet-1}(M)

이는 멱영 연산이다.

:

\partial_\pi^2 = 0

따라서, 이는 다음과 같은 사슬 복합체를 정의한다.

:

0\leftarrow\Omega^0(M) \,\xleftarrow{\partial_\pi}\, \Omega^1(M) \,\xleftarrow{\partial_\pi}\, \Omega^1(M) \, \leftarrow \dotsb \leftarrow\Omega^{\dim M}(M) \leftarrow 0

그 호몰로지를 '''푸아송 호몰로지'''(Poisson homology^영어)라고 한다.

3. 성질

푸아송 다양체의 정의에 따라 $[\pi, \pi] = 0$ 이므로, 푸아송 구조 $\pi$ 는 2차 푸아송 공순환이며, 따라서 2차 푸아송 코호몰로지류를 정의한다. (이는 0일 수 있다.)

만약 푸아송 구조가 0일 경우 ( $\{-,-\}=0$ ), 푸아송 공경계 사상과 푸아송 경계 사상이 자명하므로, $k$ 차 푸아송 코호몰로지는 $k$ 차 푸아송 공사슬의 공간과 같으며, $k$ 차 푸아송 호몰로지는 $k$ 차 미분 형식의 공간과 같다.

콤팩트 심플렉틱 다양체의 경우, 푸아송 호몰로지는 실수 계수 특이 호몰로지와 일치한다.

3. 1. 심플렉틱 다양체와의 관계

모든 심플렉틱 다양체는 푸아송 다양체를 이룬다. 이 경우,

k

차 푸아송 공사슬은 심플렉틱 형식을 통한 음악 동형으로 인하여

k

차 미분 형식과 같으며, 푸아송 코호몰로지는 드람 코호몰로지와 일치한다.

3. 2. 리 대수 코호몰로지와의 관계

선형 푸아송 다양체

\mathfrak g

의 경우, 푸아송 코호몰로지는 그 쌍대 공간인 리 대수의 (자명한 계수의) 리 대수 코호몰로지와 다음과 같은 관계를 갖는다.

:

\operatorname H^\bullet_\pi(\mathfrak g^*) \cong \operatorname H^\bullet_{\operatorname{Lie}}(\mathfrak g;\mathbb R) \otimes_{\mathbb R} \operatorname H^0_\pi(\mathfrak g^*)

즉, 카시미르 함수의 공간과 텐서곱을 취한 것을 제외하면 리 대수 코호몰로지와 일치한다.

이 경우, 푸아송 구조

\pi

로 정의되는 2차 코호몰로지류는 항상 자명하다.

3. 3. 드람 코호몰로지와의 관계

푸아송 다양체

M

의 음악 사상

:

\sharp \colon \mathrm T^*M \to \mathrm TM

에 의하여,

k

차 미분 형식을

k

차 푸아송 공사슬로 대응시키는 사상

:

(-)^\sharp \colon \Omega^\bullet(M) \to C_\pi^\bullet(M)

이 존재하며, 이는 공사슬 사상이다. 즉, 이는 미분 형식 외미분을 푸아송 쌍벡터와의 스하우턴-네이엔하위스 괄호로 대응시킨다.

:

(-)^\sharp \circ \mathrm d = [\pi,-]

이는 드람 코호몰로지에서 푸아송 코호몰로지로 가는 사상

:

(-)^\sharp\colon \operatorname H^\bullet_{\operatorname{dR}}(M) \to \operatorname H^\bullet_\pi(M)

을 정의한다.

만약

M

이 심플렉틱 다양체라면, 이는 동형 사상을 이룬다. 이 경우 푸아송 코호몰로지는 드람 코호몰로지와 일치한다.

4. 예

0차와 1차 푸아송 코호몰로지는 함수 또는 벡터장으로 구체적인 해석을 갖는다. 2차 푸아송 공사슬은 푸아송 구조의 무한소 변환을 나타내며, 2차 푸아송 공경계는 푸아송 구조의 무한소 변환 가운데 단순히 좌표 변환만으로 유도되는 것이다. 이에 따라 푸아송 구조의 모듈라이 공간의 접공간은 2차 푸아송 코호몰로지의 부분 공간이다.

마찬가지로 고차 도함수 역시 고차 푸아송 코호몰로지의 원소를 정의한다. 만약 이 코호몰로지류들이 모두 0이라면, 2차 푸아송 코호몰로지류는 푸아송 구조의 모듈라이 공간의 접벡터를 정의한다.

푸아송 다양체 $(M,\pi)$ 에서, $\pi$ 는 정의에 따라 2차 푸아송 코호몰로지류를 정의한다.

: $[\pi] \in \operatorname H^2_\pi(M)$

만약 $[\pi]=0$ 이라면, $M$ 을 '''완전 푸아송 다양체'''(exact Poisson manifold^영어)라고 한다.

4. 1. 0차 푸아송 코호몰로지

푸아송 다양체

M

의 0차 푸아송 코호몰로지는 다음과 같은 실수 벡터 공간이다.

:

\operatorname H^0_\Pi(M) = \operatorname Z(\mathcal C^\infty(M;\mathbb R))=\left\{f\in\mathcal C^\infty(M;\mathbb R)\colon\forall g\in\mathcal C^\infty(M;\mathbb R)\colon \{f,g\}=0\right\}

즉, 모든 함수와 푸아송 괄호가 0인 매끄러운 함수로 구성된다. 이러한 함수를 '''카시미르 함수'''(Casimir function^영어)라고 하며, 이는 0차 푸아송 공순환과 같다. -1차 푸아송 공경계는 자명하므로, 이는 0차 푸아송 코호몰로지와 같다.

물리학적으로, 카시미르 함수는 임의의 해밀토니언에 대하여 운동 상수를 이루는 관측 가능량에 해당한다.

4. 2. 1차 푸아송 코호몰로지

푸아송 다양체

M

위의 벡터장에 대하여 다음 두 조건은 서로 동치이며, 이를 만족시키는 벡터장을 '''푸아송 벡터장'''(Poisson vector field^영어)이라고 한다.

$\nabla_X\{f,g\} = \{\nabla_Xf,g\} + \{f,\nabla_Xg\}\qquad\forall f,g\in\mathcal C^\infty(M;\mathbb R)$
$\mathcal L_X\pi = 0$

여기서

\mathcal L_X

는

X

방향의 (2,0)차 텐서장

\pi

의 리 미분이다. 푸아송 벡터장의 개념은 1차 푸아송 공순환의 개념과 동치이다. 이 공간을

\operatorname Z^1_\Pi(M)\subseteq\operatorname{Vect}(M)

이라고 한다.

푸아송 다양체

(M,\{,\})

위에서, 임의의

f\in\mathcal C^\infty(M;\mathbb R)

에 대하여

\{f,-\}

는

M

위의 벡터장을 이루며, 이러한 꼴의 벡터장을 '''해밀턴 벡터장'''(Hamiltonian vector field^영어)이라고 한다. 해밀턴 벡터장의 리 괄호는 대응하는 해밀토니언들의 푸아송 괄호와 일치한다. 이는 0차 푸아송 공사슬의 공경계 개념과 동치이다. 특히, 모든 해밀턴 벡터장은 푸아송 벡터장이다.

즉, '''1차 푸아송 코호몰로지'''는 푸아송 벡터장 공간의, 해밀턴 벡터장 부분 공간에 대한 몫공간이다.

:

\operatorname H^1_\Pi(M) = \frac{\operatorname Z^1_\Pi(M)}{\{\mathcal C^\infty(M,\mathbb R),-\}}

이는 군론에서 외부 자기 동형군과 유사한 개념이다. (여기서 푸아송 벡터장은 임의의 자기 동형, 해밀턴 벡터장은 내부 자기 동형에 해당한다.)

물리학적으로, 푸아송 벡터장은 푸아송 다양체가 나타내는 역학계의 (무한소) 대칭을 나타내며, 해밀턴 벡터장은 대칭 가운데 어떤 해밀토니언에 대한 시간 변화로 표현될 수 있는 것에 해당한다. 즉, 1차 푸아송 코호몰로지는 동역학적으로 표현될 수 없는 계의 (무한소) 대칭 공간이다.

4. 3. 2차 푸아송 코호몰로지

매끄러운 다양체

M

위의 (2,0)차 반대칭 텐서장들의 족

:

\pi \colon (-\epsilon,\epsilon) \to \Gamma\left(\bigwedge^2\mathrm TM\right)

이 주어졌다고 하자. 이는 벡터 다발의 단면의 족이므로, 형식적 멱급수

:

\pi(t) \sim \sum_{i=0}^\infty \frac1{i!}t^i \pi^{(i)}(0) = \pi(0) + \dot\pi(0) + \frac12\ddot\pi(0) + \dotsb

로 전개할 수 있다.

만약 모든

-\epsilon 에서 \pi(t) 가 푸아송 구조를 이룬다면, 이 조건은 다음과 같이 형식적 멱급수 로 전개된다.

:

0 = [\pi(t),\pi(t)] \sim [\pi(0),\pi(0)] + 2t[\pi(0),\dot\pi(0)] + t^2([\pi(0),\ddot\pi(0)] + [\dot\pi(0),\dot\pi(0)]) + \dotsb

특히,

\dot\pi(0)

는

:

[\pi(0),\dot\pi(0)] = 0

을 따른다. 다시 말해, 2차 푸아송 공사슬은 푸아송 구조의 무한소 변환을 나타낸다.

푸아송 다양체

(M,\pi)

위의 벡터장

X

가 주어졌다고 하자. 이는 무한소

M\to M

미분 동형 사상으로 생각할 수 있다. 이에 대하여 푸아송 구조는

[X,\pi] = \mathcal L_X\pi

와 같이 변환하게 된다. 즉, 2차 푸아송 공경계는 푸아송 구조의 무한소 변환 가운데, 단순히 좌표 변환만으로 유도되는 것이다.

이에 따라서, 푸아송 구조의 모듈라이 공간의 접공간은 2차 푸아송 코호몰로지의 부분 공간이다. 만약 3차 이상의 푸아송 코호몰로지가 모두 자명하다면, 2차 푸아송 코호몰로지는 푸아송 구조의 모듈라이 공간의 접공간과 일치한다.

4. 4. 고차 푸아송 코호몰로지

2차 푸아송 코호몰로지와 마찬가지로, $[\pi(t),\pi(t)]$ 형식적 멱급수 전개의 $\mathcal O(t^2)$ 항은 다음과 같다.

: $[\pi(t),\ddot\pi(0)] + [\dot\pi(0),\dot\pi(0)] = 0$

그런데 리 초대수 야코비 항등식 및 $[\pi(0),\dot\pi(0)] = 0$으로 인하여

: $[\pi(0),[\dot\pi(0),\dot\pi(0)] \propto [\dot\pi(0), [\pi(0),\dot\pi(0)]] = 0$

이다. 즉, $[\dot\pi(0),\dot\pi(0)]$은 항상 3차 푸아송 공사슬을 이룬다. 따라서, $\dot\pi(0)$이 실제로 푸아송 구조 모듈라이 공간의 접벡터를 이룰 필요 조건은 이 3차 푸아송 공사슬의 3차 푸아송 코호몰로지류가 0인 것이다.

마찬가지로, 고차 도함수 역시 고차 푸아송 코호몰로지의 원소를 정의한다. 만약 이 코호몰로지류들이 모두 0이라면, 2차 푸아송 코호몰로지류는 푸아송 구조의 모듈라이 공간의 접벡터를 정의한다.

4. 5. 0차 푸아송 호몰로지

푸아송 다양체

(M,\pi)

위의 1차 푸아송 사슬 (즉, 1차 미분 형식)

f\,\mathrm dg

의 푸아송 경계는 푸아송 괄호

:

\{f,g\}

이다. 따라서, 0차 푸아송 호몰로지는 다음과 같다.

:

\operatorname H_0^\pi(M) = \frac{\mathcal C^\infty(M,\mathbb R)}{\operatorname{Span}_{\mathbb R}(\{\mathcal C^\infty(M,\mathbb R),\mathcal C^\infty(M,\mathbb R)\})}

이는 실수 리 대수

(\mathcal C^\infty(M,\mathbb R),\{-,-\})

의 1차 유도 리 대수(derived Lie algebra^영어)에 대한 몫이므로,

(\mathcal C^\infty(M,\mathbb R),\{-,-\})

의 극대 아벨 몫 리 대수이다.

만약 푸아송 다양체가 콤팩트 유향 다양체라면, 최고차 미분 형식은 0차 미분 형식의 쌍대 공간의 (매끄러운) 부분 공간을 이룬다. 이 경우, 0차 푸아송 호몰로지의 쌍대 공간의 매끄러운 부분 공간은 다음과 같은 조건을 만족시키는 최고차 미분 형식

\omega

로 구성된다.

:

\int \{f,g\} \omega = 0\qquad\forall f,g\in\mathcal C^\infty(M,\mathbb R)

해밀턴 역학에서, 0차 미분 형식은 관측 가능량을 나타내며, 최고차 미분 형식(측도)은 앙상블(또는 통계역학적 혼합 상태)를 나타내며, 0차 미분 형식과 최고차 미분 형식의 곱의 적분은 주어진 앙상블에서 관측 가능량의 평균값이다. 따라서, 앙상블에 대한 이 조건은 임의의 관측 가능량의 평균값이 임의의 해밀토니언 아래서 시간 변화를 겪지 않는다는 것이다. 이 조건을 '''KMS 조건'''(KMS condition^영어)이라고 한다. 다시 말해, 0차 푸아송 호몰로지는 KMS 앙상블들의 공간의 쌍대 공간이다.

4. 6. 리우빌 벡터장

푸아송 다양체

(M,\pi)

에서,

\pi

는 정의에 따라 2차 푸아송 코호몰로지류를 정의한다.

:

[\pi] \in \operatorname H^2_\pi(M)

만약

[\pi]=0

이라면,

M

을 '''완전 푸아송 다양체'''(exact Poisson manifold^영어)라고 한다. 이 경우,

:

\mathcal L_X\pi = [X,\pi] = -\pi

인 벡터장

X \in \operatorname{Vect}(M)

이 항상 존재하며, 이를

(M,\pi)

의 '''리우빌 벡터장'''(Liouville vector field^영어)이라고 한다. 리우빌 벡터장이 존재할 경우, 충분히 작은

\epsilon \in\mathbb R^+

에 대하여 이를 적분하여 그 흐름

:

\phi \colon (-\epsilon,\epsilon) \times M \to M

을 정의할 수 있으며, 이 경우

:

\{\phi_t^*f,\phi_t^*g\} = \exp(t)\phi

가 된다. 즉, 이는 푸아송 다양체의 확대 변환(dilatation^영어)에 해당한다.

심플렉틱 다양체의 경우, 리우빌 벡터장이 존재하는지 여부는 심플렉틱 형식이 완전 미분 형식인지 여부와 동치이다. 특히, 모든 콤팩트 완전 심플렉틱 다양체는 0차원이다. 반면, 양의 차원의 콤팩트 완전 다양체는 존재한다.^[2]

참조

_[1] 웹인용 Geometric models for noncommutative algebras https://math.berkele[...] American Mathematical Society 1999-01-01
_[2] 저널 Poisson geometry 1998-08-01

본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com