スキームの圏におけるモノ射に関するメモ
モノ射の性質はちょっと考えれば結構よくわかるっぽいことに気づいたから気づいたことのメモをします。
〜〜〜〜〜〜〜〜〜〜
圏論の一般論からくることに関しては割愛します。
たとえば「 がモノ射 ⇔ が同型」とか、「モノ射の合成はモノ射」などは特に断りなく使います。
【命題1】
をスキームの射とします。
が埋め込みならモノ射です。
〔証明〕
開埋め込みと閉埋め込みのときに示せば良いので、まずは開埋め込みとします。
を取り とします。
このときまず は位相空間の間の射として等しく、次に の合成が層の射として等しいので は構造層の間の射も等しいです。
次に閉埋め込みのとき、同じく を取れば位相空間の間の射として等しく の合成が層の射として等しいですが は全射なのでこれから です。 ◻︎
アフィンスキームの間のモノ射は環のエピ射に対応します。
次はよく知られていることです:
【補題2】
を環、 とすると は環の圏のエピ射。
〔証明〕
射 のレトラクション(=掛け算) は同型です。 ◻︎
【系3】
をスキーム、 を点とすると はモノ射。
〔証明〕
まず開埋め込みはモノなので のAffine近傍からの包含 はモノ射です。
次に補題1より はモノ射です。
最後に閉埋め込みはモノ射なので はモノ射です。
あと は点 に対応する素イデアルです。 ◻︎
【系4】
を相異なる点とすると、 はモノ射です。
〔証明〕
を取って との合成が等しいとします。
ある点 で なら なので矛盾します。
よって位相空間の射として です。
従って系3よりスキームの射としても等しいです。 ◻︎
スキームのモノ射が位相空間の間の単射を引き起こすことを示します。
【補題5】
を体とすると、環の射 がエピ射なら同型。
〔証明〕
は環の同型ですが は忠実平坦なので 自身も同型です。◻︎
(注)
体の圏のエピ射は同型とは限りません。
たとえば純非分離拡大はエピ射です。
【系6】
とすると がモノ射なら同型。
〔証明〕
の任意のアフィン開集合は補題5より と同型です。 ◻︎
【系7】
がモノ射のとき、
(1) 位相空間の射として単射、とくに は準有限射。
(2) 任意の に対してfiberは または 。
(3) は普遍的に単射。
(4) が有限表示なら不分岐。
〔証明〕
モノ射のpullbackはモノ射であることと系6からわかります。
また不分岐は が同型であることからもわかります。◻︎
【系8】
が有限表示かつ平坦なモノ射のとき開埋め込み。
〔証明〕
有限表示平坦射は開写像なので は の開部分集合の上への単射です。◻︎
平坦は開っぽい感じの条件ですが、閉っぽい感じの条件と組み合わせます。
〔証明〕
有限生成 -加群 が であれば良いので、各素イデアル について が全射になれば良いですが、これは補題5から従います。◻︎
【系10】
がproper射かつモノ射なら閉埋め込み。
〔証明〕
モノ射なので準有限射ですがproper射なので(Stein分解を考えることで)とくに有限射となり、補題9より閉埋め込みです。 ◻︎
〜〜〜〜〜〜〜〜〜〜
スキームの圏にはpullbackがあるのでモノ射の性質はそれなりにわかるっぽいですが、エピ射の方は難しそうです。
〜〜〜〜〜〜〜〜〜〜
以前の記事
貼り合わせに関するメモ - yujitomoのブログ
でGrassmannianのPlücker埋め込みについて言及したのですが証明はしてませんでしたので、ここで示しておこうと思います。
【Plücker埋め込み】
をネータースキーム、 を 上ランク の局所自由層、 を自然数とします。
このときランク の商 の 次外積を取ることで直線束への商 が出て、この対応により射 が出ます。
このとき、射 は閉埋め込みです。
〔証明〕
まず層の射 が単射となることを言います。
を -スキームとして、二つの同値でない商 を取ります。
このとき核が異なるので、ある点 において となります。
の基底を 内から 個 取り、残りの 個 のうち一つが に入るように取ります。
すると 次外積を取った商 は点 上で異なる核を持つことがわかります(なぜなら は では に写り では に写るからです)。
よってこの二つの商は同値ではなく、射 はモノ射です。
proper射であることを付値判定法で示します。
をDVR、 をその商体として、可換図式
\begin{CD}
\mathrm{Spec}(K) @>>> \mathrm{Grass}(r,\mathcal{E}) \\
@VVV @VV j V \\
\mathrm{Spec}(R) @>>> \mathbb{P}(\bigwedge ^r \mathcal{E})
\end{CD}
を取ります。
と置いておきます。これはランク の自由 -加群(に対応する自由層)です。
射に対応する商を とおきます。ここで はランク の自由加群で です。
つまり可換図式
\begin{CD}
\bigwedge ^r E @>\subset >> \bigwedge ^r E\otimes _RK \\
@V p VV @VVV \\
R @>>\subset > \bigwedge ^r N
\end{CD}
ができます。
付値判定法でproper射となることを示すには、ランク の商 で となるものが構成できれば良いです。
まず の像を と置けば、これはランク の自由 -加群です。
射 は全射で、 になります。
すると となって は同値な商です。
よってproper射であることもわかりました。
最後に、モノ射かつproper射は閉埋め込みなので、 は閉埋め込みになります。 ◻︎
貼り合わせに関するメモ
お久しぶりです。
活動をしているということをもう少し他者にわかるような形で残しておいた方が人生に良い影響を与えそうだということでもう少し更新頻度を高めようと思いました。
この記事は代数幾何における貼り合わせに関していくつかのメモ書きです。
初等的なことですが、誰かの役に立つかもしれないです。
(今後、こんな感じで小さなテーマごとに記事をまとめて「活動してますアピール」に使いたいと思っています)
あと、最近はなんか数学について書くときに「ですます調」(?)になりがちなのではじめに断っておきます。
〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜
《関手的な視点》
最も基本的な貼り合わせは次の補題です:
【貼り合わせの補題:Ha演習II.2.12】
をスキームの族で に対して開部分スキーム と同型射 が与えられていて、次を満たすとします:
(1) ,
(2) 各 に対して ,
(3) 各 に対して .
このとき、次を満たすスキーム と開埋め込み があります:
(1) ,
(2) ,
(3) .
これは位相空間として貼り合わせたのち、構造層をゼロ延長して貼り合わせれば構成できます。
これを関手っぽい目線で見るためにいくつかの用語を導入します。
をスキーム、 を -スキームの圏とします。
この記事では 上の層はつねにZariski位相で考えます。
つまり関手 が層であるとは、任意の -スキーム に対して が 上の層となることを意味します。
と表記します。
【部分関手】
を層とし、 を射(=自然変換)とします。
・ が単射(=各切断ごとに単射)のとき、 は の部分層または部分関手と言います。
・ が表現可能とは、任意の射 に対してある があって となることです。
・さらに に対応する射 がつねに開(閉)埋め込みとなるとき、 は の開(閉)部分関手と言い、 は開(閉)埋め込みと言います。
定義から明らかに、 が表現可能な射なら も表現可能です。
スキーム論では時に関手をスキームと同等かのように扱うことがあります。
そのような考え方の一端を使い、様々な貼り合わせに関する議論を簡略化できないか、というのがこの記事で考えることです。
次の定義をします:
【関手の開被覆】
を層とします。
開部分関手の族 が の開被覆であるとは、任意の射 に対して としたとき、 に対応する開埋め込みの族 が の開被覆を与えることを言います。
定義から、通常のスキームの開被覆 に対して は の開被覆です。
さて、上の貼り合わせの補題を関手により言い換えます:
【表現可能性】
を層として、表現可能関手による開被覆 があるとします。
このとき も表現可能です。
〔証明〕
と置きます。
は開埋め込みなので対応する は開埋め込みです。
また、pullbackの順番を入れ替えることで同型射 を得ます。
これらのデータが冒頭の貼り合わせの補題の条件を満たすことは が層であることに起因します。
貼り合わせたスキーム により は表現されます。 ◻︎
【表現可能性その2】
をスキーム、 を開被覆として、 を層とします。
の表現可能な部分関手の族 が次を満たすとします:
・任意の-スキーム について、 が を経由すれば , そうでなければ .
このとき は の開被覆となり、特に は表現可能。
〔証明〕
開被覆であることを示すために、任意に -スキーム と射 を取ります。
が示せれば良いです。
を取ります。
となるためには、 が必要十分で、つまり が を経由することが必要十分です。
従って が を経由することが必要十分です。
よって となります(これが について自然であることは容易にわかります)。◻︎
これらを使ってみます。
《relative Spec》
【 】
をスキーム、 を準連接 -代数とします。
このとき次を満たす -スキーム があります:
・任意のアフィン開集合 に対して ,
・任意のアフィン開集合の( 上の)包含 に対して は同型を通じて と可換.
この を などと書きます。
〔証明〕
表現可能性その2を使います。
まず層 を に対して と定めます。
のアフィン開被覆 に対して、 と置きます。
は が を経由しないとき で、経由するときは です。
さらに包含を として と書けば、 なので となって、随伴で となります。
従って層 は が を経由しないときは で経由するときは となるものです。
たちは表現可能なので、表現可能性その2から の表現対象が取れて、これが所望のスキームです。 ◻︎
(注)
の準連接性は の等号に使われています。
上の証明の思想は、愚直に貼り合わせる場合に貼り合わせの条件は関手性(層であること)から来るのだから、スキームも層っぽく考えて初めから全部関手の話で済ませてしまえばいいじゃん、という感じです。
【例:正規化】
代数多様体 の各開集合 に対して の正規化を とすれば は準連接 -代数になります。
すると の正規化が により得られます。◻︎
【例:ベクトル束】
をスキーム、 を 上のランク 局所自由層とします。
関手 について考えます( は引き戻しで出します)。
ここで は の への引き戻し、つまり射を とすれば のことです。
切断 を与えることは、射 を与えることに等しいですが、双対を取って が1:1に対応します。
するとこれは -代数の射 と1:1に対応し、従って射 と1:1に対応します。
よって関手 は により表現可能になります。
と置き、局所自由層 に付随するベクトル束と言います。
《グラスマン多様体》
次にグラスマン多様体の構成を貼り合わせの議論でやってみます。
一般に、代数幾何でも微分幾何でも多様体しか考えていない場合では、グラスマン多様体や旗多様体は の適切な部分群、たとえば旗多様体であれば旗を固定するような自己同型のなす部分群=上三角なもの全体などによる商として構成できますが、一般のスキーム上で商の構成はしばしば面倒な問題を孕んでいるので、別の構成があっても良いように思います。
【定義:Grassmannian】
をスキーム 上のランク の局所自由層とします。
このとき、関手 を次で定めます:
・ は の剰余 で がランク の局所自由層となるものの同値類で、
・ が同値であることは となること,
・ はpullbackにより引き起こされる商を対応させる写像。
この関手 の表現対象を と書き、Grassmannianと言います。
特に のときのGrassmannianは射影束と呼ばれ、 と書かれます。 ◻︎
最初に、 は層であることに注意しておきます。
それは局所的な の商が貼り合えば全体での の商が得られるからです。
Grassmannianの存在を示します。
【シンプルな場合】
をアフィン、 をランク の自由 -加群とすると、 は表現可能。
〔証明〕
表現可能関手による開被覆を作ります。
ランク の直和因子 を取り、 のsplitを固定します。
を次で定めます:
・ であり、商 が に属するのは包含との合成 が同型となるとき、またその時に限る。
つまり です。
よってこれは により表現可能です。
次に たちが の開被覆となることを示します。
任意に を取れば米田の補題でランク の商 と対応します。ここで と置きます。
は合成 が全射、つまり同型(同じランクの局所自由層の間の全射は同型!!)になる の開集合です。
このとき はすでに全射なので、 の基底を固定してそのうち 個を任意に選ぶことで がわかります。
あとは を示せばGrassmannianの存在がわかります。
上の射 を取って となる条件を調べます。
が同型 を引き起こすには、 が全射することが必要十分で、従って となることが必要十分です。
つまり が を経由することが となる必要十分条件となり、 がわかりました。◻︎
【一般の場合】
をスキーム、 をランク の局所自由 -加群とすると、 は表現可能。
〔証明〕
を が自由となるようなアフィン開被覆とします。
と置きます。
すると は が を経由しないときは で、経由するときはちょうど です。
よって表現可能性その2から表現対象が存在します。◻︎
Grassmannianの上には、米田の補題で に対応する商 があります。
これをトートロジカル商と言います。
次外積をとることで全射 を得て、この全射は射影束への射 に対応します。
この射をPlücker埋め込みと言います。
実際に埋め込みになっていることはモノ射(層の射として単射なので)かつproper射(付値判定法などなんでも良い)であることから従います(他に良い方法があるかも)(この方法で射影束の表現可能性だけからGrassmannianの表現可能性がわかる?)。
似たものに旗多様体というものがあります。定義だけ書いておきます:
【旗多様体】
を自然数の列として、 をスキーム、 をランク の局所自由層とします。
関手 を次で定義します:
・ は 上の商の列 で各 は 上ランク の局所自由層となるものの同値類で、
・同値であるとは各 が等しいこと、
・射の対応はpullbackで定める。
は層になることが と同様にわかります。
この層の表現対象を旗多様体と言います(一般のスキーム上で旗「多様体」と言うのかわかりませんが...)。
各商 に対応する点 をとることで層の射 が出ますが、これが閉埋め込みであることが示せるので、右辺がGrassmannianの直積で表現されることから、旗多様体はGrassmannianの直積の閉部分スキームとして定まります。
《relative Proj》
まずはアフィンスキーム上でのProj構成のもつ普遍性を調べることから始めます。
を環、 を となる次数付き -代数( -代数の構造は0次への包含)で -代数として で生成されるもの(今後たんに次数付き環と言った場合はこの状況と同様とします)とし、 を -スキームとします。
上の射 を与えることがどういうことかを 上の層の言葉で言い換えます。
簡単のため はアフィンとします。つまりある -代数 があって とします。
まず、射 を与えることは、射影のsection を与えることに等しいです。
なので、射 を与えることがどう言うことか調べるには、射影 のsection を与えることがどう言うことかを調べれば良いです。
上には という可逆層があるので、 という 上の可逆層を得ます。
一方自然な射 がありますが、これは により出る全射なので、 から全射 を得ます。
大域切断を取れば が出ることになります。
回ひねって足し合わせると という次数付き環の射が出ます。
また が からくる大域切断で生成されることから、 も大域切断で生成されます。
こうして直線束 と次数付き -代数の射 で は大域切断 で生成される、というデータを得ました。
この や は同型を除き一意的に決まるデータになります。
この構成が射と1:1に対応するものであることを、関手の表現対象としての 構成により観察します:
【表現対象としてのProj】
をアフィン、 を次数付き -代数とします。
関手 を次で定めます:
・ は -スキーム 上の直線束 と次数付き -代数の射 で が で生成されるものの組 の同値類で、
・ が同値とは、同型 で次数付き -代数の射として となるものが存在すること、
・ はpullbackで引き起こされる写像。
このとき関手 は により表現されます。
〔証明〕
は層になることが容易にわかります。
よって表現可能関手による開被覆を作れば良いです。
各 に対して と定めます。
たちが の開被覆となれば良いです。 と置きます。
上の射 に対応して -代数の射 があるので、 を並べることで次数付き -代数の射 を得ます。
こうして層の単射 が得られます。
射 を取り を調べるため、任意に と射 を取り、 となる条件を求めます。
に対応する 上の組 を取ります。
へ引き戻して となるには、まず が必要です。
さらにこの同型のもとで が と対応するには、 が と写ることから 、つまり となることが必要です。
これはつまり、 が を経由するということです。
逆に が を経由すれば、 となり、 は を経由するので同型 を経て と同値です。
よって がわかり、 が で生成されていることから たちは の開被覆となります。 ◻︎
(注1)
上の証明は 構成を知らない状態でも有効です。
(注2)
環として1次部分で生成される、という仮定を外した場合、一次部分の元による たちで開被覆できないため、もう少しちゃんとやらないといけなくて難しくなります。
この場合には という次数付き環の射で が で生成されているとして、組 の同値類を に渡ってすべて考えます。
ここで です。
そうすると関手 は の"開基"の上でしか定義できなくなってしまい、少し面倒です。
細かい部分はStacks Projectを参照してください。
一次部分で生成されないものを使いたくなる場面は想像できませんが、必要になることもあるんですかね?
表現対象としての表示ができれば、一般のスキーム上で簡単に貼り合わせることができます(表現可能性その2):
を次数付き準連接 -代数とします。
ここでの次数付き環についての取り決めから、これは であることと -代数として により局所的に生成されることを要請しています。
このとき次を満たす -スキーム があります:
・任意のアフィン開集合 に対して ,
・任意のアフィン開集合の( -上の)包含 に対して は同型を通じて と可換.
この を などと書きます。
を構成するためには、 のアフィン開集合 上の たちにより被覆される関手を作れば良いです:
【relative Proj】
をスキーム、 を次数付き準連接 -代数とします。
を次で定めます:
・ は 上の直線束 と次数付き -代数の射 で が全射となるものの組 の同値類で、
・ が同値とは、同型 で次数付き -代数の射として となるものが存在すること、
・ はpullbackで引き起こされる写像。
このとき関手 は表現可能。
〔証明〕
のアフィン開被覆 を取り、 とおけば、射 が を経由すれば で経由しなければ なので たちは の開被覆となって は表現可能です。 ◻︎
またこの開被覆から表現対象 がはじめに述べたProj構成の条件を満たすことは明らかです。
(注)
表現可能関手としてのProjの表示から、明らかに基底変換とProj構成が可換になります(SpecでもGrassmannianや旗多様体でも同様)。
すると代数空間では逆にProj構成を上の関手として定めることで、各"開集合"(=スキームからのエタール射)の上でもとのProj構成となっているような代数空間ができます。
そうすると代数空間のblow-upなどスキーム上で行われた"代数幾何学"を代数空間の上で行えそうだなと思ったりします。
実際どれくらいできるんでしょうか?
Stacks Projectを見ると膨大な量の代数空間に関する記述があって情報が処理しきれないですが...
〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜
Cohen-Macaulay環の基本性質
更新が滞ってましたが、人生が本当に本当に忙しかったんです、すみません。
最近はOLになりたいなと思って過ごしています。休日にインスタ映えするパンケーキを追いかけるOLになりたい。バカにしてるわけじゃなくて本心です。
〜〜〜〜〜〜〜〜〜〜〜〜
メモ書き的なことをしたいと思って、好都合なものがブログだったので、また書きます。
タイトル通り、Cohen-Macaulay環(以下、CM環と略す)についてのメモです。
CM環はdepthを用いて定義されるのが普通ですが、depthはExtにより特徴付けられるのでどうしてもCM環の理論は基本的な部分にもホモロジー代数が食い込んでいるように思いがちです。
ですがまあ簡単なことは簡単に理解したいと言う気持ちで考えてると、ホモロジー代数に頼らなくてもかなりの部分がカバーできると思ったので、それを紹介(未来の自分に対しての紹介?)します。
depthとホモロジー代数の関係については後藤渡辺(GW)や松村(M)、Serre(S)のLocal AlgebraやGrothendieck(G)のlocal cohomologyなどに綺麗にまとめてあります。
〜〜〜〜〜〜〜〜〜〜〜〜
まずはじめにdepthや正則列についてこの記事で必要になる事柄をホモロジー代数によらずに示し、そこからCM環の基本性質を述べる。
【定義:depth】
をNoether環、 を -加群、 をイデアルとする。
が -正則列であるとは、任意の に対して 倍が に非零因子として作用し、 となることを言う。
これ以上延長できない -正則列を、極大と言う。
-正則列の長さの最大値を の -depthといい、 で表す。
がNoether局所環で がその極大イデアルのとき、たんに と表して、 のdepthと言う。
この場合は最後の条件 は中山の補題から自明になる。
係数環 が明らかな場合にはたんに と書く。□
定義から従う重要なこととして、 が -平坦なら となる。
従って特に となる。ここで は の完備化。
正則列やdepthの基本性質をこの記事内で用いられるNoether局所環上の有限生成加群の場合に述べよう。
【基本性質1:depth≦次元】
をNoether局所環、 を有限生成加群とすると、 である。
ただし の次元とは位相空間 の次元とする。□
が に正則に作用すれば なのでdepthによる帰納法が回る。■
【基本性質2:正則列の並び替え】
がNoether局所環、 が有限生成加群であれば、-正則列はどんな並び替えを行なっても -正則列である。□
[証明]
長さ2の正則列についてそれが交換できれば良い。 を -正則列とすれば次の可換図式を得る:
\begin{CD}
0 @>>> \ker f_2 @>{f_1}>> \ker f_2 @>>> 0 @. \\
@. @VVV @VVV @VVV @. \\
0 @>>> M @>{f_1}>> M @>>> M/f_1M @>>> 0 \\
@. @V{f_2}VV @V{f_2}VV @V{f_2}VV @. \\
0 @>>> M @>{f_1}>> M @>>> M/f_1M @>>> 0 \\
@. @VVV @VVV @. @. \\
0 @>>> M/f_2M @>{f_1}>> M/f_2M @.
\end{CD}
一番上の行の右端は正則列の定義から0であり、ここで中山の補題を使って がわかる。
また蛇の補題から一番下の行の左端が0であり、 が正則列となることがわかる。■
【基本性質3:極大正則列の長さ】
をNoether局所環、 を有限生成加群とすれば、極大 -正則列の長さはどれも一定である。□
[証明]
次元に関する帰納法を用いる。 なら なので良い。
一つの元 が極大 -正則列とすると、 なのである があって となる。
するとどんな -正則元 に対しても であるから により と書ける。
このとき を取れば と書けて となり が -正則なので 、つまり となるので、 である。
以上で長さ1の極大 -正則列があればどんな極大 -正則列も長さ1だとわかった。
一般の場合を示す。 と を極大 -正則列とする。
このとき であるから、 のどちらにも正則に作用する が取れて、長さ1の場合を適用することで はどちらも極大 -正則列となる。
並び替えをして はどちらも極大 -正則列となって次元に関する帰納法で がわかる。■
これはExt群によるdepthの特徴付けを用いた方がスッキリした理解が得られる。
一般にNoether環 のイデアル と有限生成加群 に対して、 が i < n で0となることと から長さnの -正則列が取り出せることは同値となる。これから上は従う。
【基本性質4:正則列による剰余】
をNoether局所環、 を有限生成加群、 を -正則列とする。
このとき は長さ の -正則列に延長でき、従って である。□
これは基本性質3から直ちに導かれる。
より詳しいことを調べるには、基本性質1よりも精密な不等式を得る必要がある:
【基本性質5:depthと随伴素イデアル】
命題1と同じ仮定で任意の に対して となる。□
[証明] を -正則列を任意にとる。 とするとある で と書ける。 なので で割れるだけ割っても零化イデアルが変わらず、 で割る操作は無限に続くことがない(Krullの共通部分定理)。従って で として良い。 よって となる が取れて、 である。 繰り返すと、各 で となる素イデアルの列 が取れて証明が終わる。■
[M 系17.2] , [S chap.IV prop 7] , [EGA chap.0 16.4.6.(iii)]を参照。これは[S]や[EGA]などではよくわからない(ちゃんと読んでいない)があまり見通しの良い証明というわけでもなさそうな帰納法で示しているように思える。[M]ではホモロジー代数におけるより一般的な定理の帰結としている。
〜〜〜〜〜〜〜〜〜〜〜〜〜〜
CM環について述べる。
【定義:Cohen-Macaulay】
がNoether局所環のとき、有限生成加群 がCohen-Macaulay加群(CMと略す)であるとは、 となることを言う。
がCM -加群であるとき、Cohen-Macaulay局所環と言う。□
簡単にわかることとして、 が -正則列であれば、 がCM加群であることと がCM加群であることは同値となる。正則列生成なイデアルで割ればその長さ分だけちょうど次元とdepthが下がるからである。
またArtin局所環はCM局所環となる。正則局所環はその極大イデアルが正則列で生成されるのでCM局所環となる。
基本性質5からCM加群は埋込点を持たないことがわかる。つまりCM加群の随伴素イデアルはすべてsupportの極小元である。
この事実はCM加群の本質的な性質であり、これからいろいろ導ける。たとえば次は基本的である:
【命題1】
をNoether局所環、 をCM -加群、 を素イデアルとする。
このとき である。
特に はCM -加群である。□
[証明]
側は自明なので逆を示す。 の場合のみ考えれば良いので とする。
-正則列 に対して を考えて として良い。
はCM加群なので の元はみな の極小元となるが、 より であり となって0次元である。
また なので はCM -加群となる。■
特にCM局所環の任意の素イデアルによる局所化はCM局所環なので、次の定義が有効である:
【定義:CM環】
Noether環 がCohen-Macaulay環であるとは、任意の素イデアルでの局所化がCM局所環であることを言う。
上の事実から任意の極大イデアルでの局所化がCM局所環であればCM環となり、またCM環の任意の局所化はCM環である。□
CM加群が埋込点を持たないことから他にわかることとして、CM局所環のパラメタ系が正則列をなすという重要な事実がある。
一般のNoether局所環で が長さrの正則列ならイデアル は高さrで、 が高さrのイデアルなら の非零因子 を取ればKrullの標高定理から は高さr+1であるから はパラメタ系に延長される。
CM局所環ではこれらが同値になる:
【命題2】
をCM局所環とすると、 がパラメタ系の一部⇔ は -正則列。□
[証明]
側は上で述べたからパラメタ系 が -正則列であることを示せば良い。
もし が零因子なら を取れば、 はCM環で は極小素イデアルだから となる。
一方 は のパラメタ系であるから となってこれは矛盾。■
これからただちに次がわかる:
【定理3:純性定理】
をNoether環とする。 がCM環である⇔ が純性定理を満たす。
ただし が純性定理を満たすとは、r個の元で生成された高さrのイデアルが埋込点を持たないことを言う。□
[証明]
はr個の元で生成された高さrのイデアル に対してその随伴素イデアル で極小でないものを取れば のCM性と命題4から矛盾が出る。
は素イデアル を任意に取って長さ最大の -正則列 を取れば はイデアル の随伴素イデアルなので純性定理より の極小素イデアルとなり がわかる。■
【系4】
をCM環の準同型像とすると、 は鎖状環である。
つまり任意の二つの素イデアル に対して、長さが最大の素イデアル鎖 は全て同じ長さとなる。□
[証明]
はCM環としてよく、さらに局所化を考えて は局所環で は極大イデアルとして良い。
すると を示せば良いが、 とすれば -正則列 が取れて は の随伴素イデアルとなる。
また はCM環なので は の極小素イデアルである。
ここで はCM局所環なので となる。■
この他に大切なこととしては、完備化との比較がある。
【命題5】
をNoether局所環とすると である。
とくに がCM環 ⇔ がCM環。□
[証明]
は平坦 -代数なので 側はわかる。
を長さ最大の -正則列として を考えることで のときに を示せば良い。
なので であり、 の包含射で1の像を とすれば となるから で である。■
depthのExtによる特徴づけを用いてもできる。 より一般に平坦射のfiber環の次元やdepthに関する以下の等式が成り立ち、上の命題はその系である。
【fiber環の次元やdepth】
をNoether局所環、 を平坦な局所準同型とすると、
(1)
(2)
が成り立つ。
とくに、 がCM環⇔ と がCM環。
この証明は平坦射の性質を使うためここでは証明は述べない。証明(特に(2)の方)には平坦性の局所的判定法を用いる。
これから直ちに、 がCM環なら もCM環となることがわかる。
これと系6を組み合わせて、CM環はuniversally catenaryであるとわかる。
つまりCM環上有限型なら鎖状環である。
〜〜〜〜〜〜〜〜〜〜〜〜
CM環には他にも重要な事実がいくつかあり、とくに平坦性との関わりで重要なものが多い(最後の平坦射のfiber環についてなど) それらも含めて、ここで示したことと示してないことを以下にまとめておく:
【CM環の性質】
(1) CM局所環はdepthとdimが等しい(定義)
(2) CM環は埋込点を持たない。
(3) CM局所環では、パラメタ系の一部分をなす元の列⇔正則列。
(4) CM環⇔純性定理を満たす。
(5) CM環はuniversally catenary。(純性定理を用いて がCM環のときに がCM環であることが示せるので、これからわかる)
(6) がNoether局所環の平坦射なら、 がCM環⇔ と がともにCM環。
(7) Noether局所環 がCM環⇔パラメタ系で生成されるあるイデアル があって 。ここで は加群の長さで は重複度。( が 上の多項式環となることを使う(示す)。)
(8) がCM環なら もCM環。( が局所環なら がCM環になるのは簡単だが、そうでない場合は(6)を使う。)
(9) が正則局所環で が有限射とすると、 が平坦⇔ がCM環。( は局所環とは仮定しない。Auslander-Buchsbaumの等式や次の(10)から出る。)
(10) (Miracle Fratness) が正則局所環、 がCM局所環、 が局所準同型で が成り立つとき、 は平坦射。(平坦性の局所的判定法と正則列の性質から容易に従う。)
(11) が体上有限型のとき、局所化がCM局所環となる素イデアルの集合は の空でない稠密開集合をなす。(Noether正規化で 上有限にすると(8)よりCM lociが包含射 のflat lociと一致する。この場合はよく知られている。)
〜〜〜〜〜〜〜〜〜〜〜〜〜
TeXでHugeより文字を大きくする方法
タイトルまんま。
あまり仕組みがよくわかっていないけど、
{\fontsize{500}{0} \selectfont J}
みたいな無謀な大きさにしてみてもHugeくらいのおおきさに丸め込まれてしまう。
これを解決するには、プリアンブルに
\usepackage[T1]{fontenc} \usepackage{lmodern}
または
\usepackage{fix-cm}
と書けば良い。
上の方がオススメらしい。詳しくは↓↓↓
qiita.com
実験結果を以下に並べておきます。
\documentclass[a4j]{jsarticle} \usepackage{fix-cm} \title{\fontsize{500}{0} \selectfont J} \begin{document} \maketitle じゅー \end{document}
をコンパイルすると
となりました。
TeXメモ1:ネットに落ちてるパッケージを使う方法
デフォルトでは入っていないqexamというパッケージ
qexam.sty - 試験問題用LaTeX スタイルファイル
を例にして、メモ。Windowsとかだとわからないけど、とりあえずMacの場合は他の人でも同じ感じでやればできると思う。
Macのときは権限が〜とかいうのがあるらしいから、管理者?の?パスワード?をまず設定しておく。
ターミナルで
sudo passwd root
と打ったら、
password:
と出てくるので、ここでいつも起動するときに入力しているパスワードを打てば、
Changing password for root.
New password:
と出るはず。ここで好きにパスワードを設定すれば
Retype new password:
ってでるから同じのを打つ。これでok。なんかTeXとは関係ない部分だし調べれば色々出てくると思う。
〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜
ではqexamを導入する。
まずさっきのリンク先に飛んで、Downloadする。
解凍したら、中身を見てみる。
.styがついているファイルとその説明文(と何らか)が中に入っている。
画像のような感じ。
まずこの状態にする。
次にこれをLaTeXに導入するために、まず普段使っているパッケージの.styファイルがどこにあるか確認する。たとえばよく使うはずのamsmathとかを探す。
そのためにはターミナルで
kpsewhich amsmath.sty
と打つ。するとamsmath.styというファイルがどこにあるのか表示してくれる。
自分の場合は
/usr/local/texlive/2016/texmf-dist/tex/latex/amsmath/amsmath.sty
となっていたので、まあとりあえずこの場所をFinderで開く。ターミナルで次のように打つ:
open /usr/local/texlive/2016/texmf-dist/tex/latex/
するとこのlatexというフォルダをFinderで開いてくれる。画像みたいな感じ。
確かにamsmathというフォルダーがある。その中にはamsmath.styというものも入っている。
とりあえずqexamを使えるようにするだけなら、このあと次のようにすれば良い:
(1)まずこのlatexというフォルダの中に新しくqexamという空のフォルダを作る。
(2)次にこの空のフォルダの中に、qexam.styを入れる(他にも説明文(ここではqexam_doc.pdf)なども一緒に入れるのが好ましいのかもしれない)。
(3)ターミナルで次のように打つ:
sudo mktexlsr
(4)パスワードを要求されるので、それを入力する。はじめに設定したやつはここで使うためのもの(すでに設定している人はこの記事読む必要ないくらいにはパソコン詳しいはず)
これで使えるようになるはず。使うときはpdf作るときにプリアンブルに
\usepackage{qexam}
を入れるだけ。
〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜
mktexlsrが何をしているのかは少しだけ調べてわかったこととして、「mktexlsrは、ダウンロードした.styファイルをLaTeXが見つけられるようにする」ためにあると思われる(ls-Rというファイルを更新しているらしい)。
ダウンロードしたすぐの段階でmktexlsrをやっても上手くいかないし、ダウンロードしたファイルをどこかに移動しないといけないのは自明なんだけど、どこに移せば良いのか全然わからなかった。
とりあえず他の.styファイルが置いてある場所に突っ込んでおけばいいだろって思ってそうしてみたらその通りになったが、mktexlsrがどういう操作なのか正確にはわからない。
正直、デフォルトで入っている.styファイルと後から追加したものとがごっちゃになるのはよろしくない気持ちになるので、別々にしたいのだけど。。。。どうすればいいのかわからない。
実験 beamer3:overlayを飛ばして表示
なんかBeamerで作った発表用pdfとかには、\pauseとかでoverlay(アニメーション)みたいなことしてると、その数に応じてpdfのページが作られる。
これは発表前にレジュメ用とか確認用とかでpdfを印刷する際にもそのまま印刷されてしまって紙がもったいない。
そこである程度完成したスライドを印刷する際にoverlayを全部とばして全部見えてる状態のフレームだけをpdfに表示させる方法があって、一番最初の\documentclass[なんちゃら]{beamer}の「なんちゃら」の部分に「handout」をつけれよい。
具体的には、
\documentclass[dvipdfmx]{beamer} 色々 \begin{document} 本文 \end{document}
だったら、ここで
\documentclass[dvipdfmx,handout]{beamer} 色々 \begin{document} 本文 \end{document}
とすれば良い。
〜〜〜〜〜〜〜〜〜〜〜〜〜〜
それだけ。
実験 beamer2:Overlay
なんかメモ。
少しやってみる。
\documentclass[dvipdfmx]{beamer} \usetheme{Madrid} \setbeamertemplate{navigation symbols}{} \begin{document} \begin{frame} ほげほげ \end{frame} \end{document}
って書けば、こんな感じで
新しいページができて、
\documentclass[dvipdfmx]{beamer} \usetheme{Madrid} \setbeamertemplate{navigation symbols}{} \begin{document} \begin{frame}\frametitle{あいうえお} ほげほげ \end{frame} \end{document}
って書けば
そのページの上の方にタイトル(ここでは「あいうえお」)ができるのだけど、
そのページの中で\pauseとか\onslide
\documentclass[dvipdfmx]{beamer} \usetheme{Madrid} \setbeamertemplate{navigation symbols}{} \begin{document} \begin{frame}\frametitle{あいうえお} ここははじめに表示される \pause 2つ目に表示される \pause 3つ目に表示される \end{frame} \end{document}
と打てば
となる。
また、
\documentclass[dvipdfmx]{beamer} \usetheme{Madrid} \setbeamertemplate{navigation symbols}{} \begin{document} \begin{frame}\frametitle{あいうえお} \onslide<2,4> 2、4つ目にのみ表示される \onslide ずっと表示される \onslide<2-3> 2〜3つ目にのみ表示される \onslide<4> 4つ目にのみ表示される \end{frame} \end{document}
と打てば
となる。
結構すごい。
これはPowerPointでいうアニメーションみたいな機能(まあ僕知らないんだけどね、こう、文字がパッと現れるやつみたいな)で、BeamerではOverlayっていうらしい。
参照↓↓
Beamer — Tasuku Soma's webpage
ところで、このとき表示されていない部分をうっすらと表示させることができて、そのためにはプリアンブルに\setbeamercovered{transparent}と打てば良い:
\documentclass[dvipdfmx]{beamer} \usetheme{Madrid} \setbeamertemplate{navigation symbols}{} \setbeamercovered{transparent} \begin{document} \begin{frame}\frametitle{あいうえお} ここははじめに表示される \pause 2つ目に表示される \end{frame} \end{document}
すると
こんな感じで、次に表示したい部分が透明になる。
じゃあ気になるのは、例えば
\begin{enumerate} \item<1-> A \item<2-> B \item<3-> C \end{enumerate}
で、Aのみが表示されているとき、Cは透明にうっすらと見えていて、Bは真っ白に消えている、みたいな状態にするにはどうしたらいいのだろうか?
そのためには、\invisibleとかいうのを使えば良いらしい。
次のように打ってみると:
\documentclass[dvipdfmx]{beamer} \usetheme{Madrid} \setbeamertemplate{navigation symbols}{} \setbeamercovered{transparent} \begin{document} \begin{frame}\frametitle{あいうえお} \begin{enumerate} \item<1-> A \invisible<1>{\item B} \item<3-> C \end{enumerate} \end{frame} \end{document}
こうなる:
それだけ。