No Arabic abstract
Nirenberg and Spencer posed the question whether the germ of a compact complex submanifold in a complex manifold is determined by its infinitesimal neighborhood of finite order when the normal bundle is sufficiently positive. To study the problem for a larger class of submanifolds, including free rational curves, we reformulate the question in the setting of families of submanifolds and their infinitesimal neighborhoods. When the submanifolds have no nonzero vector fields, we prove that it is sufficient to consider only first-order neighborhoods to have an affirmative answer to the reformulated question. When the submanifolds do have nonzero vector fields, we obtain an affirmative answer to the question under the additional assumption that submanifolds have certain nice deformation properties, which is applicable to free rational curves. As an application, we obtain a stronger version of the Cartan-Fubini type extension theorem for Fano manifolds of Picard number 1. We also propose a potential application on hyperplane sections of projective K3 surfaces.
We construct a complete proper holomorphic embedding from any strictly pseudoconvex domain with $mathcal{C}^2$-boundary in $mathbb{C}^n$ into the unit ball of $mathbb{C}^N$, for $N$ large enough, thereby answering a question of Alarcon and Forstneric.
We construct holomorphically varying families of Fatou-Bieberbach domains with given centres in the complement of any compact polynomially convex subset $K$ of $mathbb C^n$ for $n>1$. This provides a simple proof of the recent result of Yuta Kusakabe to the effect that the complement $mathbb C^nsetminus K$ of any polynomially convex subset $K$ of $mathbb C^n$ is an Oka manifold. The analogous result is obtained with $mathbb C^n$ replaced by any Stein manifold with the density property.
Alternating current optimal power flow (AC-OPF) is one of the fundamental problems in power systems operation. AC-OPF is traditionally cast as a constrained optimization problem that seeks optimal generation set points whilst fulfilling a set of non-linear equality constraints -- the power flow equations. With increasing penetration of renewable generation, grid operators need to solve larger problems at shorter intervals. This motivates the research interest in learning OPF solutions with neural networks, which have fast inference time and is potentially scalable to large networks. The main difficulty in solving the AC-OPF problem lies in dealing with this equality constraint that has spurious roots, i.e. there are assignments of voltages that fulfill the power flow equations that however are not physically realizable. This property renders any method relying on projected-gradients brittle because these non-physical roots can act as attractors. In this paper, we show efficient strategies that circumvent this problem by differentiating through the operations of a power flow solver that embeds the power flow equations into a holomorphic function. The resulting learning-based approach is validated experimentally on a 200-bus system and we show that, after training, the learned agent produces optimized power flow solutions reliably and fast. Specifically, we report a 12x increase in speed and a 40% increase in robustness compared to a traditional solver. To the best of our knowledge, this approach constitutes the first learning-based approach that successfully respects the full non-linear AC-OPF equations.
A very popular model in machine learning is the feedforward neural network (FFN). The FFN can approximate general functions and mitigate the curse of dimensionality. Here we introduce FFNs which represent sections of holomorphic line bundles on complex manifolds, and ask some questions about their approximating power. We also explain formal similarities between the standard approach to supervised learning and the problem of finding numerical Ricci flat Kahler metrics, which allow carrying some ideas between the two problems.
This paper studies holomorphic semicocycles over semigroups in the unit disk, which take values in an arbitrary unital Banach algebra. We prove that every such semicocycle is a solution to a corresponding evolution problem. We then investigate the linearization problem: which semicocycles are cohomologous to constant semicocycles? In contrast with the case of commutative semicocycles, in the non-commutative case non-linearizable semicocycles are shown to exist. Simple conditions for linearizability are derived and are shown to be sharp.