凝聚層




在數學中，尤其是代數幾何與複流形理論裡，凝聚層是一類特別容易處理的層。凝聚層的定義指涉到一個環層（例如一個概形的結構層、複流形上的全純函數層或 D-模），此環層蘊藏了所論空間的幾何性質。相關的概念還有擬凝聚層與有限展示層。代數幾何與複解析幾何裡的許多性質與定理都以凝聚層及其上同調表述。


凝聚層可被視作向量叢截面層的推廣。它們構成的範疇在取核、上核、有限直和等操作下封閉。此外，若底空間滿足合宜的緊緻條件，則凝聚性在底空間的映射下保持不變，且具有有限維的層上同調群。交換代數裡的一些定理也能應用於凝聚層，如中山正引理。




目录






  • 1 定義


  • 2 基本性質


  • 3 凝聚層的例子


  • 4 凝聚上同調


  • 5 文獻





定義


一個凝聚層是賦環空間(X,OX){displaystyle (X,{mathcal {O}}_{X})}(X,{mathcal {O}}_{X})上的一個OX{displaystyle {mathcal {O}}_{X}}{mathcal {O}}_{X}-模 F{displaystyle {mathcal {F}}}mathcal{F}，滿足下述性質：




  1. F{displaystyle {mathcal {F}}}mathcal{F} 在OX{displaystyle {mathcal {O}}_{X}}{mathcal {O}}_{X}上是有限型的，即：對任一點x∈X{displaystyle xin X}xin X，存在其鄰域U⊂X{displaystyle Usubset X}Usubset X使得 F|U{displaystyle {mathcal {F}}|_{U}}{displaystyle {mathcal {F}}|_{U}} 可由有限多個截面生成（換言之，存在正合序列OXn|U→F|U→0{displaystyle {mathcal {O}}_{X}^{n}|_{U}to {mathcal {F}}|_{U}to 0}{displaystyle {mathcal {O}}_{X}^{n}|_{U}to {mathcal {F}}|_{U}to 0}）。

  2. 對任意開集 U⊂X{displaystyle Usubset X}Usubset X，任意 n∈N{displaystyle nin mathbb {N} }nin mathbb {N} 及任意OX{displaystyle {mathcal {O}}_{X}}{mathcal {O}}_{X}-模的態射ϕ:OXn|U→F|U{displaystyle phi colon {mathcal {O}}_{X}^{n}|_{U}to {mathcal {F}}|_{U}}{displaystyle phi colon {mathcal {O}}_{X}^{n}|_{U}to {mathcal {F}}|_{U}}，其核是有限型的。


環層OX{displaystyle {mathcal {O}}_{X}}{mathcal {O}}_{X}是凝聚層若且唯若它自身作為一個OX{displaystyle {mathcal {O}}_{X}}{mathcal {O}}_{X}-模是個凝聚層。


凝聚層必定是有限展示的：即對任一點x∈X{displaystyle xin X}x in X都存在其開鄰域U{displaystyle U}U、正整數m,n{displaystyle m,n}m,n以及一個正合序列：


OXn|U→OXm|U→F|U→0{displaystyle {mathcal {O}}_{X}^{n}|_{U}to {mathcal {O}}_{X}^{m}|_{U}to {mathcal {F}}|_{U}to 0}{displaystyle {mathcal {O}}_{X}^{n}|_{U}to {mathcal {O}}_{X}^{m}|_{U}to {mathcal {F}}|_{U}to 0}


反之則不然，除非要求OX{displaystyle {mathcal {O}}_{X}}{mathcal {O}}_{X}是凝聚環層。


擬凝聚層的定義更弱：我們僅要求對任一點x∈X{displaystyle xin X}x in X都存在開鄰域U{displaystyle U}U，索引集I,J{displaystyle I,J}I,J（可能是無限集）及一個正合序列：
OXI|U→OXJ|U→F|U→0{displaystyle {mathcal {O}}_{X}^{I}|_{U}to {mathcal {O}}_{X}^{J}|_{U}to {mathcal {F}}|_{U}to 0}{displaystyle {mathcal {O}}_{X}^{I}|_{U}to {mathcal {O}}_{X}^{J}|_{U}to {mathcal {F}}|_{U}to 0}



基本性質


對一個仿射簇X=Spec(R){displaystyle X=mathrm {Spec} (R)}{displaystyle X=mathrm {Spec} (R)}，F↦Γ(X,F){displaystyle {mathcal {F}}mapsto Gamma (X,{mathcal {F}})}{displaystyle {mathcal {F}}mapsto Gamma (X,{mathcal {F}})}給出從擬凝聚層到 R{displaystyle R}R-模的範疇等價；若R{displaystyle R}R是諾特環，則凝聚層恰對應至有限生成的R{displaystyle R}R-模。


凝聚層的概念較局部自由層（換言之，向量叢的截面層）廣，但仍然很容易操作，這在考慮核與上核時特別有利，因為局部自由層在這些操作下並不封閉。形式地說：給定一個短正合序列，只要其中任兩個層是凝聚層，則令一個也必然是凝聚層；在OX{displaystyle {mathcal {O}}_{X}}{mathcal {O}}_{X}-模的範疇裡，凝聚層是滿足上述條件並包含OX{displaystyle {mathcal {O}}_{X}}{mathcal {O}}_{X}的最小滿範疇。因此就同調代數的觀點看，凝聚層是最自然的範疇之一。



凝聚層的例子




  • 諾特概形的結構層

  • 向量叢的截面層


  • 理想層：若X{displaystyle X}X是複解析空間而Z{displaystyle Z}Z是其閉子空間，令IZ{displaystyle {mathcal {I}}_{Z}}{displaystyle {mathcal {I}}_{Z}}表所有在Z{displaystyle Z}Z上消沒的全純函數，稱作Z{displaystyle Z}Z在X{displaystyle X}X裡的理想層，則IZ{displaystyle {mathcal {I}}_{Z}}{displaystyle {mathcal {I}}_{Z}}是凝聚層。對諾特概形及其閉子概形亦同。

  • 閉子空間的結構層

  • 複流形X{displaystyle X}X上的微分算子環DX{displaystyle {mathcal {D}}_{X}}{displaystyle {mathcal {D}}_{X}}，這是個非交換的環層。



凝聚上同調


凝聚層的層上同調理論稱作凝聚上同調，這是層論最大也最有效的應用之一，其結果可用以詮釋古典的代數幾何及複流形理論，其證明卻更簡潔明快。


基於 Schwartz 先前的工作，昂利·嘉當與讓-皮埃爾·塞爾證明了緊複流形上的凝聚上同調是有限維的，小平邦彥先前曾證明了向量叢的情形。當時這套理論的用處還不甚明朗。塞爾證明了這個定理的代數版本。亞歷山大·格羅滕迪克證明了一個代數框架下的相對版本，解析版本則由 Grauert 與 Remmert 證出。舉例明之：格羅滕迪克的結果是考慮函子R⋅f∗{displaystyle R^{cdot }f_{*}}{displaystyle R^{cdot }f_{*}}（這是層的正像函子的右導函子）； 若f{displaystyle f}f是概形間的真態射，則此函子保持凝聚性。取f{displaystyle f}f為一個k−{displaystyle k-}k-射影概形到Spec(k){displaystyle mathrm {Spec} (k)}{displaystyle mathrm {Spec} (k)}的態射，便得到塞爾先前的結果。



文獻



  • Hans Grauert, Reinhold Remmert, Coherent Analytic Sheaves. Springer-Verlag, Berlin 1984. ISBN 3-540-13178-7
    Allgemeines: Anhang, §3; Kohärenz der Strukturgarbe: Kap. 2, §5; direkte Bilder: Kap. 10, §4

  • Alexander Grothendieck|A. Grothendieck, Jean Dieudonné|J. Dieudonné: Éléments de géométrie algébrique. Publications mathématiques de l'IHÉS 4, 8, 11, 17, 20, 24, 28, 32 (1960–1967)
    Allgemeines: 0I, 5.3; direkte Bilder: III, 3.2




Comments

Post a Comment

Popular posts from this blog

Information security

Image
This article is part of a series on Information security Related security categories Internet security Cyberwarfare Computer security Mobile security Network security Threats Computer crime Vulnerability Eavesdropping Malware Spyware Ransomware Trojans Viruses Worms Rootkits Bootkits Keyloggers Screen scrapers Exploits Backdoors Logic bombs Payloads Denial of service Defenses Computer access control Application security Antivirus software Secure coding Secure by default Secure by design Secure operating systems Authentication Multi-factor authentication Authorization Data-centric security Encryption Firewall Intrusion detection system Mobile secure gateway Runtime application self-protection (RASP) v t e Information security , sometimes shortened to InfoSec , is the practice of preventing unauthorized access, use, disclosure, disruption, modification, inspection, recording or destruction of information. Th...
Read more

Volkswagen Group MQB platform

Image
The Volkswagen Group MQB platform is the company's strategy for shared modular design construction of its transverse, front-engine, front-wheel-drive layout (optional front-engine, four-wheel-drive layout) automobiles. Volkswagen spent roughly $60bn [1] developing this new platform and the cars employing it. The platform underpins a wide range of cars from the supermini class to the mid size SUV class. MQB allows Volkswagen to assemble any of its cars based on this platform across all of its MQB ready factories. This allows the Volkswagen group flexibility to shift production as needed between its different factories. Beginning in 2012, Volkswagen Group marketed the strategy under the code name MQB , which stands for Modularer Querbaukasten , translating from German to "Modular Transversal Toolkit" or "Modular Transverse Matrix". [2] [3] MQB is one strategy within VW's overall MB (Modularer Baukasten or modular matrix) program which also includes th...
Read more

刘萌萌

Image
body.skin-minerva .mw-parser-output table.infobox caption{text-align:center} 刘萌萌 女演员 罗马拼音 Liu Meng Meng 英文名 Cya 国籍   中国 民族 汉族 出生 ( 1989-10-16 ) 1989年10月16日 （ 29歲）   中国辽宁省大连市 职业 演员、艺人 语言 汉语 教育程度 沈阳音乐学院 北京电影学院表演系进修班 活跃年代 2011年至今 唱片公司 浙江永乐影视制作有限公司 经纪公司 浙江永乐影视制作有限公司 网站 刘萌萌 官方微博 刘萌萌 （1989年10月16日 － ），汉族，中国演员，2010年参加湖南卫视《芒果训练营》而出道至今，凭借电视剧《爱情公寓》“诺澜”一角走红。北京电影学院10级表演系（进修班）毕业。 目录 1 主要经历 2 影视作品 2.1 电视剧 2.2 电影 2.3 综艺节目 3 参考文献 4 外部链接 主要经历 1989年，出生于辽宁省大连市一个工人家庭； 2006年，考入沈阳音乐学院舞蹈系本科班学习； 2010年，参加湖南卫视《芒果训练营》演艺新秀比赛而出道 [1] ；進入北京电影学院表演系进修班 2011年，出演电视剧《隋唐演义》“琼花公主”一角色； 2012年，担任电视剧《爱情公寓》“诺澜”一角并开始走红 [2] ； 2013年，担任电视剧《利箭纵横》《利剑行动》 [3] 女主角“林筱雨” 2014年，参加江苏卫视真人秀栏目《花样年华》 [4] 备受瞩目 [5] 。 影视作品 电视剧 首播年份 剧名 角色 备注 2012 《爱情公寓3》 诺澜 2012 《利箭行动》 林筱雨 2013 《隋唐演义》 琼花公主 2013 《决战燕子门》 马晓婉 2014 《利箭纵横》 林筱雨 2014 《屌丝日记》 林洛霏 網絡劇 2014 《爱情公寓4》 诺澜 ...
Read more