Three Harmonic Log-Distances Characterize Holomorphic and Antiholomorphic Maps

Let Ω be a connected open subset of the complex plane and let F: Ω → ℂ be continuous. We prove that if a₀, a₁, a₂ are three noncollinear points and each function log|F − aⱼ| is harmonic wherever it is finite, then F is holomorphic or antiholomorphic on all of Ω. The map may attain the anchors, and no differentiability, local injectivity, or orientation assumption is imposed. The proof combines reconstruction from squared distances with the standard factorization theorem for units in a tensor product. Harmonic log-distances give squared moduli of holomorphic functions; three anchors then place both F − aⱼ and its reciprocal in an algebra of finite sums of holomorphic times antiholomorphic functions. Unit factorization yields a differential identity whose comparison at two anchors forces a single complex orientation. Two anchors do not suffice, even for a real-analytic, orientation-preserving local diffeomorphism. Noncollinearity is essential: a folding map passes every log-distance test with an anchor on one line. The result is positioned relative to classical finite tests for harmonic morphisms, without a claim of established historical priority.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-09-19
DOI
https://doi.org/10.5281/zenodo.22848149
Primary Topic
Holomorphic and Operator Theory
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
preprint

Three Harmonic Log-Distances Characterize Holomorphic and Antiholomorphic Maps

Tsuff Bismuth
Zenodo (CERN European Organization for Nuclear Research)
Holomorphic and Operator Theory
preprint

Three Harmonic Log-Distances Characterize Holomorphic and Antiholomorphic Maps

Tsuff Bismuth
preprint en

Abstract

Let Ω be a connected open subset of the complex plane and let F: Ω → ℂ be continuous. We prove that if a₀, a₁, a₂ are three noncollinear points and each function log|F − aⱼ| is harmonic wherever it is finite, then F is holomorphic or antiholomorphic on all of Ω. The map may attain the anchors, and no differentiability, local injectivity, or orientation assumption is imposed. The proof combines reconstruction from squared distances with the standard factorization theorem for units in a tensor product. Harmonic log-distances give squared moduli of holomorphic functions; three anchors then place both F − aⱼ and its reciprocal in an algebra of finite sums of holomorphic times antiholomorphic functions. Unit factorization yields a differential identity whose comparison at two anchors forces a single complex orientation. Two anchors do not suffice, even for a real-analytic, orientation-preserving local diffeomorphism. Noncollinearity is essential: a folding map passes every log-distance test with an anchor on one line. The result is positioned relative to classical finite tests for harmonic morphisms, without a claim of established historical priority.

Zenodo (CERN European Organization for Nuclear Research)
Holomorphic and Operator Theory
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Three Harmonic Log-Distances Characterize Holomorphic and Antiholomorphic Maps — Tsuff Bismuth · Zenodo (CERN European Organization for Nuclear Research) (2026) | TGRS Research Map | TGRS