{
  "schema_version": 1,
  "problem_number": "AIM-ANALYSIS-0041",
  "title": "Finite-Dimensional Lp-Bergman Spaces on Complete Reinhardt Domains",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "Coordinatewise completeness imposes an arithmetic restriction on the dimension of unweighted Lp-Bergman spaces. For every positive rational p, such a space on a complete Reinhardt domain in any complex dimension is either zero or infinite-dimensional. In C^2, the only possible finite positive dimension is one, and it occurs for every irrational p>0. An explicit unbounded domain with smooth boundary has a one-dimensional space for a countable dense set of irrational exponents and a zero space at every other positive exponent. Its ordinary Bergman space is zero, although its logarithmic image contains no affine line. Every bounded holomorphic function on the domain is constant, and nonconstant entire curves lie on coordinate axes. For each irrational p and each integer k>=2, a related complete Reinhardt domain in C^3 has an exactly k-dimensional Lp-Bergman space. The proofs use contained polydiscs, Taylor coefficients and explicit radial integrals. No pseudoconvexity is assumed. This is a complete scoped contribution related to AIM-ANALYSIS-0041, not a complete classification resolving its broad geometry question. Classical monomial methods and the related multiplier argument of Englis are credited. AI-assisted, self-audited and unrefereed; no independent review, formal verification or absolute priority is claimed.",
  "result_type": "COMPLETE_PROOF",
  "categories": [
    "math.CV",
    "math.FA"
  ],
  "keywords": [
    "Reinhardt domains",
    "Bergman spaces",
    "irrational exponents",
    "several complex variables",
    "holomorphic functions"
  ],
  "manuscript_version_date": "2026-10-11",
  "publication_date": "2026-10-11",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-11",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/aim-analysis-0041/",
  "pdf_url": "https://eulersolve.org/papers/aim-analysis-0041/paper.pdf?v=128311b2ae3d",
  "doi": "10.5281/zenodo.23302183",
  "zenodo_record_url": "https://zenodo.org/records/23302183",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Complete proofs of the stated p-dependent dimension theorems and explicit examples, including a countable dense irrational exponent spectrum. The broader AIM geometry question remains partially resolved. Classical monomial and multiplier methods are credited; no absolute-priority, independent-review or formal-verification certificate is claimed.",
  "files": {
    "paper.pdf": {
      "sha256": "128311b2ae3df79714371f9f444fb26cc6550c3a51f2499ec3cb492040b119d9"
    },
    "source.zip": {
      "sha256": "f471e0ccff2a8a470f834481c40381c71d96321d04d2fdba9abdf1ec7f69c414"
    },
    "verification_report.md": {
      "sha256": "94da9a3b3d2487e410a3268c5eacff21755939dd1bd6d84780f23ec5c5783d65"
    }
  },
  "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."
}