{{위키데이터 속성 추적}}
[[대수기하학]]에서 '''그라스만 다양체'''(Graßmann多樣體, {{Llang|en|Grassmannian}})는 어떤 [[선형 공간]]의 주어진 차원의 부분 선형 공간들을 분류하는 [[모듈라이 공간]]이다.

그라스만 다양체 {{math|'''Gr'''(''k'', ''V'')}}는 {{math|''n''}}-차원 [[선형 공간]] <math>V</math>의 모든 {{mvar|k}}-차원 부분 선형 공간들의 집합이 이루는 다양체다. 예를 들어,  {{math|'''Gr'''(1, ''V'')}}는 <math>V</math>의 원점을 지나는 모든 직선들의 집합이다. 즉 <math>V</math>로부터 얻은 [[사영공간]]과 같다.{{Sfn|Lee|2012}} {{Sfn|Shafarevich|2013}}

<math>V</math>가 실수 또는 복소수 선형 공간인 경우 그라스마니안은 매끄러운 [[콤팩트 공간|콤팩트]] 다양체이다.<ref>{{하버드 인용 본문|Milnor|Stasheff|1974}}, pp. 57–59.</ref> 일반적으로는 <math>k(n-k)</math> 차원 [[특이점 (대수기하학)|매끄러운 대수 다형체]]의 구조를 가지고 있다.

자명하지 않은 그라스마니안에 대한 최초의 작업은 <math>\text{Gr}(2,\R^4)</math>에 해당하는 사영 3-공간에서 사영 직선 집합을 연구하고 현재 플뤼커 좌표라고 하는 것으로 매개변수화한 [[율리우스 플뤼커]]에 의한 것이다. [[헤르만 그라스만]]은 나중에 일반적으로 개념을 도입했다.

그라스마니안에 대한 표기법은 저자마다 다르다. 표기법에는 <math>\text{Gr}_k(V)</math>, <math>\text{Gr}(k,V)</math>, <math>\text{Gr}_k(n)</math> 또는 <math>\text{Gr}(k,n)</math> 포함되어 <math>n</math> 차원 선형 공간 <math>V</math>의 <math>k</math> 차원 부분 공간의 그라스마니안을 나타낸다.

== 도입 ==
어떤 선형 공간의 부분 공간들의 모임에 [[위상수학|위상]] 구조를 부여함으로써 부분 공간의 연속적인 선택 또는 부분 공간의 열린 또는 닫힌 모임에 대해 이야기할 수 있다. 미분 다양체의 구조를 제공함으로써 부분 공간의 매끄러운 선택에 대해 이야기할 수 있다.

자연적인 예는 [[유클리드 공간]]에 매장된 매끄러운 다양체의 [[접다발]]에서 나온다. <math>\R^n</math>에 매장된 <math>k</math> 차원 다양체 <math>M</math>있다고 가정한다. <math>M</math>의 각 점 <math>x</math>에서 <math>M</math>에 대한 접공간은 <math>\R^n</math>의 접공간의 부분 공간(<math>\R^n</math>)으로 간주될 수 있다. <math>x</math>에 접공간을 할당하는 사상은 <math>M</math>에서 <math>\text{Gr}(k,n)</math>로 가는 사상을 정의한다. (이를 위해 각  <math>x\in M</math>에서 접공간을 변환하여 <math>x</math>가 아닌 원점을 통과하도록 해야 하며 따라서 <math>k</math> 차원 벡터 부분 공간을 정의한다. 이 아이디어는 3차원 공간의 곡면에 대한 가우스 사상과 아주 비슷하다.)

이 아이디어는 약간의 노력으로 다양체 <math>M</math> 위의 모든 [[벡터 다발|선형 다발]]로 확장될 수 있으므로 모든 선형 다발은 <math>M</math> 에서 적절하게 일반화된 그라스마니안로 연속 사상을 생성한다. 이를 보여주기 위해서는 다양한 매장 정리가 입증되어야 한다. 그런 다음 선형 다발의 속성이 연속 사상으로 표시되는 해당 사상의 속성과 관련되어 있음을 확인한다. 특히 우리는 그라스마니안에 호모토피 사상을 유도하는 선형 다발이 동형임을 발견했다. 여기에서 [[호모토피]]의 정의는 연속성, 따라서 위상의 개념에 의존한다.

== 낮은 차원 ==
<math>k=1</math>의 경우 그라스마니안 <math>\text{Gr}(1,n)</math>는 <math>n</math> 차원 공간에서 원점을 통과하는 선들의 공간이므로 <math>n-1</math> 차원의 [[사영 공간]]과 동일하다.

<math>k=2</math>인 경우 그라스마니안은 원점을 포함하는 모든 2차원 평면의 공간이다. 유클리드 3-공간에서 원점을 포함하는 평면은 해당 평면에 [[수직선 (기하학)|수직]]인 원점을 통과하는 유일한 선(및 그 반대)으로 완전히 특성화된다. 따라서 공간 <math>\text{Gr}(2,3)</math>, <math>\text{Gr}(1,3)</math>, [[사영 평면]] {{수학|'''P'''<sup>2</sup>}}는 모두 같다.

사영 공간이 아닌 가장 단순한 그라스마니안은 <math>\text{Gr}(2,4)</math>이다.

== 정의 ==

=== 집합 ===
<math>V</math>를 [[체 (수학)|체]] {{수학 변수|K}} 위의 <math>n</math> 차원 선형 공간이라고 하자. 그라스마니안 <math>\text{Gr}(k,V)</math>는 <math>V</math>의 모든 <math>k</math> 차원 선형 부분 공간들의 집합이다. 그라스마니안은 또한 <math>\text{Gr}(k,n)</math> 또는 <math>\text{Gr}_k(n)</math>로 표시된다.

=== 미분가능 다양체 ===
그라스마니안 <math>\text{Gr}_k(V)</math>에 미분 다양체의 구조를 부여하기 위해 <math>V</math>에 대한 기저를 선택하자. 이것은 열 벡터 <math> (e_1, \dots, e_n) </math>과 같이 표시되는 표준 기저를 통해 <math>V=K^n</math>으로 식별하는 것과 동일하다. 그런 다음 <math>\text{Gr}_k(V)</math>의 원소로 볼 수 있는 임의의 <math>k</math> 차원 부분 공간 <math>w\subset V</math>에 대해 <math>k</math> 선형 독립 열 벡터들 <math> W_1, \dots, W_k </math>로 구성된 기저를 선택할 수 있다. 원소 <math>w\in\text{Gr}_k(V)</math>의 [[동차좌표|동차 좌표]]는 <math> W_i</math>, <math>i = 1, \dots, k </math>가 열벡터인 최대 랭크를 가진 <math>n\times k</math> 행렬 <math>W</math>의 성분들로 이뤄져 있다. 기저의 선택은 임의적이므로 두 개의 최대 랭크 행렬 <math>W</math>과 <math> \tilde{W} </math>는 성분이 {{수학 변수|K}}의 원소인 <math>k\times k</math> 가역 행렬들이 이루는 일반 선형 군의 어떤 원소 <math>g\in\text{GL}(k,K)</math>에 대해 <math> \tilde{W} = W g </math>가 성립하는 경우에, 그리고 그때에만 동일한 원소 <math>w\in\text{Gr}_k(V)</math>를 나타낸다.

이제 좌표 아틀라스를 정의한다. 임의의 <math>n\times k</math> 행렬 <math>W</math> 에 대해 [[기본행렬|기본 열 연산]]을 적용하여 [[사다리꼴행렬|축약된 열 사다리꼴 행렬]]을 얻을 수 있다. <math>W</math>의 처음 <math>k</math> 행이 선형 독립인 경우 결과는 다음 행렬이다.<math display="block">\begin{bmatrix} 1 \\ & 1 \\ & & \ddots \\ & & & 1 \\ a_{1,1} & \cdots & \cdots & a_{1,k} \\ \vdots & & & \vdots \\ a_{n-k,1} & \cdots & \cdots & a_{n-k,k} \end{bmatrix}. </math><math>(n-k)\times k</math> 행렬 <math> A=(a_{ij}) </math>은 <math>w</math>를 결정한다. 일반적으로 첫 번째 <math> k </math>행은 독립적일 필요는 없지만 랭크가 <math> k </math>인 <math>W</math>의 경우,  <math>W</math>의 <math> i_1, \ldots, i_k </math> 번째 행으로 구성된 부분행렬 <math> W_{i_1, \dots, i_k} </math>은 비특이인 정렬된 정수 집합<math> 1 \le i_1 < \cdots < i_k \le n </math>이 존재한다. 열 연산을 적용하여 이 부분행렬을 항등원으로 축약 할 수 있으며 나머지 성분은 유일하게 <math>w</math>에 해당한다. 따라서 다음 문단과 같은 정의가 있다:

순서가 지정된 각 정수 집합 {{개행 금지|<math> 1 \le i_1 < \cdots < i_k \le n </math>,}}에 대해, <math> U_{i_1, \dots, i_k} </math>를 <math> k \times k </math> 부분 행렬 <math> W_{i_1, \dots, i_k} </math>이 특이행렬이 아닌 <math> n \times k </math> 행렬 <math>W</math>들의 집합이라 하자. 여기서 <math> W_{i_1, \dots, i_k} </math>의  {{수학|''j''}}번째 행은 <math>W</math>의 {{수학|''i''{{sub|''j''}}}} 번째 행이다. <math> U_{i_1, \dots, i_k} </math> 위의 좌표 함수는 <math>W</math>를 행이 행렬 <math> W W^{-1}_{i_1, \dots, i_k}</math>의 행인 <math>(n-k)\times k</math> 직사각형 행렬로 보내는 사상 <math> A^{i_1, \dots, i_k} </math>으로 정의된다. 보완 <math>(i_1, \dots, i_k)</math> . 원소 <math>w\in\text{Gr}_k(V)</math> 나타내는 동차 좌표 행렬 <math>W</math>의 선택은 좌표 행렬의 값에 영향을 주지 않는다. <math>A^{i_1, \dots, i_k} </math> 좌표 이웃에서 <math>w</math> 나타내는 <math> U_{i_1, \dots, i_k} </math>. 또한, 좌표 행렬 <math> A^{i_1, \dots, i_k} </math> 임의의 값을 취할 수 있으며 다음에서 미분 동형 사상을 정의한다. <math> U_{i_1, \dots, i_k} </math> {{수학 변수|K}} 값 <math>(n-k)\times k</math> 행렬의 공간에.

두 좌표 이웃들의 교집합<math display="block"> U_{i_1, \dots, i_k} \cap U_{j_1, \dots, j_k}   </math>에서 좌표 행렬 값은 추이 관계<math display="block"> A^{i_1, \dots, i_k} W_{i_1, \dots, i_k} = A^{j_1, \dots, j_k} W_{j_1, \dots, j_k}  </math>에 의해 관련된다. 여기서 <math> W_{i_1, \dots, i_k} </math>, <math> W_{j_1, \dots, j_k} </math>는 둘 다 가역이다. 따라서 추이 함수는 다항식의 몫이라도 미분 가능하다. 따라서 <math> (U_{i_1, \dots, i_k}, A^{i_1, \dots, i_k}) </math>는 <math>\text{Gr}_k(V)</math>의 아틀라스를 미분 가능 또는 심지어 대수적 다형체로 제공한다.

=== 직교 사영 집합 ===
실수 다양체로서 실수 또는 복소수 그라스마니안을 정의하는 다른 방법은 전체 랭크의 명시적 방정식으로 정의되는 명시적 직교 사영 집합로 간주하는 것이다( {{하버드 인용 본문|Milnor|Stasheff|1974}} 문제 5-C). 이를 위해 <math>V</math>의 스칼라 체가 실수인지 복소수인지에 따라 양의 정부호 실수 또는 에르미트 내적 <math>\langle \cdot, \cdot \rangle</math>을 선택한다. <math>k</math> 차원 부분공간 <math>U</math>는 이제 랭크 <math>k</math>인 유일한 직교 사영 <math>P_U</math>을 결정한다. 반대로 모든 랭크 <math>k</math> 사영 <math>P</math>는 해당 상 <math>U_P = \mathrm{Im}(P)</math>로 부분 공간을 정의한다. 사영의 경우 랭크는 대각합와 같으므로 그라스마니안을 명시적인 사영 집합으로 정의할 수 있다.<math display="block"> \mathrm{Gr}(k, V) = \left\{ P \in \mathrm{End}(V) \mid P = P^2 = P^*,\, \mathrm{tr}(P) = k \right\}  </math>특히 <math>V = \Reals^n </math> 또는 <math>V = \Complex^n</math>로 놓으면 이것은 각각의 행렬 공간  <math>\Reals^{n \times n}</math>, <math>\Complex^{n \times n}</math>에 그라스마니안을 매장하기 위한 완전히 명시적인 방정식을 제공한다. 이것은 그라스마니안을 구의 닫힌 부분 집합으로 정의하므로 <math>\{X \in \mathrm{End}(V) \mid \mathrm{tr}(XX^*) = k\}</math> 이것은 그라스마니안이 콤팩트 하우스도르프임을 확인하는 한 가지 방법이다. 이 구성은 또한 그라스마니안을 [[거리 공간]]으로 만든다. <math>V</math>의 부분 공간 <math>W</math>에 대해 {{수학|''P<sub>W</sub>''}}를 <math>W</math> 에 대한 <math>V</math>의 사영이라고 하자. 그러면,<math display="block">d(W, W') = \lVert P_W - P_{W'} \rVert. </math>여기서 <math>|\cdot|</math>는 [[작용소 노름|연산자 노름]]을 나타내며 <math>\text{Gr}(r,V)</math>에 대한 거리이다. 사용된 정확한 내적은 중요하지 않다. 왜냐하면 다른 내적은 <math>V</math>에 대해 동등한 노름을 제공하고 따라서 동등한 거리을 제공하기 때문이다.

=== 동차 공간 ===
그라스마니안에 기하학적 구조를 부여하는 가장 빠른 방법은 [[동차 공간]]으로 표현하는 것이다. 먼저 [[일반선형군|일반 선형 군]] <math>\mathrm{GL}(V)</math>이  <math>r</math> 차원 부분 공간 <math>V</math>에 [[군의 작용|추이적으로]] [[군의 작용|작용]]한다. 따라서 만약 <math>W \subset V</math>가 <math>r</math> 차원 선형 공간 <math>V</math>의 부분공간이고 <math>H = \mathrm{stab}(W)</math>가 이 작용에서 [[군의 작용|안정자]] 집합이면,

: <math>\mathrm{Gr}(r, V) = \mathrm{GL}(V)/H</math>

가 성립한다. 기본 체가 <math>\mathbb{R}</math> 또는 <math>\mathbb{C}</math>이고 <math>\mathrm{GL}(V)</math>가 [[리 군]]으로 여겨지면 이 구성은 그라스마니안을 매끄러운 다양체로 만든다. 더 일반적으로, 기저 체 <math>k</math> 위에서, 군 <math>\mathrm{GL}(V)</math>는 대수적 군이며, 이 구성은 그라스마니안이 [[특이점 (대수기하학)|비특이]] [[대수다양체|대수적 다형체]]임을 보여준다. 플뤼커 매장의 존재로 인해 그라스마니안이 대수적 다형체로서  완비이다. 특히, <math>H</math>는 <math>\mathrm{GL}(V)</math>의 [[보렐 부분군|포물선 부분군]]이다.

<math>\mathbb{R}</math> 또는 <math>\mathbb{C}</math> 위에 이 구성을 만들기 위해 다른 군을 사용하는 것도 가능하다. 이 일을 끝내려면 <math>\mathbb{R}</math>-선형공간 <math>V</math> 에 [[내적 공간|내적]] <math>q</math>를 고정한다. [[직교군|직교 군]] <math>O(V, q)</math>는 <math>k</math> 차원 부분 공간 집합 <math>\text{Gr}(k,V)</math>에 추이적으로 작용한다.  <math>k</math> -공간 <math>W</math>의 안정자는 <math>O(W, q|_W)\times O(W^\perp, q|_{W^\perp})</math>이다. 이것은 동차 공간

: <math>\mathrm{Gr}(r, V) = O(V, q)/\left(O(W, q|_W)\times O(W^\perp q|_{W^\perp})\right)</math> .

으로서의 설명을 제공한다. 만약 <math> V = \mathbb{R}^n</math>,<math>W = \mathbb{R}^r \hookrightarrow \mathbb{R}^n</math>로 둔다면 동형 사상

: <math>\mathrm{Gr}(r,n) = O(n)/\left(O(r) \times O(n - r)\right)</math>

을 얻는다. {{수학|'''C'''}} 위에서도 마찬가지로 에르미트 내적 <math>h</math>을 선택한다. 그리고 [[유니터리 군]] <math>U(V, h)</math>가 추이적으로 작용하고 비슷하게

: <math> \mathrm{Gr}(r, V) = U(V, h)/\left(U(W, h|_{W}) \times U(W^\perp|_{W^\perp})\right) </math>

를 찾는다. 또는 <math>V = \mathbb{C}^n</math>, <math>W = \mathbb{C}^r \hookrightarrow \mathbb{C}^n</math>에 대해

: <math>\mathrm{Gr}(r, n) = U(n)/\left(U(r) \times U(n-r)\right)</math>

특히, 이는 그라스마니안이 콤팩트이고 (실수 또는 복소수) 그라스마니안의 (실수 또는 복소수) 차원이  <math>r(n-r)</math>임을 다시 보여준다.

=== 실수 아핀 대수 다형체 ===
<math>\text{Gr}(r,\R^n)</math>를 <math>\R^n</math>의 <math>r</math> 차원 부분 공간의 그라스마니안이라 하자. <math>\text{M}(n,\R)</math>을 실수 <math>n\times n</math> 행렬의 공간이라 하자. 다음 세 가지 조건이 충족되는 경우에만 <math>X\in A(r,n)</math>로 정의되는 행렬들의 집합 <math>A(r,n)\subset\text{M}(n,\R)</math>을 고려하자.

* <math>X</math>는 사영 연산자이다:
* <math>X</math>는 대칭이다:.
* <math>X</math>의 대각합은 <math>r</math>이다.

<math>X\in A(r,n)</math>를 <math>X</math>의 열공간으로 보내는 일대일 대응으로, <math>A(r,n)</math>과 <math>\text{Gr}(r,\R^n)</math>은 위상 동형이다.

=== 스킴 ===
다음이 주어졌다고 하자.
* [[스킴 (수학)|스킴]] <math>S</math>
* <math>S</math> 위의 [[준연접층]] <math>\mathcal E</math>
* [[자연수]] <math>r \in \mathbb N</math>
그렇다면 임의의 <math>S</math> 위의 스킴 <math>T/S</math>에 대하여, <math>\mathcal O_S</math>-[[가군층]]
:<math>\mathcal E_T=\mathcal E\otimes_{\mathcal O_S}\mathcal O_T</math>
을 정의할 수 있다. 그 몫가군층들 가운데, 계수 <math>r</math>인 [[국소 자유 가군층]]인 것들의 [[집합]]을
:<math>\operatorname{Gr}(r,\mathcal E_T)</math>
라고 하자. 이는 [[함자 (수학)|함자]]
:<math>\operatorname{Gr}(r,\mathcal E_{-})\colon(\operatorname{Sch}/S)^{\operatorname{op}}\to\operatorname{Set}</math>
를 정의한다. 이 함자는 [[표현 가능 함자]]이며, 그 표현은 [[분리 사상|분리]] <math>S</math>-스킴 <math>\operatorname{Gr}_S(r,\mathcal E)</math>으로 잡을 수 있다. 이를 '''그라스만 스킴'''이라고 한다.

표현 가능 함자의 정의에 따라서 표준적인 스킴 동형
:<math>\operatorname{Gr}(r, \mathcal E) \times_S T\simeq \operatorname{Gr}(r, \mathcal E_T)</math>
이 존재한다.

<math>\mathcal E=\mathcal O_S^{\oplus n}</math>이며 <math>r=1</math>인 경우, 그라스만 스킴 <math>\operatorname{Gr}_S(1,\mathcal O_S^{\oplus n})</math>은 [[사영 공간]] <math>\mathbb P_S^n</math>과 같다.

==== 고전적 경우 ====
고전적인 경우는 어떤 체 <math>K</math>에 대하여 <math>S=\operatorname{Spec}K</math>이며 <math>\mathcal E</math>가 <math>K</math> 위의 [[선형 공간]] <math>V</math>에 의하여 주어질 때이다. 즉,
<math>\Gamma(\operatorname{Spec}K;\mathcal E)=V</math>
인 경우이다. 이 경우, 그라스만 스킴 <math>\operatorname{Gr}_K(r,V)</math>의 <math>K</math>-점들은 <math>V</math> 속의 <math>r</math>차원 부분  선형 공간들과 [[일대일 대응]]한다. 특히,
* <math>V</math>가 유한 차원 실수 선형 공간일 경우, 그라스만 스킴은 [[콤팩트 공간|콤팩트]] [[매끄러운 다양체]]의 구조를 가진다.
* <math>V</math>가 유한 차원 복소수 선형 공간일 경우, 그라스만 스킴은 [[콤팩트 공간|콤팩트]] [[복소다양체]]의 구조를 가진다.
* <math>K</math>가 [[대수적으로 닫힌 체]]이며, <math>V</math>가 유한 차원 <math>K</math>-선형 공간일 경우, 그라스만 스킴은 <math>K</math> 위의 [[비특이 대수다양체|비특이]] [[사영 대수다양체]]의 구조를 가진다. 이 경우, 사영 공간으로의 매장은 플뤼커 매장으로 주어진다.

==== 보편 족 ====
그라스만 스킴은 함자를 나타내므로 보편 대상 <math>\mathcal G</math>과 함께 제공된다. <math>\mathcal G</math>는<math display="block">\mathbf{Gr} \left (r, \mathcal{E}_{\mathbf {Gr}(r, \mathcal E)} \right)  </math>의 대상이다. 따라서 <math>\mathcal E_{\mathbf {Gr}(r, \mathcal E)}</math>의 몫 가군 <math>\mathcal G</math>는 <math>\mathbf{Gr}(r, \mathcal{E})</math> 위의 랭크 <math>r</math> 국소 자유 가군이다. 몫 준동형 사상은 사영 다발 <math>\mathbf{P}(\mathcal G)</math>에서 닫힌 매몰을 유도한다:<math display="block">\mathbf{P}(\mathcal G) \to \mathbf{P} \left (\mathcal E_{\mathbf{Gr}(r, \mathcal E)} \right) = \mathbf P({\mathcal E}) \times_S \mathbf{Gr}(r, \mathcal E).  </math><math>S</math>-스킴의 모든 사상:<math display="block">T \to \mathbf{Gr}(r, \mathcal{E})  </math>에 대해, 이 닫힌 몰입은 닫힌 몰입을 유도한다.<math display="block"> \mathbf{P}(\mathcal G_T) \to \mathbf{P} (\mathcal{E}) \times_S T  </math>반대로, 그러한 닫힌 몰입은 <math>\mathcal E_T</math>에서 랭크 <math>r</math>의 국소적 자유 가군으로 가는 <math>O_T</math>-가군의 전사 동형에서 비롯된다.<ref>[[Éléments de géométrie algébrique|EGA]], II.3.6.3.</ref> 따라서, <math>\mathbf{Gr}(r, \mathcal E)(T)</math>의 원소들은<math display="block">\mathbf{P} (\mathcal{E}) \times_S T   </math>에서 정확히 랭크 <math>r</math>의 사영 부분 다발이다. 이 식별에서 <math>T=S</math>는 체 <math>k</math>의 스펙트럼이고 <math>\mathcal E</math>는 선형 공간 <math>V</math>에 의해 주어지며, 유리점의 집합 <math>\mathbf{Gr}(r, \mathcal{E})(k)</math>는 <math>\mathbf{P}(V)</math>의 <math>r-1 </math> 차원 <math>r-1</math>사영 선형 부분공간에 해당하고<math display="block"> \mathbf{P}(V) \times_k \mathbf{Gr}(r, \mathcal E)    </math>안의 <math>\mathbf{P}(\mathcal G)(k)</math>의 상은 집합<math display="block">\left\{ (x, v) \in \mathbf{P}(V)(k) \times \mathbf{Gr}(r, \mathcal E)(k) \mid x\in v \right\}     </math>이다.

== 성질 ==
=== 스킴 이론적 성질 ===
임의의 스킴 <math>S</math> 위의 [[준연접층]] <math>\mathcal E</math> 및 자연수 <math>r\in\mathbb N</math>에 대하여, 그라스만 스킴 <math>\operatorname{Gr}_S(r,\mathcal E)</math>의 구조 사상
:<math>\operatorname{Gr}_S(r,\mathcal E)\to S</math>
는 [[분리 사상]]이다. 만약 <math>\mathcal E</math>가 추가로 [[유한 생성 가군층]]이라면, 이는 [[사영 사상]]이다.

임의의 스킴 사상 <math>f\colon S\to S'</math>에 대하여, 스킴의 표준적 [[동형 사상]]
:<math>\operatorname{Gr}_S(r,\mathcal E) \times_S S' \cong \operatorname{Gr}_{S'}(r,f_*\mathcal E)</math>
이 존재한다. 특히, 임의의 점 <math>s\in S</math>에 대하여, 표준적 스킴 사상
:<math>\operatorname{Spec}\kappa(s) \to S</math>
를 통하여 동형 사상
:<math>\operatorname{Gr}_S(r,\mathcal E) \times_S \kappa(s) \cong \operatorname{Gr}_{\kappa(s)}(r,\mathcal E \otimes_{\mathcal O_S}\kappa(s))</math>
이 존재한다. 여기서 <math>\kappa(s)</math>는 <math>s</math>에서 <math>S</math>의 [[국소 가환환]] <math>\mathcal O_{S,s}</math>의 (스스로의 유일한 [[극대 아이디얼]]에 대한) [[잉여류체]]이다. 이 동형에서 우변은 (무한 차원일 수 있는) <math>\kappa(s)</math>-[[선형 공간]]의 그라스만 다양체이므로, 일반적 그라스만 스킴은 고전적 그라스만 다양체들의 족(族)으로 여길 수 있다.

=== 쌍대성 ===
다음이 주어졌다고 하자.
* 체 <math>K</math>
* 유한 차원 <math>K</math>-[[선형 공간]] <math>V</math>
* 자연수 <math>r\in\mathbb N</math>
그렇다면, 다음과 같은 표준적인 동형 사상이 존재한다.
:<math>\operatorname{Gr}_K(r,V) \cong \operatorname{Gr}_K(\dim_KV - r, V^\vee)</math>
:<math>W \mapsto \ker W = \{\alpha\in V^\vee \colon \langle\alpha,W\rangle = 0\}</math>
여기서 <math>V^\vee</math>는 [[쌍대 공간]]이다.

=== 플뤼커 매장 ===
==== 고전적인 경우 ====
[[체 (수학)|체]] <math>K</math>가 주어졌다고 하자. 그렇다면, 그 [[스펙트럼 (환론)|스펙트럼]] <math>\operatorname{Spec}K</math>은 [[한원소 공간]]이며, 그 위의 [[가군층]]은 <math>K</math> 위의 [[선형 공간]]이다. 또한, 모든 가군층이 [[준연접층]]이 된다. (그 가운데 [[연접층]]인 것은 유한 차원 [[선형 공간]]이다.)

따라서, <math>K</math> 위의 (유한 또는 무한 차원) [[선형 공간]] <math>E</math> 및 [[자연수]] <math>r\in\mathbb N</math>가 주어졌을 때, 그라스만 다양체
:<math>\operatorname{Gr}(r,E)</math>
를 정의할 수 있다.

이는 <math>V</math> 위의 [[외대수]]
:<math>\bigwedge^rV</math>
위의 [[사영 공간]]
:<math>\mathbb P\left(\bigwedge^rV\right)</math>
의 [[닫힌 부분 스킴]]이며, 이를 정의하는 매장을 '''플뤼커 매장'''({{llang|en|Plücker embedding}})이라고 한다. 구체적으로, 이는 다음과 같다.
:<math>\iota \colon \operatorname{Gr}(r, V) \to \mathbb P\left(\bigwedge^rV\right)</math>
:<math>\iota\colon\operatorname{Span}\{v_1, \ldots, v_r\}\mapsto v_1\wedge \cdots \wedge v_r</math>
여기서 우변은 <math>\mathbb P(\bigwedge^rV)</math>의 [[동차 좌표]]이다.

플뤼커 매장은 다음과 같은 '''플뤼커 방정식'''을 만족시킨다. <math>V</math>의 임의의 두 <math>r</math>차원 부분 선형 공간
:<math>W=\operatorname{Span}\{w_1,\dots,w_r\}</math>
:<math>Z=\operatorname{Span}\{z_1,\dots,z_r\}</math>
및 임의의 음이 아닌 정수 <math>0\le k\le r</math>에 대하여,
:<math>\iota(W)\cdot\iota(Z) = \sum_{i_1 < \cdots < i_k} (v_1 \wedge \cdots \wedge v_{i_1 - 1} \wedge w_1 \wedge v_{i_1 + 1} \wedge \cdots \wedge v_{i_k - 1} \wedge w_k \wedge v_{i_k + 1} \wedge \cdots \wedge v_r)\cdot(v_{i_1} \wedge \cdots \wedge v_{i_k} \wedge w_{k+1}\wedge \cdots \wedge w_r)</math>
이는 2차 [[동차 다항식]]이다. 표수가 0인 경우, 그라스만 다양체는 플뤼커 방정식만으로 완전히 정의된다.

==== 일반적 플뤼커 매장 ====
임의의 스킴 <math>S</math> 위의 [[준연접층]] <math>\mathcal E</math> 및 자연수 <math>r\in\mathbb N</math> 및 [[스킴 사상]] <math>f\colon T\to S</math>가 주어졌다고 하자. 또한, <math>T</math> 위의 [[가군층]] <math>f^*\mathcal E</math>의 몫
:<math>f^*\mathcal E \twoheadrightarrow\mathcal F \to 0</math>
에서 <math>\mathcal F</math>가 <math>r</math>계수 [[국소 자유 가군층]]이라고 하자. 그렇다면, 연접층의 함자성에 의하여, 외대수 연접층의 사상
:<math>f^* \bigwedge^n\mathcal E \twoheadrightarrow \bigwedge^n\mathcal F \to 0</math>
이 존재한다.

그라스만 스킴의 정의에 따라, <math>\mathcal F</math>는 [[집합]] <math>\hom_{\operatorname{Sch}/S}(T,\operatorname{Gr}(r,\mathcal E))</math>의 원소에 대응한다. 또한, <math>\textstyle\bigwedge^n\mathcal F</math>는 계수 1의 [[국소 자유 가군층]]이므로, 어떤 [[스킴 사상]]
:<math>T/S\to\operatorname{Gr}(1,\bigwedge^r\mathcal E)/S = \mathbb P(\textstyle\bigwedge^r\mathcal E)/S</math>
에 대응한다.

즉, 위 구성은 [[함수]]
:<math>\hom_{\operatorname{Sch}/S}\left(T,\operatorname{Gr}(r,\mathcal E)\right) \to \hom_{\operatorname{Sch}/S}\left(T,\mathbb P\left(\bigwedge^r(\mathcal E)\right)\right)</math>
를 정의한다. 이는 [[자연 변환]]
:<math>\hom_{\operatorname{Sch}/S}\left(-,\operatorname{Gr}(r,\mathcal E)\right) \Rightarrow \hom_{\operatorname{Sch}/S}\left(-,\mathbb P\left(\bigwedge^r(\mathcal E)\right)\right)</math>
을 이루며, 이는 [[요네다 보조정리]]에 따라서 [[스킴 사상]]
:<math>\operatorname{Gr}(r,\mathcal E) \to \mathbb P\left(\bigwedge^r\mathcal E\right)</math>
을 정의한다. 이를 <math>\operatorname{Gr}(r,\mathcal E)</math>의 '''플뤼커 사상'''이라고 한다.<ref name="EGA1">{{서적 인용
       | last = Grothendieck
       | first = Alexandre | 저자링크=알렉산더 그로텐디크
       | last2 = Dieudonné
       | first2 = Jean
       | author2-link = 장 디외도네
       | year = 1971
       | title = Éléments de géométrie algébrique: I. Le langage des schémas
       | edition=2
       | publisher = Springer-Verlag
       | series=Grundlehren der Mathematischen Wissenschaften
       | volume=166
       | 언어 = fr
       | isbn = 978-3-540-05113-8
      }}</ref>{{rp|§9.8}}

=== 위상수학적 성질 ===
만약 <math>S</math>가 <math>\operatorname{Spec}\mathbb R</math> 또는 <math>\operatorname{Spec}\mathbb C</math>이며 <math>\mathcal E</math>가 계수 <math>n</math>의 [[연접층]](유한 차원 [[선형 공간]])이라면, 그라스만 다양체 <math>\operatorname{Gr}_{\mathbb R}(r,n)</math> 및 <math>\operatorname{Gr}_{\mathbb C}(r,n)</math>은 (유한 차원) [[매끄러운 다양체]]를 이루며, 따라서 그 [[대수적 위상수학]]을 연구할 수 있다.

<math>\operatorname{Gr}_{\mathbb C}(r,n)</math>의 (정수 계수) [[특이 코호몰로지]]
:<math>\operatorname H^\bullet(\operatorname{Gr}_{\mathbb C}(r,n);\mathbb Z)</math>
를 생각하자. 오직 짝수 등급 코호몰로지만이 자명하지 않으며, 따라서 이는 [[가환환]]을 이룬다.

<math>\operatorname{Gr}_{\mathbb C}(r,n)</math> 위에는 <math>r</math>차원 [[복소수 벡터 다발]]인 보편 다발 <math>E</math>가 존재한다. 그 (총) [[천 특성류]]를
:<math>\operatorname c(E) = \sum_{i=0}^\infty \operatorname c_i(E) \in \bigoplus_i\operatorname H^i(\operatorname{Gr}_{\mathbb C}(r,n);\mathbb Z)</math>
라고 하자. 마찬가지로, <math>\mathbb C^n</math>에 임의의 [[내적 공간]] 구조를 부여하면, 각 올의 [[직교 여공간]]으로 구성되는 <math>n-r</math>차원 [[복소수 벡터 다발]] <math>F</math>가 존재하며, 그 (총) [[천 특성류]]를
:<math>\operatorname c(F) = \sum_{i=0}^\infty \operatorname c_i(F) \in \bigoplus_i\operatorname H^i(\operatorname{Gr}_{\mathbb C}(r,n);\mathbb Z)</math>
라고 하자.

정의에 따라, <math>E\oplus F</math>는 <math>n</math>차원의 자명한 [[복소수 벡터 다발]]이다. 따라서 그 [[천 특성류]]는 0이며, 천 특성류의 [[함자 (수학)|함자성]]으로 인하여
:<math>\operatorname c(E)\operatorname c(F) = 1</math>
이 된다.

복소수 그라스만 다양체의 코호몰로지 환은
:<math>\operatorname c_1(E),\operatorname c_2(E),\dotsc,\operatorname c_1(F), \operatorname c_2(F),\dotsc</math>
로부터 생성되며, 그 위의 유일한 관계는 <math>\operatorname c(E)\operatorname c(F) = 1</math>인 것이다.

== 슈베르트 세포 ==
그라스마니안들에 대한 자세한 연구는 ''슈베르트 세포''라는 [[부분집합|부분 집합]]으로의 분해를 사용하며, 이는 열거 기하학에 처음 적용되었다. <math>\text{Gr}(r,n)</math>에 대한 슈베르트 세포는 보조 [[기 (수학)|기]]로 정의된다: <math>V_i\subset V_{i+1}</math>인 부분 공간들 <math>V_1,V_2,\dots</math>를 고른다. 그런 다음 <math>i=1,\dots r</math>에 대해 최소 <math>i</math> 차원인 <math>V_i</math>와 교차하는 <math>W</math>로 구성된 <math>\text{Gr}(r,n)</math>의 해당 부분 집합을 고려한다. 슈베르트 세포의 조작은 슈베르트 미적분학이다.

다음은 기법의 예이다. <math>\R^n</math>의 <math>r</math> 차원 부분공간의 그라스마니안의 오일러 특성을 결정하는 문제를 고려하자. {{수학|1}} 차원 부분공간 <math>\R \subset\R^n</math>을 고정하고 <math>\R</math>을 포함하는 <math>\R^n</math>의 <math>r</math> 차원 부분공간과 그렇지 않은 부분공간으로<math>\text{Gr}(r,n)</math>을 분할하는 것을 고려하자. 전자는 <math>\text{Gr}(r-1,n-1)</math>이고 후자는 <math>\text{Gr}(r,n-1)</math>위의 <math>r</math> 차원 선형 다발이다. 이것은 재귀 공식<math display="block">\chi_{r,n} = \chi_{r-1,n-1} + (-1)^r \chi_{r, n-1}, \qquad \chi_{0,n} = \chi_{n,n} = 1.  </math>을 제공한다. 이 점화식을 풀면 <math>n</math>이 짝수이고 <math>r</math>이 홀수인 경우에만  <math>\gamma_{r,n}=0</math>이라는 공식을 얻는다. 그렇지 않으면:<math display="block">\chi_{r, n} = \binom{\left\lfloor \frac{n}{2} \right\rfloor}{\left\lfloor \frac{r}{2} \right\rfloor}.   </math>

=== 복소 그라스마니안의 코호몰로지 환 ===
복소 그라스마니안 <math>\text{Gr}(r,n)</math>의 모든 점은 <math>n</math> 공간에서 <math>r</math> 평면을 정의한다. 그라스마니안 평면 위에 이러한 평면을 올화하면 [[사영 공간]]의 [[보편 가역층|동어반복 다발]]을 일반화하는 [[벡터 다발|선형 다발]] <math>E</math>에 도달한다. 마찬가지로 이러한 평면의 <math>n-r</math>차원 직교 여공간은 직교 선형 다발 <math>F</math>를 산출한다. 그라스마니안들의 적분 [[코호몰로지]]는 <math>E</math>의 [[천 특성류]]에 의해 [[환 (수학)|환]]으로 생성된다. 특히, 사영 공간의 경우와 같이 모든 적분 코호몰로지가 짝수 차수이다.

이러한 생성자들은 환을 정의하는 일련의 관계를 만족한다. <math>E</math>, <math>F</math>의 천 특성류로 구성된 더 큰 생성자 집합에 대해 정의 관계를 쉽게 표현할 수 있다. 그런 다음 관계는 다발들 <math>E</math>와 <math>F</math>의 [[벡터 다발|직합]]이 자명한 것이라고만 설명한다. 전체 천 특성류의 [[함자 (수학)|함자]]를 통해 이 관계를 다음과 같이 작성할 수 있다.<math display="block">c(E) c(F) = 1.  </math>[[양자 코호몰로지]] 환은 [[arxiv:hep-th/9312104|The Verlinde Algebra And The Cohomology Of The Grassmannian]]에서 [[에드워드 위튼]]에 의해 계산되었다. 생성원은 고전 코호몰로지 환의 생성원과 동일하지만 top 관계는 다음과 같이 변경된다.<math display="block">c_k(E) c_{n-k}(F) = (-1)^{n-r}  </math><math>2n</math> 단위로 상태에 해당하는 코호몰로지의 정도를 위반하는 <math>2n</math> 페르미온 [[Zero-modes|제로 모드]]를 갖는 [[순간자]]의 해당 양자장론에서의 존재를 반영한다.

== 관련된 측도 ==
<math>V</math>가 <math>n</math> 차원 유클리드 공간일 때, <math>\text{Gr}(r,n)</math>에 대한 균등 측도을 다음과 같은 방식으로 정의할 수 있다. <math>\theta_n</math>을 [[직교군|직교 군]] <math>\text{O}(n)</math>에 대한 단위 [[하르 측도]]라고 하고 <math>\text{Gr}(r,n)</math>의 원소 {{수학 변수|W}}를 고정한다. 그런 다음 집합  <math>A\subset\text{Gr}(r,n)</math>에 대해 다음을 정의한다.<math display="block"> \gamma_{r, n}(A) = \theta_n\{g \in \operatorname{O}(n) : gW \in A\}.  </math>이 측도는 군 <math>\text{O}(n)</math> 작용에 대해 불변이다. 즉, <math>\forall g\in\text{O}(n)</math>, <math>\gamma_{r,n}(gA)=\gamma_{r,n}(A)</math>. <math>\theta_n(\text{O}(n))=1</math>이므로 <math>\gamma_{r,n}(\text{Gr}(r,n))=1</math>이다. 더욱이, <math>\gamma_{r,n}</math>은 거리 공간 위상에 대한 [[라돈 측도]]이며 동일한 반지름(이 거리에 대해)의 모든 공이 동일한 측도라는 점에서 균일하다.

== 예 ==
표수 0에서, 사영 공간이 아닌 가장 간단한 그라스만 다양체 <math>\operatorname{Gr}(2,4)</math>를 생각해 보자. 이 경우, 그라스만 다양체는 <math>\textstyle\binom42-1=5</math>차원 사영 공간 속에서, 플뤼커 방정식
:<math>x_{12}x_{34}-x_{13}x_{24}+x_{23}x_{14}=0</math>
을 통해 정의된다. 여기서 <math>[x_{12}:x_{13}:x_{14}:x_{23}:x_{24}:x_{34}]</math>는 5차원 사영 공간의 [[동차 좌표]]이다.

== 응용 ==
그라스마니안들의 주요 응용은 콤팩트 다양체의 접속이 있는 다발을 위한 "보편" 매장 공간이다.<ref>{{저널 인용|제목=Existence of Universal Connections|저널=American Journal of Mathematics|성=Narasimhan|이름=M. S.|성2=Ramanan|이름2=S.|연도=1961|권=83|호=3|쪽=563-572|doi=10.2307/2372896|jstor=2372896}}</ref><ref>{{저널 인용|제목=Existence of Universal Connections II.|저널=American Journal of Mathematics|성=Narasimhan|이름=M. S.|성2=Ramanan|이름2=S.|연도=1963|권=85|호=2|쪽=223-231|doi=10.2307/2373211|jstor=2373211}}</ref>

Kadomtsev–Petviashvili 방정식의 해는 무한 차원 그라스마니안에서 아벨 군 흐름으로 표현될 수 있다. 타우 함수(적분 가능 계) 측면에서 히로타 쌍선형 형식으로 표현되는 KP 방정식은 플뤼커 관계식과 동일하다.<ref>{{저널 인용|제목=Soliton Solutions of the KP Equation and Application to Shallow Water Waves|저널=Studies in Applied Mathematics|성=Chakravarty|이름=S.|성2=Kodama|이름2=Y.|날짜=July 2009|권=123|쪽=83–151|언어=en|doi=10.1111/j.1467-9590.2009.00448.x}}</ref><ref>{{저널 인용|제목=Soliton Equations as Dynamical Systems on a Infinite Dimensional Grassmann Manifolds (Random Systems and Dynamical Systems)|저널=数理解析研究所講究録|성=Sato|이름=Mikio|url=http://hdl.handle.net/2433/102800|날짜=October 1981|권=439|쪽=30–46}}</ref> 양의 그라스마니안은 KP 흐름 매개변수의 실제 값에 대해 특이하지 않은 KP 방정식의 [[솔리톤]] 해를 표현하는 데 사용할 수 있다.<ref>{{저널 인용|제목=KP solitons and total positivity for the Grassmannian|저널=Inventiones Mathematicae|성=Kodama|이름=Yuji|성2=Williams|이름2=Lauren|날짜=December 2014|권=198|호=3|쪽=637–699|언어=en|bibcode=2014InMat.198..637K|doi=10.1007/s00222-014-0506-3}}</ref><ref>{{웹 인용|url=https://www.quantamagazine.org/a-mathematicians-adventure-through-the-physical-world-20201216/|제목=A Mathematician's Unanticipated Journey Through the Physical World|성=Hartnett|이름=Kevin|날짜=16 December 2020|웹사이트=Quanta Magazine|언어=en|확인날짜=17 December 2020}}</ref>

그라스마니안은 비디오 기반 얼굴 인식 및 모양 인식의 [[컴퓨터 비전]] 작업에서 응용을 찾았다.<ref>Pavan Turaga, Ashok Veeraraghavan, Rama Chellappa: ''Statistical analysis on Stiefel and Grassmann manifolds with applications in computer vision'', CVPR 23–28 June 2008, IEEE Conference on Computer Vision and Pattern Recognition, 2008, {{ISBN|978-1-4244-2242-5}}, pp.&nbsp;1–8 ([http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=4587733 abstract], [http://www.public.asu.edu/~pturaga/papers/Manifolds.pdf full text])</ref> 또한 그랜드 투어로 알려진 데이터 시각화 기술에도 사용된다.

그라스마니안은 아원자 입자의 [[산란 진폭]]이 진폭 면체라고 하는 양의 그라스마니안 구조를 통해 계산되도록 한다.<ref>{{저널 인용|제목=The Amplituhedron|저널=Journal of High Energy Physics|성=Arkani-Hamed|이름=Nima|성2=Trnka|이름2=Jaroslav|연도=2013|권=2014|호=10|쪽=30|arxiv=1312.2007|bibcode=2014JHEP...10..030A|doi=10.1007/JHEP10(2014)030}}</ref>

== 같이 보기 ==
* [[슈베르트 미적분학]]
* [[미분기하학|미분 기하학]]에서 그라스마니안들을 사용하는 예는 가우스 사상을 참조하고 [[사영기하학|사영 기하학]]에서는 플뤼커 좌표를 참조.
* [[기 (수학)|기]] 다양체는 그라스마니안의 일반화이며 Stiefel 다양체는 밀접하게 관련되어 있다.
* 구별되는 부분 공간 족이 주어지면 라그랑주 그라스마니안과 같은 이러한 부분 공간의 그라스마니안을 정의할 수 있다.
* 그라스마니안들은 [[K이론]]에서 [[분류 공간]]과 관련되어 있다. [[Homotopy theory of schemes|스킴 호모토피 이론]]에서 그라스마니안은 [[대수적 K이론|대수적 K-이론]]에 대해 비슷한 역할을 한다.<ref>{{저널 인용|제목=A<sup>1</sup>-homotopy theory of schemes|저널=[[Publications Mathématiques de l'IHÉS]]|성=Morel|이름=Fabien|성2=Voevodsky|이름2=Vladimir|저자링크2=Vladimir Voevodsky|url=http://archive.numdam.org/article/PMIHES_1999__90__45_0.pdf|연도=1999|권=90|호=90|쪽=45–143|doi=10.1007/BF02698831|issn=1618-1913|mr=1813224|확인날짜=2008-09-05}}, see section 4.3., pp.&nbsp;137–140</ref>
* [[그라스만 번들|그라스만 다발]]
* [[그라스만 그래프]]

== 각주 ==
{{각주}}

== 외부 링크 ==
* {{eom|title=Grassmann manifold}}
* {{매스월드|id=Grassmannian|title=Grassmannian}}
* {{매스월드|id=GrassmannManifold|title=Grassmann manifold}}
* {{nlab|id=Grassmannian}}
* {{수학노트|title=그라스만 다양체}}

[[분류:대수기하학]]
[[분류:모듈라이 이론]]