One-dimensionality conjecture for the cohomology of conformally invariant loop cocycles

A configuration is either a pair (,Σ)(\ell,\Sigma) consisting of a Riemann surface Σ\Sigma and a loop Σ\ell\subset\Sigma, or a triple (,Σ1,Σ2)(\ell,\Sigma_1,\Sigma_2) consisting of Riemann surfaces Σ1Σ2\Sigma_1\subset\Sigma_2 and a loop Σ1\ell\subset\Sigma_1. Let C\mathcal{C} be the set of real-valued, conformally invariant, loop-continuous additive cocycles f(,Σ1,Σ2)f(\ell,\Sigma_1,\Sigma_2), and let B\mathcal{B} be the set of coboundaries of the form

f(,Σ1,Σ2)=g(,Σ2)g(,Σ1),f(\ell,\Sigma_1,\Sigma_2)=g(\ell,\Sigma_2)-g(\ell,\Sigma_1),

where gg is conformally invariant and continuous in \ell. Define H=C/B\mathcal{H}=\mathcal{C}/\mathcal{B}. The cohomology one-dimensionality conjecture. The cohomology group H\mathcal{H} is a one-dimensional real vector space. This would classify the absolute-continuity classes of the MKS family of measures by showing that restriction-function cocycles have, modulo coboundaries, a single independent class. The supplied text does not state whether this claim has been proved or disproved.

Sources & referencesView supporting material

Primary source

Stéphane Benoist, “Classifying conformally invariant loop measures”, arXiv:1608.03950 (2016).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.