TL;DR: A survey on the homotopy principle in complex analysis on Stein manifolds, also called the Oka principle in this context, can be found in this paper, where the authors concentrate on the following topics: the classification of holomorphic vector bundles, the homotropic principle for holomorphic mappings from Stein manifold and, more generally, for sections of homomorphic submersions with sprays, question on removability of intersections of holomorph mappings with complex subvarieties, embeddings and immersions of Stein manifold in affine spaces of minimal dimension
Abstract: This is a survey on the homotopy principle in complex analysis on Stein manifolds, also called the Oka principle in this context. We concentrate on the following topics: the Oka-Grauert principle (classification of holomorphic vector bundles); the homotopy principle for holomorphic mappings from Stein manifolds and, more generally, for sections of holomorphic submersions with sprays; question on removability of intersections of holomorphic mappings with complex subvarieties; embeddings and immersions of Stein manifolds in affine spaces of minimal dimension; embeddings of open Riemann surfaces in the affine plane; noncritical holomorphic functions on Stein manifolds and the Oka principle for holomorphic submersions of Stein manifolds to affine spaces.
TL;DR: In this article, the Dirichlet energy was used to construct the wedge product of positive closed currents under a very weak additional condition on the map and the resulting measure is invariant and mixing, and its Lyapunov exponents are finite and non-zero.
Abstract: When a birational surface map is expanding on cohomology there is a canonical way to associate positive closed currents to the map and its inverse. In this paper we use a version of Dirichlet energy to construct the wedge product of these two currents under a very weak additional condition on the map. We show that the resulting measure is invariant and mixing, and we establish that its Lyapunov exponents are finite and non-zero.
TL;DR: In this paper, the biorthogonal polynomials that appear in the theory of coupled random matrices via a Riemann-Hilbert problem are characterized.
Abstract: We characterize the biorthogonal polynomials that appear in the theory of coupled random matrices via a Riemann-Hilbert problem. Our Riemann-Hilbert problem is different from the ones that were proposed recently by Ercolani and McLaughlin, Kapaev, and Bertola et al. We believe that our formulation may be tractable to asymptotic analysis.
TL;DR: In this article, the authors embed the category of complex manifolds into the simplicial category of prestacks on simplicial site of Stein manifolds, a prestack being a contravariant simplicial functor from the site of a Stein manifold to a simplicial set of simplicial sets.
Abstract: We embed the category of complex manifolds into the simplicial category of prestacks on the simplicial site of Stein manifolds, a prestack being a contravariant simplicial functor from the site to the category of simplicial sets. The category of prestacks carries model structures, one of them defined for the first time here, which allow us to develop "holomorphic homotopy theory". More specifically, we use homotopical algebra to study lifting and extension properties of holomorphic maps, such as those given by the Oka Principle. We prove that holomorphic maps satisfy certain versions of the Oka Principle if and only if they are fibrations in suitable model structures. We are naturally led to a simplicial, rather than a topological, approach, which is a novelty in analysis.
TL;DR: In this article, the flat chaotic analytic zero points (i.e. zeroes of a random entire function whose Taylor coefficients are independent complex-valued Gaussian random variables, and the variance of the k-th coefficient is 1/k!) can be regarded as a random perturbation of a lattice in the plane.
Abstract: We show that the flat chaotic analytic zero points (i.e. zeroes of a random entire function whose Taylor coefficients are independent complex-valued Gaussian random variables, and the variance of the k-th coefficient is 1/k!) can be regarded as a random perturbation of a lattice in the plane. The distribution of the distances between the zeroes and the lattice points is shift-invariant and has a Gaussian-type decay of the tails.
TL;DR: In this paper, the relation between the local Euler obstruction of a holomorphic function and different generalizations of the Milnor number for functions on singular spaces was determined, where the relation was shown to be independent of the holomorphic complexity of the function.
Abstract: We determine the relation between the local Euler obstruction $Eu_f$ of a holomorphic function $f$ and different generalizations of the Milnor number for functions on singular spaces.
TL;DR: In this article, a necessary and sufficient condition on the decay of the radii of the little disks for the exterior boundary to have a positive harmonic measure is given, and the authors describe sampling and interpolating sequences for Bergman spaces in terms of the harmonic measure on such ''champagne subdomains''.
Abstract: We study two problems concerning harmonic measure on "champagne subdomains" of the unit disk. These domains are obtained by removing from the unit disk little disks around sequences of points with a uniform distribution with respect to the pseudohyperbolic metric of the unit disk. We find (I) a necessary and sufficient condition on the decay of the radii of the little disks for the exterior boundary to have positive harmonic measure, and (II) describe sampling and interpolating sequences for Bergman spaces in terms of the harmonic measure on such ``champagne subdomains''.
TL;DR: In this paper, it was shown that every formal embedding sending a real-analytic strongly pseudoconvex hypersurface in $M\subset \C^N$ into another such hypergraph in $m' √ n+1} is convergent, provided either the embedding is CR transversal or the target hypersurground does not contain any complex curves.
Abstract: We show that every formal embedding sending a real-analytic strongly pseudoconvex hypersurface in $M\subset \C^N$ into another such hypersurface in $M'\subset \C^{N+1}$ is convergent. More generally, if $M$ and $M'$ are merely Levi-nondegenerate, the same conclusion holds for any formal embedding provided either that the embedding is CR transversal or the target hypersurface does not contain any complex curves.
TL;DR: In this article, a survey on Valiron's Theorem about the convergence prop- erties of orbits of analytic self-maps of the disk of hyperbolic type and related questions in one and several variables is presented.
Abstract: This is a survey on Valiron's Theorem about the convergence prop- erties of orbits of analytic self-maps of the disk of hyperbolic type and related questions in one and several variables.
TL;DR: In this article, a lower estimate for the Kobayashi-Royden infinitesimal pseudometric on an almost complex manifold admitting a bounded strictly plurisubharmonic function was established.
Abstract: We establish a lower estimate for the Kobayashi-Royden infinitesimal pseudometric on an almost complex manifold $(M,J)$ admitting a bounded strictly plurisubharmonic function. We apply this result to study the boundary behaviour of the metric on a strictly pseudoconvex domain in $M$ and to give a sufficient condition for the complete hyperbolicity of a domain in $(M,J)$. Finally we obtain the regularity up to the bounday of $J$-holomorphic discs attached to a totally real submanifold in $M$.
TL;DR: In this article, the authors give an exact formula for the Szego kernel as a Fourier multiplier M applied to the pull back of the projective kernel of projective space under a monomial embedding.
Abstract: Harmonic analysis on a toric Kahler variety (M,!) refers to the orthonormal basis of eigenfunctions of the (C � ) m action on the spaces H 0 (M,L N ) of holomorphic sections of powers of the positive line bundle L → M with c1(L) = (!), and the Fourier multipliers that act on them. Using this harmonic analysis, we give an exact formula for the Szego kernel as a Fourier multiplier M applied to the pull back of the Szego kernel of projective space under a monomial embedding. The Fourier multiplier M involves a partition function of the convex lattice polytope P associated to M. We further prove that M is a Toeplitz operator, and as a corollary we obtain an oscillatory integral formula for the charactersNP of the torus action on H 0 (M,L N ).
TL;DR: In this article, the existence of stationary discs in the ball for small almost complex deformations of the standard structure is proved and a local analogue of the Riemann map is defined.
Abstract: We prove the existence of stationary discs in the ball for small almost complex deformations of the standard structure. We define a local analogue of the Riemann map and establish its main properties. These constructions are applied to study the local geometry of almost complex manifolds and their morphisms.
TL;DR: For every non-negative integer d, there exist differential equations w''+Pw=0, where P is a polynomial of degree d, such that some non-trivial solution w has all zeros real as mentioned in this paper.
Abstract: We show that for every non-negative integer d, there exist differential equations w''+Pw=0, where P is a polynomial of degree d, such that some non-trivial solution w has all zeros real.
TL;DR: In this paper, it was shown that the universal Teichmuller space T(1) carries a new structure of a complex Hilbert manifold, and the connected component of the identity, the Hilbert submanifold T(0}(1), is a topological group.
Abstract: We prove that the universal Teichmuller space T(1) carries a new structure of a complex Hilbert manifold. We show that the connected component of the identity of T(1), the Hilbert submanifold T_{0}(1), is a topological group. We define a Weil-Petersson metric on T(1) by Hilbert space inner products on tangent spaces, compute its Riemann curvature tensor, and show that T(1) is a Kahler-Einstein manifold with negative Ricci and sectional curvatures. We introduce and compute Mumford-Miller-Morita characteristic forms for the vertical tangent bundle of the universal Teichmuller curve fibration over the universal Teichmuller space. As an application, we derive Wolpert curvature formulas for the finite-dimensional Teichmuller spaces from the formulas for the universal Teichmuller space.
TL;DR: In this paper, a geometric interpretation of the wedge product of positive closed laminar currents is given by intersecting the disks filling up the currents, and it is shown that these disks intersect geometrically provided they have continuous potentials.
Abstract: We try to find a geometric interpretation of the wedge product of positive closed laminar currents in $\mathbb{C}^2$. We say such a wedge product is geometric if it is given by intersecting the disks filling up the currents.
Uniformly laminar currents do always intersect geometrically in this sense. We also introduce a class of ``strongly approximable'' laminar currents, natural from the dynamical point of view, and prove that such currents intersect geometrically provided they have continuous potentials.
TL;DR: In this article, a generalization of the Hua integral is computed; the result shows the existence of a special polynomial with integer or half-integer coefficients, attached to each irreducible bounded symmetric domain.
Abstract: We introduce two classes of "egg type" domains, built on general bounded symmetric domains, for which we compute the Bergmann kernel in explicit form. We use the characterization of bounded symmetric domains through Jordan triple systems. The egg type domains are defined using the generic norm. A generalization of the Hua integral is computed; the result shows the existence of a special polynomial with integer or half-integer coefficients, attached to each irreducible bounded symmetric domain.
TL;DR: In this paper, the authors introduce a countable collection of positivity classes for Hermitian symmetric functions on a complex manifold, and establish their basic properties, including the notion of stability, and show that if the underlying matrix of coefficients of an entire symmetric function has at most k positive eigenvalues, then it can lie in the k-th positivity class only if it is a squared norm.
Abstract: We introduce a countable collection of positivity classes for Hermitian symmetric functions on a complex manifold, and establish their basic properties. We study a related notion of stability. The first main result shows that, if the underlying matrix of coefficients of an entire Hermitian symmetric function has at most k positive eigenvalues, then it can lie in the k-th positivity class only if it is a squared norm. We establish a similar result for Hermitian symmetric functions on the total space of a holomorphic line bundle. Finally we study the positivity classes for a natural one-parameter family of Hermitian metrics on a power of the universal bundle over complex projective space; we obtain sharp information about the parameter values in order to be in the k-th class. The paper closes with some additional information about the case when k is 2, where a nonlinear version of the Cauchy-Schwarz inequality arises.
TL;DR: In this paper, a complete study of backward iteration sequences with bounded hyperbolic steps for analytic self-maps of the disk is presented, which reveal more information about the map itself.
Abstract: A lot is known about the forward iterates of an analytic function which is bounded by 1 in modulus on the unit disk. The Denjoy-Wolff Theorem describes their convergence properties and several authors, from the 1880's to the 1980's, have provided conjugations which yield very precise descriptions of the dynamics. Backward-iteration sequences are of a different nature because a point could have infinitely many preimages as well as none. However, if we insist in choosing preimages that are at a finite hyperbolic distance each time, we obtain sequences which have many similarities with the forward-iteration sequences, and which also reveal more information about the map itself. In this note we try to present a complete study of backward-iteration sequences with bounded hyperbolic steps for analytic self-maps of the disk.
TL;DR: In this paper, the Riccati equation is expressed in terms of the hypergeometric function and the solution of the Painleve equation is described by a special separatrix solution.
Abstract: Hexagonal circle patterns with constant intersection angles mimicking holomorphic maps z^c and log(z) are studied. It is shown that the corresponding circle patterns are immersed and described by special separatrix solutions of discrete Painleve and Riccati equations. The general solution of the Riccati equation is expressed in terms of the hypergeometric function. Global properties of these solutions, as well as of the discrete z^c and log(z), are established.
TL;DR: In this article, the authors deduce a direct proof of the analytical invariance of the normalized characteristic exponents of the generalized Newton-Puiseux exponents for complex quasi-ordinary hypersurfaces.
Abstract: We associate to any irreducible germ S of complex quasi-ordinary hypersurface an analytically invariant semigroup. We deduce a direct proof (without passing through their embedded topological invariance) of the analytical invariance of the normalized characteristic exponents. These exponents generalize the generic Newton-Puiseux exponents of plane curves. Incidentally, we give a toric description of the normalization morphism of the germ S.
TL;DR: The boundary of the nonnegative trigonometric polynomials from the algebraic point of view was studied in this paper, where it was shown that it is a subset of an irreducible algebraic hypersurface.
Abstract: We study the boundary of the nonnegative trigonometric polynomials from the algebraic point of view In particularly, we show that it is a subset of an irreducible algebraic hypersurface and established its explicit form in terms of resultants
TL;DR: In this paper, the authors determine the asymptotics of the joint eigenfunctions of the torus action on a toric Kahler variety and show that they behave like Gaussians centered at the corresponding classical torus, and that there is a universal Gaussian scaling limit of the distribution function near its center.
Abstract: We determine the asymptotics of the joint eigenfunctions of the torus action on a toric Kahler variety. Such varieties are models of completely integrable systems in complex geometry. We first determine the pointwise asymptotics of the eigenfunctions, which show that they behave like Gaussians centered at the corresponding classical torus. We then show that there is a universal Gaussian scaling limit of the distribution function near its center. We also determine the limit distribution for the tails of the eigenfunctions on large length scales. These are not universal but depend on the global geometry of the toric variety and in particular on the details of the exponential decay of the eigenfunctions away from the classically allowed set.
TL;DR: In this paper, it was shown that the boundary of the class of locally univalent polynomials in $U$ is contained in the union of three irreducible algebraic surfaces.
Abstract: The complex moment sequence m(P) is assigned to a univalent polynomial P by the Cauchy transform of the P(D), where D is the unit disk. We establish the representation of the Jacobian det dm(P) in terms of roots of the derivative P'. Combining this result with the special decomposition for the Hurwitz determinants, we prove a formula for the Jacobian which was previously conjectured by C. Ullemar. As a consequence, we show that the boundary of the class of all locally univalent polynomials in $U$ is contained in the union of three irreducible algebraic surfaces.
TL;DR: In this paper, the authors give a generalisation of the theory of optimal destabilizing 1-parameter subgroups to non-algebraic complex geometry, and show that the system of semistable quotients associated with the classical Harder-Narasimhan filtration of a non-semistable bundle can be recovered as the limit object in the direction given by the optimal destabilising vector of $\EE$.
Abstract: We give a generalisation of the theory of optimal destabilizing 1-parameter subgroups to non-algebraic complex geometry. Consider a holomorphic action $G\times F\to F$ of a complex reductive Lie group $G$ on a finite dimensional (possibly non-compact) K\"ahler manifold $F$. Using a Hilbert type criterion for the (semi)stability of symplectic actions, we associate to any non semistable point $f\in F$ a unique optimal destabilizing vector in $\g$ and then a naturally defined point $f_0$ which is semistable for the action of a certain reductive subgroup of $G$ on a submanifold of $F$. We get a natural stratification of $F$ which is the analogue of the Shatz stratification for holomorphic vector bundles. In the last chapter we show that our results can be generalized to the gauge theoretical framework: first we show that the system of semistable quotients associated with the classical Harder-Narasimhan filtration of a non-semistable bundle $\EE$ can be recovered as the limit object in the direction given by the optimal destabilizing vector of $\EE$. Second, we extend this principle to holomorphic pairs: we give the analogue of the Harder-Narasimhan theorem for this moduli problem and we discuss the relation between the Harder-Narasimhan filtration of a non-semistable holomorphic pair and its optimal destabilizing vector.
TL;DR: In this article, it was shown that if a meromorphic function has two completely invariant Fatou components and only finitely many critical and asymptotic values, then its Julia set is a Jordan curve.
Abstract: We show that if a meromorphic function has two completely invariant Fatou components and only finitely many critical and asymptotic values, then its Julia set is a Jordan curve. However, even if both domains are attracting basins, the Julia set need not be a quasicircle. We also show that all critical and asymptotic values are contained in the two completely invariant components. This need not be the case for functions with infinitely many critical and asymptotic values.
TL;DR: A weakly holomorphic subbundle of a Hermitian vector bundle can be metrically and differentiably defined by the orthogonal projection onto this sub-bundle as mentioned in this paper.
Abstract: A subbundle of a Hermitian vector bundle $(E, h)$ can be metrically and differentiably defined by the orthogonal projection onto this subbundle. A weakly holomorphic subbundle of a Hermitian holomorphic bundle is, by definition, an orthogonal projection $\pi$ lying in the Sobolev space $L^2_1$ of $L^2$ sections with $L^2$ first order derivatives in the sense of distributions, which satisfies furthermore $(\mathrm{Id}-\pi)\circ D''\pi=0$. We give a new simple proof of the fact that a weakly holomorphic subbundle of $(E, h)$ defines a coherent subsheaf of ${\cal O}(E),$ that is a holomorphic subbundle of $E$ in the complement of an analytic set of codimension $\geq 2.$ This result was the crucial technical argument in Uhlenbeck's and Yau's proof of the Kobayashi-Hitchin correspondence on compact K\"ahler manifolds. We give here a much simpler proof based on current theory. The idea is to construct local meromorphic sections of $\mathrm{Im} \pi$ which locally span the fibers. We first make this construction on every one-dimensional submanifold of $X$ and subsequently extend it via a Hartogs-type theorem of Shiffman's.
TL;DR: In this article, it was shown that the integral over the boundary of the coefficient of the logarithmic singularity gives a biholomorphic invariant of a domain, or a CR invariant on the boundary.
Abstract: The Szego kernel of a strictly pseudoconvex domain admits a singularity on the boundary diagonal, which consists of a pole and logarithmic type singularity. In this paper, we prove that the integral over the boundary of the coefficient of the logarithmic singularity gives a biholomorphic invariant of a domain, or a CR invariant of the boundary. We also show that the same invariant appears as the coefficient of the logarithmic term of the volume expansion of the domain with respect to the Bergman volume element.
TL;DR: In this article, the authors give a complete description of the pluripolar hull in D X C of the graph of a holomorphic function defined on D A. They prove for pluriharmonic measure certain semi-continuity properties and a localization principle.
Abstract: Let A be a closed polar subset of a domain D in the complex plane C. We give a complete description of the pluripolar hull in D X C of the graph of a holomorphic function defined on D A. To achieve this, we prove for pluriharmonic measure certain semi-continuity properties and a localization principle.
TL;DR: In this paper, it was shown that for every countable subset S in an irreducible complex space X there exists a holomorphic map from the unit disk to X such that S is contained in the image.
Abstract: We construct certain non-degenerate maps and sets, mainly in the complex-analytic category. For example, we show that for every countable subset S in an irreducible complex space X there exists a holomorphic map from the unit disk to X such that S is contained in the image. Furthermore, given an irreducible complex space X, there is always an infinite subset S such that for every proper analytic subspace Z of X the intersection of S with Z is finite.
TL;DR: In this article, the authors proved the hyperbolicity of the complement of five lines in general position in an almost complex projective plane, answering a question by S. Ivashkovich.
Abstract: We prove the hyperbolicity of the complement of five lines in general position in an almost complex projective plane, answering a question by S. Ivashkovich.