Genus Monotonicity and Klein-Bottle Willmore Minimizers

Definitions and mathematical statement

Under the conventional closed-surface interpretation, let $\Sigma_g$ be a smooth, compact, connected, orientable surface without boundary of genus $g$. For a smooth immersion $f\colon\Sigma_g\to{\mathbb{R}}^n$, let ${\,\mathrm{d}}\mu_f$ denote its induced area measure and let $\vec H_f=\tfrac12\operatorname{tr}_{f^*\langle\cdot,\cdot\rangle}A_f$ be its mean curvature vector, where $A_f$ is the second fundamental form. Use the normalization \[ W(f)=\int_{\Sigma_g}|\vec H_f|^2\,{\,\mathrm{d}}\mu_f, \qquad \beta_g^{(n)}=\inf\left\{W(f):f\colon\Sigma_g\to{\mathbb{R}}^n\text{ is a smooth immersion}\right\}. \] Here $g\geq1$ and $n\geq3$, as in the supplied report passage. Closedness, connectedness, the immersion class, and this normalization are explicit conventions for this draft; the supplied excerpt does not fully specify the admissible competitors. The record reports that these infima are attained by smooth minimizers, citing its internal references [15, 1]; that assertion is supplied background rather than an independently verified result here.

For a fixed ambient dimension $n$, the first question is whether $(\beta_g^{(n)})_{g\geq1}$ is monotone in genus. The two possible directions are \[ \beta_{g+1}^{(n)}\geq\beta_g^{(n)}\quad\text{for every }g\geq1, \] or \[ \beta_{g+1}^{(n)}\leq\beta_g^{(n)}\quad\text{for every }g\geq1. \] The source does not specify the intended direction, whether strict monotonicity is intended, or whether the question concerns every fixed $n\geq3$ or a particular dimension. These alternatives therefore describe the unresolved formulation rather than select a conjecture.

For the second question, let $K$ be a smooth, compact, connected Klein bottle without boundary. The record designates a proposed minimizer by $\widetilde\tau_{3,1}$, described in its literature assessment as the Lawson bipolar Klein bottle. It does not supply its construction, ambient space, or the equivalence relation intended by uniqueness. Conditionally, if the intended competitors are all smooth immersions $f\colon K\to{\mathbb{R}}^n$ for a specified $n$, and $f_*\colon K\to{\mathbb{R}}^n$ is the intended representative of $\widetilde\tau_{3,1}$, the minimization and uniqueness target has the form \[ W(f)\geq W(f_*)\quad\text{for every smooth immersion }f\colon K\to{\mathbb{R}}^n, \] \[ W(f)=W(f_*)\quad\Longleftrightarrow\quad f\sim f_*. \] The dimension, representative, competitor restrictions, and relation $\sim$ remain unspecified. Literal uniqueness of parametrized immersions cannot be intended without accounting for reparametrizations and ambient symmetries; the record does not specify whether uniqueness is modulo conformal transformations or another equivalence. The displayed target is conditional on resolving these omissions.

The retained background also states, with internal reference [13], that the Clifford torus is the minimizer for all orientable surfaces of genus $g\geq1$ in codimension one. This wording is ambiguous: a torus cannot belong to a fixed-genus competitor class when $g>1$. It might concern minimization over the union of positive-genus classes, but that interpretation is not established by the supplied record and is not adopted here.

Short English statement

The questions ask whether the least Willmore energy varies monotonically with orientable genus, and whether the designated Lawson bipolar Klein bottle uniquely minimizes Willmore energy among Klein-bottle competitors. The ambient dimension, admissible competitors, direction of monotonicity, and meaning of uniqueness require clarification. This is a statement-only draft requiring human mathematical review.

Sources

• Local UnsolvedMath registry, permanent ID $30005593$, title: Genus Monotonicity and Klein-Bottle Willmore Minimizers; exact source problem code: catalogue entry. The supplied record gives proposed year 2023 and names no proposer.
• Supplied report citation: Partial Differential Equations (2024), Oberwolfach Reports, DOI 10.4171/owr/2023/32, pp. 1789--1842. https://doi.org/10.4171/owr/2023/32. This is also the supplied literature source labelled "Oberwolfach Report 32." The supplied report title year and DOI year differ; their bibliographic relationship has not been checked here.
• Supplied literature source labelled "Klein-bottle primary article": https://arxiv.org/abs/1606.04745. No article title, authors, or precise supporting result are supplied.
• The excerpt attributes existence of fixed-genus minimizers to its internal references [15, 1], the Clifford-torus background assertion to [13], and the Klein-bottle conjecture to [7]. The corresponding bibliography entries are absent from the supplied record, so these labels cannot be resolved here.
• Literature assessment checked at 2026-08-22: the supplied curation labels the problem open, describes fixed-genus existence as known, and describes genus monotonicity and uniqueness of the Lawson bipolar Klein bottle among all competitors as conjectural. This is supplied dated curation, not independently verified. The background explicitly requests independent verification of time-sensitive status and cited claims.
• The registry labels the statement corrected_verified and says it was reconstructed and checked against the official report. These are supplied verification claims; no source was visited or independently checked in preparing this draft.