可逆層




数学において，可逆層（かぎゃくそう，英: 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

Was Woodrow Wilson really a Liberal?Was World War I a war of liberals against authoritarians?Founding Fathers...

Image
Do VLANs within a subnet need to have their own subnet for router on a stick? What are the differences between the usage of 'it' and 'they'? Dragon forelimb placement How do we improve the relationship with a client software team that performs poorly and is becoming less collaborative? What typically incentivizes a professor to change jobs to a lower ranking university? How to write a macro that is braces sensitive? Modeling an IPv4 Address Writing rule stating superpower from different root cause is bad writing Can I ask the recruiters in my resume to put the reason why I am rejected? Approximately how much travel t...
Read more

Integral that is continuous and looks like it converges to a geometric seriesTesting if a geometric series converges by taking limit to infinitySummation of arithmetic-geometric series of higher orderGeometric series with polynomial exponentHow to Recognize a Geometric SeriesShowing an integral equality with series over the integersDiscontinuity of a series of continuous functionsReasons why a Series ConvergesSum of infinite geometric series with two terms in summationUsing geometric series for computing IntegralsLimit of geometric series sum when $r = 1$

Image
Why did Rep. Omar conclude her criticism of US troops with the phrase "NotTodaySatan"? Contradiction proof for inequality of P and NP? What is meant by electrons moving to lower potential energy? Negative Resistance Zonal Statistics is returning null values in ArcGIS Desktop? Why do distances seem to matter in the Foundation world? Injection into a proper class and choice without regularity A faster way to compute the largest prime factor "Whatever a Russian does, they end up making the Kalashnikov gun"? Are there any similar proverbs in English? Do I need to watch Ant-Man and the Wasp and Captain Marvel before watching Avengers: Endgame? How bug prioritization works in agile projects vs non agile Is this a typo in Section 1.8.1 Mathematics for Computer Science? Drawing a german abacus as in the books of Adam Ries How to have a sharp product image? Creating a chemical industry from a medieval tech level without petroleum Partitioning va...
Read more

Why is system upgrade showing unstable version when upgrading in backend?System Settings > System Upgrade link does not existsComposer Error While upgrading magento version 2.1.6 to 2.2.2How to upgrade magento 1.4.0.0 to above 1.6 versionIssue with upgrading Magento Version from 2.1.7 to 2.1.12Magento 2.2.5: Error on running setup: upgrade after upgrading Magento from 2.2.2 to 2.2.5Are there any Magento Code Release Notes?getting error when upgrading from Magento 2.1.5 to Magento 2.2.6Will the installed third party plugins upgrade when we upgrade Magento version via composerWhy PHP Settings Check and Checking Component Dependency showing error during Magento 2.3 upgrade?Fatal error: Out of memory (in composer) during upgrade Magento2.2.1 to Magento 2.3 when run composer update command

Image
Can a Knock spell open the door to Mordenkainen's Magnificent Mansion? Writing in a Christian voice Would this string work as string? Turning a hard to access nut? New Order #2: Turn My Way Capacitor electron flow How can I, as DM, avoid the Conga Line of Death occurring when implementing some form of flanking rule? How to preserve electronics (computers, ipads, phones) for hundreds of years? Pre-Employment Background Check With Consent For Future Checks Started in 1987 vs. Starting in 1987 Calculate Pi using Monte Carlo What (if any) is the reason to buy in small local stores? How to test the sharpness of a knife? Center page as a whole without centering each element individually Unfrosted light bulb Trouble reading roman numeral notation with flats Why is implicit conversion not ambiguous for non-primitive types? Why would five hundred and five same as one? What is the period/term used describe Giuseppe Arcimboldo's style of painting? Wha...
Read more