류스테르니크-시니렐만 범주

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

1. 개요

류스테르니크-시니렐만 범주는 위상 공간의 불변량으로, 공간을 덮는 열린 덮개의 최소 개수를 통해 정의된다. 이 범주는 호모토피 불변량이며, 공간의 차원, 코호몰로지, 연산, 모스 이론 등과 연관되어 다양한 성질을 갖는다. 류스테르니크와 시니렐만이 도입했으며, 화이트헤드와 가네아가 다른 정의를 제시했다.

류스테르니크-시니렐만 범주

정의

정의	위상 공간 X의 류스테르니크-시니렐만 범주는 X를 덮는 열린 집합의 최소 개수이다. 각 집합은 X에 있는 점으로 수축 가능하다.
참고	류스테르니크-시니렐만 범주는 위상 공간의 불변량이다.

역사

기원	1930년대에 라자르 류스테르니크와 레프 슈니렐만이 개발함
목적	다양체에 대한 세 개 이상의 폐쇄된 측지선이 있음을 증명하는 데 사용됨

공식적 정의

정의	시니렐만 범주 cat(X)는 위상 공간 X의 열린 덮개 중 수축 가능한 열린 집합의 최소 카디널리티로 정의된다. 열린 집합 A가 X에서 수축 가능하다는 것은 포함 inc : A ↪ X가 상수 맵과 호모토픽하다는 의미이다. 1개로는 덮을 수 없다는 의미이다.
대안적 정의	cat(X)는 X가 n+1개의 열린 집합으로 덮여 있도록 하는 최소 정수 n이다. 각 집합은 X의 일부 열린 집합에서 수축 가능하다.
또 다른 정의	cat(X)는 X에서 수축 가능한 닫힌 집합의 최소 카디널리티이다.

속성

속성	cat(X) = 0 iff X가 수축 가능하다. cat(X) ≤ dim(X) (X가 콤팩트 국소 수축 가능한 공간인 경우). cat(X × Y) ≤ cat(X) + cat(Y) − 1. cat(Sⁿ) = 1 (n-차원 구). 덮개 {Uᵢ}가 있으면 cat(⋃ᵢUᵢ) ≤ ∑ᵢcat(Uᵢ).

다른 불변량과의 관계

관계	공간 X의 컵 길이 cup(X)는 X의 특이 코호몰로지의 환 구조에 의해 결정되는 불변량이다. cat(X) ≥ cup(X) + 1. 공간 X의 슈바르츠 장르 genus(p)는 파이버 p⁻¹(x)가 X에서 수축 가능한 파이버 번들 p : E → B에 대한 최소 정수 k이다. 여기서 x는 B의 임의의 점이다. cat(B) ≥ genus(p).

참고 문헌

참고 문헌	https://bookstore.ams.org/surv-103 https://doi.org/10.1016/0040-9383(78)90002-2

📚 더 읽어볼만한 페이지

모스 이론 - 렙셰츠 초평면 정리
렙셰츠 초평면 정리는 복소수체 위의 사영 대수다양체 <math>X</math>와 초평면의 교집합 <math>Y</math>에 대해, <math>X\setminus Y</math>가 매끄러운 다양체일 때, 특이 호몰로지 군, 특이 코호몰로지 군, 호모토피 군 사이의 특정 군 준동형들이 동형사상 또는 전사 함수가 됨을 보이는 정리이며, 상대 호몰로지 군, 상대 코호몰로지 군, 상대 호모토피 군의 소멸 정리와 동치이다.
모스 이론 - 모스 호몰로지
모스 호몰로지는 미분다양체의 위상수학적 정보를 추출하는 도구로, 모스 함수와 사슬 복합체를 사용하여 다양체의 호몰로지를 계산하며, 모스-보트 이론과 모스-위튼 코호몰로지를 통해 확장되어 물리학 연구에도 기여한다.
대수적 위상수학 - 매시 곱
매시 곱은 미분 등급 대수 원소에 대한 연산으로 코호몰로지 곱으로 파악하기 어려운 위상수학적 불변량을 측정하며, 2항 곱과 3항 곱을 일반화한 형태로 불확정성을 가지지만, 브루니안 링크, 보로메오 고리 연구 및 꼬인 K-이론 등 다양한 분야에 응용된다.
대수적 위상수학 - 톰 공간
톰 공간은 파라콤팩트 공간 위의 벡터 다발을 이용하여 구성되며, 르네 톰에 의해 도입되었고, 톰 동형을 통해 기저 공간의 코호몰로지와 관계를 가지며 특성류 이론 등에서 중요한 역할을 한다.
좋은 글 - 쇼와 천황
쇼와 천황은 메이지 천황의 손자로 태어나 124대 일본 천황으로 즉위하여 사망할 때까지 재위하며 만주사변, 중일전쟁, 태평양 전쟁 등 침략 전쟁에 관여했다는 논란이 있으며, 전후에는 상징적인 천황으로서의 역할을 수행했고 그의 전쟁 책임 문제는 논쟁의 대상이다.
좋은 글 - 히바 칸국
히바 칸국은 16세기 초에 건국되어 1920년까지 존속한 중앙아시아의 우즈베크 칸국으로, 초기 혼란과 수도 이전, 러시아 제국의 보호국 시기를 거쳐 소비에트 혁명으로 붕괴되었으며, 농업 기반 경제와 독특한 문화를 발전시켰다.

1. 개요
2. 정의
3. 성질
4. 예
5. 역사

2. 정의

류스테르니크-시니렐만 범주의 개념은 여러 가지로 정의될 수 있으며, 이 정의들은 CW 복합체와 호모토피 동치인 위상 공간에 대해서는 서로 일치한다.

2.1. 열린 덮개를 통한 정의

류스테르니크-시니렐만 범주의 개념은 여러 가지로 정의될 수 있으며, 이 정의들은 CW 복합체와 호모토피 동치인 위상 공간에 대해서는 서로 일치한다.

CW 복합체와 호모토피 동치인 $X$ 로 정의된 점을 가진 공간 $(X,\bullet_X)$ 가 주어졌으며 $\bullet_X \hookrightarrow X$ 가 쌍대올뭉치라고 하자.

$(X,\bullet)$ 의 류스테르니크-시니렐만 범주 $\operatorname{cat}(X)$ 는 다음 조건을 만족시키는 최소의 자연수 $\kappa$ 로 정의한다.
: 조건: $X$ 를 덮는 어떤 $(\kappa+1)$ 개의 열린 덮개 $(U_i,\bullet_X)_{0\le i\le \kappa}$ 가 존재해서, 모든 포함 함수 $U_i\hookrightarrow X$ 가 상수 함수와 호모토피 동치이다.
만약 위와 같은 자연수가 존재하지 않는다면, $\operatorname{cat}(X)=\infty$ 로 놓는다.

일부 문헌에서는 류스테르니크-시니렐만 범주를 $\kappa$ 대신 $(\kappa + 1)$ 로 정의하기도 한다.

2.2. 화이트헤드의 정의

영 대상(시작 대상이자 끝 대상인 대상)을 갖는 모형 범주 $\mathcal C$ 가 주어졌다고 하자. 이 모형 범주에서, 다음과 같은 성질을 생각할 수 있다.
:*육면체 공리(cube axiom^영어): 임의의 정육면체 꼴의 호모토피 가환 그림
::

:에서, 만약 윗면({y}–{x,y}–{x,y,z}–{y,z})이 호모토피 밂이며 모든 네 옆면들이 호모토피 당김이라면, 밑면 (ø–{x}–{x,z}–{z}) 역시 호모토피 밂이다.
(육면체 공리는 점을 가진 공간의 모형 범주

\operatorname{Top}\backslash\bullet

의 경우 성립한다. 육면체 공리는 자기 쌍대 조건이 아니다. 예를 들어 점을 가진 공간의 범주의 반대 범주인

(\operatorname{Top}\backslash\bullet)^{\operatorname{op}}

는

\operatorname{Top}\backslash\bullet

와 마찬가지로 영 대상을 갖는 모형 범주지만 육면체 공리는 성립하지 않는다.)

이러한 모형 범주에서, 올대상이자 쌍대올대상인 대상

X

의

n

차 부케가르니(bouquet garni^프랑스어) 또는 뚱뚱한 쐐기합(fat wedge^영어)

T^n \to X^n

은 다음과 같이 재귀적으로 정의되는 대상이다.
*

T_1 \simeq \bullet

이다.
*

T_n \to X^n

이 주어졌을 때,

T_{n+1} \to X^{n+1}

은 모형 범주

\mathcal C/X^{n+1}

에서의, 다음과 같은 꼴의 호모토피 밂이다.
:

\begin{matrix}T_n \times \bullet & \to & X^n \times \bullet \\\downarrow && \downarrow \\T_n \times X & \to & T_{n+1}\end{matrix}

특히, 다음이 성립한다.
:

T_2 \simeq X\vee X

(스스로와의 쌍대곱)

점을 가진 공간의 범주에서, 부케가르니는 구체적으로 다음과 같은 꼴로 주어진다.
:

T_n = \bigcup_{i=0}^{n-1} X^i \times \{\bullet\} \times X^{n-i-1} \subseteq X^n

즉, 이는

T_n

은 곱공간

X^n

에서, 적어도 한 좌표가 밑점

\bullet

이 되는 점들로 구성된 부분 공간이다.

(X,\bullet)

의 류스테르니크-시니렐만 범주는 다음 그림을 호모토피 가환 그림으로 만드는 연속 함수

f \colon X\to T_n

가 존재하는 최소의 자연수

n

이다.
:

\begin{matrix}X & \overset f \to & T_n \\\| & & \downarrow \\X & \underset{\operatorname{diag}}\to & X^n\end{matrix}

여기서

\operatorname{diag} \colon X \to X^n

은 대각 사상이다.

2.3. 가네아의 정의

영 대상을 가지며 육면체 공리를 따르는 모형 범주 $\mathcal C$ 를 생각하자.

올대상이자 쌍대올대상인 대상 $X$ 에 대하여, 가네아 구성은 다음과 같은 올뭉치들의 가환 그림이다.
: $\begin{matrix}F_0 & \hookrightarrow & G_0 & \twoheadrightarrow & X \\\downarrow && \downarrow && \| \\F_1 & \hookrightarrow & G_1 & \twoheadrightarrow & X \\\downarrow && \downarrow && \| \\F_2 & \hookrightarrow & G_2 & \twoheadrightarrow & X \\\downarrow && \downarrow && \| \\\vdots && \vdots && \vdots\end{matrix}$
여기서 각 요소는 다음 조건을 만족한다.
* $G_0 \simeq \bullet$ 이다. (즉, $G_0$ 은 끝 대상과 호모토피 동치이다.)
* 다음과 같은 사각형들은 호모토피 당김이다. 이는 $F_n$ 이 올뭉치 $G_n\twoheadrightarrow X$ 의 호모토피 올임을 의미한다.
*: $\begin{matrix}F_n & \hookrightarrow & G_n \\\downarrow & & \downarrow \\\bullet & \to & X\end{matrix}$
* 다음과 같은 사각형들은 모형 범주 $\mathcal C/X$ 에서의 호모토피 밂이다.
*: $\begin{matrix}F_n & \hookrightarrow & G_n \\\downarrow & & \downarrow \\\bullet & \to & G_{n+1}\end{matrix}$

이 구성을 가네아 올뭉치(Ganea fibrations^영어)라고 한다. 이를 이용하여 $X$ 의 류스테르니크-시니렐만 범주 $\operatorname{cat}(X)$ 를 정의할 수 있다. 이는 사영
: $\pi_n \colon G_n \to X$
이 호모토피 범주에서 오른쪽 역사상(즉, 단면) $X\to G_n$ 을 가질 수 있는 최소의 자연수 $n$ 이다.

점을 가진 공간의 범주에서 가네아 구성을 구체적으로 살펴보면 다음과 같다.
* $G_0$ 은 $X$ 의 경로 공간 $\operatorname{Path}(X) = \hom_{\operatorname{Top}\backslash\bullet}(\mathbb I,X)$ 으로 잡을 수 있다. 이 공간은 축약 가능하므로 $G_0 \simeq \bullet$ 조건을 만족한다.
* 이때 호모토피 올 $F_0$ 은 $X$ 의 고리 공간 $\Omega X = \hom_{\operatorname{Top}\backslash\bullet}(\mathbb S^1,X)$ 이다.
* $F_n$ 은 고리 공간 $\Omega X$ 의 $n$ 번 이음 $(\Omega X)^{\star n}$ 으로 잡을 수 있다.
* $G_1$ 은 $\Omega X$ 의 축소 현수 $\Sigma \Omega X$ 로 잡을 수 있다.

2.4. 정의 사이의 관계

류스테르니크-시니렐만 범주의 개념은 여러 가지로 정의될 수 있으며, 이 정의들은 CW 복합체와 호모토피 동치인 위상 공간에 대해서는 서로 일치한다.

영대상을 가지며 육면체 공리를 따르는 모형 범주가 주어질 경우, 올대상이자 쌍대올대상인 대상에 대하여 류스테르니크-시니렐만 범주의 화이트헤드 정의와 가네아 정의는 서로 일치한다. 또한 그 범주가 $\operatorname{Top}_\bullet$ 일 경우, CW 복합체와 호모토피 동치인 위상 공간에 대하여 열린 덮개를 통한 정의와 일치한다.

3. 성질

류스테르니크-시니렐만 범주는 호모토피 불변량이다. 즉, 서로 호모토피 동치인 두 위상 공간은 같은 류스테르니크-시니렐만 범주를 갖는다.

3.1. 연산에 대한 호환

다음이 성립한다. (여기서 $\vee$ 는 점을 가진 공간의 쐐기합이다.)
: $\operatorname{cat}(X\vee Y) = \max\{\operatorname{cat}(X), \operatorname{cat}(Y)\}$
: $\operatorname{cat}(X\times Y) \le \operatorname{cat}(X) + \operatorname{cat}(Y)$

만약 사상 $f\colon X\to Y$ 가 호모토피 오른쪽 역사상을 갖는다면, $\operatorname{cat}(X) \ge \operatorname{cat}(Y)$ 이다.

올뭉치
: $F\hookrightarrow E \twoheadrightarrow B$
에 대하여,
: $\operatorname{cat}(E) \le (\operatorname{cat}(F)+1)(\operatorname{cat}(B)+1) - 1$
이다.

임의의 점을 가진 공간 $(Z,\bullet)$ 의, 크기 2의 열린 덮개
: $X, Y \subseteq Z$
: $\bullet \in X\cap Y$
: $X \cup Y = Z$
가 주어졌다고 하면, 다음이 성립한다.
: $\operatorname{cat}(X\cup Y) \le \operatorname{cat}(X) + \operatorname{cat}(Y) + 1$

3.2. 차원과의 관계

위상 공간 $X$ 가 $(k-1)$ -연결 공간이라고 하자. 즉, $i = 0, 1, \dots, k-1$ 인 모든 정수 $i$ 에 대해 호모토피 군 $\pi_i(X)$ 이 자명군(원소가 하나뿐인 군)이라고 가정한다. 수식으로는 다음과 같이 표현된다.
: $\pi_i(X) = 0 \qquad\forall i \in\{0,1,\dotsc,k-1\}$

그렇다면, $X$ 의 류스테르니크-시니렐만 범주 $\operatorname{cat}(X)$ 와 르베그 덮개 차원 $\dim X$ 사이에는 다음 부등식이 성립한다.
: $\operatorname{cat}(X) \le \frac {\dim X}k$
여기서 $\dim X$ 는 $X$ 의 르베그 덮개 차원이다. 만약 $X$ 가 다양체라면, 이 르베그 덮개 차원은 다양체의 통상적인 차원과 일치한다.

3.3. 모스 이론과의 관계

연결 콤팩트 매끄러운 다양체 $M$ 위의 연속 미분 가능 함수 $f\colon M\to\mathbb R$ 의 임계점 집합
: $\operatorname{Crit}(f) = \{x\in M \colon \mathrm df = 0 \}$
의 크기는 다양체의 류스테르니크-시니렐만 범주 $\operatorname{cat}(M)$ 과 다음의 중요한 관계를 만족한다.
: $|\operatorname{Crit}(f)| \ge \operatorname{cat}(M) + 1$
이 부등식은 다양체 $M$ 위에 정의된 어떤 연속 미분 가능 함수라도 최소한 $\operatorname{cat}(M) + 1$ 개의 임계점을 가져야 함을 의미한다. 즉, 류스테르니크-시니렐만 범주는 임계점 개수의 하한을 제공한다.

예를 들어, 초구 $\mathbb S^n$ 을 유클리드 공간 $\mathbb R^{n+1}$ 안의 단위구로 생각하고, 특정 축 방향으로의 높이를 나타내는 함수를 고려해 보자. 이 높이 함수는 정확히 두 개의 임계점(가장 높은 점인 북극과 가장 낮은 점인 남극)을 갖는다. 한편, 초구의 류스테르니크-시니렐만 범주는 $\operatorname{cat}(\mathbb S^n) = 1$ 로 알려져 있다. 따라서 이 경우 임계점의 개수는 $|\operatorname{Crit}(f)| = 2$ 이고, $\operatorname{cat}(\mathbb S^n) + 1 = 1 + 1 = 2$ 이므로, 위 부등식에서 등호가 성립함을 확인할 수 있다.

이러한 성질은 함수의 임계점과 다양체의 위상적 성질을 연결한다는 점에서 모스 이론과 유사하다. 그러나 모스 이론은 모스 함수라는 특별한 조건을 만족하는 함수에 대해서만 임계점 수의 하한을 다루는 반면, 류스테르니크-시니렐만 범주는 모든 연속 미분 가능 함수에 대해 임계점 수의 하한( $\operatorname{cat}(M)+1$ )을 제공한다는 점에서 더 일반적인 결과를 제시한다.

3.4. 코호몰로지 길이와의 관계

일반적으로, 위상 공간 $X$ 에 대하여, 0이 아닌 $n$ 개의 축소 특이 코호몰로지류 $\alpha_1, \dotsc, \alpha_n \in \operatorname{\tilde H}(X)$ 가 존재하고 이들의 합곱 $\alpha_1 \smile \dotsb \smile \alpha_n$ 이 0이 아니라고 하자.
: $\alpha_1,\dotsc,\alpha_n\in\operatorname{\tilde H}(X)$
: $\{\alpha_1,\dotsc,\alpha_n\} \not\ni 0$
: $\alpha_1\smile \dotsb\smile \alpha_n \ne 0$
그렇다면, $X$ 의 류스테르니크-시니렐만 범주 $\operatorname{cat}(X)$ 는 다음 부등식을 만족시킨다.
: $\operatorname{cat}(X) \ge n$

3.5. 유리수 류스테르니크-시니렐만 범주

유리수체 위의 가환 미분 등급 대수의 모형 범주 $\operatorname{cdgAlg}_{\mathbb Q}$ 를 생각하자. 그렇다면, 조각 범주 $\operatorname{cdgAlg}_{\mathbb Q}/\mathbb Q$ 는 영 대상을 가지는 모형 범주이며, 육면체 공리를 따른다. 따라서 이 범주 위에서 류스테르니크-시니렐만 범주를 정의할 수 있다. (CW-복합체와 호모토피 동치이며, 점 포함 사상이 쌍대올뭉치인) 점을 가진 공간 $\{\bullet\}\hookrightarrow X$ 에 대하여, 이에 대응되는 가환 미분 등급 대수 $A\to\mathbb Q$ 의 류스테르니크-시니렐만 범주를
: $\operatorname{cat}_0(X)$
라고 표기하자. 이는 사실 $X$ 와 유리수 호모토피 동치인 점을 가진 공간의 류스테르니크-시니렐만 범주의 최솟값이다. 특히 다음 부등식이 항상 성립한다.
: $\operatorname{cat}_0(X) \le \operatorname{cat}(X)$
또한, 만약 $X$ 와 $Y$ 가 단일 연결 공간이며, 그 최소 설리번 대수들이 등급별 유한 차원이라고 하자. 그렇다면 다음 등식이 성립한다.
: $\operatorname{cat}_0(X \times Y) = \operatorname{cat}_0(X) + \operatorname{cat}_0(Y)$

4. 예

wikitext

👆

좌우로 밀어서 보기

공간	류스테르니크-시니렐만 범주
축약 가능 공간	0
초구 $\mathbb S^n$ , $n\ge1$	1
축약 불가능한 현수 $\Sigma X$	1
원환면 $\mathbb T^n$	$n$
실수 사영 공간 $\operatorname{\mathbb RP}^n$	$n$
복소수 사영 공간 $\operatorname{\mathbb CP}^n$	$n$
종수 $g$ 의 가향 콤팩트 곡면 $\Sigma_g$	$\min\{g,2\}$
콤팩트 단일 연결 심플렉틱 다양체 $M$	$(\dim M)/2$
$\mathbb S^2 \times \mathbb T^2$	3

5. 역사

라자리 류스테르니크와 레프 시니렐만이 처음으로 도입하였다. 두 사람의 공동 논문은 시니렐만이 세상을 떠난 후인 1947년에 처음 출판되었다. 그들은 위상 공간의 LS 범주와 그 공간 위에 있는 연속 함수의 임계점 개수 사이의 관계를 밝혀내면서 위상수학과 미분기하학 사이에 연관성이 있음을 알아냈다. 그들은 공간의 성질을 나타내는 이 불변량에 '범주'(catégorie^프랑스어, категорий^러시아어)라는 이름을 붙였다. 이는 범주론에서 사용하는 '범주'와는 다른 개념이며, 당시에는 아직 범주론이라는 학문 분야가 확립되기 전이었다.

부케가르니를 이용한 류스테르니크-시니렐만 범주의 정의는 조지 윌리엄 화이트헤드 2세가 도입하였다. 또한, 가네아 구성을 통한 류스테르니크-시니렐만 범주의 정의는 투도르 가네아가 도입하였다.

1971년, 가네아는 LS 범주에 관한 중요한 명제인 가네아 추측을 제안했다. 그러나 1998년에 일본의 수학자 이와세 노리오(岩瀬則夫^일본어)가 이 추측이 틀렸음을 보이는 반례를 발견하였다.