Zariski Cancellation
The Zariski Cancellation Problem: every polynomial ring over a field k of characteristic
0 is cancellative.
Questions, not proof records
Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.
sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.The Zariski Cancellation Problem: every polynomial ring over a field k of characteristic
0 is cancellative.
There are no indecomposable vector bundles of rank 2 on for . This is Conjecture 6.3 in [Har1974].
The Jacobian Conjecture: any regular function
(i.e. vector valued polynomial function from) kⁿ → kᵐ
whose Jacobian is a non-zero constant has an inverse that
is given by a regular function, where k is a field of characteristic 0
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
For and all , does there exist no solution to the monochromatic quantum graph equation system over ?
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
For and , does there exist no solution to the monochromatic quantum graph equation system over ?
For all even and , does there exist no solution to the monochromatic quantum graph equation system over ?
For and , does there exist no solution to the monochromatic quantum graph equation system over ?