Seminar on Geometric Complex Analysis
Seminar information archive ~05/01|Next seminar|Future seminars 05/02~
Date, time & place | Monday 10:30 - 12:00 128Room #128 (Graduate School of Math. Sci. Bldg.) |
---|---|
Organizer(s) | Kengo Hirachi, Shigeharu Takayama |
2013/04/15
10:30-12:00 Room #126 (Graduate School of Math. Sci. Bldg.)
Nikolay Shcherbina (University of Wuppertal)
On defining functions for unbounded pseudoconvex domains (ENGLISH)
Nikolay Shcherbina (University of Wuppertal)
On defining functions for unbounded pseudoconvex domains (ENGLISH)
[ Abstract ]
We show that every strictly pseudoconvex domain $\Omega$ with smooth boundary in a complex manifold $M$ admits a global defining function, i.e. a smooth plurisubharmonic function $\varphi \colon U \to \mathbf{R}$ defined on an open neighbourhood $U \subset M$ of $\Omega$ such that $\Omega =\{ \varphi < 0 \}$, $d\varphi \not= 0$ on $b\Omega$ and $\varphi$ is strictly plurisubharmonic near $b\Omega$. We then introduce the notion of the kernel $K(\Omega)$ of an arbitrary domain $\Omega \subset M$ as the set of all points where every smooth and bounded from above plurisubharmonic function on $\Omega$ fails to be strictly plurisubharmonic. If $\Omega$ is not relatively compact in $M$, then in general $K(\Omega)$ is nonempty, even in the case when $M$ is Stein. It is shown that every strictly pseudoconvex domain $\Omega \subset M$ with smooth boundary admits a global defining function that is strictly plurisubharmonic precisely in the complement of $K(\Omega)$. We then investigate properties of the kernel. Among other results we prove 1-pseudoconcavity of the kernel, we show that in general the kernel does not possess any analytic structure, and we investigate Liouville type properties of the kernel.
We show that every strictly pseudoconvex domain $\Omega$ with smooth boundary in a complex manifold $M$ admits a global defining function, i.e. a smooth plurisubharmonic function $\varphi \colon U \to \mathbf{R}$ defined on an open neighbourhood $U \subset M$ of $\Omega$ such that $\Omega =\{ \varphi < 0 \}$, $d\varphi \not= 0$ on $b\Omega$ and $\varphi$ is strictly plurisubharmonic near $b\Omega$. We then introduce the notion of the kernel $K(\Omega)$ of an arbitrary domain $\Omega \subset M$ as the set of all points where every smooth and bounded from above plurisubharmonic function on $\Omega$ fails to be strictly plurisubharmonic. If $\Omega$ is not relatively compact in $M$, then in general $K(\Omega)$ is nonempty, even in the case when $M$ is Stein. It is shown that every strictly pseudoconvex domain $\Omega \subset M$ with smooth boundary admits a global defining function that is strictly plurisubharmonic precisely in the complement of $K(\Omega)$. We then investigate properties of the kernel. Among other results we prove 1-pseudoconcavity of the kernel, we show that in general the kernel does not possess any analytic structure, and we investigate Liouville type properties of the kernel.