The first cohomology conjecture for differential operators on the supercircle

At least 19 years old · documented by

Let osp(1∣2)\mathrm{osp}(1|2) act on the space Dλ,μ{\cal D}_{\lambda,\mu} of differential operators from tensor densities of weight λ\lambda to tensor densities of weight μ\mu, and let H1(osp(1∣2);Dλ,μ)H^1(\mathrm{osp}(1|2);{\cal D}_{\lambda,\mu}) denote its first cohomology space. For each odd integer kk, let γk\gamma_k be the cocycle with values in D1−k4,1+k4{\cal D}_{\frac{1-k}{4},\frac{1+k}{4}}. First cohomology conjecture. One has

H1(osp(1∣2);Dλ,μ)=C0∣1H^1(\mathrm{osp}(1|2);{\cal D}_{\lambda,\mu})=\mathbb{C}^{0|1}

if and only if (λ,μ)=(1−k4,1+k4)(\lambda,\mu)=(\frac{1-k}{4},\frac{1+k}{4}) for an odd integer kk, with the cohomology spanned by the cocycle γk\gamma_k. Otherwise, this cohomology space is trivial. The conjecture proposes a complete description of the first cohomology of osp(1∣2)\mathrm{osp}(1|2) with coefficients in differential operators on the supercircle; the supplied text does not establish the claim, so its resolution remains open.

References

Primary source

Hichem Gargoubi, Najla Mellouli and Valentin Ovsienko, “Differential operators on supercircle: conformally equivariant quantization and symbol calculus”, arXiv:math-ph/0610059 (2006).

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.