14 problems

Let $\mathfrak{g}$ be a Lie bialgebra with cobracket $\delta$, let $U(\mathfrak{g})$ denote its universal enveloping algebra, and let $A^{!}_{\mathcal{N}}$ be the $E_1$ Koszul dual…

Gaitsgory–Lurie quantum fundamental local equivalence conjecture. The functor $\operatorname{FLE}$ is an equivalence.

Let $M$ be a spacetime, let $g \in [\mathrm{Lor}(M)/\mathrm{Diff}^{+}(M)]$ be an asymptotically flat and stationary black-hole solution, and let $\mathscr{E}_g$ be the differential…

Let $(F,Q,(-,-),W)$ be a free BV field theory, and suppose its Green's witness $W$ is obtained by truncating an $L_{\infty}$ algebra to its underlying cochain complex. Green-witnes…

Let $d4d4_g$ and $d4d4$ denote the linearized conformal-gravity and general-relativity theories, respectively, and let $d4d0\mathrm{bs}^{\mathrm{cl}}(-,d4d4)$ denote their classica…

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

Gaitsgory's factorization conjecture. There exists a fully faithful functor

Let $Z$ be the conical manifold and let $\targetcat$ be the target category appearing in the cone decomposition theorem. For each integer $d\geq 0$, consider the restriction functo…

Non-perturbative Noether theorem. If $\cT$ has $X$-symmetry, then there exists a factorizing line bundle $\mc{L}$ on the prefactorization space $X_c$ and a map of prefactorization…

Let $\mathbb{X}$ and $\mathbb{Y}$ be field theories, and let $\mathsf{Obs}_{\mathbb{X}}$ and $\mathsf{Obs}_{\mathbb{Y}}$ denote their observables. For an $\mathbb{E}_n$-algebra $A$…

Let $\mathcal T$ be a Poisson BV theory on $N$, and let $\mathcal Z(\mathcal T)$ be its universal bulk theory. Let … be the respective projections. Write…

Let $G$ be a reductive algebraic group. Let $R_2=H^\bu(\mathbb{A}^2,\mathcal{O}_{\mathbb{A}^2}^{\mathrm{alg}})$, let $\mathfrak{g}$ be the Lie algebra of $G$, and let…

Let $\mathbb C$ be the configuration-space curve, let $\operatorname{Ran}(\mathbb C)$ be its Ran space, and for $x\in\operatorname{Ran}(\mathbb C)$ let…

Let $\mathcal{C}$ be a nice $\use@mathgroup \M@U \symAMSb{E}_{n}$-monoidal $\infty$-category. Let $\mathfrak{Alg}_{n}^{\textup{FA}}(\mathcal{C})$ denote Scheimbauer’s…