<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(B = \bigoplus _{i \in G} B_i\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>B</mi> <mo>=</mo> <msub> <mo>⨁</mo> <mrow> <mi>i</mi> <mo>∈</mo> <mi>G</mi> </mrow> </msub> <msub> <mi>B</mi> <mi>i</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> be a commutative integral domain of characteristic 0 graded by an abelian group <i>G</i>. We say that <i>B</i> is <i>rigid</i> (resp. <i>graded-rigid</i>) if the only locally nilpotent derivation (resp. homogeneous locally nilpotent derivation) of <i>B</i> is the zero derivation. Given a subgroup <i>H</i> of <i>G</i>, define <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(B^{(H)} = \bigoplus _{i \in H} B_i\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>B</mi> <mrow> <mo stretchy="false">(</mo> <mi>H</mi> <mo stretchy="false">)</mo> </mrow> </msup> <mo>=</mo> <msub> <mo>⨁</mo> <mrow> <mi>i</mi> <mo>∈</mo> <mi>H</mi> </mrow> </msub> <msub> <mi>B</mi> <mi>i</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>. We give results that answer or partially answer the following questions: Does non-rigidity of <i>B</i> imply non-rigidity of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(B^{(H)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>B</mi> <mrow> <mo stretchy="false">(</mo> <mi>H</mi> <mo stretchy="false">)</mo> </mrow> </msup> </math></EquationSource> </InlineEquation>? When can a derivation of <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(B^{(H)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>B</mi> <mrow> <mo stretchy="false">(</mo> <mi>H</mi> <mo stretchy="false">)</mo> </mrow> </msup> </math></EquationSource> </InlineEquation> be extended to one of <i>B</i>? What are the properties of the set of subgroups <i>H</i> of <i>G</i> such that <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(B^{(H)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>B</mi> <mrow> <mo stretchy="false">(</mo> <mi>H</mi> <mo stretchy="false">)</mo> </mrow> </msup> </math></EquationSource> </InlineEquation> is not graded-rigid? We define the subgroups <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\({\bar{{\mathbb {G}}}}(B) \subseteq \mathbb {G}(B)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mrow> <mi mathvariant="double-struck">G</mi> </mrow> <mrow> <mo stretchy="false">¯</mo> </mrow> </mover> <mo stretchy="false">(</mo> <mi>B</mi> <mo stretchy="false">)</mo> <mo>⊆</mo> <mi mathvariant="double-struck">G</mi> <mo stretchy="false">(</mo> <mi>B</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of <i>G</i> and find that these are related to the locally nilpotent derivations of <i>B</i> in several interesting ways. (The definitions of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\({\bar{{\mathbb {G}}}}(B)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mrow> <mi mathvariant="double-struck">G</mi> </mrow> <mrow> <mo stretchy="false">¯</mo> </mrow> </mover> <mo stretchy="false">(</mo> <mi>B</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathbb {G}(B)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">G</mi> <mo stretchy="false">(</mo> <mi>B</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> do not involve derivations, and these two groups are usually easy to determine.) One of our results states that if <i>B</i> is a normal affine <i>G</i>-graded domain then <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\({\text {trdeg}}(B: {\text {ML}}(B)) \geqslant {\text {rank}}( \mathbb {G}(B)/{\bar{{\mathbb {G}}}}(B) )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>trdeg</mtext> <mo stretchy="false">(</mo> <mi>B</mi> <mo>:</mo> <mtext>ML</mtext> <mo stretchy="false">(</mo> <mi>B</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> <mo>⩾</mo> <mtext>rank</mtext> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">G</mi> <mo stretchy="false">(</mo> <mi>B</mi> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mover accent="true"> <mrow> <mi mathvariant="double-struck">G</mi> </mrow> <mrow> <mo stretchy="false">¯</mo> </mrow> </mover> <mo stretchy="false">(</mo> <mi>B</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. We also give a result relating the rigidity of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(B_{(x)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>B</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </msub> </math></EquationSource> </InlineEquation> to that of <i>B</i>/<i>xB</i>, where <i>B</i> is an <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\({\mathbb {N}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">N</mi> </math></EquationSource> </InlineEquation>-graded normal affine domain and <i>x</i> is a homogeneous prime element of <i>B</i>. We give some applications to Pham-Brieskorn rings.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Rigidity of Graded Integral Domains and of their Veronese Subrings

  • Daniel Daigle

摘要

Let \(B = \bigoplus _{i \in G} B_i\) B = i G B i be a commutative integral domain of characteristic 0 graded by an abelian group G. We say that B is rigid (resp. graded-rigid) if the only locally nilpotent derivation (resp. homogeneous locally nilpotent derivation) of B is the zero derivation. Given a subgroup H of G, define \(B^{(H)} = \bigoplus _{i \in H} B_i\) B ( H ) = i H B i . We give results that answer or partially answer the following questions: Does non-rigidity of B imply non-rigidity of \(B^{(H)}\) B ( H ) ? When can a derivation of \(B^{(H)}\) B ( H ) be extended to one of B? What are the properties of the set of subgroups H of G such that \(B^{(H)}\) B ( H ) is not graded-rigid? We define the subgroups \({\bar{{\mathbb {G}}}}(B) \subseteq \mathbb {G}(B)\) G ¯ ( B ) G ( B ) of G and find that these are related to the locally nilpotent derivations of B in several interesting ways. (The definitions of \({\bar{{\mathbb {G}}}}(B)\) G ¯ ( B ) and \(\mathbb {G}(B)\) G ( B ) do not involve derivations, and these two groups are usually easy to determine.) One of our results states that if B is a normal affine G-graded domain then \({\text {trdeg}}(B: {\text {ML}}(B)) \geqslant {\text {rank}}( \mathbb {G}(B)/{\bar{{\mathbb {G}}}}(B) )\) trdeg ( B : ML ( B ) ) rank ( G ( B ) / G ¯ ( B ) ) . We also give a result relating the rigidity of \(B_{(x)}\) B ( x ) to that of B/xB, where B is an \({\mathbb {N}}\) N -graded normal affine domain and x is a homogeneous prime element of B. We give some applications to Pham-Brieskorn rings.