Showing 1–14 of 14 results for author: Holstein, J

Gluing invariants of Donaldson--Thomas type -- Part II: Matrix factorizations

Authors: Benjamin Hennion, Julian Holstein, Marco Robalo

Abstract: This paper is a follow-up to arXiv:2407.08471. Let $X$ be a a $(-1)$-shifted symplectic derived Deligne--Mumford stack. Thanks to the Darboux lemma of Brav--Bussi--Joyce, $X$ is locally modeled by derived critical loci of a function $f$ on a smooth scheme $U$. In this paper we study the gluing of the locally defined $2$-periodic (big) dg-categories of matrix factorizations $MF^\infty(U,f)$. We sho… ▽ More This paper is a follow-up to arXiv:2407.08471. Let $X$ be a a $(-1)$-shifted symplectic derived Deligne--Mumford stack. Thanks to the Darboux lemma of Brav--Bussi--Joyce, $X$ is locally modeled by derived critical loci of a function $f$ on a smooth scheme $U$. In this paper we study the gluing of the locally defined $2$-periodic (big) dg-categories of matrix factorizations $MF^\infty(U,f)$. We show that these come canonically equipped with a structure of a $2$-periodic crystal of categories (\ie an action of the dg-category of $2$-periodic $D$-modules on $X$) compatible with a relative Thom--Sebastiani theorem expressing the equivariance under the action of quadratic bundles. As our main theorem we show that the locally defined categories $MF^\infty(U,f)$ can be glued along $X$ as a sheaf of crystals of 2-periodic dg-categories ``up to isotopy'', under the prescription of orientation data controlled by three obstruction classes. This result generalizes the gluing of the Joyce's perverse sheaf of vanishing cycles and partially answers conjectures by Kontsevich--Soibelman and Toda in motivic Donaldson--Thomas theory. △ Less

Submitted 19 March, 2025; originally announced March 2025.

Comments: 64 pages. Comments welcome!

Koszul duality and Calabi-Yau structures

Authors: Julian Holstein, Manuel Rivera

Abstract: We show that Koszul duality between differential graded categories and pointed curved coalgebras interchanges smooth and proper Calabi-Yau structures. This result is a generalization and conceptual explanation of the following two applications. For a finite-dimensional Lie algebra a smooth Calabi-Yau structure on the universal enveloping algebra is equivalent to a proper Calabi-Yau structure on th… ▽ More We show that Koszul duality between differential graded categories and pointed curved coalgebras interchanges smooth and proper Calabi-Yau structures. This result is a generalization and conceptual explanation of the following two applications. For a finite-dimensional Lie algebra a smooth Calabi-Yau structure on the universal enveloping algebra is equivalent to a proper Calabi-Yau structure on the Chevalley-Eilenberg chain coalgebra, which exists if and only if Poincare duality is satisfied. For a topological space X having the homotopy type of a finite complex we show an oriented Poincare duality structure (with local coefficients) on X is equivalent to a proper Calabi-Yau structure on the dg coalgebra of chains on X and to a smooth Calabi-Yau structure on the dg algebra of chains on the based loop space of X. △ Less

Submitted 28 April, 2025; v1 submitted 4 October, 2024; originally announced October 2024.

Comments: V3: Clarified nomenclature. 32 pages

Gluing invariants of Donaldson--Thomas type -- Part I: the Darboux stack

Authors: Benjamin Hennion, Julian Holstein, Marco Robalo

Abstract: Let $X$ be a (-1)-shifted symplectic derived Deligne--Mumford stack. In this paper we introduce the Darboux stack of $X$, parametrizing local presentations of $X$ as a derived critical locus of a function $f$ on a smooth formal scheme $U$. Local invariants such as the Milnor number $μ_f$, the perverse sheaf of vanishing cycles $\mathsf{P}_{U,f}$ and the category of matrix factorizations… ▽ More Let $X$ be a (-1)-shifted symplectic derived Deligne--Mumford stack. In this paper we introduce the Darboux stack of $X$, parametrizing local presentations of $X$ as a derived critical locus of a function $f$ on a smooth formal scheme $U$. Local invariants such as the Milnor number $μ_f$, the perverse sheaf of vanishing cycles $\mathsf{P}_{U,f}$ and the category of matrix factorizations $\mathsf{MF}(U,f)$ are naturally defined on the Darboux stack, without ambiguity. The stack of non-degenerate flat quadratic bundles acts on the Darboux stack and our main theorem is the contractibility of the quotient stack when taking a further homotopy quotient identifying isotopic automorphisms. As a corollary we recover the gluing results for vanishing cycles by Brav--Bussi--Dupont--Joyce--Szendr\H oi. In a second part (to appear), we will apply this general mechanism to glue the motives of the locally defined categories of matrix factorizations $\mathsf{MF}(U,f)$ under the prescription of additional orientation data, thus answering positively conjectures by Kontsevich--Soibelman and Toda in motivic Donaldson--Thomas theory. △ Less

Submitted 25 March, 2025; v1 submitted 11 July, 2024; originally announced July 2024.

Comments: 106 pages. Comments and feedback are of course very welcome

Hochschild cohomology of the second kind: Koszul duality and Morita invariance

Authors: Ai Guan, Julian Holstein, Andrey Lazarev

Abstract: We define Hochschild cohomology of the second kind for differential graded (dg) or curved algebras as a derived functor in a compactly generated derived category of the second kind, and show that it is invariant under Morita equivalence of the second kind. A bimodule version of Koszul duality is constructed and used to show that Hochschild cohomology of the second kind is preserved under (nonconil… ▽ More We define Hochschild cohomology of the second kind for differential graded (dg) or curved algebras as a derived functor in a compactly generated derived category of the second kind, and show that it is invariant under Morita equivalence of the second kind. A bimodule version of Koszul duality is constructed and used to show that Hochschild cohomology of the second kind is preserved under (nonconilpotent) Koszul duality. We show that Hochschild cohomology of the second kind of an algebra often computes the ordinary Hochschild cohomology of geometrically meaningful dg categories. Examples include the category of infinity local systems on a topological space, the bounded derived category of a complex algebraic manifold and the category of matrix factorizations. △ Less

Submitted 24 March, 2025; v1 submitted 27 December, 2023; originally announced December 2023.

Comments: V2: minor improvements. 24 pages

Enriched Koszul duality for dg categories

Authors: Julian Holstein, Andrey Lazarev

Abstract: It is well-known that the category of small dg categories dgCat, though it is monoidal, does not form a monoidal model category. In this paper we construct a monoidal model structure on the category of pointed curved coalgebras ptdCoa* and show that the Quillen equivalence relating it to dgCat is monoidal. We also show that dgCat is a ptdCoa*-enriched model category. As a consequence, the homotopy… ▽ More It is well-known that the category of small dg categories dgCat, though it is monoidal, does not form a monoidal model category. In this paper we construct a monoidal model structure on the category of pointed curved coalgebras ptdCoa* and show that the Quillen equivalence relating it to dgCat is monoidal. We also show that dgCat is a ptdCoa*-enriched model category. As a consequence, the homotopy category of dgCat is closed monoidal and is equivalent as a closed monoidal category to the homotopy category of ptdCoa*. In particular, this gives a conceptual construction of a derived internal hom in dgCat. As an application we obtain a new description of simplicial mapping spaces in dgCat and a calculation of their homotopy groups in terms of Hochschild cohomology groups, reproducing and slightly generalizing well-known results of Toën. Comparing our approach to Toën's, we also obtain a description of the core of Lurie's dg nerve in terms of the ordinary nerve of a discrete category. △ Less

Submitted 7 March, 2023; v1 submitted 15 November, 2022; originally announced November 2022.

Comments: V4: Minor corrections. 22 pages

Categorical Koszul duality

Authors: Julian Holstein, Andrey Lazarev

Abstract: In this paper we establish Koszul duality between dg categories and a class of curved coalgebras, generalizing the corresponding result for dg algebras and conilpotent curved coalgebras. We show that the normalized chain complex functor transforms the Quillen equivalence between quasicategories and simplicial categories into this Koszul duality. This allows us to give a conceptual interpretation o… ▽ More In this paper we establish Koszul duality between dg categories and a class of curved coalgebras, generalizing the corresponding result for dg algebras and conilpotent curved coalgebras. We show that the normalized chain complex functor transforms the Quillen equivalence between quasicategories and simplicial categories into this Koszul duality. This allows us to give a conceptual interpretation of the dg nerve of a dg category and its adjoint. As an application, we prove that the category of representations of a quasicategory is equivalent to the coderived category of comodules over its chain coalgebra. A corollary of this is a characterization of the category of constructible dg sheaves on a stratified space as the coderived category of a certain dg coalgebra. △ Less

Submitted 26 January, 2024; v1 submitted 2 June, 2020; originally announced June 2020.

Comments: V6: fixed proof of Proposition 3.33; 40 pages

Journal ref: Advances in Mathematics, Volume 409, Part B, 2022

Analytification of mapping stacks

Authors: Julian Holstein, Mauro Porta

Abstract: Derived mapping stacks are a fundamental source of examples of derived enhancements of classical moduli problems. For instance, they appear naturally in Gromov-Witten theory and in some branches of geometric representation theory. In this paper, we show that in many cases the mapping stacks construction commutes with the (complex or non-archimedean) analytification functor. Along the way, we estab… ▽ More Derived mapping stacks are a fundamental source of examples of derived enhancements of classical moduli problems. For instance, they appear naturally in Gromov-Witten theory and in some branches of geometric representation theory. In this paper, we show that in many cases the mapping stacks construction commutes with the (complex or non-archimedean) analytification functor. Along the way, we establish several properties of the stack of analytic perfect complexes and study some incarnations of analytic Tannaka duality. △ Less

Submitted 21 December, 2018; originally announced December 2018.

Comments: 58 pages

MSC Class: 14D23; 14G22; 32G13; 14A20

Homotopy theory of monoids and derived localization

Authors: Joe Chuang, Julian Holstein, Andrey Lazarev

Abstract: We use derived localization of the bar and nerve constructions to provide simple proofs of a number of results in algebraic topology. This includes a recent generalization of Adams' cobar-construction to the non-simply connected case, and a new model for the homotopy theory of connected topological spaces using an infinity category of discrete monoids. We use derived localization of the bar and nerve constructions to provide simple proofs of a number of results in algebraic topology. This includes a recent generalization of Adams' cobar-construction to the non-simply connected case, and a new model for the homotopy theory of connected topological spaces using an infinity category of discrete monoids. △ Less

Submitted 29 September, 2021; v1 submitted 30 September, 2018; originally announced October 2018.

Comments: v3: Corrections in introduction. 14 pages

Maurer-Cartan moduli and theorems of Riemann-Hilbert type

Authors: Joseph Chuang, Julian Holstein, Andrey Lazarev

Abstract: We study Maurer-Cartan moduli spaces of dg algebras and associated dg categories and show that, while not quasi-isomorphism invariants, they are invariants of strong homotopy type, a natural notion that has not been studied before. We prove, in several different contexts, Schlessinger-Stasheff type theorems comparing the notions of homotopy and gauge equivalence for Maurer-Cartan elements as well… ▽ More We study Maurer-Cartan moduli spaces of dg algebras and associated dg categories and show that, while not quasi-isomorphism invariants, they are invariants of strong homotopy type, a natural notion that has not been studied before. We prove, in several different contexts, Schlessinger-Stasheff type theorems comparing the notions of homotopy and gauge equivalence for Maurer-Cartan elements as well as their categorified versions. As an application, we re-prove and generalize Block-Smith's higher Riemann-Hilbert correspondence, and develop its analogue for simplicial complexes and topological spaces. △ Less

Submitted 29 September, 2021; v1 submitted 7 February, 2018; originally announced February 2018.

Comments: V3: Added reference. 54 pages

The global derived period map

Authors: Carmelo Di Natale, Julian V. S. Holstein

Abstract: Abstract. We develop the global period map in the context of derived geometry, generalising Griffiths' classical period map as well as the infinitesimal derived period map. We begin by constructing the derived period domain which classifies Hodge filtrations and enhances the classical period domain. We analyze the monodromy action. Then we associate to any polarized smooth projective map of derive… ▽ More Abstract. We develop the global period map in the context of derived geometry, generalising Griffiths' classical period map as well as the infinitesimal derived period map. We begin by constructing the derived period domain which classifies Hodge filtrations and enhances the classical period domain. We analyze the monodromy action. Then we associate to any polarized smooth projective map of derived stacks a canonical morphism of derived analytic stacks from the base into the quotient of the derived period domain by monodromy. We conclude the paper by discussing a few examples and a derived Torelli problem. In the appendix we describe how to present derived analytic Artin stacks as hypergroupoids, which may be of independent interest. △ Less

Submitted 13 July, 2019; v1 submitted 20 July, 2016; originally announced July 2016.

Comments: 66 pages; removed incorrect statement from appendix and added explicit check that derived period map is well-defined

Journal ref: Advances in Mathematics, Volume 353 (2019), pages 224-280

Explicit homotopy limits of dg-categories and twisted complexes

Authors: Jonathan Block, Julian V. S. Holstein, Zhaoting Wei

Abstract: In this paper we study the homotopy limits of cosimplicial diagrams of dg-categories. We first give an explicit construction of the totalization of such a diagram and then show that the totalization agrees with the homotopy limit in the following two cases: (1) the complexes of sheaves of $\mathcal O$-modules on the Čech nerve of an open cover of a ringed space $(X, \mathcal O)$; (2) the complexes… ▽ More In this paper we study the homotopy limits of cosimplicial diagrams of dg-categories. We first give an explicit construction of the totalization of such a diagram and then show that the totalization agrees with the homotopy limit in the following two cases: (1) the complexes of sheaves of $\mathcal O$-modules on the Čech nerve of an open cover of a ringed space $(X, \mathcal O)$; (2) the complexes of sheaves on the simplicial nerve of a discrete group $G$ acting on a space. The explicit models we obtain in this way are twisted complexes as well as their $D$-module and $G$-equivariant versions. As an application we show that there is a stack of twisted perfect complexes. △ Less

Submitted 8 May, 2017; v1 submitted 27 November, 2015; originally announced November 2015.

Comments: v3: 22 pages, minor changes, to appear in Homology, Homotopy and Applications. v2: a new subsection (Section 4.5) is added on the stack of twisted perfect complexes

MSC Class: 18D20; 18G55; 14F05

Journal ref: Homology Homotopy Appl. 19. (2017). no. 2. 343-371

Morita cohomology

Authors: Julian V. S. Holstein

Abstract: We consider two categorifications of the cohomology of a topological space X by taking coefficients in the category of differential graded categories. We consider both derived global sections of a constant presheaf and singular cohomology and find the resulting dg-categories are quasi-equivalent and moreover quasi-equivalent to representations in perfect complexes of chains on the loop space of X. We consider two categorifications of the cohomology of a topological space X by taking coefficients in the category of differential graded categories. We consider both derived global sections of a constant presheaf and singular cohomology and find the resulting dg-categories are quasi-equivalent and moreover quasi-equivalent to representations in perfect complexes of chains on the loop space of X. △ Less

Submitted 18 March, 2014; originally announced April 2014.

Comments: 33 pages

Journal ref: Mathematical Proceedings of the Cambridge Philosophical Society, Volume 158, Issue 1 (2015), pages 1-26

Morita cohomology and homotopy locally constant sheaves

Authors: Julian V. S. Holstein

Abstract: We identify Morita cohomology, which is a categorification of the cohmology of a topological space X, with the category of homotopy locally constant sheaves of perfect complexes on X. We identify Morita cohomology, which is a categorification of the cohmology of a topological space X, with the category of homotopy locally constant sheaves of perfect complexes on X. △ Less

Submitted 18 March, 2014; originally announced April 2014.

Comments: 12 pages

Journal ref: Math. Proc. Camb. Phil. Soc. 158 (2015) 27-35

Properness and simplicial resolutions for the model category dgCat

Authors: Julian V. S. Holstein

Abstract: We provide proofs of two properties of the model category dgCat of dg-categories (with the Morita or Dwyer-Kan model structure): When working over a field the category dgCat is left proper. Natural simplicial resolutions in dgCat are given by dg-categories of Maurer-Cartan elements. We provide proofs of two properties of the model category dgCat of dg-categories (with the Morita or Dwyer-Kan model structure): When working over a field the category dgCat is left proper. Natural simplicial resolutions in dgCat are given by dg-categories of Maurer-Cartan elements. △ Less

Submitted 23 September, 2020; v1 submitted 18 March, 2014; originally announced March 2014.

Comments: 15 pages. V5: added appendix to close two gaps in the proof of the main theorem. V3 appeared in Homology, Homotopy and Applications, vol. 16(2), 2014

Journal ref: Homology, Homotopy and Applications, Volume 16 (2014) Number 2, pages 263-273