可逆層




数学において,可逆層(かぎゃくそう,英: invertible sheaf)とは,環付き空間 X 上の連接層 S であって,OX 加群のテンソル積に関して逆元 T が存在するものである.可逆層は直線束という位相的な概念の代数幾何学における対応物である.カルティエ因子との相互作用のため,代数多様体の研究で中心的な役割を果たす.




目次






  • 1 定義


  • 2 ピカール群


  • 3 関連項目


  • 4 参考文献





定義


可逆層 (invertible sheaf) とは,環付き空間 X 上の連接層 S であって,OX 加群のテンソル積に関して逆元 T が存在するものである,つまり,OX に同型な


S⊗T {displaystyle Sotimes T }

があって,テンソル積について単位元として働く.最も重要な場合は代数幾何学と複素多様体論から来る場合である.それらの理論における可逆層は実際には適切に定式化された直線束である.


実際,可逆層のスキーム論における抽象的な定義は局所自由で階数 1という条件に置き換えることができる.つまり,テンソルの逆元の条件はすると,X 上局所的に,S が可換環上の階数 1 の自由加群のなす層であることを導く.例は代数的整数論における分数イデアルから来,定義はその理論を捉える.より一般に,X がアフィンスキーム Spec(R) であるとき,可逆層は R 上の階数 1 の射影加群から来る.



ピカール群



極めて一般的に,X 上の可逆層の同型類たち自身がテンソル積の下でアーベル群をなす.この群はイデアル類群を一般化する.一般にそれは,Picピカール関手(英語版)として


Pic(X) {displaystyle mathrm {Pic} (X) }

と書かれる.それは代数曲線のヤコビ多様体の理論も含んでいるから,この関手の研究は代数幾何学において主要な問題である.


X 上のデータによる可逆層の直接構成はカルティエ因子の概念を導く.



関連項目



  • 代数幾何学におけるベクトル束(英語版)

  • 直線束

  • 第一チャーン類

  • ピカール群

  • バーコフ・グロタンディークの定理(英語版)



参考文献


  • Section 0.5.4 of Grothendieck, Alexandre; Dieudonné, Jean (1960). “Éléments de géométrie algébrique: I. Le langage des schémas”. Publications Mathématiques de l'IHÉS 4. MR 0217083. http://www.numdam.org:80/numdam-bin/feuilleter?id=PMIHES_1960__4_. 



Popular posts from this blog

Magento 2 - Add success message with knockout Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?Success / Error message on ajax request$.widget is not a function when loading a homepage after add custom jQuery on custom themeHow can bind jQuery to current document in Magento 2 When template load by ajaxRedirect page using plugin in Magento 2Magento 2 - Update quantity and totals of cart page without page reload?Magento 2: Quote data not loaded on knockout checkoutMagento 2 : I need to change add to cart success message after adding product into cart through pluginMagento 2.2.5 How to add additional products to cart from new checkout step?Magento 2 Add error/success message with knockoutCan't validate Post Code on checkout page

Fil:Tokke komm.svg

Where did Arya get these scars? Unicorn Meta Zoo #1: Why another podcast? Announcing the arrival of Valued Associate #679: Cesar Manara Favourite questions and answers from the 1st quarter of 2019Why did Arya refuse to end it?Has the pronunciation of Arya Stark's name changed?Has Arya forgiven people?Why did Arya Stark lose her vision?Why can Arya still use the faces?Has the Narrow Sea become narrower?Does Arya Stark know how to make poisons outside of the House of Black and White?Why did Nymeria leave Arya?Why did Arya not kill the Lannister soldiers she encountered in the Riverlands?What is the current canonical age of Sansa, Bran and Arya Stark?