Math-15821 · mathematics · Analysis

Math-15821

Connectivity Detection by Planar-Domain Functions

Status Open · unsolvedmath.comLLM status Open unverified

Top Open Problems Not reported cataloguedOpenOpen

Statement

Definitions and mathematical statement

Question. For the monotone domain functions constructed from Green and kernel functions of planar domains, which expressions require the compared domains to be homotopic, and can these functions detect connectivity? A planar domain is a connected open subset $\Omega\subset{\mathbb{C}}$. Thus connectivity here may mean its order of connectivity, conventionally the number $\kappa(\Omega)$ of connected components of $\widehat{\mathbb{C}}\setminus\Omega$, rather than merely connectedness of $\Omega$; this intended meaning is not explicitly fixed in the source. The order may be finite or infinite unless the domain class is restricted.

To make the two questions precise, the omitted domain functional $F_\Omega$, its Green-function and kernel constructions, their normalizations, and admissible comparison maps must first be specified. The first question asks which claimed expressions or monotonicity comparisons remain valid without the source's homotopy requirement and which require it. The direction of monotonicity and the meaning of homotopic domains are not supplied: homotopy equivalence, a deformation through domains, and a relation between marked comparison maps are different possible conditions. No one of them is silently chosen here.

Once a data space and an equality convention for $F_\Omega$ have been fixed, a possible precise connectivity-detection question is whether\[F_{\Omega_1}=F_{\Omega_2}\quad\Longrightarrow\quad\kappa(\Omega_1)=\kappa(\Omega_2)\] for every pair of admissible domains, or equivalently whether $\kappa(\Omega)$ can be recovered as a function of those data. This conditional notation does not assume the functional is a scalar, fix a kernel, impose finite connectivity, or claim recovery of the entire conformal type. Without the expressions and data-identification convention, the intended question is not yet a determined mathematical assertion.

The supplied triage dated 2026-08-21 labels the item open, explicitly observes that the data-to-connectivity question is not formally specified, and notes related potential-theoretic and conformal-mapping tools without locating a direct theorem deciding the extracted question. That report is a dated search assessment rather than a proof that no such theorem exists.

Short English statement

Identify which Green-function or kernel-based domain comparisons need a homotopy assumption, and whether the resulting data determine the domain's number of complementary components. The functional, comparison relation, and meaning of connectivity are omitted, so the recovery statement is conditional.

Sources

Catalogue entry

Statement licence: CC-BY-SA-4.0 · Source file

Contributions 0

No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.