arXiv subjects
Publications and source records attributed to Kiyoshi Takeuchi.
To establish a basis of the sheaf theoretical study of the Milnor fibers and monodromies of complete intersection varieties, we clarify the structures of the Verdier specialization sheaves associated to them. Assuming the Thom condition in a direction, some basic results on them will be obtained. Then we apply them to obtain formulas for the Euler obstructions of complete intersection varieties having non-isolated singular points.
This survey paper offers a concise introduction to Kashiwara's work on $\mathcal{D}$-modules, microlocal analysis and related subjects. In this way, we explain his role in the development of algebraic analysis.
For a smooth morphism $f: X \longrightarrow \Sigma$ of real analytic manifolds and an $\mathbb{R}$-constructible sheaf $F$ on $X$ satisfying some condition, we define a family of Lagrangian cycles parameterized by $\Sigma$ that we call the relative characteristic cycle of $F$ for $f$. In this way, the theory of characteristic cycles due to Kashiwara and Schapira is naturally extended to the relative setting. Based on it, we then prove a formula for the characteristic cycles of real nearby cycle sheaves. This leads us to obtain also formulas for the characteristic cycles of various constructible sheaves, such as specialization, microlocalization, and complex nearby and vanishing cycle sheaves, in a unified manner. In fact, our methods allow us to calculate not only their characteristic cycles but also their microlocal types in many situations. We will illustrate it by various examples.
Based on the recent progress in the irregular Riemann-Hilbert correspondence for holonomic D-modules, we show that the characteristic cycles of some standard irregular holonomic D-modules can be expressed as in the classical theorem of Ginsburg. For this purpose, we first prove a formula for the enhanced solution complexes of holonomic D-modules having a quasi-normal form, via which, to our surprise, their solution complexes can be calculated more easily by topological methods. In the formulation and the proof of our main theorems, not necessarily homogeneous Lagrangian cycles that we call irregular characteristic cycles will play a crucial role.
Based on the recent developments in the irregular Riemann-Hilbert correspondence for holonomic D-modules and the Fourier-Sato transforms for enhanced ind-sheaves, we study the Fourier transforms of some irregular holonomic D-modules. For this purpose, the singularities of rational and meromorphic functions on complex affine varieties will be studied precisely, with the help of some new methods and tools such as meromorphic vanishing cycle functors. As a consequence, we show that the exponential factors and the irregularities of the Fourier transform of a holonomic D-module are described geometrically by the stationary phase method, as in the classical case of dimension one. A new feature in the higher-dimensional case is that we have some extra rank jump of the Fourier transform produced by the singularities of the linear perturbations of the exponential factors at their points of indeterminacy. In the course of our study, not necessarily homogeneous Lagrangian cycles that we call irregular characteristic cycles will play a crucial role.
Based on the recent progress in the irregular Riemann-Hilbert correspondence, we study the monodromies at infinity of the holomorphic solutions of Fourier transforms of holonomic D-modules in some situations. Formulas for their eigenvalues are obtained by applying the theory of monodromy zeta functions to our previous results on the enhanced solution complexes of the Fourier transforms. In particular, in dimension one we thus find a reciprocity law between the monodromies at infinity of holonomic D-modules and their Fourier transforms.
We introduce the theory of local and global monodromies of polynomials in cohomology groups in various geometric situations, focusing on its relations with toric geometry and motivic Milnor fibers, and moreover in the modern languages of nearby and vanishing cycle functors. Equivariant mixed Hodge numbers of motivic Milnor fibers will be described in terms of Newton polyhedra of polynomials.
We study Fourier transforms of holonomic D-modules on the complex affine line and show that their enhanced solution complexes are described by a twisted Morse theory. We thus recover and even strengthen the well-known formula for their exponential factors i.e. the stationary phase method. Moreover, we define a Lagrangian cycle that we call the irregular characteristic cycle and describe the enhanced solution complex of the Fourier transform by it. In this way, we obtain a new perspective, from which we can geometrically see how the standard properties of holonomic D-modules are transformed via the Fourier transform. In the course of our study, a formula for the (classical) characteristic cycles of the Fourier transforms will be also obtained and natural bases of their holomorphic solutions will be constructed via rapid decay homology cycles.
We define Bernstein-Sato polynomials for meromorphic functions and study their basic properties. In particular, we prove a Kashiwara-Malgrange type theorem on their geometric monodromies, which would be useful also in relation with the monodromy conjecture. A new feature in the meromorphic setting is that we have several b-functions whose roots yield the same set of the eigenvalues of the Milnor monodromies. We introduce also multiplier ideal sheaves for meromorphic functions and show that their jumping numbers are related to our b-functions.
We introduce meromorphic nearby cycle functors and study their functorial properties. Moreover we apply them to monodromies of meromorphic functions in various situations. Combinatorial descriptions of their reduced Hodge spectra and Jordan normal forms will be obtained.
The monodromy conjecture is an umbrella term for several conjectured relationships between poles of zeta functions, monodromy eigenvalues and roots of Bernstein-Sato polynomials in arithmetic geometry and singularity theory. Even the weakest of these relations -- the Denef--Loeser conjecture on topological zeta functions -- is open for surface singularities. We prove it for a wide class of multidimensional singularities that are non-degenerate with respect to their Newton polyhedra, including all such singularities of functions of four variables. A crucial difference from the known case of three variables is the existence of degenerate singularities arbitrarily close to a non-degenerate one. Thus, even aiming at the study of non-degenerate singularities, we have to go beyond this setting. We develop new tools to deal with such multidimensional phenomena, and conjecture how the proof for non-degenerate singularities of arbitrarily many variables might look like.
We study the monodromies and the limit mixed Hodge structures of families of complete intersection varieties over a punctured disk in the complex plane. For this purpose, we express their motivic nearby fibers in terms of the geometric data of some Newton polyhedra. In particular, the limit mixed Hodge numbers and some part of the Jordan normal forms of the monodromies of such a family will be described very explicitly.
The bifurcation sets of polynomial functions have been studied by many mathematicians from various points of view. In particular, Némethi and Zaharia described them in terms of Newton polytopes. In this paper, we will show analogous results for rational functions.
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 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.
We study confluent A-hypergeometric functions introduced by Adolphson. In particular, we give their integral representations by using rapid decay homology cycles of Hien and obtain a formula for the asymptotic expansions at infinity of confluent A-hypergeometric functions.
We characterize bifurcation values of polynomial functions by using the theory of perverse sheaves and their vanishing cycles. In particular, by introducing a method to compute the jumps of the Euler characteristics with compact support of their fibers, we confirm the conjecture of Némethi-Zaharia in many cases.
We prove some vanishing theorems for the cohomology groups of local systems associated to Laurent polynomials. In particular, we extend one of the results of Gelfand-Kapranov-Zelevinsky into various directions.