Yohei Ito, Kiyoshi Takeuchi
We study Fourier transforms of regular holonomic D-modules. In particular we show that their solution complexes are monodromic. An application to direct images of some irregular holonomic D-modules will be given. Moreover we give a new proof to the classical theorem of Brylinski and improve it by showing its converse.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We study Fourier transforms of regular holonomic D-modules. By using the theory of Fourier-Sato transforms of enhanced ind-sheaves developed by Kashiwara-Schapira and D'Agnolo-Kashiwara, a formula for their enhanced solution complexes will be obtained. Moreover we show that some parts of their characteristic cycles and irregularities are expressed by the geometries of the original D-modules.
We study the Fourier-Mukai transform for holonomic D-modules on complex abelian varieties. Among other things, we show that the cohomology support loci of a holonomic D-module are finite unions of linear subvarieties, which go through points of finite order for objects of geometric origin; that the standard t-structure on the derived category of holonomic complexes corresponds, under the Fourier-Mukai transform, to a certain perverse coherent t-structure in the sense of Kashiwara and Arinkin-Bezrukavnikov; and that Fourier-Mukai transforms of simple holonomic D-modules are intersection complex…
On the monodromies at infinity of Fourier transforms of holonomic D-modules
本文借助非正则 Riemann–Hilbert 对应和单值性 zeta 函数，研究完整 D-模 Fourier 变换解的无穷远单值性，给出特征值公式，并在一维情形建立互反律。
A Morse theoretical approach to Fourier transforms of holonomic D-modules in dimension one
本文用扭曲Morse理论描述一维全纯D-模傅里叶变换的增强解复合体，定义非正则特征环，并给出经典特征环公式与全纯解自然基的构造。
Fourier transforms of irregular holonomic D-modules, singularities at infinity of meromorphic functions and irregular characteristic cycles
本文利用不规则Riemann-Hilbert对应和Fourier-Sato变换研究不规则全纯D-模的傅里叶变换，借助亚纯消失循环函子精确分析奇点，并用不规则特征循环刻画高维情形下由指数因子不定点处线性扰动引起的额外秩跳跃。
We study the Fourier-Mukai transform for holonomic D-modules on a complex abelian variety. Among other things, we show that the cohomology support loci of a holonomic complex are finite unions of translates of triple tori, the translates being by torsion points for objects of geometric origin; and that the standard t-structure on the derived category of holonomic complexes corresponds, under the Fourier-Mukai transform, to a certain perverse coherent t-structure in the sense of Kashiwara and Arinkin-Bezrukavnikov.
We explain a formalism of regular holonomic $D$-modules for algebraic geometers using the distinguished triangles associated with algebraic local cohomology together with meromorphic Deligne extensions of local systems as well as the dual functor.
Let $X$ be a complex manifold. In "Microlocal study of Ind-sheaves I: microsupport and regularity", M. Kashiwara e P. Schapira made the conjecture that a holonomic D-module $\shm$ is regular holonomic if and only if $R\mathcal{I}{hom}_{β_X\shd_X}(β_X\shm,\sho_X^t)$ is regular (in the sense of "Microlocal study of Ind-sheaves I: microsupport and regularity"), the "only if" part of this conjecture following immediately from "Microlocal study of Ind-sheaves I: microsupport and regularity". Our aim is to prove this conjecture in dimension one.
On a complex manifold, the embedding of the category of regular holonomic D-modules into that of holonomic D-modules has a left quasi-inverse functor $\mathcal{M}\mapsto\mathcal{M}_{\mathrm{reg}}$, called regularization. Recall that $\mathcal{M}_{\mathrm{reg}}$ is reconstructed from the de Rham complex of $\mathcal{M}$ by the regular Riemann-Hilbert correspondence. Similarly, on a topological space, the embedding of sheaves into enhanced ind-sheaves has a left quasi-inverse functor, called here sheafification. Regularization and sheafification are intertwined by the irregular Riemann-Hilbert c…
In this paper, we reprove the Riemann-Hilbert correspondence for regular holonomic D-modules of [M. Kashiwara, Publ. Res. Inst. Math. Sci., 1984] (see also [Z. Mebkhout, Compositio Math., 1984.]) by using the irregular Riemann-Hilbert correspondence of [A. D'Agnolo and M. Kashiwara, Publ. Math. Inst. Hautes Etudes Sci., 2016]. Moreover, we also prove the algebraic one by the same argument. For this purpose, we study C-constructible enhanced ind-sheaves of [Y. Ito, Tsukuba journal of Mathematics, 2020, Rend. Sem. Mat. Univ. Padova., 2021.] in more detail.
Let M be a complex of D-modules with bounded holonomic cohomology on a complex manifold. In this note, we prove that if the derived tensor product of M with itself is regular, then M is regular.
This paper shows algebraically that the Fourier transform preserves the rigidity index of irreducible regular holonomic $\mathcal{D}_{\mathbb{P}^1}[*\{\infty\}]$-modules.
We introduce the notion of strong regular holonomic ${\mathcal{D}}_{{X\times S}/S}$-module and we prove that the functor ${\mathrm{RH}}^S$ introduced by T. Monteiro Fernandes and C. Sabbah in [14] takes image in ${\mathsf{D}}^{\mathrm{b}}_{\mathrm{srhol}}({\mathcal{D}}_{{X\times S}/S})$ (complexes of ${\mathcal{D}}_{{X\times S}/S}$-module whose cohomologies are strongly regular). We prove that for $\dim X=\dim S=1$ the functor solution functor ${}^\mathrm{p}{\mathrm{Sol}}$ restricted to ${\mathsf{D}}^{\mathrm{b}}_{\mathrm{srhol}}({\mathcal{D}}_{{X\times S}/S})$ is an equivalence of categories …
On the solutions of relative regular holonomic D-modules
针对复曲线S与复流形X，构造相对正则全纯D_{X×S}-模的两类解析函子间的同构，推进了相关D-模理论的比较研究。
Regularization of relative holonomic D-modules
本文利用无穷阶相对微分算子层，将 Kashiwara-Kawai 经典定理推广到相对情形，函子性地构造相对全纯 D-模的正则化，并证明其与张量积形式同构。
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 related to h-torsion.
This is a survey paper based on a series of lectures given at the IHES in February/March 2015. In a first part, we recall the main results on the tempered holomorphic solutions of D-modules in the language of indsheaves and, as an application, the Riemann-Hilbert correspondence for regular holonomic modules. In a second part, we present the enhanced version of the first part, treating along the same lines the irregular holonomic case.
We study relative and logarithmic characteristic cycles associated to holonomic $\mathscr D$-modules. As applications, we obtain: (1) an alternative proof of Ginsburg's log characteristic cycle formula for lattices of regular holonomic $\mathscr D$-modules following ideas of Sabbah and Briancon-Maisonobe-Merle, and (2) the constructibility of the log de Rham complexes for lattices of holonomic $\mathscr D$-modules, which is a natural generalization of Kashiwara's constructibility theorem.
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 irregular) algebraic connections E\_t parametrized by a smooth curve, we deduce under natural conditions an explicit bound for the usual slopes of the differential equation satisfied by the family of irregular periods of the E\_t. This generalizes the regularity of the Gauss-Manin connection proved by Katz and Deligne. Finally, we address some questions about an…
This paper solves the global moduli problem for regular holonomic D-modules with normal crossing singularities on a nonsingular complex projective variety. This is done by introducing a level structure (which gives rise to ``pre-D-modules''), and then introducing a notion of (semi-)stability and applying Geometric Invariant Theory to construct a coarse moduli scheme for semistable pre-D-modules. A moduli is constructed also for the corresponding perverse sheaves, and the Riemann-Hilbert correspondence is represented by an analytic morphism between these moduli spaces.
Beilinson--Bernstein localisation relates representations of a Lie algebra $\mathfrak{g}$ to certain $\mathcal{D}$-modules on the flag variety of $\mathfrak{g}$. In [arXiv:2002.01540], examples of $\mathfrak{sl}_2$-representations which correspond to $\mathcal{D}$-modules on $\mathbb{CP}^1$ were computed. In this expository article, we give a topological description of these and extended examples via the Riemann-Hilbert correspondence. We generalise this to a full characterisation of $\mathfrak{sl}_2$-representations which correspond to holonomic $\mathcal{D}$-modules on $\mathbb{CP}^1$ with a…
Hypergeometric systems from groups with torsion
本文研究了具有torsion的群的超几何系统，证明其为单值系统，并建立了D-模的单值对偶性。
We define the notion of Betti structure for holonomic D-modules which are not necessarily regular singular. We establish the fundamental functorial properties. We also give auxiliary analysis of holomorphic functions of various types on the real blow up.
The classical Riemann-Hilbert correspondence establishes an equivalence between the triangulated category of regular holonomic D-modules and that of constructible sheaves. In this paper, we prove a Riemann-Hilbert correspondence for holonomic D-modules which are not necessarily regular. The construction of our target category is based on the theory of ind-sheaves by Kashiwara-Schapira and influenced by Tamarkin's work. Among the main ingredients of our proof is the description of the structure of flat meromorphic connections due to Mochizuki and Kedlaya.
This paper is devoted to the comparison of the notions of regularity for algebraic connections and (holonomic) regularity for algebraic $\mathcal D$-modules.
We show that the Fourier-Laplace transform of a regular holonomic module over the Weyl algebra of one variable, which generically underlies a variation of polarized Hodge structure, underlies itself an integrable variation of polarized twistor structure.
Fourier-Orbit Construction of GKZ-Type Systems for Commutative Linear Algebraic Groups
本文基于Hotta等变D-模框架，提出傅里叶-轨道构造方法，将经典环面GKZ系统扩展至混合环面-幂幺群设置，并引入符号工具进行秩分析与精确计算，揭示了非正则等新现象。
Given a (not necessarily regular) holonomic D-module defined on the product of two complex manifolds, we prove that the associated correspondence commutes (in some sense) with the De Rham functor. We apply this result to the study of the classical Laplace transform. The main tools used here are the theory of ind-sheaves and its enhanced version.
Let X be a complex manifold. The classical Riemann-Hilbert correspondence associates to a regular holonomic system M the C-constructible complex of its holomorphic solutions. Denote by t the affine coordinate in the complex projective line. If M is not necessarily regular, we associate to it the ind-R-constructible complex G of tempered holomorphic solutions to the exterior product of M with the D-module associated with the exponential e^t. We conjecture that this provides a Riemann-Hilbert correspondence for holonomic systems. We discuss the functoriality of this correspondence, we prove that…
Consider a complex symplectic manifold $X$ and the algebroid $W_X$ of quantization-deformation. For two regular holonomic modules $L_i$ ($i=0,1$) supported by smooth Lagrangian manifolds, we prove that the complex $Rhom_{W_X}(L_1,L_0)$ is constructible and perverse and dual to the complex $Rhom_{W_X}(L_0,L_1)$.
Stokes shells and Fourier transforms
本文研究代数全纯D-模的Fourier变换在拓扑数据上的诱导作用，引入局部Fourier变换与Stokes壳刻画带Stokes结构局部系统的变换性质，并用扩张概念处理一般情形。
In this manuscript we prove the Bernstein inequality and develop the theory of holonomic D-modules for rings of invariants of finite groups in characteristic zero, and for strongly F-regular finitely generated graded algebras with FFRT in prime characteristic. In each of these cases, the ring itself, its localizations, and its local cohomology modules are holonomic. We also show that holonomic D-modules, in this context, have finite length. We obtain these results using a more general version of Bernstein filtrations.
For a smooth variety $Y$ over a perfect field of positive characteristic, the sheaf $D_Y$ of crystalline differential operators on $Y$ (also called the sheaf of $PD$-differential operators) is known to be an Azumaya algebra over $T^*_{Y'},$ the cotangent space of the Frobenius twist $Y'$ of $Y.$ Thus to a sheaf of modules $M$ over $D_Y$ one can assign a closed subvariety of $T^*_{Y'},$ called the $p$-support, namely the support of $M$ seen as a sheaf on $T^*_{Y'}.$ We study here the family of $p$-supports assigned to the reductions modulo primes $p$ of a holonomic $\mathcal{D}$-module. We prov…
Let X be a smooth complex manifold. Let Sol denote the solution functor for D-modules on X. Traditionally, the fully-faithfulness of Riemann-Hilbert correspondance is proved by showing that if M_1 and M_2 are regular holonomic D_X modules, then the canonical morphism of complexes of sheaves RH_{M_1,M_2} : RHom(M_1,M_2) ---> RHom(Sol(M_2),Sol(M_1)) is an isomorphism, in a derived sense. This paper has to do with the converse statement. We prove that if M is an holonomic D_X module for which RH_{M,M} is an isomorphism, then M is regular.
In this note we sketch a proof of a fundamental conjecture, the codimension-three conjecture, for microdifferential holonomic systems with regular singularities. It states that any regular holonomic E-module extends beyond a codimension-three analytic subset.
Realizations of exponential sheaves and Fourier transform
本文构造了从指数层的相对范畴到全纯（不一定正则）D-模的实现函子，并证明了它们在心上的t-正合性和忠实性，同时发展了与经典傅里叶变换交换的“通用”傅里叶变换，并证明其保持纯度。
Let $\mathcal{M}$ be a holonomic algebraic $\mathcal{D}$-module on the affine line. Its exponential factors are Puiseux germs describing the growth of holomorphic solutions to $\mathcal{M}$ at irregular points. The stationary phase formula states that the exponential factors of the Fourier transform of $\mathcal{M}$ are obtained by Legendre transform from the exponential factors of $\mathcal{M}$. We give a microlocal proof of this fact, by translating it in terms of enhanced ind-sheaves through the Riemann-Hilbert correspondence.
Three results on holonomic D-modules
本文通过局部方法研究了范霍诺尼克D-模的三个关键问题，包括de Rham复形的欧拉特征不变性、局部一般消失定理以及Stokes过滤构造可析sheaf的拉普拉斯变换。
Open Quantum Systems as Regular Holonomic $\mathcal{D}$-Modules: The Mixed Hodge Structure of Spectral Singularities
本文提出将开放量子系统视为正则霍洛尼克D-模，并通过混合Hodge结构描述其谱奇点特性。
We extend to the category of relative regular holonomic modules on a manifold $X$, parametrized by a curve $S$, the Hermitian duality functor (or conjugation functor) of Kashiwara. We prove that this functor is an equivalence with the similar category on the conjugate manifold $\overline X$, parametrized by the same curve. As a byproduct we introduce the notion of regular holonomic relative distribution.
Let X be a complex symplectic manifold. By showing that any Lagrangian subvariety has a unique lift to a contactification, we associate to X a triangulated category of regular holonomic microdifferential modules. If X is compact, this is a Calabi-Yau category of complex dimension dim X+1. We further show that regular holonomic microdifferential modules can be realized as modules over a quantization algebroid canonically associated to X.
Enhanced nearby and vanishing cycles in dimension one and Fourier transform
本文在一维增强反常对象上精确化近邻与消失循环，并利用拓扑方法证明仿射直线上全纯D-模在某点的消失循环同构于其傅里叶-拉普拉斯变换在无穷远处Stokes滤过的相应分次分量。
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 relative constructible complexes is essentially surjective by constructing a right quasi-inverse functor. When restricted to relative $\mathcal D$-modules underlying a regular mixed twistor $\mathcal D$-module, this functor satisfies the left quasi-inverse property.
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 between these two categories generalising the classical Riemann-Hilbert correspondence.
Gauss--Manin connections extend to holonomic coadmissible D-cap-modules
本文证明光滑刚性解析簇上 Gauss--Manin 联络沿 Zariski 开浸入的推出是余容许且全纯的，推广了经典正则奇点定理，并借助 p-adic 方法与对数联络延拓性建立结论。
A holonomic D-module on a complex analytic manifoldadmits always a b-function along any submanifold. If the module is regular, itadmits also a regular b-function, that is a b-function with a condition on the order of the lower terms of the equation.There is a weaker condition of regularity: regularity alonga submanifold. We prove that a module which is regular alonga submanifold admits a regular b-function along this submanifold.
We show that the Fourier-Laplace transform of an irreducible regular differential system on the Riemann sphere underlies, when one only considers the part at finite distance, a polarizable regular twistor $\mathcal{D}$-module. The associated holomorphic bundle out of the origin is therefore equipped with a natural harmonic metric with a tame behaviour near the origin.
This is a survey of M-regularity for coherent sheaves on abelian varieties and its applications, based on lectures given by the second author at the Seattle conference, in August 2005, and at the Luminy GAC workshop in October 2005. Section 3 contains some brief indications of upcoming work.
We define the notions of micro-support and regularity for ind-sheaves, and prove their invariance by contact transformations. We apply the results to the ind-sheaves of temperate holomorphic solutions of D-modules. We prove that the micro-support of such an ind-sheaf is the characteristic variety of the corresponding D-module and that the ind-sheaf is regular if the D-module is regular holonomic.
Let $X$ be an algebraic variety, $f$ a regular function, $j:U\subset X$ the complement to the locus of vanishing of $f$, and $M$ a holonomic D-module on $U$. Consider the $D_U[s]$-module $M\otimes "f^s"$. The goal of this note is to describe all $D_X[s]$-submodules $N\subset j_*(M\otimes "f^s")$ such that $j^*(N)\simeq M\otimes "f^s"$.
Let $X$ be a complex analytic manifold, $D\subset X$ a locally quasi-homogeneous free divisor, $E$ an integrable logarithmic connection with respect to $D$ and $L$ the local system of the horizontal sections of $E$ on $X-D$. In this paper we give an algebraic description in terms of $E$ of the regular holonomic D-module whose de Rham complex is the intersection complex associated with $L$. As an application, we perform some effective computations in the case of quasi-homogeneous plane curves.
We study quotients of the Weyl algebra by left ideals whose generators consist of an arbitrary Z^d-graded binomial ideal I along with Euler operators defined by the grading and a parameter in C^d. We determine the parameters for which these D-modules (i) are holonomic (equivalently, regular holonomic, when I is standard-graded); (ii) decompose as direct sums indexed by the primary components of I; and (iii) have holonomic rank greater than the generic rank. In each of these three cases, the parameters in question are precisely those outside of a certain explicitly described affine subspace arr…
The codimension-three conjecture states that any regular holonomic module extends uniquely beyond an analytic subset with codimension equal to or larger than three. We give a proof of this conjecture.
We introduce new complex analytic integral transforms, the Lisbon Integrals, which naturally arise in the study of the affine space $\mathbb{C}^k$ of unitary polynomials $P_s(z)$ where $s\in\mathbb{C}^k$ and $z\in \mathbb{C}$, $s_i$ identified to the $i-$th symmetric function of the roots of $P_s(z)$. We completely determine the $\mathcal{D}$-modules (or systems of partial differential equations) the Lisbon Integrals satisfy and prove that they are their unique global solutions. If we specify a holomorphic function $f$ in the $z$-variable, our construction induces an integral transform which a…
On the product of a complex manifold $X$ by a complex curve $S$ considered as a parameter space, we show a Riemann-Hilbert correspondence between regular holonomic relative $\mathcal D$-modules (resp. complexes) on the one hand and relative perverse complexes (resp. $S$-$\mathbb{C}$-constructible complexes) on the other hand.
We describe the complex of solutions of the algebraic Mellin transform of a $\mathcal{D}$-module $\mathcal{M}$ in terms of the solutions of $\mathcal{M}$. In order to do that, we define a Mellin functor on sheaves. We show the Mellin transform of the complex of rapid decay solutions of a regular holonomic $\mathcal{D}$-module $\mathcal{M}$ is quasi-isomorphic to the complex of solutions of the algebraic Mellin transform of $\mathcal{M}$, the assumption of regularity not being necessary in the one variable case.
Let $\mathcal M$ be a holonomic algebraic $\mathcal D$-module on the affine line, regular everywhere including at infinity. Malgrange gave a complete description of the Fourier-Laplace transform $\widehat{\mathcal M}$, including its Stokes multipliers at infinity, in terms of the quiver of $\mathcal M$. Let $F$ be the perverse sheaf of holomorphic solutions to $\mathcal M$. By the irregular Riemann-Hilbert correspondence, $\widehat{\mathcal M}$ is determined by the enhanced Fourier-Sato transform $F^\curlywedge$ of $F$. Our aim here is to recover Malgrange's result in a purely topological way,…
Relative Regular Riemann-Hilbert correspondence II
本文发展了任意维参数空间上的相对正则全纯D-模理论，并将其一维情形的相对黎曼-希尔伯特对应推广至一般框架。
The aim of this paper is to study in details the regular holonomic $D-$module introduced in \cite{[B.19]} whose local solutions outside the polar hyper-surface $\{Δ(σ).σ_k = 0 \}$ are given by the local system generated by the local branches of the multivalued function which is the root of the universal degree $k$ equation $z^k + \sum_{h=1}^k (-1)^h.σ_h.z^{k-h} = 0 $. Note that it is surprising that this regular holonomic $D-$module is given by the quotient of $D$ by a left ideal which has very simple explicit generators despite the fact it necessary encodes the analogous systems for any root …
We give the description of the t-structure on the derived category of regular holonomic D-modules corresponding to the trivial t-structure on the derived category of constructible sheaves via Riemann-Hilbert correspondence. We give also the condition for a decreasing sequence of families of supports to give a t-structure on the derived category of coherent O-modules.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。