Related papers: On some $\cal D$-modules in dimension 2

Multi-scale differentials were constructed by M.~Bainbridge, D.~Chen, Q.~Gendron, S.~Grushevsky, and M.~M\"oller, from the viewpoint of flat and complex geometry, for the purpose of compactifying moduli spaces of curves together with a…

We show for the moduli space of rank-2 coherent sheaves on an algebraic surface that there exists a 'dual' moduli space. This dual space allows a construction of the first one without using the GIT construction. Furthermore, we obtain a…

Let $G$ be a connected reductive algebraic group over an algebraically closed field of positive characteristic, $\mathfrak{g}$ be its Lie algebra, and $B$ be a Borel subgroup. We prove a formula for the dimensions of extension groups, in…

Let $(X,D)$ be a smooth log pair over $\mathbb{C}$ such that the complement $U := X \setminus D$ carries a maximally varied family of polarized manifolds. We prove a version of second main theorem on $(X,D)$ by using the Viehweg-Zuo…

Given a smooth curve with weighted marked points, the Abel-Jacboi map produces a line bundle on the curve. This map fails to extend to the full boundary of the moduli space of stable pointed curves. Using logarithmic and tropical geometry,…

We prove a duality formula between two elliptic determinants. We present a proof which is a variant of the Izergin-Korepin method which is a method originally introduced to analyze and compute partition functions of integrable lattice…

By adapting arguments of Annala-Hoyois-Iwasa in the log setting, we prove Poincar\'e duality for smooth projective morphisms in logarithmic motivic homotopy theory. As an application, we show that the crystalline cohomology of a log…

In our paper "On D-module of categories I", we provide two different methods of constructing D-module structures on the complex computing periodic cyclic homology associated to a family of stable infinity categories. One is based on a…

Let G be a $p$-adic Lie group. We develop a dimension theory for coadmissible G-equivariant $\mathcal{D}$-modules on smooth rigid analytic spaces. We introduce the category of weakly holonomic G-equivariant $\mathcal{D}$-modules, study its…

Let $A=(a_1,\ldots, a_n)$ be a vector of integers which sum to $k(2g-2+n)$. The double ramification cycle $\mathsf{DR}_{g,A}\in \mathsf{CH}^g(\mathcal{M}_{g,n})$ on the moduli space of curves is the virtual class of an Abel-Jacobi locus of…

For a coherent filtered D-module we show that the dual of each graded piece over the structure sheaf is isomorphic to a certain graded piece of the ring-theoretic local cohomology complex of the graded quotient of the dual of the filtered…

In this paper we continue the study (initiated in a previous article) of linear Koszul duality, a geometric version of the standard duality between modules over symmetric and exterior algebras. We construct this duality in a very general…

We give an example of a one dimensional foliation $\cal F$ of degree two in a Zariski open set of a four dimensional weighted projective space which has only an enumerable set of algebraic leaves. These are defined over rational numbers and…

We establish a relationship between the graded quotients of a filtered holonomic D-module, their sheaf-theoretic duals, and the characteristic variety, in case the filtered D-module underlies a polarized Hodge module on a smooth algebraic…

In this paper we prove a version of curved Koszul duality for Z/2Z-graded curved coalgebras and their coBar differential graded algebras. A curved version of the homological perturbation lemma is also obtained as a useful technical tool for…

In this paper we consider Erd\"os-Mordell inequality and its extension in the plane of triangle to the Erd\"os-Mordell curve. Algebraic equation of this curve is derived, and using modern computer tools in mathematics, we verified one…

We present an algorithm for deriving a spatial-behavioral type system from a formal presentation of a computational calculus. Given a 2-monad Calc: Catv$\to$ Cat for the free calculus on a category of terms and rewrites and a 2-monad…

We prove a duality relation for the moduli of the family of curves connecting two sets and the family of surfaces separating the sets, in the setting of a complete metric space equipped with a doubling measure and supporting a Poincar\'e…

A natural construction of the logarithmic extension of the M(2,p) minimal models is presented, which generalises our previous model [0708.0802] of percolation (p=3). Its key aspect is the replacement of the minimal model irreducible modules…

Inspired by the classical theory of modules over a monoid, we give a first account of the natural notion of module over a monad. The associated notion of morphism of left modules ("Linear" natural transformations) captures an important…