Eager's holomorphic Seiberg duality conjecture

Let $F$ be a positive integer and let $N$ and $\check{N}$ be integers satisfying

$$F=N+\check{N},\qquad F\geq N,\check{N}\geq 2.$$

Let $\cT_{\sfE}(F,N)$ and $\cT_{\sfM}(F,\check{N})$ denote the electric and magnetic holomorphic QCD theories, respectively, and let $\Obs_{\sfE}$ and $\Obs_{\sfM}$ be their observables.

Eager's conjecture. One can construct quantizations of these theories such that there is an equivalence of 2-dimensional holomorphic factorization algebras

$$\Obs_{\sfE}\simeq\Obs_{\sfM}.$$

The conjecture gives a precise mathematical formulation of holomorphic Seiberg duality, relating theories with generally different gauge groups, $SL(N)$ and $SL(\check{N})$, and with mesons present only on the magnetic side. The equivalence is understood in factorization algebras valued in $\mathbb{Z}/2$-graded cochain complexes; the conjecture remains to be established.