We consider the Bernstein–Sato polynomial of a locally quasi-homogeneous polynomial $f \in R = \mathbb{C}[x_{1}, x_{2}, x_{3}]$. We construct, in the analytic category, a complex of $\mathscr{D}_{X}[s]$-modules that can be used to compute the $\mathscr{D}_{X}[s]$-dual of $\mathscr{D}_{X}[s] f^{s-1}$ as the middle term of a short exact sequence where the outer terms are well understood. This extends a result by Narváez Macarro where a freeness assumption was required. We derive many results about the zeros of the Bernstein–Sato polynomial. First, we prove each nonvanishing degree of the zeroth local cohomology of the Milnor algebra $H_{\mathfrak{m}}^{0} (R / (\partial f))$ contributes a root to the Bernstein–Sato polynomial, generalizing a result of M. Saito (where the argument cannot weaken homogeneity to quasi-homogeneity). Second, we prove the zeros of the Bernstein–Sato polynomial admit a partial symmetry about $-1$, extending a result of Narváez Macarro that again required freeness. We give applications to very small roots, the twisted logarithmic comparison theorem, and more precise statements when f is additionally assumed to be homogeneous. Finally, when f defines a hyperplane arrangement in $\mathbb{C}^{3}$ we give a complete formula for the zeros of the Bernstein–Sato polynomial of f. We show all zeros except the candidate root $-2 + (2 / \deg(f))$ are (easily) combinatorially given; we give many equivalent characterizations of when the only noncombinatorial candidate root $-2 + (2/ \deg(f))$ is in fact a zero of the Bernstein–Sato polynomial. One equivalent condition is the nonvanishing of $H_{\mathfrak{m}}^{0}( R / (\partial f))_{\deg(f) - 1}$.

In this paper, we present an extension theorem which is equivalent to an injectivity theorem on the cohomology groups of vector bundles equipped with singular Hermitian metrics over holomorphically convex Kähler manifolds.

Let $B(\Omega )$ be a Banach space of holomorphic functions on a bounded connected domain $\Omega $ in ${{\mathbb C}^n}$. In this paper, we establish a criterion for $B(\Omega )$ to be reflexive via evaluation functions on $B(\Omega )$, that is, $B(\Omega )$ is reflexive if and only if the evaluation functions span the dual space $(B(\Omega ))^{*} $.

The notion of indicator of an analytic function, that describes the function’s growth along rays, was introduced by Phragmen and Lindelöf. Trigonometric convexity is a defining property of the indicator. For multivariate cases, an analogous property of trigonometric convexity was not known so far. We prove the property of trigonometric convexity for the indicator of multivariate analytic functions, introduced by Ivanov. The results that we obtain are sharp. Derivation of a multidimensional analogue of the inverse Fourier transform in a sector and obtaining estimates on its decay is an important step of our proof.

The Nevanlinna-type spaces $N_\varphi $ of analytic functions on the disk in the complex plane generated by strongly convex functions $\varphi $ in the sense of Rudin are studied. We show for some special class of strongly convex functions asymptotic bounds on the growth of the Taylor coefficients of a function in $N_\varphi $ and use these to characterize the coefficient multipliers from $N_\varphi $ into the Hardy spaces $H^p$ with $0<p\leqslant \infty $. As a by-product, we prove a representation of continuous linear functionals on $N_\varphi $.

We develop the theory of relative regular holonomic $\mathcal {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 relative Riemann–Hilbert correspondence proved in a previous work in the one-dimensional case.

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 also be useful 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 also introduce multiplier ideal sheaves for meromorphic functions and show that their jumping numbers are related to our b-functions.

A subset ${\mathcal D}$ of a domain $\Omega \subset {\mathbb C}^d$ is determining for an analytic function $f:\Omega \to \overline {{\mathbb D}}$ if whenever an analytic function $g:\Omega \rightarrow \overline {{\mathbb D}}$ coincides with f on ${\mathcal D}$, equals to f on whole $\Omega $. This note finds several sufficient conditions for a subset of the symmetrized bidisk to be determining. For any $N\geq 1$, a set consisting of $N^2-N+1$ many points is constructed which is determining for any rational inner function with a degree constraint. We also investigate when the intersection of the symmetrized bidisk intersected with some special algebraic varieties can be determining for rational inner functions.

Let $(\mathbb {D}^2,\mathscr {F},\{0\})$ be a singular holomorphic foliation on the unit bidisc $\mathbb {D}^2$ defined by the linear vector field

$$ \begin{align*} z \frac{\partial}{\partial z}+ \unicode{x3bb} w \frac{\partial}{\partial w}, \end{align*} $$

where $\unicode{x3bb} \in \mathbb {C}^*$. Such a foliation has a non-degenerate singularity at the origin ${0:=(0,0) \in \mathbb {C}^2}$. Let T be a harmonic current directed by $\mathscr {F}$ which does not give mass to any of the two separatrices $(z=0)$ and $(w=0)$. Assume $T\neq 0$. The Lelong number of T at $0$ describes the mass distribution on the foliated space. In 2014 Nguyên (see [16]) proved that when $\unicode{x3bb} \notin \mathbb {R}$, that is, when $0$ is a hyperbolic singularity, the Lelong number at $0$ vanishes. Suppose the trivial extension $\tilde {T}$ across $0$ is $dd^c$-closed. For the non-hyperbolic case $\unicode{x3bb} \in \mathbb {R}^*$, we prove that the Lelong number at $0$:

1. (1) is strictly positive if $\unicode{x3bb}>0$;

2. (2) vanishes if $\unicode{x3bb} \in \mathbb {Q}_{<0}$;

3. (3) vanishes if $\unicode{x3bb} <0$ and T is invariant under the action of some cofinite subgroup of the monodromy group.

In 1977, Gauduchon proved that on every compact hermitian manifold $(X, \omega )$ there exists a conformally equivalent hermitian metric $\omega _\mathrm {G}$ which satisfies $\mathrm {dd}^{\mathrm {c}} \omega _\mathrm {G}^{n-1} = 0$. In this note, we extend this result to irreducible compact singular hermitian varieties which admit a smoothing.

We develop a dimension theory for coadmissible $\widehat {\mathcal {D}}$-modules on rigid analytic spaces and study those which are of minimal dimension, in analogy to the theory of holonomic $\mathcal {D}$-modules in the algebraic setting. We discuss a number of pathologies contained in this subcategory (modules of infinite length, infinite-dimensional fibres). We prove stability results for closed immersions and the duality functor, and show that all higher direct images of integrable connections restricted to a Zariski open subspace are coadmissible of minimal dimension. It follows that the local cohomology sheaves $\underline {H}^{i}_Z(\mathcal {M})$ with support in a closed analytic subset $Z$ of $X$ are also coadmissible of minimal dimension for any integrable connection $\mathcal {M}$ on $X$.

We establish some cohomological bounds in $D$-module theory that are known in the holonomic case and folklore in general. The method rests on a generalization of the $b$-function lemma for non-holonomic $D$-modules.

We generalize Radó’s extension theorem from the complex plane to reduced complex spaces.

For a commutative ring R, we define the notions of deformed Picard algebroids and deformed twisted differential operators on a smooth, separated, locally of finite type R-scheme and prove these are in a natural bijection. We then define the pullback of a sheaf of twisted differential operators that reduces to the classical definition when R = ℂ. Finally, for modules over twisted differential operators, we prove a theorem for the descent under a locally trivial torsor.

We study Fourier transforms of regular holonomic ${\mathcal{D}}$-modules. In particular, we show that their solution complexes are monodromic. An application to direct images of some irregular holonomic ${\mathcal{D}}$-modules will be given. Moreover, we give a new proof of the classical theorem of Brylinski and improve it by showing its converse.

We consider a family $M_{t}^{3}$, with $t>1$, of real hypersurfaces in a complex affine three-dimensional quadric arising in connection with the classification of homogeneous compact simply connected real-analytic hypersurfaces in $\mathbb{C}^{n}$ due to Morimoto and Nagano. To finalize their classification, one needs to resolve the problem of the Cauchy–Riemann (CR)-embeddability of $M_{t}^{3}$ in $\mathbb{C}^{3}$. In our earlier article, we showed that $M_{t}^{3}$ is CR-embeddable in $\mathbb{C}^{3}$ for all $1<t<\sqrt{(2+\sqrt{2})/3}$. In the present paper, we prove that $M_{t}^{3}$ can be immersed in $\mathbb{C}^{3}$ for every $t>1$ by means of a polynomial map. In addition, one of the immersions that we construct helps simplify the proof of the above CR-embeddability theorem and extend it to the larger parameter range $1<t<\sqrt{5}/2$.

We determine the irregular Hodge filtration, as introduced by Sabbah, for the purely irregular hypergeometric ${\mathcal{D}}$-modules. We obtain, in particular, a formula for the irregular Hodge numbers of these systems. We use the reduction of hypergeometric systems from GKZ-systems as well as comparison results to Gauss–Manin systems of Laurent polynomials via Fourier–Laplace and Radon transformations.

Let X ⊂ ℂn be an equidimensional complex algebraic set and let f: X → ℂ be a polynomial function. For each c ∈ ℂ, we define the global Brasselet number of f at c, a global counterpart of the Brasselet number defined by the authors in a previous work, and the Brasselet number at infinity of f at c. Then we establish several formulas relating these numbers to the topology of X and the critical points of f.

This paper deals with the analysis of the singularities arising from the solutions of the problem ${-}\,{\rm Curl\ } F=\mu $, where F is a 3 × 3 matrix-valued Lp-function ($1\les p<2$) and μ a 3 × 3 matrix-valued Radon measure concentrated in a closed loop in Ω ⊂ ℝ3, or in a network of such loops (as, for instance, dislocation clusters as observed in single crystals). In particular, we study the topological nature of such dislocation singularities. It is shown that $F=\nabla u$, the absolutely continuous part of the distributional gradient Du of a vector-valued function u of special bounded variation. Furthermore, u can also be seen as a multi-valued field, that is, can be redefined with values in the three-dimensional flat torus 𝕋3 and hence is Sobolev-regular away from the singular loops. We then analyse the graphs of such maps represented as currents in Ω × 𝕋3 and show that their boundaries can be written in term of the measure μ. Readapting some well-known results for Cartesian currents, we recover closure and compactness properties of the class of maps with bounded curl concentrated on dislocation networks. In the spirit of previous work, we finally give some examples of variational problems where such results provide existence of solutions.

In this paper, we discuss the properties of the embedding operator $i_{\unicode[STIX]{x1D707}}^{\unicode[STIX]{x1D6EC}}:M_{\unicode[STIX]{x1D6EC}}^{\infty }{\hookrightarrow}L^{\infty }(\unicode[STIX]{x1D707})$, where $\unicode[STIX]{x1D707}$ is a positive Borel measure on $[0,1]$ and $M_{\unicode[STIX]{x1D6EC}}^{\infty }$ is a Müntz space. In particular, we compute the essential norm of this embedding. As a consequence, we recover some results of the first author. We also study the compactness (resp. weak compactness) and compute the essential norm (resp. generalized essential norm) of the embedding $i_{\unicode[STIX]{x1D707}_{1},\unicode[STIX]{x1D707}_{2}}:L^{\infty }(\unicode[STIX]{x1D707}_{1}){\hookrightarrow}L^{\infty }(\unicode[STIX]{x1D707}_{2})$, where $\unicode[STIX]{x1D707}_{1}$, $\unicode[STIX]{x1D707}_{2}$ are two positive Borel measures on [0, 1] with $\unicode[STIX]{x1D707}_{2}$ absolutely continuous with respect to $\unicode[STIX]{x1D707}_{1}$.