스킴 (수학): 두 판 사이의 차이
내용 삭제됨 내용 추가됨
봇: 인용 틀 변수 이름 수정 |
Osteologia (토론 | 기여) |
||
130번째 줄:
|}
이 밖에도, 다음과 같은 위상들이 존재한다.
* '''fpqc 평탄 위상''': 충실하게 평탄한({{llang|fr|fidèlement plate}}) 준콤팩트({{llang|fr|quasi-compacte}}) 사상.
* '''fppf 평탄 위상''': 충실하게 평탄한({{llang|fr|fidèlement plate}}) 유한 표현({{llang|fr|de présentation finie}}) 사상.
* '''니스네비치 위상'''(Нисневич-, {{llang|en|Nisnevich topology}}). 이는 예브세이 니스네비치({{llang|ru|Евсей А. Нисневич}})가 도입하였으며, [[대수적 K이론]] · <math>\mathbb A^1</math> 호모토피 이론 · [[모티브 (수학)|모티브]] 이론에서 쓰인다.▼
* '''신토믹 위상'''({{llang|en|symtomic topology}}).<ref>{{서적 인용 | last1=Fontaine | first1=Jean-Marc | last2=Messing | first2=William | author2-link=William Messing | title=Current trends in arithmetical algebraic geometry (Arcata, Calif., 1985) | url=http://www.ams.org/publications/online-books/conm67-index | publisher=American Mathematical Society | location=Providence, R.I. | series=Contemporary Mathematics | mr=902593 | year=1987 | volume=67 | chapter=''p''-adic periods and ''p''-adic étale cohomology | pages=179–207|언어=en}}</ref> 이는 일부 경우 평탄 위상보다 더 계산하기 쉬우며, 주로 [[수론]]에서 쓰인다.
▲* '''니스네비치 위상'''({{llang|en|Nisnevich topology}}). [[대수적 K이론]] · <math>\mathbb A^1</math> 호모토피 이론 · [[모티브 (수학)|모티브]] 이론에서 쓰인다.
* 매끄러움 위상({{llang|en|smooth topology}}). 이 경우, 덮개는 [[매끄러운 사상]]을 통한 덮개이다.
이 위상들은 다음과 같이, 섬세함에 대하여 [[전순서 집합]]을 이룬다. (여기서 오른쪽으로 갈 수록 더 섬세한 위상이다.)
:비이산 위상 → 자리스키 → 니스네비치 → 에탈 → 매끄러움 → fppf → fpqc → 표준 위상 → 이산 위상
fpqc 위상은 흔히 사용되는 가장 섬세한 [[그로텐디크 위상]]이므로, 흔히 사용되는 모든 [[그로텐디크 위상]]들은 준표준 위상이다 (즉, [[표현 가능 함자|표현 가능]] [[준층]]은 항상 [[층 (수학)|층]]을 이룬다).
== 종류 ==
| |||