Related papers: Higher Holonomy via a Simplicial Viewpoint

We construct a spectral sequence converging to the cohomology with compact support of the m-th contact locus of a complex polynomial. The first page is explicitly described in terms of a log resolution and coincides with the first page of…

In this short note, we show a p-adic analogue of Beilinson's equivalence comparing two derived categories: the derived category of holonomic modules and derived category of modules whose cohomologies are holonomic.

For a small category A, we prove that the homotopy colimit functor from the category of simplicial diagrams on A to the category of simplicial sets over the nerve of A establishes a left Quillen equivalence between the projective (or Reedy)…

We study the holonomy that is associated to a sub-Riemannian structure defined on the kernel of a global contact form. This includes the holonomy of Schouten's horizontal connection as well as of the adapted connection, both canonical…

We introduce a category of filtered sheaves on a circle to describe the Stokes phenomenon of linear difference equations with mild singularity. The main result is a mild difference analog of the Riemann-Hilbert correspondence for germs of…

We construct a zig-zag of Quillen adjunctions between the homotopy theories of differential graded and simplicial categories. In an intermediate step we generalize Shipley-Schwede's work on connective DG algebras by extending the Dold-Kan…

We generalize the concept of a cycle from graphs to simplicial complexes. We show that a simplicial cycle is either a sequence of facets connected in the shape of a circle, or is a cone over such a structure. We show that a simplicial tree…

A stratified space is a topological space together with a decomposition into strata corresponding to different types of singularities. Examples of such spaces appear everywhere in topology and geometry. The study of stratified spaces…

We explain how to set up the homotopy spectral sequence of a (co)simplicial object in an $\infty$-category, with an emphasis on how to construct the differentials in a model-invariant manner.

In this paper we construct a cofibrantly generated model category structure on the category of all small symmetric multicategories enriched in simplicial sets.

Let $R$ be a commutative ring with unit. We consider the homotopy theory of the category of spectral sequences of $R$-modules with the class of weak equivalences given by those morphisms inducing a quasi-isomorphism at a certain fixed page.…

Indexed symmetric monoidal categories are an important refinement of bicategories -- this structure underlies several familiar bicategories, including the homotopy bicategory of parametrized spectra, and its equivariant and fiberwise…

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$…

Using the theory infinity-categories we construct derived (dg-)categories of regular, holonomic D-modules and algebraically constructible sheaves on a complex smooth algebraic stack. We construct a natural infinity-categorical equivalence…

Let $I$ be an arbitrary ideal generated by binomials. We show that certain equivalence classes of fibers are associated to any minimal binomial generating set of $I$. We provide a simple and efficient algorithm to compute the indispensable…

We provide a rigorous construction of I.M. Singer's universal connection, a natural connection on a bundle of paths associated to any manifold, using the theory of diffeology. Furthermore, we generalize the universal connection to the…

For an abelian category, a category equivalent to its derived category is constructed by means of specific projective (injective) multicomplexes, the so-called homological resolutions.

We propose a new framework for integrating quantifiers with other logical connectives in a higher-categorical setting. Our method systematically incorporates key coherence conditions-including those akin to the Beck-Chevalley property-and…

It was recently conjectured that every component of a discrete-time rational dynamical system is a solution to an algebraic difference equation that is linear in its highest-shift term (a quasi-linear equation). We prove that the conjecture…

We prove a version of Quillen's theorems for a map of semi-Segal spaces. We construct a bi-semi-simplicial resolution similar to the one associated to a functor of non-unital topological categories. As a consequence we can represent the…