Research Problems in Function Theory — Problem 8.4

Definitions and mathematical statement

For a nonempty connected open set $D\subseteq\mathbb C$, let \[ A(D)=\{f:D\to\mathbb C:f\text{ is holomorphic}\} \] with pointwise addition and multiplication. Initially $D$ is simply connected; $A(D)$ does not impose continuity on $\partial D$.

Questions (J. J. Kelleher). Can $A(D)$ be the direct sum of two nontrivial subrings of itself? Is there a more general result for multiply connected domains $D$? The source describes the proposed result as a generalization of Taylor's theorem but does not specify which theorem or decomposition is meant.

There are distinct algebraic readings of direct sum. A ring direct-sum decomposition $A(D)=B\oplus C$ requires unique additive representations and componentwise multiplication, in particular $BC=CB=\{0\}$. An additive direct sum of subrings requires only $A(D)=B+C$ and $B\cap C=\{0\}$, allowing nonzero cross products. Requiring both subrings to contain the same identity is another restriction. The source does not choose among these readings or define nontrivial (for example, whether constant subrings or evaluation ideals are excluded). No topological closure or complex-linearity condition is supplied. These choices are essential and are not silently fixed.

The source also attributes to Bers, expressly without a citation, that the algebraic structure of $A(D)$ determines the conformal structure of $D$, even for arbitrary connectivity. This is contextual attribution; the type of ring or algebra isomorphism intended is not specified. The supplied summary reports the decomposition question open as of the 2018 edition, with no definitive resolution located.

Short English statement

Ask whether a holomorphic-function ring can split into two nontrivial subrings, and seek an extension to multiply connected domains. The kind of direct sum, allowed subrings, and referenced Taylor theorem are unspecified.

Sources

• Hayman, Research Problems in Function Theory (2018), Problem 8.4, attributed to J. J. Kelleher, https://arxiv.org/abs/1809.07200; source-TeX extraction, accessed 2026-07-29. The 2018 update was retained for status triage.
• Bers, the stated determination of conformal structure, explicitly with no citation in the record; Taylor's theorem, named without a formulation or reference. No bibliographic details are supplied for either attribution.
• Local registry data/unsolvedmath/problems.json, permanent ID $2308004$, source code catalogue entry, Research Problems in Function Theory --- Problem 8.4. The record labels this open and OPEN-TRIAGE, with NEEDS_REVIEW source-status and rights qualifications.