-
Higher Koszul duality and $n$-affineness
Authors:
James Pascaleff,
Emanuele Pavia,
Nicolò Sibilla
Abstract:
We study $\mathbb{E}_n$-Koszul duality for pairs of algebras of the form $\mathrm{C}_{\bullet}(Ω^{n}_*X;\Bbbk) \leftrightarrow \mathrm{C}^{\bullet}(X;\Bbbk)$, and the closely related question of $n$-affineness for Betti stacks. It was expected, but not known, that $\mathbb{E}_n$-Koszul duality should induce a kind of Morita equivalence between categories of iterated modules. We establish this rigo…
▽ More
We study $\mathbb{E}_n$-Koszul duality for pairs of algebras of the form $\mathrm{C}_{\bullet}(Ω^{n}_*X;\Bbbk) \leftrightarrow \mathrm{C}^{\bullet}(X;\Bbbk)$, and the closely related question of $n$-affineness for Betti stacks. It was expected, but not known, that $\mathbb{E}_n$-Koszul duality should induce a kind of Morita equivalence between categories of iterated modules. We establish this rigorously by proving that the $(\infty,n)$-category of iterated modules over $\mathrm{C}_{\bullet}(Ω_*^{n+1}X;\Bbbk)$ is equivalent to the $(\infty,n)$-category of quasi-coherent sheaves of $(\infty,n-1)$-categories on $\mathrm{cSpec}(\mathrm{C}^{\bullet}(X;\Bbbk))$, where $\mathrm{cSpec}(\mathrm{C}^{\bullet}(X;\Bbbk))$ is the cospectrum of $\mathrm{C}^{\bullet}(X;\Bbbk)$. By the monodromy equivalence, these categories are also equivalent to the category of higher local systems on $X$, $n\mathbf{LocSysCat}^{n-1}(X;\Bbbk)$. Our result is new already in the classical case $n=1$, although it can be seen to recover well known formulations of $\mathbb{E}_1$-Koszul duality as a Morita equivalence of module categories (up to appropriate completions of the $t$-structures). We also investigate (higher) affineness properties of Betti stacks. We give a complete characterization of $n$-affine Betti stacks, in terms of the $0$-affineness of their iterated loop space. As a consequence, we prove that $n$-truncated Betti stacks are $n$-affine; and that $π_{n+1}(X)$ is an obstruction to $n$-affineness.
△ Less
Submitted 25 March, 2025;
originally announced April 2025.
-
Higher local systems and the categorified monodromy equivalence
Authors:
James Pascaleff,
Emanuele Pavia,
Nicolò Sibilla
Abstract:
We study local systems of $(\infty,n)$-categories on spaces. We prove that categorical local systems are captured by (higher) monodromy data: in particular, if $X$ is $(n+1)$-connected, then local systems of $(\infty,n)$-categories over $X$ can be described as $\mathbb{E}_{n+1}$-modules over the iterated loop space $Ω_{n+1}X$. This generalizes the classical monodromy equivalence presenting ordinar…
▽ More
We study local systems of $(\infty,n)$-categories on spaces. We prove that categorical local systems are captured by (higher) monodromy data: in particular, if $X$ is $(n+1)$-connected, then local systems of $(\infty,n)$-categories over $X$ can be described as $\mathbb{E}_{n+1}$-modules over the iterated loop space $Ω_{n+1}X$. This generalizes the classical monodromy equivalence presenting ordinary local systems as modules over the based loop spaces. Along the way we revisit from the perspective of $\infty$-categories Teleman's influential theory of topological group actions on categories, and we extend it to topological actions on $(\infty,n)$-categories. Finally, we show that the group of invertible objects in the category of local systems of $(\infty,n)$-categories over an $n$-connected space $X$ is isomorphic to the group of characters of $π_n(X)$. This should be thought of as a topological analogue of the higher Brauer group of the space $X$. We conclude the paper with applications of the theory of categorical local systems to the fiberwise Fukaya category of symplectic fibrations.
△ Less
Submitted 24 March, 2025; v1 submitted 17 January, 2025;
originally announced January 2025.
-
Derived hyperquot schemes
Authors:
Sergej Monavari,
Emanuele Pavia,
Andrea T. Ricolfi
Abstract:
We define a derived enhancement of the hyperquot scheme (also known as nested Quot scheme), which classically parametrises flags of quotients of a perfect coherent sheaf on a projective scheme. We prove it is representable by a derived scheme, and we compute its global tangent complex. As an application, we provide a natural obstruction theory on the classical hyperquot scheme. The latter recovers…
▽ More
We define a derived enhancement of the hyperquot scheme (also known as nested Quot scheme), which classically parametrises flags of quotients of a perfect coherent sheaf on a projective scheme. We prove it is representable by a derived scheme, and we compute its global tangent complex. As an application, we provide a natural obstruction theory on the classical hyperquot scheme. The latter recovers the virtual fundamental class recently constructed by the first and third author in the context of the enumerative geometry of hyperquot schemes on smooth projective curves.
△ Less
Submitted 25 September, 2024;
originally announced September 2024.
-
Mixed graded structure on Chevalley-Eilenberg functors
Authors:
Emanuele Pavia
Abstract:
In this paper, we shall provide a purely $\infty$-categorical construction of the mixed graded structure over Chevalley-Eilenberg complexes computing homology and cohomology of Lie algebras defined over a field $\Bbbk$ of characteristic $0$. While this additional piece of structure on Chevalley-Eilenberg complexes is expected, and already described in terms of explicit models given by chain comple…
▽ More
In this paper, we shall provide a purely $\infty$-categorical construction of the mixed graded structure over Chevalley-Eilenberg complexes computing homology and cohomology of Lie algebras defined over a field $\Bbbk$ of characteristic $0$. While this additional piece of structure on Chevalley-Eilenberg complexes is expected, and already described in terms of explicit models given by chain complexes, there is not a completely formal and model independent description of the mixed graded Chevalley-Eilenberg $\infty$-functors in available literature. After constructing in all details the Chevalley-Eilenberg $\infty$-functors and studying their main formal properties, we present some further conjectures on their behavior.
△ Less
Submitted 10 February, 2023; v1 submitted 25 July, 2022;
originally announced July 2022.
-
A $t$-structure on the $\infty$-category of mixed graded modules
Authors:
Emanuele Pavia
Abstract:
In this work, we shall study in a purely model-independent fashion the $\infty$-category of mixed graded modules over a ring of characteristic $0$, and collect some basic results about its main formal properties. Finally, we shall endow such $\infty$-category with a both left and right complete accessible $t$-structure, showing how this identifies the $\infty$-category of mixed graded modules with…
▽ More
In this work, we shall study in a purely model-independent fashion the $\infty$-category of mixed graded modules over a ring of characteristic $0$, and collect some basic results about its main formal properties. Finally, we shall endow such $\infty$-category with a both left and right complete accessible $t$-structure, showing how this identifies the $\infty$-category of mixed graded modules with the left completion of the Beilinson $t$-structure on the \infinity-category of filtered modules. Most of the content of this paper is already available in literature, and it serves mainly as a reference for future work.
△ Less
Submitted 25 July, 2022;
originally announced July 2022.
