Related papers: Tensor product and irregularity for holonomic D-mo…

Let X be a CW complex with a continuous action of a topological group G. We show that if X is equivariantly formal for singular cohomology with coefficients in a field, then so are all symmetric products of X and in fact all its…

We introduce the notion of regularity for a relative holonomic $\mathcal D$-module in the sense of arXiv:1204.1331. We prove that the solution functor from the bounded derived category of regular relative holonomic modules to that of…

Given a complex manifold S, we introduce for each complex manifold X a t-structure on the bounded derived category of C-constructible complexes of O_S-modules on X x S. We prove that the de Rham complex of a holonomic D_{XxS/S}-module which…

In this paper, we define syntomic complex for modulus pair (X,D), where X is regular semi-stable family and D is an effective Cartier divisor on X. We compute its cohomology sheaves.

We develop a multigraded variant of Castelnuovo-Mumford regularity. Motivated by toric geometry, we work with modules over a polynomial ring graded by a finitely generated abelian group. As in the standard graded case, our definition of…

Using twisted nearby cycles, we define a new notion of slopes for complex holonomic D-modules. We prove a boundedness result for these slopes, study their functoriality and use them to characterize regularity. For a family of (possibly…

We describe the category of regular holonomic modules over the ring D[[h]] of linear differential operators with a formal parameter h. In particular, we establish the Riemann-Hilbert correspondence and discuss the additional t-structure…

We first want to consider the formal deformation of a fibered manifold $P \rightarrow M$ as a (bi-)module or subalgebra, where $M$ has a given differential star product. Consequently we want to find obstructions for the existence of a…

We present results and examples which show that the consideration of a certain tubular mutation is advantageous in the study of noncommutative curves which parametrize the simple regular representations of a tame bimodule. We classify all…

The balanced tensor product M (x)_A N of two modules over an algebra A is the vector space corepresenting A-balanced bilinear maps out of the product M x N. The balanced tensor product M [x]_C N of two module categories over a monoidal…

Let A be a noetherian AS regular Koszul quiver algebra (if A is commutative, it is essentially a polynomial ring), and grA the category of finitely generated graded left A-modules. Following Jorgensen, we define the Castelnuovo-Mumford…

Let X be a complex curve, $X_{sa}$ the subanalytic site associated to X, M a holonomic $D_X$-module. Let $O^t$ be the sheaf on $X_{sa}$ of tempered holomorphic functions, Sol(M) (resp. $Sol^t$(M)) the complex of holomorphic (resp. tempered…

We introduce the notion of being cohomologically complete for objects of the derived category of sheaves of $Z[\hbar]$-modules on a topological space. Then we consider a $Z[\hbar]$-algebra satisfying some suitable conditions and prove…

We study the existence of nontrivial semidualizing DG modules over tensor products of DG algebras over a field. In particular, this gives a lower bound on the number of semidualizing DG modules over the tensor product.

For $M$ being a closed manifold or the Euclidean space we present a detailed proof of regularity properties of the composition of $H^s$-regular diffeomorphisms of $M$ for $s > 1/2\dim M + 1$.

We use tilting modules to study the structure of the tensor product of two simple modules for the algebraic group $\SL_2$, in positive characteristic, obtaining a twisted tensor product theorem for its indecomposable direct summands.…

Let $\V$ be a mixed characteristic complete discrete valuation ring with perfect residue field. Let $\X$ be a smooth formal scheme over $\V$. We prove than a $\D ^\dag_{\X,\Q} $-module which is overcoherent after any change of basis is an…

We develop the theory of relative regular holonomic D-modules with a smooth complex manifold S of arbitrary dimension as parameter space, together with their main functorial properties. In particular, we establish in this general setting…

The invariant eigendistributions on a reductive Lie algebra are solutions of a holonomic D-module which has been proved to be regular by Kashiwara-Hotta. We solve here a conjecture of Sekiguchi saying that in the more general case of…

Let $R = k[x_1, \ldots, x_n]$ be a polynomial ring over a field $k$ of characteristic zero and $\cR$ be the formal power series ring $k[[x_1, \ldots, x_n]]$. If $M$ is a $\D$-module over $R$, then $\cR \otimes_R M$ is naturally a…