<p>In this paper we continue the work of describing polynomial subalgebras of finite codimension that was started in Grönkvist et al. (Appl Algebra Eng Commun Comput 33(6):751–789, 2022). Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathbb {K}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">K</mi> </math></EquationSource> </InlineEquation> be an algebraically closed field, and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(A \subset \mathbb {K}[x_{1}, \ldots , x_n]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>⊂</mo> <mi mathvariant="double-struck">K</mi> <mo stretchy="false">[</mo> <msub> <mi>x</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>x</mi> <mi>n</mi> </msub> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> be a subalgebra of finite codimension. It is known that there exists a (not necessarily unique) finite filtration of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathbb {K}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">K</mi> </math></EquationSource> </InlineEquation>-algebras <Equation ID="Equ6"> <EquationSource Format="TEX">\( A = A_{0} \subset A_{1} \subset \cdots \subset A_m = \mathbb {K}[x_{1}, \ldots , x_n], \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi>A</mi> <mo>=</mo> <msub> <mi>A</mi> <mn>0</mn> </msub> <mo>⊂</mo> <msub> <mi>A</mi> <mn>1</mn> </msub> <mo>⊂</mo> <mo>⋯</mo> <mo>⊂</mo> <msub> <mi>A</mi> <mi>m</mi> </msub> <mo>=</mo> <mi mathvariant="double-struck">K</mi> <mrow> <mo stretchy="false">[</mo> <msub> <mi>x</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>x</mi> <mi>n</mi> </msub> <mo stretchy="false">]</mo> </mrow> <mo>,</mo> </mrow> </math></EquationSource> </Equation>where each <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(A_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> can be written as the kernel of some linear functional <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(L_{i + 1}: A_{i + 1} \rightarrow \mathbb {K}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>L</mi> <mrow> <mi>i</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mo>:</mo> <msub> <mi>A</mi> <mrow> <mi>i</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">K</mi> </mrow> </math></EquationSource> </InlineEquation>, and each <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(L_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>L</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> is either a derivation or of the form <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(L_i: f \rightarrow c(f(\varvec{\alpha }) - f(\varvec{\beta }))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>L</mi> <mi>i</mi> </msub> <mo>:</mo> <mi>f</mi> <mo stretchy="false">→</mo> <mi>c</mi> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="bold-italic">α</mi> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="bold-italic">β</mi> </mrow> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for some <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\varvec{\alpha }, \varvec{\beta }\in \mathbb {K}^{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mi mathvariant="bold-italic">α</mi> </mrow> <mo>,</mo> <mrow> <mi mathvariant="bold-italic">β</mi> </mrow> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">K</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(c \in \mathbb {K}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>c</mi> <mo>∈</mo> <mi mathvariant="double-struck">K</mi> </mrow> </math></EquationSource> </InlineEquation>. We investigate the structure of these filtrations and linear functionals. Our main result shows that each such <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(L_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>L</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> which is a derivation may be written as a linear combination of partial derivatives evaluated at points of <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mathbb {K}^{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">K</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>.</p>

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

Describing multivariate polynomial subalgebras using equations

  • Erik Leffler

摘要

In this paper we continue the work of describing polynomial subalgebras of finite codimension that was started in Grönkvist et al. (Appl Algebra Eng Commun Comput 33(6):751–789, 2022). Let \(\mathbb {K}\) K be an algebraically closed field, and \(A \subset \mathbb {K}[x_{1}, \ldots , x_n]\) A K [ x 1 , , x n ] be a subalgebra of finite codimension. It is known that there exists a (not necessarily unique) finite filtration of \(\mathbb {K}\) K -algebras \( A = A_{0} \subset A_{1} \subset \cdots \subset A_m = \mathbb {K}[x_{1}, \ldots , x_n], \) A = A 0 A 1 A m = K [ x 1 , , x n ] , where each \(A_i\) A i can be written as the kernel of some linear functional \(L_{i + 1}: A_{i + 1} \rightarrow \mathbb {K}\) L i + 1 : A i + 1 K , and each \(L_i\) L i is either a derivation or of the form \(L_i: f \rightarrow c(f(\varvec{\alpha }) - f(\varvec{\beta }))\) L i : f c ( f ( α ) - f ( β ) ) for some \(\varvec{\alpha }, \varvec{\beta }\in \mathbb {K}^{n}\) α , β K n and \(c \in \mathbb {K}\) c K . We investigate the structure of these filtrations and linear functionals. Our main result shows that each such \(L_i\) L i which is a derivation may be written as a linear combination of partial derivatives evaluated at points of \(\mathbb {K}^{n}\) K n .