그라스만 다양체

대수기하학에서 '''그라스만 다양체'''(Graßmann多樣體, )는 어떤 선형 공간의 주어진 차원의 부분 선형 공간들을 분류하는 모듈라이 공간이다.
그라스만 다양체 는 -차원 선형 공간 의 모든 -차원 부분 선형 공간들의 집합이 이루는 다양체다. 예를 들어,  는 의 원점을 지나는 모든 직선들의 집합이다. 즉 로부터 얻은 사영공간과 같다. 
가 실수 또는 복소수 선형 공간인 경우 그라스마니안은 매끄러운 콤팩트 다양체이다. 일반적으로는  차원 매끄러운 대수 다형체의 구조를 가지고 있다.
자명하지 않은 그라스마니안에 대한 최초의 작업은 에 해당하는 사영 3-공간에서 사영 직선 집합을 연구하고 현재 플뤼커 좌표라고 하는 것으로 매개변수화한 율리우스 플뤼커에 의한 것이다. 헤르만 그라스만은 나중에 일반적으로 개념을 도입했다.
그라스마니안에 대한 표기법은 저자마다 다르다. 표기법에는 , ,  또는  포함되어  차원 선형 공간 의  차원 부분 공간의 그라스마니안을 나타낸다.
어떤 선형 공간의 부분 공간들의 모임에 위상 구조를 부여함으로써 부분 공간의 연속적인 선택 또는 부분 공간의 열린 또는 닫힌 모임에 대해 이야기할 수 있다. 미분 다양체의 구조를 제공함으로써 부분 공간의 매끄러운 선택에 대해 이야기할 수 있다.
자연적인 예는 유클리드 공간에 매장된 매끄러운 다양체의 접다발에서 나온다. 에 매장된  차원 다양체 있다고 가정한다. 의 각 점 에서 에 대한 접공간은 의 접공간의 부분 공간()으로 간주될 수 있다. 에 접공간을 할당하는 사상은 에서 로 가는 사상을 정의한다. (이를 위해 각  에서 접공간을 변환하여 가 아닌 원점을 통과하도록 해야 하며 따라서  차원 벡터 부분 공간을 정의한다. 이 아이디어는 3차원 공간의 곡면에 대한 가우스 사상과 아주 비슷하다.)
이 아이디어는 약간의 노력으로 다양체  위의 모든 선형 다발로 확장될 수 있으므로 모든 선형 다발은  에서 적절하게 일반화된 그라스마니안로 연속 사상을 생성한다. 이를 보여주기 위해서는 다양한 매장 정리가 입증되어야 한다. 그런 다음 선형 다발의 속성이 연속 사상으로 표시되는 해당 사상의 속성과 관련되어 있음을 확인한다. 특히 우리는 그라스마니안에 호모토피 사상을 유도하는 선형 다발이 동형임을 발견했다. 여기에서 호모토피의 정의는 연속성, 따라서 위상의 개념에 의존한다.
의 경우 그라스마니안 는  차원 공간에서 원점을 통과하는 선들의 공간이므로  차원의 사영 공간과 동일하다.
인 경우 그라스마니안은 원점을 포함하는 모든 2차원 평면의 공간이다. 유클리드 3-공간에서 원점을 포함하는 평면은 해당 평면에 수직인 원점을 통과하는 유일한 선(및 그 반대)으로 완전히 특성화된다. 따라서 공간 , , 사영 평면 는 모두 같다.
사영 공간이 아닌 가장 단순한 그라스마니안은 이다.
=== 집합 ===
를 체  위의  차원 선형 공간이라고 하자. 그라스마니안 는 의 모든  차원 선형 부분 공간들의 집합이다. 그라스마니안은 또한  또는 로 표시된다.
=== 미분가능 다양체 ===
그라스마니안 에 미분 다양체의 구조를 부여하기 위해 에 대한 기저를 선택하자. 이것은 열 벡터 과 같이 표시되는 표준 기저를 통해 으로 식별하는 것과 동일하다. 그런 다음 의 원소로 볼 수 있는 임의의  차원 부분 공간 에 대해  선형 독립 열 벡터들 로 구성된 기저를 선택할 수 있다. 원소 의 동차 좌표는 , 가 열벡터인 최대 랭크를 가진  행렬 의 성분들로 이뤄져 있다. 기저의 선택은 임의적이므로 두 개의 최대 랭크 행렬 과 는 성분이 의 원소인  가역 행렬들이 이루는 일반 선형 군의 어떤 원소 에 대해 가 성립하는 경우에, 그리고 그때에만 동일한 원소 를 나타낸다.
이제 좌표 아틀라스를 정의한다. 임의의  행렬  에 대해 기본 열 연산을 적용하여 축약된 열 사다리꼴 행렬을 얻을 수 있다. 의 처음  행이 선형 독립인 경우 결과는 다음 행렬이다. 행렬 은 를 결정한다. 일반적으로 첫 번째 행은 독립적일 필요는 없지만 랭크가 인 의 경우,  의  번째 행으로 구성된 부분행렬 은 비특이인 정렬된 정수 집합이 존재한다. 열 연산을 적용하여 이 부분행렬을 항등원으로 축약 할 수 있으며 나머지 성분은 유일하게 에 해당한다. 따라서 다음 문단과 같은 정의가 있다:
순서가 지정된 각 정수 집합 에 대해, 를  부분 행렬 이 특이행렬이 아닌  행렬 들의 집합이라 하자. 여기서 의  번째 행은 의  번째 행이다.  위의 좌표 함수는 를 행이 행렬 의 행인  직사각형 행렬로 보내는 사상 으로 정의된다. 보완  . 원소  나타내는 동차 좌표 행렬 의 선택은 좌표 행렬의 값에 영향을 주지 않는다.  좌표 이웃에서  나타내는 . 또한, 좌표 행렬  임의의 값을 취할 수 있으며 다음에서 미분 동형 사상을 정의한다.   값  행렬의 공간에.
두 좌표 이웃들의 교집합에서 좌표 행렬 값은 추이 관계에 의해 관련된다. 여기서 , 는 둘 다 가역이다. 따라서 추이 함수는 다항식의 몫이라도 미분 가능하다. 따라서 는 의 아틀라스를 미분 가능 또는 심지어 대수적 다형체으로 제공한다.
=== 직교 사영 집합 ===
실수 다양체로서 실수 또는 복소수 그라스마니안을 정의하는 다른 방법은 전체 랭크의 명시적 방정식으로 정의되는 명시적 직교 사영 집합로 간주하는 것이다(  문제 5-C). 이를 위해 의 스칼라 체가 실수인지 복소수인지에 따라 양의 정부호 실수 또는 에르미트 내적 을 선택한다.  차원 부분공간 는 이제 랭크 인 유일한 직교 사영 을 결정한다. 반대로 모든 랭크  사영 는 해당 상 로 부분 공간을 정의한다. 사영의 경우 랭크는 대각합와 같으므로 그라스마니안을 명시적인 사영 집합으로 정의할 수 있다.특히  또는 로 놓으면 이것은 각각의 행렬 공간  , 에 그라스마니안을 매장하기 위한 완전히 명시적인 방정식을 제공한다. 이것은 그라스마니안을 구의 닫힌 부분 집합으로 정의하므로  이것은 그라스마니안이 콤팩트 하우스도르프임을 확인하는 한 가지 방법이다. 이 구성은 또한 그라스마니안을 거리 공간으로 만든다. 의 부분 공간 에 대해 를  에 대한 의 사영이라고 하자. 그러면,여기서 는 연산자 노름을 나타내며 에 대한 거리이다. 사용된 정확한 내적은 중요하지 않다. 왜냐하면 다른 내적은 에 대해 동등한 노름을 제공하고 따라서 동등한 거리을 제공하기 때문이다.
=== 동차 공간 ===
그라스마니안에 기하학적 구조를 부여하는 가장 빠른 방법은 동차 공간으로 표현하는 것이다. 먼저 일반 선형 군 이   차원 부분 공간 에 추이적으로 작용한다. 따라서 만약 가  차원 선형 공간 의 부분공간이고 가 이 작용에서 안정자 집합이면,
: 
가 성립한다. 기본 체가  또는 이고 가 리 군으로 여겨지면 이 구성은 그라스마니안을 매끄러운 다양체로 만든다. 더 일반적으로, 기저 체  위에서, 군 는 대수적 군이며, 이 구성은 그라스마니안이 비특이 대수적 다형체임을 보여준다. 플뤼커 매장의 존재로 인해 그라스마니안이 대수적 다형체로서  완비이다. 특히, 는 의 포물선 부분군이다.
 또는  위에 이 구성을 만들기 위해 다른 군을 사용하는 것도 가능하다. 이 일을 끝내려면 -선형공간  에 내적 를 고정한다. 직교 군 는  차원 부분 공간 집합 에 추이적으로 작용한다.   -공간 의 안정자는 이다. 이것은 동차 공간
:  .
으로서의 설명을 제공한다. 만약 ,로 둔다면 동형 사상
: 
을 얻는다.  위에서도 마찬가지로 에르미트 내적 을 선택한다. 그리고 유니터리 군 가 추이적으로 작용하고 비슷하게
: 
를 찾는다. 또는 , 에 대해
: 
특히, 이는 그라스마니안이 콤팩트이고 (실수 또는 복소수) 그라스마니안의 (실수 또는 복소수) 차원이  임을 다시 보여준다.
=== 실수 아핀 대수 다형체 ===
를 의  차원 부분 공간의 그라스마니안이라 하자. 을 실수  행렬의 공간이라 하자. 다음 세 가지 조건이 충족되는 경우에만 로 정의되는 행렬들의 집합 을 고려하자.
* 는 사영 연산자이다:
* 는 대칭이다:.
* 의 대각합은 이다.
를 의 열공간으로 보내는 일대일 대응으로, 과 은 위상 동형이다.
=== 스킴 ===
다음이 주어졌다고 하자.
* 스킴 
*  위의 준연접층 
* 자연수 
그렇다면 임의의  위의 스킴 에 대하여, -가군층
:
을 정의할 수 있다. 그 몫가군층들 가운데, 계수 인 국소 자유 가군층인 것들의 집합을
:
라고 하자. 이는 함자
:
를 정의한다. 이 함자는 표현 가능 함자이며, 그 표현은 분리 -스킴 으로 잡을 수 있다. 이를 '''그라스만 스킴'''이라고 한다.
표현 가능 함자의 정의에 따라서 표준적인 스킴 동형
:
이 존재한다.
이며 인 경우, 그라스만 스킴 은 사영 공간 과 같다.
==== 고전적 경우 ====
고전적인 경우는 어떤 체 에 대하여 이며 가  위의 선형 공간 에 의하여 주어질 때이다. 즉,
인 경우이다. 이 경우, 그라스만 스킴 의 -점들은  속의 차원 부분  선형 공간들과 일대일 대응한다. 특히,
* 가 유한 차원 실수 선형 공간일 경우, 그라스만 스킴은 콤팩트 매끄러운 다양체의 구조를 가진다.
* 가 유한 차원 복소수 선형 공간일 경우, 그라스만 스킴은 콤팩트 복소다양체의 구조를 가진다.
* 가 대수적으로 닫힌 체이며, 가 유한 차원 -선형 공간일 경우, 그라스만 스킴은  위의 비특이 사영 대수다양체의 구조를 가진다. 이 경우, 사영 공간으로의 매장은 플뤼커 매장으로 주어진다.
==== 보편 족 ====
그라스만 스킴은 함자를 나타내므로 보편 대상 과 함께 제공된다. 는의 대상이다. 따라서 의 몫 가군 는  위의 랭크  국소 자유 가군이다. 몫 준동형 사상은 사영 다발 에서 닫힌 매몰을 유도한다:-스킴의 모든 사상:에 대해, 이 닫힌 몰입은 닫힌 몰입을 유도한다.반대로, 그러한 닫힌 몰입은 에서 랭크 의 국소적 자유 가군으로 가는 -가군의 전사 동형에서 비롯된다. 따라서, 의 원소들은에서 정확히 랭크 의 사영 부분 다발이다. 이 식별에서 는 체 의 스펙트럼이고 는 선형 공간 에 의해 주어지며, 유리점의 집합 는 의  차원 사영 선형 부분공간에 해당하고안의 의 상은 집합이다.
=== 스킴 이론적 성질 ===
임의의 스킴  위의 준연접층  및 자연수 에 대하여, 그라스만 스킴 의 구조 사상
:
는 분리 사상이다. 만약 가 추가로 유한 생성 가군층이라면, 이는 사영 사상이다.
임의의 스킴 사상 에 대하여, 스킴의 표준적 동형 사상
:
이 존재한다. 특히, 임의의 점 에 대하여, 표준적 스킴 사상
:
를 통하여 동형 사상
:
이 존재한다. 여기서 는 에서 의 국소 가환환 의 (스스로의 유일한 극대 아이디얼에 대한) 잉여류체이다. 이 동형에서 우변은 (무한 차원일 수 있는) -선형 공간의 그라스만 다양체이므로, 일반적 그라스만 스킴은 고전적 그라스만 다양체들의 족(族)으로 여길 수 있다.
=== 쌍대성 ===
다음이 주어졌다고 하자.
* 체 
* 유한 차원 -선형 공간 
* 자연수 
그렇다면, 다음과 같은 표준적인 동형 사상이 존재한다.
:
:
여기서 는 쌍대 공간이다.
=== 플뤼커 매장 ===
==== 고전적인 경우 ====
체 가 주어졌다고 하자. 그렇다면, 그 스펙트럼 은 한원소 공간이며, 그 위의 가군층은  위의 선형 공간이다. 또한, 모든 가군층이 준연접층이 된다. (그 가운데 연접층인 것은 유한 차원 선형 공간이다.)
따라서,  위의 (유한 또는 무한 차원) 선형 공간  및 자연수 가 주어졌을 때, 그라스만 다양체
:
를 정의할 수 있다.
이는  위의 외대수
:
위의 사영 공간
:
의 닫힌 부분 스킴이며, 이를 정의하는 매장을 '''플뤼커 매장'''()이라고 한다. 구체적으로, 이는 다음과 같다.
:
:
여기서 우변은 의 동차 좌표이다.
플뤼커 매장은 다음과 같은 '''플뤼커 방정식'''을 만족시킨다. 의 임의의 두 차원 부분 선형 공간
:
:
및 임의의 음이 아닌 정수 에 대하여,
:
이는 2차 동차 다항식이다. 표수가 0인 경우, 그라스만 다양체는 플뤼커 방정식만으로 완전히 정의된다.
==== 일반적 플뤼커 매장 ====
임의의 스킴  위의 준연접층  및 자연수  및 스킴 사상 가 주어졌다고 하자. 또한,  위의 가군층 의 몫
:
에서 가 계수 국소 자유 가군층이라고 하자. 그렇다면, 연접층의 함자성에 의하여, 외대수 연접층의 사상
:
이 존재한다.
그라스만 스킴의 정의에 따라, 는 집합 의 원소에 대응한다. 또한, 는 계수 1의 국소 자유 가군층이므로, 어떤 스킴 사상
:
에 대응한다.
즉, 위 구성은 함수
:
를 정의한다. 이는 자연 변환
:
을 이루며, 이는 요네다 보조정리에 따라서 스킴 사상
:
을 정의한다. 이를 의 '''플뤼커 사상'''이라고 한다.
=== 위상수학적 성질 ===
만약 가  또는 이며 가 계수 의 연접층(유한 차원 선형 공간)이라면, 그라스만 다양체  및 은 (유한 차원) 매끄러운 다양체를 이루며, 따라서 그 대수적 위상수학을 연구할 수 있다.
의 (정수 계수) 특이 코호몰로지
:
를 생각하자. 오직 짝수 등급 코호몰로지만이 자명하지 않으며, 따라서 이는 가환환을 이룬다.
 위에는 차원 복소수 벡터 다발인 보편 다발 가 존재한다. 그 (총) 천 특성류를
:
라고 하자. 마찬가지로, 에 임의의 내적 공간 구조를 부여하면, 각 올의 직교 여공간으로 구성되는 차원 복소수 벡터 다발 가 존재하며, 그 (총) 천 특성류를
:
라고 하자.
정의에 따라, 는 차원의 자명한 복소수 벡터 다발이다. 따라서 그 천 특성류는 0이며, 천 특성류의 함자성으로 인하여
:
이 된다.
복소수 그라스만 다양체의 코호몰로지 환은
:
로부터 생성되며, 그 위의 유일한 관계는 인 것이다.
그라스마니안들에 대한 자세한 연구는 ''슈베르트 세포''라는 부분 집합으로의 분해를 사용하며, 이는 열거 기하학에 처음 적용되었다. 에 대한 슈베르트 세포는 보조 기로 정의된다: 인 부분 공간들 를 고른다. 그런 다음 에 대해 최소  차원인 와 교차하는 로 구성된 의 해당 부분 집합을 고려한다. 슈베르트 세포의 조작은 슈베르트 미적분학이다.
다음은 기법의 예이다. 의  차원 부분공간의 그라스마니안의 오일러 특성을 결정하는 문제를 고려하자.  차원 부분공간 을 고정하고 을 포함하는 의  차원 부분공간과 그렇지 않은 부분공간으로을 분할하는 것을 고려하자. 전자는 이고 후자는 위의  차원 선형 다발이다. 이것은 재귀 공식을 제공한다. 이 점화식을 풀면 이 짝수이고 이 홀수인 경우에만  이라는 공식을 얻는다. 그렇지 않으면:
=== 복소 그라스마니안의 코호몰로지 환 ===
복소 그라스마니안 의 모든 점은  공간에서  평면을 정의한다. 그라스마니안 평면 위에 이러한 평면을 올화하면 사영 공간의 동어반복 다발을 일반화하는 선형 다발 에 도달한다. 마찬가지로 이러한 평면의 차원 직교 여공간은 직교 선형 다발 를 산출한다. 그라스마니안들의 적분 코호몰로지는 의 천 특성류에 의해 환으로 생성된다. 특히, 사영 공간의 경우와 같이 모든 적분 코호몰로지가 짝수 차수이다.
이러한 생성자들은 환을 정의하는 일련의 관계를 만족한다. , 의 천 특성류로 구성된 더 큰 생성자 집합에 대해 정의 관계를 쉽게 표현할 수 있다. 그런 다음 관계는 다발들 와 의 직합이 자명한 것이라고만 설명한다. 전체 천 특성류의 함자를 통해 이 관계를 다음과 같이 작성할 수 있다.양자 코호몰로지 환은 The Verlinde Algebra And The Cohomology Of The Grassmannian에서 에드워드 위튼에 의해 계산되었다. 생성원은 고전 코호몰로지 환의 생성원과 동일하지만 top 관계는 다음과 같이 변경된다. 단위로 상태에 해당하는 코호몰로지의 정도를 위반하는  페르미온 제로 모드를 갖는 순간자의 해당 양자장론에서의 존재를 반영한다.
가  차원 유클리드 공간일 때, 에 대한 균등 측도을 다음과 같은 방식으로 정의할 수 있다. 을 직교 군 에 대한 단위 하르 측도라고 하고 의 원소 를 고정한다. 그런 다음 집합  에 대해 다음을 정의한다.이 측도는 군  작용에 대해 불변이다. 즉, , . 이므로 이다. 더욱이, 은 거리 공간 위상에 대한 라돈 측도이며 동일한 반지름(이 거리에 대해)의 모든 공이 동일한 측도라는 점에서 균일하다.
표수 0에서, 사영 공간이 아닌 가장 간단한 그라스만 다양체 를 생각해 보자. 이 경우, 그라스만 다양체는 차원 사영 공간 속에서, 플뤼커 방정식
:
을 통해 정의된다. 여기서 는 5차원 사영 공간의 동차 좌표이다.
그라스마니안들의 주요 응용은 콤팩트 다양체의 접속이 있는 다발을 위한 "보편" 매장 공간이다.
Kadomtsev–Petviashvili 방정식의 해는 무한 차원 그라스마니안에서 아벨 군 흐름으로 표현될 수 있다. 타우 함수(적분 가능 계) 측면에서 히로타 쌍선형 형식으로 표현되는 KP 방정식은 플뤼커 관계식과 동일하다. 양의 그라스마니안은 KP 흐름 매개변수의 실제 값에 대해 특이하지 않은 KP 방정식의 솔리톤 해를 표현하는 데 사용할 수 있다.
그라스마니안은 비디오 기반 얼굴 인식 및 모양 인식의 컴퓨터 비전 작업에서 응용을 찾았다. 또한 그랜드 투어로 알려진 데이터 시각화 기술에도 사용된다.
그라스마니안은 아원자 입자의 산란 진폭이 진폭 면체라고 하는 양의 그라스마니안 구조를 통해 계산되도록 한다.
* 슈베르트 미적분학
* 미분 기하학에서 그라스마니안들을 사용하는 예는 가우스 사상을 참조하고 사영 기하학에서는 플뤼커 좌표를 참조.
* 기 다양체는 그라스마니안의 일반화이며 Stiefel 다양체는 밀접하게 관련되어 있다.
* 구별되는 부분 공간 족이 주어지면 라그랑주 그라스마니안과 같은 이러한 부분 공간의 그라스마니안을 정의할 수 있다.
* 그라스마니안들은 K이론에서 분류 공간과 관련되어 있다. 스킴 호모토피 이론에서 그라스마니안은 대수적 K-이론에 대해 비슷한 역할을 한다.
* 그라스만 다발
* 그라스만 그래프
* 
* 
* 
* 
* 
분류:대수기하학
분류:모듈라이 이론