Patchworking and Twisted Real Quintics
Status Open · unsolvedmath.comLLM status Open unverified
Top Open Problems Not reported cataloguedOpenOpenStatement
Definitions and mathematical statement
A smooth real quintic threefold is a hypersurface $X=\{F=0\}\subset\mathbb P^4_{{\mathbb{C}}}$, where $F$ is a homogeneous polynomial of degree $5$ with real coefficients and $X$ is nonsingular. Its real locus is $X({\mathbb{R}})\subset\mathbb P^4({\mathbb{R}})$. In standard affine exponent coordinates, the degree-five Newton simplex is \[ \Delta_5=\operatorname{conv}\{0,5e_1,5e_2,5e_3,5e_4\}\subset{\mathbb{R}}^4, \] where $e_1,\ldots,e_4$ are the standard basis vectors. Its unique interior lattice point is $p=(1,1,1,1)$.For a space with finite-dimensional homology, put $b_*(Y;{\mathbb{F}}_2)=\sum_{i\geq0}\dim_{{\mathbb{F}}_2}H_i(Y;{\mathbb{F}}_2)$. Under the usual Smith-bound convention, the label $(M-2)$ for a smooth real variety $X$ means \[ b_*(X({\mathbb{R}});{\mathbb{F}}_2)=b_*(X({\mathbb{C}});{\mathbb{F}}_2)-4. \] The supplied record uses this label without explicitly defining its homology convention.
Intended question. Let $L_{\mathrm{tw}}$ denote the connected real locus described in the supplied source as an $(M-2)$ real quintic obtained by twisting the corresponding real Lagrangian torus fibration. Let $L_{\mathrm{pw}}=X_{\mathrm{pw}}({\mathbb{R}})$ denote the real locus produced by the intended Viro patchworking construction on $\Delta_5$, with the source's prescription that the rays on its two-dimensional faces have the same sign as the interior point. Does there exist a diffeomorphism \[ L_{\mathrm{pw}}\cong L_{\mathrm{tw}}\,? \] Here the comparison concerns the real loci, following the supplied clean statement.
Unresolved construction data. The record does not specify the patchworking subdivision, the meaning of the signed "rays", the complete sign assignment, or the torus fibration and twisting data defining $L_{\mathrm{tw}}$. It also does not explicitly state the nonsingularity hypotheses needed for the smooth-manifold comparison. Thus the displayed question identifies the intended comparison but does not independently determine its two objects. It must not be interpreted as a universal assertion over all subdivisions, sign assignments, or twists satisfying the partial description. The original wording, "Does patchworking give the same real quintic?", refers to Figure 3, captioned "A divisor giving an $(M-2)$ real quintic (a hint)"; that figure and its construction data are not included in the supplied record.
Short English statement
The question asks whether the real locus obtained by the indicated Viro patchworking is diffeomorphic to the connected $(M-2)$ real quintic obtained by twisting the corresponding real Lagrangian torus fibration. The construction data are incomplete in the supplied record, so the comparison requires source clarification and human mathematical review.Sources
- Supplied local UnsolvedMath registry record, permanent ID $30005533$, title Patchworking and Twisted Real Quintics, exact source problem code
catalogue entry; Oberwolfach Reports Open Problems collection, proposed year 2023. No individual proposer is supplied. - Tropical Methods in Geometry (2023), Oberwolfach Reports, pp. 1263--1322, DOI
10.4171/owr/2023/23: https://doi.org/10.4171/owr/2023/23. The supplied original statement refers to Figure 3 and its divisor hint. - Supplied literature reference labeled "OWR 2023 23": https://ems.press/content/serial-article-files/47020.
- Supplied literature reference attributed to Matessi: https://arxiv.org/abs/2302.05357. The supplied assessment attributes construction of an $(M-2)$ real quintic by twisting a real Calabi--Yau to Matessi; no paper title or further bibliographic details are supplied.
- Literature assessment dated exactly
2026-08-22: the supplied curation labels the problem open and describes the comparison with patchworking as unanswered in the OWR report. This is supplied dated curation, not an independently verified assessment. The background expressly requests independent verification of time-sensitive status and cited claims. - The registry marks its statement
corrected_verifiedand reports direct checking of the official Oberwolfach report. That verification claim is supplied provenance; this draft does not claim to have visited or independently checked any source.
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.