Curvature Negativity of the Takhtajan–Zograf Metric

Definitions and mathematical statement

The supplied question is: Is the curvature of the Takhtajan--Zograf metric negative? The record does not specify the underlying parameter space, its surface type or puncture data, the precise metric construction, or the meaning of curvature. Consequently, it does not determine a unique quantified mathematical assertion.

To make the missing choices explicit, let $M$ denote the intended parameter space and let $g_{\mathrm{TZ}}$ denote the intended Takhtajan--Zograf metric on $M$. These are placeholders for data that must be recovered from the cited source; they are not definitions of a particular space or metric. For any specified Riemannian metric $g$, use the curvature convention \[ R(X,Y)Z=\nabla_X\nabla_Y Z-\nabla_Y\nabla_X Z-\nabla_{[X,Y]}Z, \] where $\nabla$ is its Levi--Civita connection. For linearly independent $u,v\in T_pM$, define sectional curvature by \[ K_g(p;u,v)=\frac{g_p(R(u,v)v,u)}{g_p(u,u)g_p(v,v)-g_p(u,v)^2}. \] With this convention a round sphere has positive sectional curvature.

Conditional formulation for sectional curvature. If the source intends sectional curvature, its question becomes whether \[ \forall p\in M\quad\forall u,v\in T_pM\text{ linearly independent},\qquad K_{g_{\mathrm{TZ}}}(p;u,v)<0. \] Conditional formulation for holomorphic sectional curvature. If the source instead intends holomorphic sectional curvature on a specified complex parameter space with complex structure $J$ and Hermitian metric $g_{\mathrm{TZ}}$, define \[ H_{g_{\mathrm{TZ}}}(p;u)=K_{g_{\mathrm{TZ}}}(p;u,J_pu),\qquad u\ne0. \] The corresponding question is whether \[ \forall p\in M\quad\forall u\in T_pM\setminus\{0\},\qquad H_{g_{\mathrm{TZ}}}(p;u)<0. \] These are different possible interpretations, not interchangeable assertions or a claim that either is the intended formulation. Other curvature notions are not excluded by the supplied wording. Here negativity is interpreted conditionally as strict pointwise negativity; a uniform negative bound is not supplied. The intended curvature notion, domain, admissible surface parameters, metric definition, and any treatment of a boundary or compactification remain unresolved.

Short English statement

The source asks whether the Takhtajan--Zograf metric has negative curvature. A precise statement requires the intended parameter space, metric, and curvature notion. The displayed strict negativity conditions describe possible interpretations only. The supplied record labels the problem open; this draft does not independently verify that status or resolve the question.

Sources

• Local UnsolvedMath registry: supplied record with permanent ID $30001631$, source problem code catalogue entry, in the Oberwolfach Reports Open Problems collection. The project identifies data/unsolvedmath/problems.json and the supplementary registry catalog/problems.json; their contents have not been independently inspected for this draft.
• Supplied primary citation: Teichmüller Theory (2011), Oberwolfach Reports, pp. 3085--3157, DOI 10.4171/owr/2010/53. Source URL and literature-source label "original OWR report": https://doi.org/10.4171/owr/2010/53. The background attributes the collection to workshop reports and their open-problem discussions. No individual proposer is supplied; the recorded proposed year is 2010.
• Supplied literature source: Weng, "Takhtajan--Zograf metric inequalities," https://www2.math.kyushu-u.ac.jp/~weng/mathann.pdf. No fuller bibliographic information is supplied.
• Literature assessment dated exactly 2026-08-21: the supplied curation labels the problem open and reports curvature formulas and conjectural bounds, with no general proof of negativity found in the checked literature. This is supplied dated curation, not independently verified research or a new assessment of the literature.
• The supplied statement-status label is corrected_verified. Its accompanying verification note reports comparison with the official Oberwolfach report and normalization of notation, context, and question form without changing the source-level claim. This verification is attributed to the supplied record; no source has been visited or independently verified for this draft.