Related papers: Categorifying isomonodromic deformations via Lie g…
In this article we investigate a monoid of smooth mappings on the space of arrows of a Lie groupoid and its group of units. The group of units turns out to be an infinite-dimensional Lie group which is regular in the sense of Milnor.…
We extend the notion of connection in order to be able to study singular geometric structures, namely, we consider a notion of connection on a Lie algebroid which is a natural extension of the usual concept of connection. Using connections,…
The theory of 2-monads entails that, for a strict monoidal category C, there is a strict monoidal category L(C) such that strict monoidal functors from L(C) are precisely the lax monoidal functors from C. We give an elementary,…
In this paper we introduce the new notion of complex isoparametric functions on Riemannian manifolds. These are then employed to devise a general method for constructing proper $p$-harmonic functions. We then apply this to construct the…
For a smooth algebraic variety $X$, a monodromic $D$-module on $X\times \mathbb{C}$ is decomposed into a direct sum of some $D$-modules on $X$. We show that the Hodge filtration of a mixed Hodge module on $X\times \mathbb{C}$ whose…
We study isomonodromicity of systems of parameterized linear differential equations and related conjugacy properties of linear differential algebraic groups by means of differential categories. We prove that isomonodromicity is equivalent…
In this paper, a survey of the recent results about the classification of the connected holonomy groups of the Lorentzian manifolds is given. A simplification of the construction of the Lorentzian metrics with all possible connected…
We study several deformation functors associated to the normalization of a reduced curve singularity $(X,0) \subset (\c^n,0)$. The main new results are explicit formulas, in terms of classical invariants of (X,0), for the cotangent…
A now classical construction due to Kato and Nakayama attaches a topological space (the "Betti realization") to a log scheme over $\mathbf{C}$. We show that in the case of a log smooth degeneration over the standard log disc, this…
We construct a functor valued invariant of oriented tangles on certain singular blocks of category O. Parabolic subcategories of these blocks categorify tensor products of various fundamental sl(k) representations. Projective functors…
We develop the deformation-obstruction calculus for morphisms of complexes with a fixed lift of the codomain, to derived categories of flat nilpotent deformations of abelian categories. As an application, we give an alternative proof that…
We construct a monoidal version of Lurie's un/straightening equivalence. In more detail, for any symmetric monoidal $\infty$-category $\mathbf C$, we endow the $\infty$-category of coCartesian fibrations over $\mathbf C$ with a (naturally…
We study various problems arising in higher differential geometry using {\it derived Lie $\infty$-groupoids and algebroids}.We first study Lie $\infty$-groupoids in various categories of derived geometric objects in differential geometry,…
We provide a treatment of isomorphism within a set-theoretic formulation of dependent type theory. Type expressions are assigned their natural set-theoretic compositional meaning. Types are divided into small and large types --- sets and…
For linear operators which factor with suitable assumptions concerning commutativity of the factors, we introduce several notions of a decomposition. When any of these hold then questions of null space and range are subordinated to the same…
VB-groupoids are vector bundles in the category of Lie groupoids. They encompass several classical objects, including Lie group representations and 2-vector spaces. Moreover, they provide geometric pictures for 2-term representations up to…
In this paper we develop the $A_\infty$-analog of the Maurer-Cartan simplicial set associated to an $L_\infty$-algebra and show how we can use this to study the deformation theory of $\infty$-morphisms of algebras over non-symmetric…
In this paper, we consider the generalized isomonodromic deformations of rank two irregular connections on the Riemann sphere. We introduce Darboux coordinates on the parameter space of a family of rank two irregular connections by apparent…
Groupoidification is a form of categorification in which vector spaces are replaced by groupoids, and linear operators are replaced by spans of groupoids. We introduce this idea with a detailed exposition of 'degroupoidification': a…
A theorem of Lurie and Pridham establishes a correspondence between formal moduli problems and differential graded Lie algebras in characteristic zero, thereby formalising a well-known principle in deformation theory. We introduce a variant…