On the image conjecture (Q661890): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q122999118, #quickstatements; #temporary_batch_1711565664090 |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / arXiv ID | |||
Property / arXiv ID: 1008.3962 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4369156 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3882554 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hessian nilpotent polynomials and the Jacobian conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalizations of the image conjecture and the Mathieu conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Images of commuting differential operators of order one with constant leading coefficients / rank | |||
Normal rank |
Latest revision as of 22:28, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the image conjecture |
scientific article |
Statements
On the image conjecture (English)
0 references
11 February 2012
0 references
The Image Conjecture is as follows: Let \(k\) be a field and \(A\) be a \(k\) -algebra, and let \(B=A[z_{1},\ldots ,z_{n}].\) Then for \(a_{1},\ldots ,a_{n}\in A\) a regular sequence, the image of the \(A\)-linear map \( B^{n}\rightarrow B\) defined by \(\mathcal{D=(\partial }_{z_{1}}-a_{1},\ldots , \mathcal{\partial }_{z_{n}}-a_{n}\mathcal{)}\) is a Mathieu subspace in \(B\) (by definition a sub \(k\)-vector space \(\mathcal{M}\) of \(B\) is called a Mathieu subspace if for all \(f\in B,\) if \(f^{m}\in \mathcal{M}\) for all \( m\geq 1\) then for any \(g\in B\) we have \(f^{m}g\in \mathcal{M}\) for all \(m\gg 0).\) The Image Conjecture is important because it implies the Jacobian Conjecture [\textit{W. Zhao}, J. Algebra 324, No. 2, 231--247 (2010; Zbl 1197.14064)]. The authors prove various cases of the Image Conjecture (for instance for \(k\) of positive characteristic) and connect it to the following Factorial Conjecture: if \(f\in \mathbb{C}[z_{1},\ldots ,z_{n}]\) satisfies \( \mathcal{L}(f^{m})=0\) for all \(m\geq 1\) then \(f=0,\) where \(\mathcal{L}: \mathbb{C}[z_{1},\ldots ,z_{n}]\rightarrow \mathbb{C}\) is the \(\mathbb{C}\) -linear map defined on monomials by \(\mathcal{L}(z_{1}^{l_{1}}\cdots z_{n}^{l_{n}}):=l_{1}!\cdots l_{n}!\) They prove various cases of the Factorial Conjecture.
0 references
Mathieu subspace
0 references
jacobian conjecture
0 references
vanishing conjecture
0 references
image conjecture
0 references