{
  "schema_version": 1,
  "problem_number": "AMR-119-0003",
  "title": "Conformal Homeomorphisms of Strongly Pseudoconvex CR 3-Manifolds Are CR or Anti-CR: On a Question of Puqi Tang",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "Puqi Tang asked in the 1995 Several Complex Variables Problem List whether a homeomorphism between strongly pseudoconvex CR 3-manifolds that maps infinitesimal spheres of a Carnot–Carathéodory metric to infinitesimal spheres is CR; for this metric reading the answer is no as literally posed, because complex conjugation of the sphere S³ ⊂ C² is such a map and is anti-CR, and yes under the convention of Korányi and Reimann that the map preserves the coorientation of the contact planes (f*θ' = λθ with λ > 0). More precisely, modulo Theorem 1.1 of Capogna, Citti, Le Donne and Ottazzi (J. Math. Pures Appl. 2019), a published theorem used without re-proof, we show the following. Let the Carnot–Carathéodory distances come from smooth Hermitian metrics on the contact planes, and let the metric distortion of the homeomorphism f be 1 at every point. Then f is a C^∞ diffeomorphism which on each connected component is CR or anti-CR, and it is CR exactly where it preserves the coorientation of the contact planes. Conversely, every such diffeomorphism has distortion 1 for every choice of Hermitian metrics. The manifolds need not be compact, connected or embeddable. The whole analytic content, the smoothness of 1-quasiconformal maps between sub-Riemannian contact manifolds, is Theorem 1.1 of Capogna, Citti, Le Donne and Ottazzi; the answer is a corollary of that theorem and of elementary linear algebra, which for the flat model is already in the work of Cowling, Li, Ottazzi and Wu (2020); no new technique is claimed, and the novelty is low. Tang (1996) had proved the CR conclusion for locally embeddable manifolds and conformal homeomorphisms with locally integrable horizontal derivatives. The question is thus answered for the Carnot–Carathéodory metric reading, as a corollary of the 2019 theorem; the analytic reading of Tang (1996), in which conformality is defined through differentials that exist almost everywhere, remains open. This is an unrefereed note.",
  "result_type": "COMPLETE_PROOF",
  "categories": [
    "math.CV",
    "math.DG",
    "math.MG"
  ],
  "keywords": [
    "CR 3-manifolds",
    "strongly pseudoconvex",
    "Carnot–Carathéodory metric",
    "conformal homeomorphisms",
    "1-quasiconformal maps",
    "Liouville theorem",
    "anti-CR maps",
    "contact manifolds",
    "Several Complex Variables Problem List",
    "answered by combining published results",
    "UnsolvedMath",
    "AMR-119-0003",
    "AMR-119-0078",
    "math.CV",
    "math.DG",
    "math.MG",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-20",
  "publication_date": "2026-10-20",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-20",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/amr-119-0003/",
  "pdf_url": "https://eulersolve.org/papers/amr-119-0003/paper.pdf?v=edd5f2fbb976",
  "doi": "10.5281/zenodo.23486807",
  "zenodo_record_url": "https://zenodo.org/records/23486807",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Answered for the Carnot-Caratheodory metric reading as a corollary of Capogna-Citti-Le Donne-Ottazzi (2019), Theorem 1.1; novelty is low; the analytic reading of Tang (1996) remains open.",
  "files": {
    "paper.pdf": {
      "sha256": "edd5f2fbb976d6ff96d63235a29e5cfd33338dfb4146dbdfde669c3f86635492"
    },
    "source.zip": {
      "sha256": "dd194bbd73cdf981587917e948bbe4d13c950d3df8239aa455878e728561b35a"
    },
    "verification_report.md": {
      "sha256": "a8461fc34066784c4cc1d12108f655cb79a403f41f637f918e73c12a96401da3"
    }
  },
  "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."
}