Theorem on Orbicurve Factorization of Holonomy Representations

Definitions and mathematical statement

Let $\operatorname{Diff}({\mathbb{C}},0)$ denote the group, under composition, of germs at $0$ of holomorphic local biholomorphisms fixing $0$. For a representation $\rho:\pi_1(X,x)\to\operatorname{Diff}({\mathbb{C}},0)$, write \[ \Gamma=\rho(\pi_1(X,x)),\qquad Z(\Gamma)=\{g\in\Gamma:gh=hg\text{ for every }h\in\Gamma\}, \] and let $q:\Gamma\to\Gamma/Z(\Gamma)$ be the quotient homomorphism. A group is virtually abelian if it has an abelian subgroup of finite index. An orbicurve is a complex curve equipped with orbifold data; its orbifold fundamental group is denoted by $\pi_1^{\mathrm{orb}}(C,c)$. The supplied record does not specify the permitted curves, orbifold data, or morphisms.

Recorded assertion and unresolved formulation. The source fragment asserts that, whenever $X$ is quasi-projective and $\Gamma$ is not virtually abelian, the representation factors through an orbicurve representation induced by a morphism $X\to C$. Because the stated target of that representation is $\Gamma/Z(\Gamma)$, the type-consistent interpretation is the existence of an orbicurve $C$, a morphism $f:X\to C$ inducing an orbifold fundamental-group homomorphism, and a homomorphism $\overline\rho$ such that \[ \begin{gathered} f_*:\pi_1(X,x)\longrightarrow\pi_1^{\mathrm{orb}}(C,f(x)),\\ \overline\rho:\pi_1^{\mathrm{orb}}(C,f(x))\longrightarrow\Gamma/Z(\Gamma),\\ q\circ\rho=\overline\rho\circ f_*. \end{gathered} \] Here $\rho$ is regarded as taking values in its image $\Gamma$. This interpretation expresses factorization of $q\circ\rho$; it does not supply a factorization of $\rho$ itself through a homomorphism into $\Gamma$. The fragment does not resolve that distinction. It also does not specify whether $X$ must be smooth, connected, or subject to additional hypotheses, or what conditions on $f$ ensure the indicated orbifold homomorphism. Consequently, this display records an interpretation requiring source review, rather than an unqualified theorem statement.

Status qualification. The supplied statement-verification field identifies the assertion as Theorem 2 of the report and says that it provides evidence for the distinct foliation conjecture recorded as OWR-15582-002. It explicitly says that this assertion is not a source-stated open problem. The present record has supplied status open, but statement status unrecoverable and no clean statement. The associated Cerveau Lins Neto conjectural classification is mentioned without its formulation; no standalone open problem or formulation of that conjecture can therefore be recovered from this record.

Short English statement

The retained fragment concerns representations of the fundamental group of a quasi-projective space into holomorphic diffeomorphism germs fixing the origin. Its natural quotient-level reading says that, when the image is not virtually abelian, the representation modulo the center factors through an orbicurve. Missing hypotheses and the distinction between the original representation and its central quotient require review. Supplied verification identifies this as a theorem fragment supporting a separate conjecture, despite the registry's open label.

Sources

• Local UnsolvedMath registry, supplied complete record: permanent ID $30003569$, exact source problem code catalogue entry, title Theorem on Orbicurve Factorization of Holonomy Representations, in the Oberwolfach Reports Open Problems collection. The record supplies proposed year 2017 and no proposer attribution.
• Supplied report citation: Komplexe Analysis (2018), Oberwolfach Reports, pp. 2427--2473, DOI 10.4171/owr/2017/39. https://doi.org/10.4171/owr/2017/39. The supplied verification identifies the assertion as Theorem 2 and connects it to the distinct conjecture recorded as OWR-15582-002; these source-identification claims have not been independently verified here.
• Supplied literature source: Foliations and the Cerveau Lins Neto conjecture. https://www.ams.org/notices/202408/rnoti-p1025.pdf.
• Supplied literature source: Komplexe Analysis. https://doi.org/10.4171/owr/2017/39.
• Literature assessment dated exactly 2026-08-21: the supplied curation labels the status open, describes the extracted text as a theorem fragment followed by the Cerveau Lins Neto conjecture, and says that the associated general conjectural classification remains open. This is supplied dated curation, not an independently verified literature assessment. The background expressly requests independent verification of time-sensitive status and cited claims.