n-excisive functors, canonical connections, and line bundles on the Ran space

DOI10.1007/S00029-020-00611-4MaRDI QIDQ2226033zbMATH OpenOpenAlexFDO

Authors James Tao

Publication date 11 February 2021

Published in Selecta Mathematica. New Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1906.07976

zbMATH Keywords

\(D\)-module\(n\)-excisive functorRan space

Mathematics Subject Classification ID

Generalizations (algebraic spaces, stacks) (14A20) Geometric Langlands program (algebro-geometric aspects) (14D24) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60) Discriminantal varieties and configuration spaces in algebraic topology (55R80)

Abstract: Let $X$ be a smooth algebraic variety over $k$. We prove that any flat quasicoherent sheaf on $operatornameRan(X)$ canonically acquires a D-module structure. In addition, we prove that, if the geometric fiber $X_{overlinek}$ is connected and admits a smooth compactification, then any line bundle on $SimesoperatornameRan(X)$ is pulled back from $S$, for any locally Noetherian $k$-scheme $S$. Both theorems rely on a family of results which state that the (partial) limit of an $n$-excisive functor defined on the category of pointed finite sets is trivial.

Review text

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\).

Recommendations

• A remark on an algebraic Riemann-Roch formula for flat bundles
• Simply connected varieties in characteristic \(p>0\)
• A structure theorem for P^1-Spec k-bimodules
• Exponentiable Grothendieck categories in flat algebraic geometry
• On the smoothness of functors

Cites work

• Chiral Koszul duality
• Contractibility of the space of rational maps
• Crystals and D-modules
• Higher Topos Theory (AM-170)
• Homotopy limits, completions and localizations
• Homotopy theory of diagrams
• scientific article; zbMATH DE number 2121180 (Why is no real title available?)
• scientific article; zbMATH DE number 810980 (Why is no real title available?)
• La formule de dualite globale
• Representation Theory and Complex Geometry
• Weil's conjecture for function fields: volume I
• Éléments de géométrie algébrique. I: Le langage des schémas. II: Étude globale élémentaire de quelques classe de morphismes. III: Étude cohomologique des faisceaux cohérents (première partie)

Cited in

(1)

• Central extensions by \({\mathbf{K}}_2\) and factorization line bundles

Describes a project that uses

Uses Software

• MathOverflow

This page was built for publication: \(n\)-excisive functors, canonical connections, and line bundles on the Ran space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2226033)