\(n\)-excisive functors, canonical connections, and line bundles on the Ran space (Q2226033)

Given a topological space \(X\), its Ran space \(\mathrm{Ran}(X)\) (named after Ziv Ran) is the set of nonempty finite subsets of \(X\), endowed with a suitable topology. \textit{A. Beilinson} and \textit{V. Drinfeld} [Chiral algebras. Providence, RI: American Mathematical Society (2004; Zbl 1138.17300)] introduced an analogous notion in algebraic geometry: for any \(k\)-scheme \(X\), the Ran prestack of \(X\), denoted \(\mathrm{Ran}(X)\), is the Set-valued presheaf on affine schemes over \(k\) which sends a test scheme \(T\) to the set of nonempty finite subsets of \(\mathrm{Maps}(T,X)\). Let \(X\) be a smooth algebraic variety over \(k\). The author proves that any flat quasicoherent sheaf on \(\operatorname{Ran}(X)\) canonically acquires a \(D\)-module structure. In addition, it is shown that, if the geometric fiber \(X_{\bar{k}}\) is connected and admits a smooth compactification, then any line bundle on \(S\times \mathrm{Ran}(X)\) is pulled back from \(S\), for any locally Noetherian \(k\)-scheme \(S\).