2024-08-09 | | Total: 6

The original Riemann-Hilbert problem asks to find a Fuchsian ordinary differential equation with prescribed singularities and monodromy in the complex line. In the early 1980's Kashiwara solved a generalized version of the problem, valid on complex manifolds of any dimension. He presented it as a correspondence between regular holonomic D-modules and perverse sheaves. The analogous problem where one drops the regularity condition remained open for about thirty years. We solved it in the paper that received a 2024 Frontiers of Science Award. Our construction requires in particular an enhancement of the category of perverse sheaves. Here, using some examples in dimension one, we wish to convey the gist of the main ingredients used in our work. This is a written account of a talk given by the first named author at the International Congress of Basic Sciences on July 2024 in Beijing.

For a rational function $\phi$ on $\mathbb{P}^1$ defined over an algebraically closed and complete non-archimedean non-trivially valued field $K$, we introduce the intrinsic reduction at each point in the Berkovich projective line and the directionwise intrinsic depth of it. After discussing the relationship between such an intrinsic reduction of $\phi$ and the classical reduction of $\phi$ modulo $K^{\circ\circ}$, we give as applications an intrinsic proof of Rumely's moduli theoretic characterization of the minimum resultant locus and a direct proof of the degenerating limit theorem of DeMarco--Faber for a meromorphic family of complex rational functions.

A topological space (not necessarily simply connected) is said to have finite homotopy rank-sum if the sum of the ranks of all higher homotopy groups (from the second homotopy group onward) is finite. In this article, we characterize the smooth compact complex Kaehler surfaces having finite homotopy rank-sum. We also prove the Steinness of the universal cover of these surfaces assuming holomorphic convexity of the universal cover.

Let $\mathcal{H}$ be the class of all analytic self-maps of the open unit disk $\mathbb{D}$. Denote by $H^n f(z)$ the $n$-th order hyperbolic derivative of $f\in \mathcal H$ at $z\in \mathbb{D}$. For $z_0\in \mathbb{D}$ and $\gamma = (\gamma_0, \gamma_1 , \ldots , \gamma_{n-1}) \in {\mathbb D}^{n}$, let ${\mathcal H} (\gamma) = \{f \in {\mathcal H} : f (z_0) = \gamma_0,H^1f (z_0) = \gamma_1,\ldots ,H^{n-1}f (z_0) = \gamma_{n-1} \}$. In this paper, we determine the variability region $V(z_0, \gamma ) = \{ f^{(n)}(z_0) : f \in {\mathcal H} (\gamma) \}$, which can be called ``the generalized Schwarz-Pick Lemma of $n$-th derivative". We then apply the generalized Schwarz-Pick Lemma to establish a $n$-th order Dieudonn\'e's Lemma, which provides an explicit description of the variability region $\{h^{(n)}(z_0): h\in \mathcal{H}, h(0)=0,h(z_0) =w_0, h'(z_0)=w_1,\ldots, h^{(n-1)}(z_0)=w_{n-1}\}$ for given $z_0$, $w_0$, $w_1,\dots,w_{n-1}$. Moreover, we determine the form of all extremal functions.

Let $\sigma : \mathbb C^d \rightarrow \mathbb C^d$ be an affine-linear involution such that $J_\sigma = -1$ and let $U, V$ be two domains in $\mathbb C^d$ with $U$ being $\sigma$-invariant. Let $\phi : U \rightarrow V$ be a $\sigma$-invariant $2$-proper map such that $J_\phi$ is affine-linear and let $\mathscr H(U)$ be a $\sigma$-invariant reproducing kernel Hilbert space of complex-valued holomorphic functions on $U.$ It is shown that the space $\mathscr H_\phi(V):=\{f \in \mathrm{Hol}(V) : J_\phi \cdot f \circ \phi \in \mathscr H(U)\}$ endowed with the norm $\|f\|_\phi :=\|J_\phi \cdot f \circ \phi\|_{\mathscr H(U)}$ is a reproducing kernel Hilbert space and the linear mapping $\varGamma_\phi$ defined by $ \varGamma_\phi(f) = J_\phi \cdot f \circ \phi,$ $f \in \mathrm{Hol}(V),$ is a unitary from $\mathscr H_\phi(V)$ onto $\{f \in \mathscr H(U) : f = -f \circ \sigma\}.$ Moreover, a neat formula for the reproducing kernel $\kappa_{\phi}$ of $\mathscr H_\phi(V)$ in terms of the reproducing kernel of $\mathscr H(U)$ is given. The above scheme is applicable to symmetrized bidisc, tetrablock, $d$-dimensional fat Hartogs triangle and $d$-dimensional egg domain. This recovers some known results. Our result not only yields a candidate for Hardy spaces but also an analog of von Neumann's inequality for contractive tuples naturally associated with these domains. Unlike the existing techniques, we capitalize on the methods from several complex variables.

We establish general sufficient conditions for exact (and global) regularity in the $\bar\partial$-Neumann problem on $(p,q)$-forms, $0 \leq p \leq n$ and $1\leq q \leq n$, on a pseudoconvex domain $\Omega$ with smooth boundary $b\Omega$ in an $n$-dimensional complex manifold $M$. Our hypotheses include two assumptions: 1) $M$ admits a function that is strictly plurisubharmonic acting on $(p_0,q_0)$-forms in a neighborhood of $b\Omega$ for some fixed $0 \leq p_0 \leq n$, $1 \leq q_0 \leq n$, or $M$ is a K\"ahler metric whose holomorphic bisectional curvature acting $(p,q)$-forms is positive; and 2) there exists a family of vector fields $T_\epsilon$ that are transverse to the boundary $b\Omega$ and generate one forms, which when applied to $(p,q)$-forms, $0 \leq p \leq n$ and $q_0 \leq q \leq n$, satisfy a "weak form" of the compactness estimate. We also provide examples and applications of our main theorems.