Pluripolar graphs are holomorphic

Continuity Properties of Finely Plurisubharmonic Functions and pluripolarity

We prove that every bounded finely plurisubharmonic function can be locally (in the pluri-fine topology) written as the difference of two usual plurisubharmonic functions. As a consequence finely plurisubharmonic functions are continuous with respect to the pluri-fine topology. Moreover we show that -infinity sets of finely plurisubharmonic functions are pluripolar, hence graphs of finely holomorphic functions are pluripolar.

Proper discs in Stein manifolds avoiding complete pluripolar sets

We prove the following theorem: Let X be a Stein manifold of dimension at least 2 and Y a closed complete pluripolar subset of X. Given a point p in the complement of Y there is a proper holomorphic map f from the unit disc to X such that f(0)=p and the image of f avoids Y.

Graphs that are not complete pluripolar

Let D_1 be a subdomain of D_2 in the complex plane CC. Under very mild conditions on D_2 we show that there exist holomorphic functions f, defined on D_1 with the property that $f$ is nowhere extendible across the boundary of D_1, while the graph of f over D_1 is NOT complete pluripolar in D_2 times CC. This refutes a conjecture of Levenberg, Martin and Poletsky.

Shcherbina's Theorem for Finely Holomorphic Functions

We prove an analogue of Sadullaev's theorem concerning the size of the set where a maximal totally real manifold can meet a pluripolar set. The manifold has to be of class C-1 only. This readily leads to a version of Shcherbina's theorem for C-1 functions f that are defined in a neighborhood of certain compact sets K in the complex plane. If the graph of f on K is pluripolar, then f satisfies the Cauchy Riemann equations in the closure of the fine interior of K.

Pluripolarity of Graphs of Algebroid Functions

In this paper has been proved the pluripolarity of graphs of algebroid functions

Pluripolarity of Graphs of Denjoy Quasianalytic Functions of Several Variables

In this paper we prove pluripolarity of graphs of Denjoy quasianalytic functions of several variables on the spanning set

Pluripolar Hulls and Fine Holomorphy

Examples by Poletsky and the author and by Zwonek show the existence nowhere extendable holomorphic functions with the property that the pluripolar hull of their graphs is much larger than the graph of the respective functions and contains multiple sheets. We will explain this phenomenon by fine analytic continuation of the function over part of a Cantor-type set involved. This gives more information on the hull, and allows for weakening and effectiveness of the conditions in the original examples.

Graphs with multiple sheeted pluripolar hulls

In this paper we study the pluripolar hulls of analytic sets. In particular, we show that hulls of graphs of analytic functions can be multiple sheeted and sheets can be separated by a set of zero dimension.

Pluripolar hulls and convergence sets

The pluripolar hull of a pluripolar set E in $\mathbb{P}^n$ is the intersection of all complete pluripolar sets in $\mathbb{P}^n$ that contain $E$. We prove that the pluripolar hull of each compact pluripolar set in $\mathbb{P}^n$ is $F_σ$. The convergence set of a divergent formal power series $f(z_{0}, \dots,z_{n})$ is the set of all "directions" $ξ\in\mathbb{P}^{n}$ along which $f$ is convergent. We prove that the union of the pluripolar hulls of a countable collection of compact pluripolar sets in $\mathbb{P}^n$ is the convergence set of some divergent series $f$. The convergence sets on $…

The Pluripolar Hull of a Graph and Fine Analytic Continuation

We show that if the graph of a bounded analytic function in the unit disk $\mathbb D$ is not complete pluripolar in $\mathbb C^2$ then the projection of the closure of its pluripolar hull contains a fine neighborhood of a point $p \in \partial \mathbb D$. On the other hand we show that if an analytic function $f$ in $\mathbb D$ extends to a function $\mathcal{F}$ which is defined on a fine neighborhood of a point $p \in \partial \mathbb D$ and is finely analytic at $p$ then the pluripolar hull of the graph of $f$ contains the graph of $\mathcal{F}$ over a smaller fine neighborhood of $p$. We g…

Pluripolarity of graphs of quasianalytic functions in the sense of Gonchar

We study functions defined on a closed segment of the real line that belong to the class of Gonchar. We show that the graphs of such functions are pluripolar. We also discuss the generalizations of our result to functions defined on a compact subset of C^n that belong to the class of Gonchar.

Equidistribution of non-pluripolar products associated with quasi-plurisubharmonic functions of finite energy

In this article, we consider currents given by the p-fold non-pluripolar product associated with a quasi-plurisubharmonic function of finite energy, and prove that normalized pull-backs of such currents converge to the Green (p, p)-current exponentially fast in the sense of currents for holomorphic endomorphisms of Pk.

An extension theorem for separately meromorphic functions with pluripolar singularities

Let $D_j\subset\mathbb C^{n_j}$ be a pseudoconvex domain and let $A_j\subset D_j$ be a locally pluriregular set, $j=1,...,N$. Put $$ X:=\bigcup_{j=1}^N A_1\times...\times A_{j-1}\times D_j\times A_{j+1}\times...\times A_N. $$ Let $M\subset X$ be relatively closed. For any $j\in\{1,...,N\}$ let $Σ_j$ be the set of all $(z',z'')\in(A_1\times...\times A_{j-1})\times(A_{j+1}\times...\times A_N)$ such that the fiber $M_{(z',\cdot,z'')}:=\{z_j\in\mathbb C^{n_j}: (z',z_j,z'')\in M\}$ is not pluripolar. Assume that $Σ_1,...,Σ_N$ are pluripolar. Put ${multline*} X':=\bigcup_{j=1}^N\{(z',z_j,z'')\in(A_1…

Pluri-polarity in almost complex structures

$J$-holomorphic curves are pluripolar, but they are not minus-infinity sets of pluri-subharmonic functions with logarithmic singularity.

Plurisubharmonic and holomorphic functions relative to the plurifine topology

A weak and a strong concept of plurifinely plurisubharmonic and plurifinely holomorphic functions are introduced. Strong will imply weak. The weak concept is studied further. A function f is weakly plurifinely plurisubharmonic if and only if f o h is finely subharmonic for all complex affine-linear maps h. As a consequence, the regularization in the plurifine topology of a pointwise supremum of such functions is weakly plurifinely plurisubharmonic, and it differs from the pointwise supremum at most on a pluripolar set. Weak plurifine plurisubharmonicity and weak plurifine holomorphy are preser…

Graphs of multifunctions

We give a simplified proof of analyticity of pluripolar multifunctions

有界域间的全纯Bergman等距映射与Lu定理的推广

Holomorphic Bergman isometries between bounded domains and the extension of Lu's theorem

该研究探讨复流形间保持Bergman度量的全纯映射，得出等维情形下全纯Bergman等距映射的性质，推广Lu定理并给出相关应用。

Quasianalyticity and pluripolarity

We show that the graph $$Γ_f=\{(z,f(z))\in{\Bbb C}^2: z\in S\}$$ in ${\Bbb C}^2$ of a function $f$ on the unit circle $S$ which is either continuous and quasianalytic in the sense of Bernstein or $C^\infty$ and quasianalytic in the sense of Denjoy is pluripolar.

On the size of attractors in $\mathbb{CP}^k$

Let $f$ be a holomorphic endomorphism of $\mathbb{CP}^k$ having an attracting set $A$. In this paper, we address the question of the "size" of $A$ in a pluripolar sense. We introduce a conceptually simple framework to have non-algebraic attracting sets. We prove that adding a dimensional condition, these sets support a closed positive current with bounded quasi-potential (which answers a question from T.C. Dinh). Therefore, they are not pluripolar. Moreover, the examples are abundant on $\mathbb{CP}^k$.

An extension theorem for separately holomorphic functions with singularities

Let $D_j\subset\Bbb C^{k_j}$ be a pseudoconvex domain and let $A_j\subset D_j$ be a locally pluripolar set, $j=1,...,N$. Put$$X:=\bigcup_{j=1}^N A_1\times...\times A_{j-1}\times D_j\times A_{j+1}\times...\times A_N\subset\Bbb C^{k_1+...+k_N}.$$Let $U$ be an open connected neighborhood of $X$ and let $M\varsubsetneq U$ be an analytic subset. Then there exists an analytic subset $\hat M$ of the `envelope of holomorphy' $\hat X$ of $X$ with $\hat M\cap X\subset M$ such that for every function $f$ separately holomorphic on $X\setminus M$ there exists an $\hat f$ holomorphic on $\hat X\setminus\hat…

Wermer type sets and extension of CR functions

For each $n\geq2$ we construct an unbounded closed pseudoconcave complete pluripolar set $\mathcal E$ in $\mathbb C^n$ which contains no analytic variety of positive dimension (we call it a \textit{Wermer type set}). We also construct an unbounded strictly pseudoconvex domain $Ω$ in $\mathbb C^n$ and a smooth $CR$ function $f$ on $\partialΩ$ which has a single-valued holomorphic extension exactly to the set $\barΩ\setminus\mathcal E$.}

Bergman代表坐标、常全纯曲率及Carathéodory定理的多维推广

Bergman representative coordinate, constant holomorphic curvature and a multidimensional generalization of Carathéodory's theorem

本文利用Bergman代表坐标和Calabi的diastasis，将Lu的定理推广至度量不完整且具常全纯曲率的有界伪凸域，并多维推广了Carathéodory定理，给出双全纯球边界为拓扑球面的充分条件。

stein流形上的bergman度量及其非正常数全纯截面曲率

On Point Separation of Bergman Space on Stein Manifolds with Constant Holomorphic Sectional Curvature

stein流形在特定曲率条件下，其bergman度量的定义与分离点性质密切相关，且与单位球体的biholomorphic性相关。

Bergman-Calabi diastasis and Kähler metric of constant holomorphic sectional curvature

We prove that for a bounded domain in $\mathbb C^n$ with the Bergman metric of constant holomorphic sectional curvature being biholomorphic to a ball is equivalent to the hyperconvexity or the exhaustiveness of the Bergman-Calabi diastasis. By finding its connection with the Bergman representative coordinate, we give explicit formulas of the Bergman-Calabi diastasis and show that it has bounded gradient. In particular, we prove that any bounded domain whose Bergman metric has constant holomorphic sectional curvature is Lu Qi-Keng. We also extend a theorem of Lu towards the incomplete situation…

Stein neighborhoods of graphs of holomorphic mappings

In this paper we provide sufficient conditions for the graphs of holomorphic mappings on compact sets in complex manifolds to have Stein neighborhoods. We show that under these conditions the mappings have properties analogous to properties of holomorphic functions on compact sets in $\mathbb C^n$.

关于Ohsawa-Takegoshi $L^2$延拓定理与多次调和函数的可去奇点

On the Ohsawa-Takegoshi $L^2$ extension theorem and removable singularities of plurisubharmonic functions

本文推广了Ohsawa-Takegoshi $L^2$延拓定理至Stein流形上扭曲典范丛的全纯截面，并建立了多次调和函数在紧完备多极集上的Hartogs型延拓定理，填补了文献空白。

On the Nullstellensatz for c-holomorphic functions with algebraic graphs

C-holomorphic functions defined on algebraic sets and having algebraic graphs can be considered as a complex counterpart of regulous functions introduced recently in real geometry. This note is a part of our study on the subject; we prove herein some effective Nullstellensätze.

Extensions of bounded holomorphic functions on the tridisk

We study sets $V$ in the tridisc that are relatively polynomially convex and have the polynomial extension property. If $V$ is one-dimensional, and is either algebraic, or has polynomially convex projections, we show that it is a retract. If $V$ is two-dimensional, we show that either it is a retract, or, for any choice of the coordinate functions, it is the graph of a function of two variables.

关于对称空间的Bergman度量

On the Bergman metric of symmetric spaces

本文研究了具有局部对称Bergman度量的有界域，证明了其在完备或伪凸条件下与对称域的biholomorphic关系。

New solution of a problem of Kolmogorov on width asymptotics in holomorphic function spaces

Given a domain $D$ in $\mathbb{C}^n$ and $K$ a compact subset of $D$, the set $\mathcal{A}_K^D$ of all restrictions of functions holomorphic on $D$ the modulus of which is bounded by $1$ is a compact subset of the Banach space $C(K)$ of continuous functions on $K$. The sequence $(d_m(\mathcal{A}_K^D))_{m\in \mathbb{N}}$ of Kolmogorov $m$-widths of $\mathcal{A}_K^D$ provides a measure of the degree of compactness of the set $\mathcal{A}_K^D$ in $C(K)$ and the study of its asymptotics has a long history, essentially going back to Kolmogorov's work on $ε$-entropy of compact sets in the 1950s. In …

The role of Fourier modes in extension theorems of Hartogs-Chirka type

We generalize Chirka's theorem on the extension of functions holomorphic in a neighbourhood of graph(F)\cup(\partial D\times D) -- where D is the open unit disc and graph(F) denotes the graph of a continuous D-valued function F -- to the bidisc. We extend holomorphic functions by applying the Kontinuitaetssatz to certain continuous families of analytic annuli, which is a procedure suited to configurations not covered by Chirka's theorem.

全纯对应图的等分布

Equidistribution of graphs of holomorphic correspondences

研究紧黎曼曲面上的全纯自对应，在动力学度不相等或非弱模条件下，证明迭代图的指数快速等分布。

On the growth exponent of c-holomorphic functions with algebraic graphs

This paper is the first of a series dealing with c-holomorphic functions defined on algebraic sets and having algebraic graphs. These functions may be seen as the complex counterpart of the recently introduced \textit{regulous} functions. Herein we study their growth exponent at infinity. A general result on injectivity on fibres of an analytic set together with a theorem of Tworzewski and Winiarski gives a bound for the growth exponent of a c-holomorphic function with algebraic graph in terms of the projective degrees of the sets involved. We prove also that algebricity of the graph is equiva…

Vertical Limits of Graph Domains

We consider the limiting behavior of Teichmüller geodesics in the universal Teichmüller space $T(\mathbb{H})$. Our main result states that the limits of the Teichmüller geodesics in the Thurston's boundary of $T(\mathbb{H})$ may depend on both vertical and horizontal foliation of the corresponding holomorphic quadratic differential.

Holomorphic motions and complex geometry

We show that the graph of a holomorphic motion of the unit disc cannot be biholomorphic to a strongly pseudoconvex domain in C n .

Complements of graphs of meromorphic functions and complete vector fields

Given a meromorphic function $s: \mathbb{C}\to \mathbb{P}^{1}$, we obtain a family of fiber-preserving dominating holomorphic maps from $\mathbb{C}^{2}$ onto $\mathbb{C}^{2}\setminus graph(s)$ defined in terms of the flows of complete vector fields of type $\mathbb{C}^{\ast}$ and of an entire function $h:\mathbb{C}\to\mathbb{C}$ whose graph does not meet $graph(s)$, which was determined by Buzzard and Lu. In particular, we prove that the dominating map constructed by these authors to prove the dominability of $\mathbb{C}^{2}\setminus graph(s)$ is in the above family. We also study the compleme…

加权周期点的全纯运动

Holomorphic motions of weighted periodic points

本文研究复射影空间自同态稳定族中排斥周期点的全纯运动，并证明相关图像在自然测度下的渐近等分布。

Dimer model and holomorphic functions on t-embeddings of planar graphs

We introduce the framework of discrete holomorphic functions on t-embeddings of weighted bipartite planar graphs; t-embeddings also appeared under the name Coulomb gauges in a recent paper arXiv:1810.05616. We argue that this framework is particularly relevant for the analysis of scaling limits of the height fluctuations in the corresponding dimer models. In particular, it unifies both Kenyon's interpretation of dimer observables as derivatives of harmonic functions on T-graphs and the notion of s-holomorphic functions originated in Smirnov's work on the critical Ising model. We develop an a p…

Topologies on the space of holomorphic functions

We show that a fairly arbitrary Frechet space topology on the space of holomorphic functions on a domain controls the topology of uniform convergence on compact sets. In fact it turns out that the result we present can be proved more simply using the closed graph theorem. However, we believe that the techniques presented here may be used to prove a more interesting result. Details to appear later.

探索全纯收缩

Exploring Holomorphic Retracts

本文系统刻画全纯域的全纯收缩，重点研究有界平衡伪凸域及其乘积，推广Mazet引理，证明非凸域的收缩不存在性，并应用于并集问题与双全纯不等价判定。

Manifolds of holomorphic mappings from strongly pseudoconvex domains

Let D be a bounded strongly pseudoconvex domain in a Stein manifold S and let Y be a complex manifold. We prove that the graph of any continuous map from the closure of D to Y which is holomorphic in D admits a basis of open Stein neighborhoods in S x Y. Using this we show that many classical spaces of maps from the closure of D to Y which are holomorphic in D are infinite dimensional complex manifolds which are modeled on locally convex topological vector spaces (Banach, Hilbert or Frechet).

Mixed tête-à-tête twists as monodromies associated with holomorphic function germs

Tête-à-tête graphs were introduced by N. A'Campo in 2010 with the goal of modeling the monodromy of isolated plane curves. Mixed tête-à-tête graphs provide a generalization which define mixed tête-à-tête twists, which are pseudo-periodic automorphisms on surfaces. We characterize the mixed tête-à-tête twists as those pseudo-periodic automorphisms that have a power which is a product of right-handed Dehn twists around disjoint simple closed curves, including all boundary components. It follows that the class of tête-à-tête twists coincides with that of monodromies associated with reduced functi…

Discrete complex analysis on planar quad-graphs

We develop a linear theory of discrete complex analysis on general quad-graphs, continuing and extending previous work of Duffin, Mercat, Kenyon, Chelkak and Smirnov on discrete complex analysis on rhombic quad-graphs. Our approach based on the medial graph yields more instructive proofs of discrete analogs of several classical theorems and even new results. We provide discrete counterparts of fundamental concepts in complex analysis such as holomorphic functions, derivatives, the Laplacian, and exterior calculus. Also, we discuss discrete versions of important basic theorems such as Green's i…

On the existence of Kobayashi and Bergman metrics for Model domains

We prove that for a pseudoconvex domain of the form $\mathfrak{A} = \{(z, w) \in \mathbb C^2 : v > F(z, u)\}$, where $w = u + iv$ and F is a continuous function on ${\mathbb C}_z \times {\mathbb R}_u$, the following conditions are equivalent: (1) The domain $\mathfrak{A}$ is Kobayashi hyperbolic. (2) The domain $\mathfrak{A}$ is Brody hyperbolic. (3) The domain $\mathfrak{A}$ possesses a Bergman metric. (4) The domain $\mathfrak{A}$ possesses a bounded smooth strictly plurisubharmonic function, i.e. the core $\mathfrak{c}(\mathfrak{A})$ of $\mathfrak{A}$ is empty. (5) The graph $Γ(F)$ of $F$ c…

一致代数与特殊簇

Uniform algebras and distinguished varieties

本文揭示了特殊簇与双圆盘上一致代数的联系，证明了真多项式映射像域上Samuelsson-Wold结果的类似结论，并描述了相应多项式凸包。

实变 $\mathbb{R}$ 中梯度树与 $T^{*}\mathbb{R}$ 中全纯盘之间的显式对应关系

Explicit correspondences between gradient trees in $\mathbb{R}$ and holomorphic disks in $T^{*}\mathbb{R}$

本文研究了在实数空间中，通过显式构造全纯盘来揭示梯度树与全纯盘之间的对应关系。

关于实数空间中的梯度树与微分几何凸四边形之间显式对应关系的进一步研究

More on explicit correspondence between gradient trees in $\mathbb{R}$ and holomorphic convex quadrilaterals in $T^{*}\mathbb{R}$

本文研究了微分几何中凸四边形与梯度树之间的对应关系，通过分析非典型情况，证明了伪全纯盘在极限下收敛于梯度树。

Families of Riemann Surfaces, Uniformization and Arithmeticity

A consequence of the results of Bers and Griffiths on the uniformization of complex algebraic varieties is that the universal cover of a family of Riemann surfaces, with base and fibers of finite hyperbolic type, is a contractible 2-dimensional domain that can be realized as the graph of a holomorphic motion of the unit disk. In this paper we determine which holomorphic motions give rise to these uniformizing domains and characterize which among them correspond to arithmetic families (i.e. families defined over number fields). Then we apply these results to characterize the arithmeticity of co…

Riemann曲面上的正则化积分与模形式

Regularized Integrals on Riemann Surfaces and Modular Forms

本文提出一种基于共形几何的内禀正则化方法，用于在Riemann曲面上对具有任意全纯极点的微分形式进行积分，并应用于建立位形空间（含Feynman图积分）的解析理论，证明了椭圆曲线上正则化图积分的殆全纯模性质，给出了有序A-圈积分拟模性的几何证明与组合公式。

有理映射的联结刚性

Joining rigidity for rational maps

本文建立有理映射的联结刚性理论：若最大熵测度的联结支持局部双全纯图，则其整体化为代数曲线，否则产生非离散局部全纯关系族。

CFTs on Riemann Surfaces of genus $g\geq 1$

$N$-point functions of holomorphic fields in conformal field theories can be calculated by methods from algebraic geometry. We establish explicit formulas for the 2-point function of the Virasoro field on hyperelliptic Riemann surfaces of genus $g\geq 1$. Virasoro $N$-point functions for higher $N$ are obtained inductively, and we show that they have a nice graph representation. We discuss the 3-point function with application to the $(2,5)$ minimal model.