付値環




抽象代数学において、付値環（ふちかん、英: valuation ring）とは、整域 D であって、その分数体 F のすべての元 x に対して、x か x −1 の少なくとも一方が D に属するようなものである。


体 F が与えられたとき、D が F の部分環であって、F のすべての 0 でない元 x に対して x か x −1 が D に属しているとき、D を 体 F の付値環（a valuation ring for the field F）または座 (place of F) という。この場合 F は確かに D の分数体であるので、体の付値環は付値環である。体 F の付値環を特徴づける別の方法は、F の付値環 D は F をその分数体としてもち、そのイデアルは包含関係で全順序づけられている、あるいは同じことだが、その単項イデアルが包含関係で全順序付けられていることである。とくに、すべての付値環は局所環である。


体の付値環は支配（dominance）あるいは細分（refinement）によって順序を入れた体の局所部分環の集合の極大元である[1]、ただし



A⊃B{displaystyle Asupset B}A supset B かつ mA∩B=mB{displaystyle {mathfrak {m}}_{A}cap B={mathfrak {m}}_{B}}{mathfrak {m}}_{A}cap B={mathfrak {m}}_{B} ならば、(A,mA){displaystyle (A,{mathfrak {m}}_{A})}(A,{mathfrak {m}}_{A}) は (B,mB){displaystyle (B,{mathfrak {m}}_{B})}(B,{mathfrak {m}}_{B}) を支配する[2]。

体 K のすべての局所環は K のある付値環によって支配される。


任意の素イデアルにおける局所化が付値環であるような整域はプリューファー整域と呼ばれる。




目次






  • 1 例


  • 2 定義


  • 3 構成


  • 4 支配と整閉包


  • 5 付値環のイデアル


  • 6 素点


  • 7 注記


  • 8 参考文献





例


  • 任意の体は付値環である。

  • 有理整数環 Z の素イデアル (p) における局所化 Z(p)。これは分子が任意の整数で分母が p で割り切れないような整数であるような有理数からなる。分数体は有理数体 Q である。


  • マクローリン級数（0 におけるテイラー級数展開）をもつ、全複素平面上の有理型関数の環は、付値環である。分数体は平面全体で有理型な関数である。f がマクローリン級数をもたなければ 1/f がもつ。

  • 任意に与えられた素数 p に対して、p-進整数環 Zp は、p-進数 Qp を分数体としてもつ局所環である。p-進整数環の整閉包 Zpcl はまた局所環であり、その分数体は Qpcl（p-進数体の代数的閉包）である。 Zp と Zpcl はともに付値環である。


  • k を順序体とする。k の元は、2つの整数の間にある n<x<m とき、有限である（finite）という。そうでないときは無限大である（infinite）という。k の有限な元全体の集合 D は付値環である。x ∈ D かつ x−1∉D であるような元 x 全体の集合は無限小である元全体の集合である。x∉D かつ x−1∈D であるような元 x は無限大である（infinite）という。


  • 超実数体 *R（これは実数を含む順序体である）の有限超実数からなる部分環 F は *R の付値環である。F は普通の実数から無限小異なるすべての超実数（これはある普通の整数 n に対して −n < x < n であるような超実数 x と言っても同じである）からなる。有限超実数を無限小超実数のイデアルで割った剰余体は実数体と同型である。


定義


付値環のいくつかの同値な定義が存在する（dominance の言葉での特徴づけは下記参照）。環 D とその分数体 K について、以下は同値である。




  1. K のすべての 0 でない元 x に対して、x ∈ D あるいは x−1 ∈ D。


  2. D のイデアルは包含関係で全順序が入る。


  3. D の単項イデアルは包含関係で全順序が入る（すなわち D の元は整除可能性（英語版）によって全順序が入る）。

  4. （値群（value group）と呼ばれる）全順序アーベル群 Γ と（付値（valuation）と呼ばれる）全射群準同型 ν:K× → Γ with D = { x in K× : ν(x) ≥ 0 } ∪ {0} が存在する。


はじめの3つの定義の同値性は容易にわかる。(Krull 1939) の定理によるとはじめの3つの条件を満たす任意の環は4つ目も満たす。Γ を K の単数群の D の単数群による商 K×/D× とし、ν を自然な射影とする。D の元の剰余類を "正"（positive）とすることによって Γ を全順序群にすることができる[3]。


さらに一般的に、任意の全順序アーベル群 Γ が与えられたとき、値群 Γ をもつ付値環 D が存在する（下のセクションを見よ）。


付値環のイデアル全体は全順序集合をなすという事実から、付値環は局所整域であり、付値環のすべての有限生成イデアルは単項である（すなわち付値環はベズー整域である）と結論できる。実は次のことがクルルによる定理である。整域が付値環であることと局所ベズー整域であることは同値である[4]。またこのことから付値環がネーター的であることと単項イデアル整域であることが同値であることがしたがう。この場合、それは体であるかまたはちょうど1つの 0 でない極大イデアルをもつ。そのような付値環は離散付値環と呼ばれる。（慣習によって、体は離散付値環ではない。）


値群は整数のなす加法群と同型であるときに離散的（discrete）と呼ばれる。そして、付値環が離散的な値群をもつことと離散付値環であることは同値である[5]。


ごくまれに、付値環（valuation ring）は2つ目か3つ目の条件を満たすが必ずしも整域でないような環を指すことがある。このタイプの環に対するより一般的な用語は "単列環（英語版）"である。



構成


与えられた全順序アーベル群 Γ と剰余体 k に対し、K = k((Γ)) をベキが Γ から来る形式的ベキ級数環と定義する。つまり、K の元は、各関数の台（関数の値が k の 0 でないような Γ の元全体）が G の整列部分集合であるような、Γ から k への関数である。加法は点ごとの和で、乗法はコーシー積あるいは畳み込み積、すなわちベキ級数



∑g∈Gf(g)xg{displaystyle sum _{gin G}f(g)x^{g}}sum _{{gin G}}f(g)x^{g} with xg⋅xh=xg+h{displaystyle x^{g}cdot x^{h}=x^{g+h}}x^{g}cdot x^{h}=x^{{g+h}}

として関数を見たときに自然な演算である。


f の K における付値 ν(f) は f の台の最小の元、すなわち f(g) が 0 でないような最小の Γ の元 g であると定義される。ν(f)≥0 であるような f は（K の 0 とともに）値群 Γ、付値ν、剰余体 k であるような K の部分環 D をなす。この構成は(Fuchs & Salce 2001, pp. 66–67)に詳しい。また、ベキ級数の代わりに多項式の商を使っている(Krull 1939)の構成に従っている。



支配と整閉包


付値環の単元すなわち可逆元は、x −1 が再び D の元であるような元 x である。D の他の元は、非単元と呼ばれるが、逆元をもたず、イデアル M をなす。このイデアルは D の（全順序な）イデアルの中で極大である。M は極大イデアルであるので、商環 D/M は体であり、D の剰余体（residue field）と呼ばれる。


一般に、次のとき局所環 (S,mS){displaystyle (S,{mathfrak {m}}_{S})}(S,{mathfrak {m}}_{S}) は局所環 (R,mR){displaystyle (R,{mathfrak {m}}_{R})}(R,{mathfrak {m}}_{R}) を支配すると言う。S⊃R{displaystyle Ssupset R}Ssupset R かつ mS∩R=mR{displaystyle {mathfrak {m}}_{S}cap R={mathfrak {m}}_{R}}{mathfrak {m}}_{S}cap R={mathfrak {m}}_{R}。言い換えれば、包含 R⊂S{displaystyle Rsubset S}Rsubset S は局所射（英語版）である。体 K におけるすべての局所環 (A,p){displaystyle (A,{mathfrak {p}})}(A,{mathfrak {p}}) はある K の付値環によって支配される。実際、A を含み 1∉pR{displaystyle 1not in {mathfrak {p}}R}1not in {mathfrak {p}}R であるような K のすべての部分環 R からなる集合は空でなく帰納的なので、ツォルンの補題によって極大元 R{displaystyle R}R をもつ。R は付値環であると主張する。R は極大性によってpR{displaystyle {mathfrak {p}}R}{mathfrak {p}}Rを含む極大イデアルをもった局所環である。再び極大性によって整閉でもある。さて、x∉R{displaystyle xnot in R}xnot in R であれば、極大性によって、pR[x]=R[x]{displaystyle {mathfrak {p}}R[x]=R[x]}{mathfrak {p}}R[x]=R[x] でありしたがって次のように書ける。



1=r0+r1x+⋯+rnxn,ri∈pR{displaystyle 1=r_{0}+r_{1}x+cdots +r_{n}x^{n},quad r_{i}in {mathfrak {p}}R}1=r_{0}+r_{1}x+cdots +r_{n}x^{n},quad r_{i}in {mathfrak {p}}R.

1−r0{displaystyle 1-r_{0}}1-r_{0} は単元であるので、このことは x−1{displaystyle x^{-1}}x^{{-1}} は R 上整であることを示しており、したがって R の元である。このことは R が付値環であることを示している。（構成によって極大イデアルは p{displaystyle {mathfrak {p}}}{mathfrak {p}} を含むので R は A を支配する。）


体 K の局所環 R が付値環であることとそれが支配で順序を入れた K に含まれるすべての局所環からなる集合の極大元であることは同値である。これは上記から容易に従う[6]。


A を体 K の部分環とし、f:A→k{displaystyle f:Ato k}f:Ato k を代数的閉体 k の中への環準同型とする。このとき f は、D を A を含む K のある付値環として、環準同型 g:D→k{displaystyle g:Dto k}g:Dto k に拡張する。（証明：g:R→k{displaystyle g:Rto k}g:Rto k を極大な拡張とする。これはツォルンの補題によって明らかに存在する。極大性によって、R は f の核を含む極大イデアルをもった局所環である。S が R を支配する局所環であれば、S は R 上代数的である。もしそうでないとすれば、S{displaystyle S}S は g が拡張する多項式環 R[x]{displaystyle R[x]}R[x] を含み、極大性に反する。S/mS{displaystyle S/{mathfrak {m}}_{S}}S/{mathfrak {m}}_{S} は R/mR{displaystyle R/{mathfrak {m}}_{R}}R/{mathfrak {m}}_{R} の代数的な体拡大であることが従う。したがって、S→S/mS↪k{displaystyle Sto S/{mathfrak {m}}_{S}hookrightarrow k}Sto S/{mathfrak {m}}_{S}hookrightarrow k は g を拡張する。ゆえに S = R。）


体 K の部分環 R が K の付値環 D を含めば、定義 1 を確認することによって、R もまた K の付値環である。とくに、R は局所環であり、その極大イデアルは D のある素イデアルと交わる。p{displaystyle {mathfrak {p}}}{mathfrak {p}} としよう。すると R=Dp{displaystyle R=D_{mathfrak {p}}}R=D_{{mathfrak {p}}} である、なぜならば R{displaystyle R}R は Dp{displaystyle D_{mathfrak {p}}}D_{{mathfrak {p}}} を支配し、これはイデアルが全順序付けられているから付値環である。この考察は以下に含まれている[7]。全単射な対応 p↦Dp,Spec⁡(D)→{displaystyle {mathfrak {p}}mapsto D_{mathfrak {p}},operatorname {Spec} (D)to }{mathfrak {p}}mapsto D_{{mathfrak {p}}},operatorname {Spec}(D)to D を含む K のすべての部分環の集合、が存在する。とくに、D は整閉であり[8][9]、D のクルル次元は D を含む K の真の部分環たちの濃度である。


実は、整域 A の A の分数体 K における整閉包は A を含む K のすべての付値環の共通部分である[10]。実際、付値環は整閉なので整閉包はその共通部分に含まれる。逆に、x を K の元だが A 上整でないとしよう。イデアル x−1A[x−1]{displaystyle x^{-1}A[x^{-1}]}x^{{-1}}A[x^{{-1}}] は A[x−1]{displaystyle A[x^{-1}]}A[x^{{-1}}] でないので[11]、それはある極大イデアル p{displaystyle {mathfrak {p}}}{mathfrak {p}} に含まれる。すると A[x−1]{displaystyle A[x^{-1}]}A[x^{{-1}}] の p{displaystyle {mathfrak {p}}}{mathfrak {p}} における局所化を支配する付値環 R が存在する。x−1∈mR{displaystyle x^{-1}in {mathfrak {m}}_{R}}x^{{-1}}in {mathfrak {m}}_{R} であるので、x∉R{displaystyle xnot in R}xnot in R。


支配は代数幾何学において使われる。X を体 k 上の代数多様体とする。このとき k(X){displaystyle k(X)}k(X) の付値環 R は、R{displaystyle R}R が構造層の x における局所環 Ox,X{displaystyle {mathcal {O}}_{x,X}}{mathcal {O}}_{{x,X}} を支配するときに、"X 上に中心 x"をもつと言う[12]。



付値環のイデアル


付値環のイデアルを値群によって記述することができる。


Γ を全順序アーベル群（英語版）とする。Γ の部分集合 Δ は次のとき線分 (segment) と呼ばれる。空でなく、任意の α ∈ Δ に対し、-α と α の間にある（端点も含む）任意の元もまた Δ の元である。Γ の部分群は segment であり真部分群であるときに孤立部分群（isolated subgroup）と呼ばれる。


D を付値 v と値群 Γ をもった付値環とする。D の任意の部分集合 A に対して、ΓA{displaystyle Gamma _{A}}Gamma _{A} を v(A−0){displaystyle v(A-0)}v(A-0) と −v(A−0){displaystyle -v(A-0)}-v(A-0) の和集合の Γ{displaystyle Gamma }Gamma における補集合とする。I が真のイデアルであれば、ΓI{displaystyle Gamma _{I}}Gamma _{I} は Γ{displaystyle Gamma }Gamma の segment である。実際、写像 I↦ΓI{displaystyle Imapsto Gamma _{I}}Imapsto Gamma _{I} は D の真のイデアルの集合と Γ{displaystyle Gamma }Gamma の segment の集合の間の包含関係を逆にする全単射を定義する[13]。この対応のもとで、D の 0 でない素イデアルは Γ の孤立部分群と全単射に対応する。


例：p-進整数環 Zp{displaystyle mathbb {Z} _{p}}{mathbb Z}_{p} は値群 Z{displaystyle mathbb {Z} }{mathbb Z} をもつ付値環である。Z{displaystyle mathbb {Z} }{mathbb Z} の零部分群は唯一の極大イデアル (p)⊂Zp{displaystyle (p)subset mathbb {Z} _{p}}(p)subset {mathbb Z}_{p} と対応し、群そのものは零イデアルと対応する。極大イデアルは Z{displaystyle mathbb {Z} }{mathbb Z} の唯一の孤立部分群である。


孤立部分群の集合は包含で全順序付けられている。Γ の高さ（height）あるいはランク（rank） r(Γ) は Γ の孤立部分群の集合の濃度と定義される。0でない素イデアルは全順序付けられており Γ の孤立部分群と対応するので、Γ の高さは Γ に付随する付値環 D のクルル次元と等しい。


最も重要なのは高さ 1 の場合である。これは Γ が実数のなす加法群（あるいは正の実数のなす乗法群）の部分群であることと同値である。高さ 1 の付値をもった付値環は超距離素点を定義する対応する絶対値をもつ。これの特別なケースはさきに言及された離散付値環である。


有理階数（rational rank） rr(Γ) は値群のアーベル群としての階数として定義される。


dimQ(Γ⊗ZQ){displaystyle mathrm {dim} _{mathbf {Q} }(Gamma otimes _{mathbf {Z} }mathbf {Q} )}{mathrm {dim}}_{{mathbf {Q}}}(Gamma otimes _{{mathbf {Z}}}{mathbf {Q}})


素点


このセクションの参考文献は Zariski–Samuel である。


体 K の素点（place）は、K の付値環 D から任意の x∉D{displaystyle xnot in D}xnot in D に対して p(1/x)=0{displaystyle p(1/x)=0}p(1/x)=0 であるような体への環準同型 p である。素点の像は p の剰余体（residue field）と呼ばれる体である。例えば、カノニカルな写像 D→D/mD{displaystyle Dto D/{mathfrak {m}}_{D}}Dto D/{mathfrak {m}}_{D} は素点である。


例：A をデデキント整域とし p{displaystyle {mathfrak {p}}}{mathfrak {p}} を素イデアルとする。するとカノニカルな写像 Ap→k(p){displaystyle A_{mathfrak {p}}to k({mathfrak {p}})}A_{{{mathfrak {p}}}}to k({mathfrak {p}}) は素点である。


素点 p の付値環が素点 p' の付値環を含むとき、 p は p' に特殊化する（p specializes to p' ）と言い、p⇝p′{displaystyle prightsquigarrow p'}prightsquigarrow p'と記す。代数幾何学においては、素イデアル p{displaystyle {mathfrak {p}}}{mathfrak {p}} が p′{displaystyle {mathfrak {p}}'}{mathfrak {p}}' の部分集合であるときに、p{displaystyle {mathfrak {p}}}{mathfrak {p}} は p′{displaystyle {mathfrak {p}}'}{mathfrak {p}}' に特殊化すると言う。この2つの概念は一致する。p⇝p′{displaystyle prightsquigarrow p'}prightsquigarrow p' であることと p に対応する素イデアルがある付値環において p' に対応する素イデアルに特殊化することは同値である（D⊃D′{displaystyle Dsupset D'}Dsupset D' が同じ体の付値環であれば、D は D′{displaystyle D'}D' の素イデアルに対応することを思い出そう）。


次のことを証明できる。p⇝p′{displaystyle prightsquigarrow p'}prightsquigarrow p' であれば、p の剰余体 k(p){displaystyle k(p)}k(p) のある素点 q に対して p′=q∘p|D′{displaystyle p'=qcirc p|_{D'}}p'=qcirc p|_{{D'}} である。（p(D′){displaystyle p(D')}p(D') は k(p){displaystyle k(p)}k(p) の付値環であることを確認し、q を対応する素点とすれば、あとは機械的である。）D が p の付値環であれば、そのクルル次元は p の p への特殊化以外の特殊化の濃度である。したがって、体 k 上の体 K の付値環 D をもった任意の素点 p に対し、以下が成り立つ。



tr.degk⁡k(p)+dim⁡D≤tr.degk⁡K{displaystyle operatorname {tr.deg} _{k}k(p)+dim Dleq operatorname {tr.deg} _{k}K}operatorname {tr.deg}_{k}k(p)+dim Dleq operatorname {tr.deg}_{k}K.

p が素点で A が p の付値環の部分環であれば、ker⁡(p)∩A{displaystyle operatorname {ker} (p)cap A}operatorname {ker}(p)cap A は A における p の中心（center）と呼ばれる。



注記





  1. ^ Hartshone 1977, Theorem I.6.1A


  2. ^ Efrat (2006) p.55


  3. ^ より正確には、Γ は [x]≥[y]{displaystyle [x]geq [y]}[x]geq [y] ⇔ xy−1∈D{displaystyle xy^{-1}in D}xy^{{-1}}in D、ただし [x] と [y] は Γ における同値類、と定義することによって全順序づけられる。cf. Efrat (2006) p.39


  4. ^ Cohn 1968, Proposition 1.5


  5. ^ Efrat (2006) p.43


  6. ^ 証明：R が極大元であれば、ある付値環によって支配される。したがって、それはそれ自身付値環でなければならない。逆に、R を付値環とし S を R を支配するが R ではない局所環とする。S の元であるが R の元ではない x が存在する。このとき x−1{displaystyle x^{-1}}x^{{-1}} は R の元であり実は R の極大イデアルの元である。しかしこのとき x−1∈mS{displaystyle x^{-1}in {mathfrak {m}}_{S}}x^{{-1}}in {mathfrak {m}}_{S} なので矛盾である。したがって、そのような S は存在しえない。


  7. ^ Zariski−Samuel, Ch. VI, Theorem 3


  8. ^ Efrat (2006) p.38


  9. ^ 付値環が整閉であることをより直接的に見るために、xn + a1xn − 1 + ... + a0 = 0 としよう。すると
    xn−1 で割ることで x =  − a1 − ... − a0x − n + 1 を得る。もし仮に x が D の元でなければ、x -1 は D の元であり、これは x を D の元の有限和として表しているので、x は D の元であり、矛盾。


  10. ^ Matsumura 1986, Theorem 10.4


  11. ^ 一般に、x−1{displaystyle x^{-1}}x^{{-1}} が A 上整であるのは xA[x]=A[x]{displaystyle xA[x]=A[x]}xA[x]=A[x] であるとき、かつそのときに限る。


  12. ^ Hartshorne 1977, Ch II. Exercise 4.5


  13. ^ Zariski−Samuel, Ch. VI, Theorem 15




参考文献




  • Nicolas Bourbaki, Commutative Algebra, Addison-Wesley, 1972


  • Cohn, P. M. (1968), “Bezout rings and their subrings”, Proc. Cambridge Philos. Soc. 64: 251–264, doi:10.1017/s0305004100042791, ISSN 0008-1981, MR (36 #5117) 0222065 (36 #5117), Zbl 0157.08401, http://www.lohar.com/researchpdf/bezout_rings_and_their_subrings.pdf 


  • Efrat, Ido (2006), Valuations, orderings, and Milnor K-theory, Mathematical Surveys and Monographs, 124, Providence, RI: American Mathematical Society, ISBN 0-8218-4041-X, Zbl 1103.12002 


  • Fuchs, László; Salce, Luigi (2001), Modules over non-Noetherian domains, Mathematical Surveys and Monographs, 84, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-1963-0, MR 1794715, Zbl 0973.13001 


  • Krull, Wolfgang (1939), “Beiträge zur Arithmetik kommutativer Integritätsbereiche. VI. Der allgemeine Diskriminantensatz. Unverzweigte Ringerweiterungen”, Mathematische Zeitschrift 45 (1): 1–19, doi:10.1007/BF01580269, ISSN 0025-5874, MR 1545800, Zbl 0020.34003 


  • Hartshorne, Robin (1977), Algebraic Geometry（英語版）, Graduate Texts in Mathematics, 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR.mw-parser-output cite.citation{font-style:inherit}.mw-parser-output .citation q{quotes:"""""""'""'"}.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-maint{display:none;color:#33aa33;margin-left:0.3em}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}
    0463157     


  • Matsumura, Hideyuki (1989), Commutative ring theory, Cambridge Studies in Advanced Mathematics, 8, Translated from the Japanese by Miles Reid (Second edition ed.), ISBN 0-521-36764-6, Zbl 0666.13002 


  • Zariski, Oscar; Samuel, Pierre (1975), Commutative algebra. Vol. II, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90171-8, MR 0389876 




Popular posts from this blog

Can a sorcerer learn a 5th-level spell early by creating spell slots using the Font of Magic feature?

Image
28 6 $begingroup$ Per the Font of Magic feature, sorcerer can use Flexible Casting to create 5th-level spell slots at level 7, even though they are not typically available until level 9. You can transform unexpended sorcery points into one spell slot as a bonus action on your turn. The Creating Spell Slots table shows the cost of creating a spell slot of [5th level is 7] If such a sorcerer levels up while still having this 5th-level spell slot, can they choose a 5th-level spell as the spell they gain upon levelling up? The Spellcasting feature states: Additionally, when you gain a level in this class, you can choose one of the sorcerer spells you know and replace it with another spell from the sorcerer spell list, which also must be of a level for which you have spell slots.
Read more

Does disintegrating a polymorphed enemy still kill it after the 2018 errata?

Image
up vote 13 down vote favorite 1 After the 2018 errata, the disintegrate spell description now reads: A creature targeted by this spell must make a Dexterity saving throw. On a failed save, the target takes 10d6 + 40 force damage. The target is disintegrated if this damage leaves it with 0 hit points. If you were to polymorph an enemy into a rat and then disintegrate it, would the enemy be disintegrated or would it just return to its original form? I know that for Druids, it’s not an instant kill anymore, but is this the case for polymorph as well? dnd-5e spells polymorph errata share | improve this question edited 18 hours ago
Read more

A Topological Invariant for $pi_3(U(n))$

Image
3 3 $begingroup$ Recently, I saw a construction of topological invariant for $pi_3(U(n))$ with $ngeq 2$ : $$ N=frac{1}{24pi^2}int_{S^3} d^3x epsilon^{ijk} Tr[(U^{-1}partial_{x_i}U)(U^{-1}partial_{x_j}U)(U^{-1}partial_{x_k}U)] , $$ where $Uin U(n)$ depends on $boldsymbol{x}=(x_1,x_2,x_3)in S^3$ , $epsilon^{ijk}$ is the Levi-Civita symbol, $i,j,k=1,2,3$ , and the duplicated indexes are summed over. It is claimed that $N$ is an integer, but why? Update 02/02/2019 I think I got an argument for $n=2$ . In this case, $U=e^{i varphi} q$ with $qin SU(2)$ . Due to the trace and the Levi-Civita symbol in $N$ , $varphi$ does not contribute to $N$ . As $Tr[q^{dagger}partial_i q]=0$ and $(q^{dagger}partial_i q)^{dagger}=-q^{dagger}partial_i q$ , $q^{dagger}partial_i q$ in geneeral has the form $q^{dagger}partia
Read more