---
title: Geometric P=W Conjecture Overview
url: https://www.emergentmind.com/topics/geometric-p-w-conjecture
type: topic
---

# Geometric P=W Conjecture Overview

Searching arXiv for recent and foundational papers on the geometric \(P=W\) conjecture.
The geometric \(P=W\) conjecture is a topological and birational refinement of the cohomological \(P=W\) conjecture in non-abelian Hodge theory. In its basic form, it compares the asymptotic geometry of the Dolbeault moduli space, seen through the Hitchin fibration, with the asymptotic geometry of the Betti moduli space, seen through a compactification and its dual boundary complex. For singular character varieties, one formulation asks for a homotopy equivalence
\[
r:\mathbb{S}^{N-1}\to \mathcal{D}(\partial M_{\mathrm B})
\]
such that, for suitable neighborhoods of infinity, the diagram relating the Hitchin map, the non-abelian Hodge correspondence, and the evaluation map to the dual complex is homotopy commutative [1810.11837]. In this sense, the conjecture replaces an equality of filtrations on cohomology by a compatibility statement at infinity between the Hitchin sphere and the boundary complex.

## 1. Formulation and conceptual position

The cohomological \(P=W\) conjecture of de Cataldo–Hausel–Migliorini compares the perverse filtration on the Dolbeault side with the weight filtration on the Betti side. The geometric \(P=W\) conjecture, introduced in the work of Katzarkov–Noll–Pandit–Simpson and developed for singular character varieties in [1810.11837], is a stronger statement: it predicts that the boundary behavior of the two spaces is compatible already at the level of homotopy.

For a compact Riemann surface \(C\) and a complex reductive group \(G\), the two moduli spaces are the Dolbeault moduli space \(M_{\mathrm{Dol}}(C,G)\) and the Betti moduli space
\[
M_{\mathrm B}(C,G)=\operatorname{Hom}(\pi_1(C),G)\sslash G.
\]
They are related by the non-abelian Hodge correspondence
\[
\Psi:M_{\mathrm{Dol}}(C,G)\to M_{\mathrm B}(C,G),
\]
which is real analytic but not algebraic [1810.11837].

On the Dolbeault side, the Hitchin map
\[
\chi:M_{\mathrm{Dol}}(C,G)\to \Lambda\simeq \mathbb{C}^{N/2}
\]
is a proper algebraic fibration. Choosing a semialgebraic neighborhood \(N^*_{\mathrm{Dol}}\) of infinity yields a map to the sphere at infinity,
\[
\chi:N^*_{\mathrm{Dol}}\to \mathbb{S}^{N-1}.
\]
On the Betti side, one considers a dlt compactification \((\overline M_{\mathrm B},\partial M_{\mathrm B})\) and the dual boundary complex \(\mathcal{D}(\partial M_{\mathrm B})\), together with an evaluation map
\[
ev:N^*_{\mathrm B}\to \mathcal{D}(\partial M_{\mathrm B})
\]
constructed from a partition of unity subordinate to neighborhoods of boundary divisors [1810.11837].

In this language, geometric \(P=W\) predicts the existence of a homotopy equivalence \(r:\mathbb S^{N-1}\to \mathcal D(\partial M_{\mathrm B})\) making the square
\[
\begin{tikzcd}
N^*_{\mathrm{Dol}} \arrow[r,"\Psi"] \arrow[d,"\chi"'] &
\Psi(N^*_{\mathrm{Dol}})\subseteq N^*_{\mathrm B} \arrow[d,"ev"]\\
\mathbb S^{N-1} \arrow[r,"r"'] &
\mathcal D(\partial M_{\mathrm B})
\end{tikzcd}
\]
homotopy commutative [1810.11837]. The abridged slogan in that paper is
\[
\mathcal D(\partial M_{\mathrm B})\simeq \mathbb S^{N-1},
\]
but the full conjecture includes the compatibility diagram, not only the sphere topology.

## 2. Boundary geometry, compactifications, and dual complexes

The Betti side of geometric \(P=W\) is governed by compactification theory. For singular character varieties, the appropriate framework is that of dlt compactifications, because snc compactifications need not exist [1810.11837]. The resulting dual complex is defined combinatorially from the strata of the boundary divisor, and its topology is stable up to \(\mathrm{PL}\)-homeomorphism under dlt modification.

A key structural result is the identification of dual complexes with non-Archimedean skeletons:
\[
\Skess(X,\Delta)\simeq_{\mathrm{PL}}\Cone(\mathcal{DMR}(X,\Delta)),\qquad
\Skess(X,\Delta)^*/\mathbb{R}_{>0}\simeq_{\mathrm{PL}}\mathcal{DMR}(X,\Delta),
\]
together with a quotient formula
\[
\mathcal{DMR}(X/\Gamma,\Delta_{X/\Gamma})\simeq_{\mathrm{PL}}\mathcal{DMR}(X,\Delta_X)/\Gamma
\]
for finite quotients [1810.11837]. These statements make the dual boundary complex computable in settings built from symmetric products or finite-group quotients.

For genus-one character varieties, the dual complexes were computed explicitly:
\[
\mathcal D(\partial M_{\mathrm B}(E,\mathrm{GL}_n))\simeq_{\mathrm{PL}}\mathbb S^{2n-1},\qquad
\mathcal D(\partial M_{\mathrm B}(E,\mathrm{SL}_n))\simeq_{\mathrm{PL}}\mathbb S^{2n-3}
\]
[1810.11837]. These are among the first higher-rank realizations of the conjectural sphere at infinity.

A closely related recent construction concerns the closed-surface \(\mathrm{SL}(2,\mathbb C)\)-character variety \(X_g(\mathrm{SL}(2,\mathbb C))\). In that setting, the conjecture is phrased as the existence of a dlt log CY compactification whose dual intersection complex is a polyhedral complex homeomorphic to a sphere, and a projective compactification is constructed whose boundary divisors are toric orbifolds and whose dual intersection complex is a sphere [2507.07211]. That paper states that the compactification may not be dlt without further toric blowups, and that the log CY property remains open in the closed case [2507.07211].

## 3. Relation to the cohomological \(P=W\) conjecture

The geometric conjecture was formulated partly to explain the cohomological \(P=W\) relation. In [1810.11837], the cohomological statement is written for intersection cohomology as
\[
P^{\chi}_k IH^*(M_{\mathrm{Dol}})=\Psi^*W_{2k}IH^*(M_{\mathrm B})
=\Psi^*W_{2k+1}IH^*(M_{\mathrm B}).
\]
The same paper proves that geometric \(P=W\) implies the highest-weight part of this equality under a generic smoothness assumption:
\[
P^{\chi}_{N-1} IH^*(M_{\mathrm{Dol}})=\Psi^* W_{2N-1}IH^*(M_{\mathrm B}),\qquad
Gr^P_N IH^*(M_{\mathrm{Dol}})\simeq Gr^W_{2N}IH^*(M_{\mathrm B})
\]
[1810.11837].

The bridge between topology at infinity and top weight on cohomology is the standard identification
\[
\widetilde H^{i-1}(\mathcal D(\partial X))\simeq Gr^W_{2N}H^{2N-i}(X)\simeq Gr^W_{2N}IH^{2N-i}(X)
\]
for a dlt compactification of an \(N\)-dimensional variety [1810.11837]. Thus the homotopy type of the dual complex controls the top graded piece of the weight filtration.

This relation is visible in low-dimensional wild character varieties as well. The Painlevé analysis in [2001.11720] emphasizes that the geometric statement is expected to explain the original \(P=W\) conjecture, at least on the lowest-weight graded piece. The paper also records Harder’s observation that, via Auroux’s conjectural framework, the geometric statement implies the lowest weight part of the classical \(P=W\) relation [2001.11720].

In the abelian-variety setting, the connection becomes completely explicit. The paper on \(P=W\) phenomena on abelian varieties proves both a cohomological statement
\[
P_kH^\ast\big(M_{\mathrm{Dol}^r(X)},\mathbb Q\big)
=
W_{2k}H^\ast\big(M_{\mathrm{Betti}^r(X)},\mathbb Q\big)
=
W_{2k+1}H^\ast\big(M_{\mathrm{Betti}^r(X)},\mathbb Q\big)
\]
and a geometric statement identifying neighborhoods of infinity through a commuting diagram involving
\[
S^{2gr-1}/S_r \cong \Delta\big(M_{\mathrm{Betti}^r(X)}\big)
\]
[2303.03734].

## 4. Established cases and concrete realizations

Several cases of the geometric conjecture, or of its homotopy-commutativity assertion, have been proved.

| Setting | Result | Source |
|---|---|---|
| Rank one, arbitrary genus | Geometric \(P=W\) proved | [1810.11837] |
| Genus one, \(G=\mathrm{GL}_n,\mathrm{SL}_n\) | Geometric \(P=W\) proved | [1810.11837] |
| Painlevé moduli spaces | Homotopy commutativity proved in all Painlevé cases | [2001.11720] |
| Painlevé VI | Homotopy commutativity proved via abelianization near infinity | [1906.01856] |
| Complex abelian varieties, arbitrary rank \(r\) | Full analogue of both cohomological and geometric \(P=W\) proved | [2303.03734] |

For Painlevé moduli spaces, [2001.11720] considers
\[
X\in\{\mathrm I,\mathrm{II},\mathrm{III}(D_6),\mathrm{III}(D_7),\mathrm{III}(D_8),\mathrm{IV},\mathrm{Vdeg},\mathrm V,\mathrm{VI}\}
\]
and proves that, for sufficiently large \(R\), there is a homotopy commutative square
\[
\begin{array}{ccc}
M_{\mathrm{Dol}}\setminus h^{-1}(B_R(0)) & \longrightarrow & M_B\setminus T_X\\
\downarrow h && \downarrow \varphi\\
\partial B_R(0) & \longrightarrow & |N_X|
\end{array}
\]
with \(|N_X|\simeq S^1\) [2001.11720]. The same paper shows that the Dolbeault and Betti boundary \(3\)-manifolds are orientation-preserving diffeomorphic, while their mixed Hodge structures differ in the manner predicted by \(P=W\) [2001.11720].

For Painlevé VI, [1906.01856] gives a different proof based on abelianization of Higgs bundles near infinity. In that case, the dual complex \(N(D_0)\) of the boundary divisor in a smooth compactification of the cubic surface character variety is homeomorphic to \(S^1\), and the theorem shows that the boundary loop coming from the Hitchin fibration maps to a generator of
\[
\pi_1(|N(D_0)|)\cong \mathbb Z
\]
[1906.01856].

For complex abelian varieties \(X=\mathbb C^g/L\), the geometric statement uses the spectral data morphism
\[
\sd_X:M_{\mathrm{Dol}^r(X)}\to \Sym^r(\mathbb C^g),
\]
and proves the existence of neighborhoods of infinity
\[
N_{\mathrm{Dol}^r(X)}\subset M_{\mathrm{Dol}^r(X)},\qquad
N_{\mathrm{Betti}^r(X)}\subset M_{\mathrm{Betti}^r(X)}
\]
such that the non-abelian Hodge homeomorphism fits into a commuting diagram with radial retraction
\[
\Sym^r(\mathbb C^g)\setminus\{0\}\simeq S^{2gr-1}/S_r
\]
and a retraction to the dual complex of a dlt compactification on the Betti side [2303.03734].

## 5. Methods of proof

The methods used in geometric \(P=W\) are notably diverse, because the conjecture concerns topology at infinity rather than only cohomology.

In the birational and non-Archimedean approach, the basic tools are dlt compactifications, skeletons, the minimal model program, quotient formulas for dual complexes, and degeneration arguments [1810.11837]. The same paper gives alternative proofs of genus-one results via degenerations of Hilbert schemes of points on K3 surfaces and generalized Kummer varieties [1810.11837].

For Painlevé spaces, [2001.11720] uses plumbing calculus. Both the Dolbeault and Betti boundary \(3\)-manifolds are described by plumbing graphs, and Neumann’s moves \(R1\), \(R2/4\), and \(R7\) are used to prove that the two plumbed \(3\)-manifolds are orientation-preserving diffeomorphic [2001.11720]. The homotopy commutativity then reduces to a computation in
\[
[Y,S^1]=H^1(Y,\mathbb Z)
\]
for connected oriented \(3\)-manifolds with \(b_1=1\) [2001.11720].

A different analytic strategy appears in the Painlevé VI case. The spectral curve is a double cover
\[
p:X\to \mathbb{CP}^1
\]
branched at \(0,1,t,\infty\), and topologically \(X\) is a torus [1906.01856]. Mochizuki’s asymptotic theorem provides local frames in which the Higgs field becomes asymptotically diagonal near infinity, and the resulting monodromy asymptotics on the Betti side reduce to period integrals of the spectral differential [1906.01856]. This converts the boundary problem into a problem about dominant asymptotics of trace coordinates on a cubic surface compactification.

The rank-\(2\) five-punctured sphere case also uses asymptotic abelianization away from the ramification divisor, together with fiducial solutions near punctures and branch points, to identify torus cycles in generic Hitchin fibers with boundary tori in a compactification of the Betti moduli space [2103.00932]. That paper proves the lowest weighted piece of \(P=W\), rather than the full geometric conjecture, but it exhibits the same mechanism: generic Hitchin fibers control low perverse degree, while boundary tori control low weight [2103.00932].

In the abelian-variety case, the method is completely different. Because every stable topologically trivial Higgs bundle has rank one, the Dolbeault moduli space is
\[
M_{\mathrm{Dol}^r(X)}\cong \Sym^r(\widehat X\times \mathbb C^g),
\]
the Betti moduli space is
\[
M_{\mathrm{Betti}^r(X)}\cong \Sym^r((\mathbb C^\ast)^{2g}),
\]
and the boundary at infinity is controlled by the symmetric product \(\Sym^r(\mathbb C^g)\) rather than by the usual affine Hitchin base [2303.03734]. The geometry is therefore explicit from the outset.

## 6. Variants, related conjectures, and open directions

The geometric \(P=W\) conjecture has generated several extensions. One direction concerns singular and stacky moduli. The stacky \(P=W\) framework compares weight filtrations on Betti Borel–Moore homology with a “less perverse filtration” on Dolbeault Borel–Moore homology and proves the resulting conjectures in genus \(0\) and \(1\) [2112.10830]. This is not the same statement as geometric \(P=W\), but it is part of the broader attempt to extend the \(P=W\) philosophy beyond smooth coarse moduli spaces.

Another direction is mirror symmetry. The paper “\(P=W\) Phenomena” formulates a mirror \(P=W\) conjecture for log Calabi–Yau mirror pairs, where the weight filtration on one side is expected to match the perverse Leray filtration of the affinization map on the mirror side [1905.08706]. In the Fano/Landau–Ginzburg setting, hybrid LG models were introduced to formulate a multi-potential mirror \(P=W\) conjecture for simple normal crossing anticanonical divisors [2206.09217], and in the semi-stable degeneration setting the monodromy weight filtration is predicted to correspond to the perverse Leray filtration of a mirror fibration over \(\mathbb P^N\) [2304.10625]. These mirror-theoretic variants preserve the central theme of geometric \(P=W\): boundary geometry on one side corresponds to perverse geometry on the other.

Several major problems remain open. For higher genus and higher rank, geometric \(P=W\) is still open in general [1810.11837]. It is also open whether \(M_{\mathrm B}(C,G)\) admits a dlt log Calabi–Yau compactification in all genera \(g>1\) [1810.11837]. Even when the dual boundary complex is known or conjecturally sphere-like, the current geometric formalism only yields the top-weight part of cohomological \(P=W\); a full geometric mechanism for the lower perverse and lower weight pieces has not yet been extracted from the sphere-at-infinity picture [1810.11837]. A plausible implication is that further progress will require a refinement of the conjecture beyond the present dual-complex formulation.

Source: https://www.emergentmind.com/topics/geometric-p-w-conjecture