The first cohomology conjecture for differential operators on the supercircle

From papers

Let osp(12)\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(12);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 D1k4,1+k4{\cal D}_{\frac{1-k}{4},\frac{1+k}{4}}. First cohomology conjecture. One has

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

if and only if (λ,μ)=(1k4,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(12)\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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.