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

About 10 years old · traced to

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.

References

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.