슈타인 다양체
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
1. 개요
슈타인 다양체는 정칙 볼록성 또는 정칙 분해 가능성을 만족하는 복소다양체이다. 슈타인 다양체는 고유한 정칙 함수를 통해 점들을 구별할 수 있으며, 고유한 정칙 매끄러운 몰입을 통해 복소 공간에 임베딩될 수 있다. 모든 슈타인 다양체는 콤팩트하지 않으며, 카르탕 정리가 성립하여 쿠쟁 문제를 쉽게 풀 수 있다. 또한, 슈타인 다양체는 (복소) 강하게 유사 볼록 다양체와 동등하며, 카를 슈타인에 의해 처음 도입되었다.
더 읽어볼만한 페이지
- 복소다양체 - 트위스터 공간
트위스터 공간은 다양한 시공간 차원에 대해 정의되는 수학적 공간으로, 4차원 시공간의 경우 바일 스피너의 텐서곱으로 표현되며, 6차원 및 3차원 시공간에 대해서도 유사하게 정의되어 이론물리학에서 파동 방정식의 해나 양-밀스 이론과 연결되는 중요한 역할을 한다. - 복소다양체 - 히르체브루흐-리만-로흐 정리
히르체브루흐-리만-로흐 정리는 콤팩트 복소다양체 위의 해석적 벡터 다발의 코호몰로지를 통해 정의되는 오일러 지표를 천 지표와 토드 특성류를 사용하여 계산하는 정리이다.
슈타인 다양체 | |
---|---|
정의 | |
정의 | 정칙 함수들의 충분히 많은 수의 족을 갖는 복소다양체. |
관련 개념 | |
상위 개념 | 복소다양체 |
포함 관계 | 스타인 다양체 → 홀로모르프 완비 다양체 |
2. 정의
복소다양체 에 대하여, 다음 두 조건은 서로 동치이며, 이를 만족시키는 다양체를 '''슈타인 다양체'''라고 한다.
- 고유 정칙 매끄러운 몰입 이 존재한다.
- 은 다음 두 조건을 만족시킨다. 여기서 는 위의 정칙함수들의 가환환이다.
- (정칙 볼록성 holomorphic convexity영어) 의 콤팩트 부분공간의 '''정칙 볼록 폐포'''(holomorphic convex hull영어)는 콤팩트하다.
- (정칙 분해 가능성) 서로 다른 두 점 가 주어지면, 인 정칙 함수 가 존재한다. 즉, 점들을 정칙 함수들로 구별할 수 있다.
여기서 콤팩트 부분 공간 의 '''정칙 볼록 폐포''' 는 다음과 같다.
:
3. 성질
모든 슈타인 다양체는 콤팩트 공간이 아니다. 슈타인 다양체 위의 연접층에 대하여 카르탕 정리가 성립하며, 이에 따라 슈타인 다양체 위의 쿠쟁 문제를 쉽게 풀 수 있다. 카르탕 정리 및 GAGA 정리에 따라, 슈타인 다양체는 아핀 스킴에 대응하는 개념이다.
슈타인 다양체의 임베딩 정리에 따르면, 복소 차원 인 모든 슈타인 다양체 는 쌍정칙 고유 사상에 의해 에 임베딩될 수 있다. 이는 슈타인 다양체가 복소 공간의 닫힌 복소 부분 다양체이며, 그 복소 구조는 주변 공간의 구조와 같다는 것을 의미한다.
복소 차원 인 모든 슈타인 다양체는 차원 CW-복합체의 호모토피 유형을 가진다. 또한, 모든 슈타인 다양체 는 정칙적으로 전개 가능하다. 즉, 모든 점 에 대해, 전체에 정의된 개의 정칙 함수가 존재하여 의 열린 이웃으로 제한될 때 국소 좌표계를 형성한다.
3. 1. 1차원 복소 다양체
1차원 복소다양체(리만 곡면)가 슈타인 다양체인지 여부는 연결 비콤팩트 리만 곡면인지와 동치이다. 이는 하인리히 벵케(Heinrich Behnke)와 카를 슈타인(Karl Stein)이 1948년에 증명하였다.[1]1956년에 한스 그라우어트와 헬무트 뢰를은 *X*상의 모든 정칙 벡터 다발이 자명하다는 것을 보였다. 특히, 모든 선 다발은 자명하므로 이다. 지수층 시퀀스는 다음의 완전 수열로 이어진다.[1]
:
카르탕 정리 B에 따라 이므로, 이다.[1] 이것은 쿠쟁 문제의 해와 관련이 있다.[1]
3. 2. 강한 유사 볼록 다양체와의 관계
슈타인 다양체인 것은 (복소) '''강하게 유사 볼록 다양체'''인 것과 동등하다.[1] 후자는 강하게 유사 볼록(또는 플루리부분조화) 소진 함수를 갖는다는 것을 의미한다. 즉, 인 상의 부드러운 실 함수 ( 모스 함수라고 가정할 수 있음)가 존재하여 집합 가 모든 실수 에 대해 에서 컴팩트하다. 이것은 Eugenio Levi (1911)의 이름을 딴 '''Levi 문제'''에 대한 해답이다.[1] 함수 는 '''슈타인 영역'''이라고 하는 경계를 가진 컴팩트 복소 다양체의 해당 클래스에 대한 아이디어로 ''슈타인 다양체''의 일반화를 유도한다. 슈타인 영역은 프리이미지 이다. 일부 저자는 그러한 다양체를 엄밀히 유사 볼록 다양체라고 부른다.4. 예시
- 유한 차원 복소 벡터 공간 은 슈타인 다양체이다.
- 의 부분 공간인 모든 정칙영역은 슈타인 다양체이다.
- 슈타인 다양체의 닫힌 부분 복소 다양체 또한 슈타인 다양체이다.[1]
- 복소 1차원에서, 연결된 리만 곡면이 콤팩트하지 않을 때, 그리고 그때에만 슈타인 다양체이다. complex vector space영어는 삭제함.
5. 역사
6. 매끄러운 다양체와의 관계
2n차원 콤팩트 매끄러운 다양체는 지표가 n 이하인 손잡이만 가지고 있으면 n > 2일 때 슈타인 구조를 가지며, n = 2일 때는 틀(Thurston–Bennequin 틀보다 작은 틀)로 2-손잡이가 붙어 있으면 슈타인 구조를 가진다.[2][3] 모든 닫힌 매끄러운 4-다양체는 공통 경계를 따라 붙여진 두 개의 슈타인 4-다양체의 합집합이다.[4]
참조
[1]
Eom
Levi problem
[2]
논문
Topological characterization of Stein manifolds of dimension > 2
1990
[3]
논문
Handlebody construction of Stein surfaces
1998
[4]
논문
A convex decomposition for four-manifolds
1998
[5]
웹사이트
PlanetMath: solution of the Levi problem
http://planetmath.or[...]
[6]
논문
Topological characterization of Stein manifolds of dimension > 2
1990
[7]
논문
Handlebody construction of Stein surfaces
1998
[8]
논문
A convex decomposition for four-manifolds
1998
[9]
저널
Analytische Funktionen mehrerer komplexer Veränderlichen zu vorgegebenen Periodizitätsmoduln und das zweite Cousinsche Problem
1951
본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.
문의하기 : help@durumis.com