{
  "schema_version": 1,
  "problem_number": "AMR-020-0507",
  "title": "On a Question of Bolsinov, Matveev, Miranda and Tabachnikov: Quadratic Poisson Brackets without Polynomial Integrable Systems",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "Bolsinov, Matveev, Miranda and Tabachnikov asked whether each quadratic Poisson bracket on a vector space admits a polynomial integrable system, that is, (dim + corank)/2 Poisson-commuting polynomials whose differentials are linearly independent almost everywhere (Question 5.9 in the numbering of arXiv:1804.03737v2; record AMR-020-0507 of the UnsolvedMath collection, where it is labelled Question 5.7); Bolsinov, Izosimov and Tsonev had asked the same question in 2017 for polynomial Poisson brackets of any degree. The answer is no. The log-canonical bracket {x,y} = xy, {y,z} = √2 yz, {z,x} = √3 zx on ℝ³ has generic rank two, and there are no two Poisson-commuting polynomials f, g with df ∧ dg ≢ 0. The proof is elementary: the leading exponents of commuting polynomials are orthogonal for the skew form of the bracket, and a count of dimensions does the rest; a second proof uses residues on the common level curves of f and g. More generally, a log-canonical bracket {x_i,x_j} = λ_ij x_i x_j on ℝⁿ admits a polynomial integrable system if and only if some maximal isotropic subspace of λ is spanned by vectors with nonnegative integer entries, and then monomials form one; in dimension three this becomes an explicit arithmetic criterion. A log-canonical bracket on ℝ⁴ with the constants 1, 2^(1/6), …, 2^(5/6) is symplectic on a dense open set and has no polynomial integrable system, so Casimir functions are not the source of the obstruction, and multiplying the three-dimensional example by homogeneous polynomials gives counterexamples of every degree at least two. If the polynomial system is also required to contain polynomial Casimir functions, as in the formulation in the introduction of the 2018 survey, the negative answer is elementary; the substance of the result lies in the formulation of its Section 5, which does not ask for Casimir functions. The questions are due to these authors; for linear brackets the answer is positive by Sadetov's proof of the Mishchenko–Fomenko conjecture; log-canonical brackets, the bracket of two monomials and the description of the polynomial Casimir functions are classical. The contribution of this note is the counterexample with its two proofs, the characterisation for log-canonical brackets and the example on ℝ⁴. No printed answer to the question was found in the sources searched; a search that finds nothing is not a proof of novelty. This is an unrefereed note.",
  "result_type": "COMPLETE_PROOF",
  "categories": [
    "math.SG",
    "math.DS",
    "math.AG"
  ],
  "keywords": [
    "quadratic Poisson brackets",
    "log-canonical Poisson brackets",
    "polynomial integrable systems",
    "Poisson-commutative subalgebras",
    "Mishchenko–Fomenko conjecture",
    "leading monomials",
    "counterexample",
    "open problems in finite-dimensional integrable systems",
    "UnsolvedMath",
    "AMR-020-0507",
    "math.SG",
    "math.DS",
    "math.AG",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-17",
  "publication_date": "2026-10-17",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-17",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/amr-020-0507/",
  "pdf_url": "https://eulersolve.org/papers/amr-020-0507/paper.pdf?v=2a05158e3a7d",
  "doi": "10.5281/zenodo.23432336",
  "zenodo_record_url": "https://zenodo.org/records/23432336",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Answers the question negatively by an explicit log-canonical bracket on R^3; also characterises log-canonical brackets that admit polynomial integrable systems.",
  "files": {
    "paper.pdf": {
      "sha256": "2a05158e3a7d3a5cb8d718ec5a26af56560d18196ce9e14cc3f0bd500b923360"
    },
    "source.zip": {
      "sha256": "7a146f187a0ca4f8dcc9139191006a1fa0835b730cb96170e4064d0ce4e16fda"
    },
    "verification_report.md": {
      "sha256": "c0f8dc86fc1e8d97fc8205a91999d05135167307f12dcbda39dda96e50fcf7f6"
    }
  },
  "ai_use_disclosure": "AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text."
}