Questions tagged [several-complex-variables]
The several-complex-variables tag has no usage guidance.
213 questions
2
votes
0
answers
116
views
How to regard negative PSH function with neat analytic singularities as a generalization of Green-type function?
I am reading this paper:A SIMPLIFIED PROOF OF OPTIMAL L2-EXTENSION THEOREM AND EXTENSIONS FROM NON-REDUCED SUBVARIETIES by Hosono. https://arxiv.org/pdf/1910.05782.pdf.
The setting is as follows.Let $...
- 295
3
votes
1
answer
194
views
Proper analytic embedding of $\overline{\Bbb C}$ minus a Cantor set into $\Bbb C^2$
I am a PhD student in several complex variables.
I am reading this paper by Orevkov proving that there exists a proper analytic embedding of $\overline{\Bbb C}$ minus a Cantor set into $\Bbb C^2$.
I ...
- 779
3
votes
1
answer
219
views
Decomposition of a real analytic variety
Is the following true? If so, I would be grateful for a reference that contains such a result and its proof.
Let $f:\mathbb{R}^d\rightarrow \mathbb{R}$ be a real analytic function, and $V:=\{\mathbf{...
- 105
1
vote
0
answers
36
views
Example of constant Levi rank pseudoconvex
It is known that near a strongly pseudoconvex point, the Levi rank at any boundary point is a constant, which is equal to $n$, the dimension of the domain.
I am looking for a bounded pseudoconvex ...
- 11
4
votes
1
answer
185
views
Space of holomorphic embeddings of open unit ball in ${\mathbb C}^n$
Let $B$ be the open unit ball in $\mathbb C^n$. Consider the space $\mathcal F$ of holomorphic embeddings of $B$ in $\mathbb C^n$ equipped with the compact-open topology. (A holomorphic embedding of $...
- 165
1
vote
0
answers
52
views
Constructing certain Global section with prescribed zero locus over Stein manifold
Let $X^n$ be a Stein manifold (complex submanifold in $\mathbb{C}^N$ for some large $N$). Let $D = \{(z,z)\in X\times X: z\in X\}$ be the diagonal in $X\times X$. I'm looking for some holomorphic ...
- 111
6
votes
1
answer
212
views
$(-2)$-curves in complex $3$-folds
Let $X$ be a smooth complex $3$-fold,
and let $C \subset X$ be an embedded smooth rational curve whose
normal bundle $N_{C/X}$ is isomorphic to $\mathscr{O}(-1) \oplus \mathscr{O}(-1)$.
Is it true ...
- 81
3
votes
0
answers
148
views
Clarification of Shabat's proof of Hartogs' lemma
I posted the question on math stackexchange, but my earlier questions there on SCV got no responses, so maybe I'll get some input here.
I have trouble with understanding Shabat's proof of Hartogs' ...
- 131
3
votes
0
answers
84
views
Does there exist a Runge Fatou-Bieberbach in each Fatou-Bieberbach domain?
A Fatou-Bieberbach domain $\Omega \subseteq \mathbb{C}^n$ is a domain that is a proper subset of $\mathbb{C}^n$ and is biholomorphic to $\mathbb{C}^n$. A domain is said to be Runge if for each ...
- 131
2
votes
0
answers
66
views
Bounding injective holomorphic mappings on $\mathbb{C}^n$ in the spirit of Andersen-Lempert
I'm hoping the following is true.
Let $Aut_0^I(\mathbb{C}^n)$ denote the set of holomorphic automorphisms $\phi:\mathbb{C}^n \to \mathbb{C}^n$ s.t. $\phi(0)=0$ and $d \phi(0) = I_n$ where $I_n$ is ...
- 239
0
votes
1
answer
104
views
About maxima of injective holomorphic maps on $\mathbb{C}^n$
I am hoping the following is true. Mention of related ideas/topics are appreciated.
Suppose $F:\mathbb{C}^n \to \mathbb{C}^n$ is a injective holomorphic mapping such that $F(0)=0$ and $dF(0) = I_n$ ...
- 239
4
votes
0
answers
232
views
"Square root" of a holomorphic automorphism
Suppose $F \in Aut(\mathbb{C}^n)$. Does there exist a $G \in Aut(\mathbb{C}^n)$ s.t. $G\circ G = F$?
- 239
3
votes
0
answers
135
views
Milnor Number of real and imaginary parts of holomorphic germs?
By performing some computations using the Singular software, I've noticed the following pattern: if $\mu$ is the Milnor Number of a holomorphic germ $f\in \mathcal{O}_n$ at the origin, then the Milnor ...
- 73
10
votes
3
answers
930
views
Complex manifold with boundary
My question is of local nature.
Let $$f:\mathbb C^n\to\mathbb R$$ be a $C^\infty$ function that vanishes at $0\in \mathbb C^n$, with non-zero derivative.
Then, around $0\in \mathbb C^n$, $$M:=f^{-1}(0)...
- 43.2k
2
votes
0
answers
251
views
Is there a by-hand prove that $\Gamma(\mathbb{C}P^n,E)$ is finite dimensional for a holomorphic vector bundle $E$?
Please let me know whether this question is suitable for Mathoverflow.
Let $E$ be a finite holomorphic vector bundle (or more generally a coherent analytic sheaf) on a compact complex manifold $X$. ...
- 9,019
2
votes
1
answer
149
views
Modulus bounded by Nevanlinna characteristic in several variables
Let $f:\mathbb{C}^n\to\mathbb{C}$ be an entire holomorphic function of $n$ complex variables. Then its Nevannlinna characteristic equals
$$
m_f(r)=\int_{\partial B(r)}\log^+|f(z)|d\eta(z),\quad\forall ...
- 1,959
2
votes
0
answers
91
views
Automatic plurisubharmonicity for a non-negative function
I feel confused about a point in this very short paper. On the top of page 3, it is claimed that:
If $S$ is a totally real submanifold in a compact almost complex manifold $(X,J)$, then any function ...
- 2,789
2
votes
0
answers
76
views
Equations needed to define a normal complex surface singularity
This questions is highly related with this other question of mine: Irreducible surface singularity that is not a local set-theoretical complete intersection I just thought that a different look at the ...
- 1,409
2
votes
0
answers
360
views
Irreducible surface singularity that is not a local set-theoretical complete intersection
I have been looking for a criterion for the germ of an irreducible complex surface singularity $(X,x)$ to be a set-theoretical complete intersection.
A germ $(X,x)$ of an isolated complex singularity ...
- 1,409
1
vote
1
answer
193
views
Computing the convex hull of a region of $\mathbb{C}^2$
Consider a function $f(z, w)$ of two complex variables. The function is symmetric with respect to $z$ and $w$. When $\Re(z)>0$ and $\Re(w)>0$, the function is analytic in its two variables. When ...
- 93
1
vote
0
answers
40
views
On Remmerts reduction
Let $(X,0)$ be a normal surface singularity. An let $\pi: \tilde{X} \to X$ be the minimal resolution. Now, we can apply a result of Oliveira (exploiting previous work by Laufer) and obtain a 1-...
- 1,409
1
vote
0
answers
181
views
Interpretation of deformation of complex structure
Let $X$ be a smooth complex analytic space and let $D$ be the unit disk in $\mathbb{C}$. Let $\omega:Y \to D$ be a deformation of complex structures of $X$ in the sense that (1) $\omega^{-1}(0) \simeq ...
- 11
3
votes
0
answers
63
views
Analytic continuation of a Dirichlet series with several complex variables
For $w_1,w_2,z_1,z_2\in\mathbb{C}$ with $\operatorname{Re}(w_1)>0$ and $\operatorname{Re}(w_2)>0$, define
\begin{equation*}
U(w_1,w_2;z_1,z_2):=\prod_{p}\left(1-\frac{e^{z_1}}{p^{1+w_1}}-\frac{e^...
- 131
2
votes
2
answers
499
views
Does Bergman metric induce the standard topology?
I am a physics student and am interested in the study of invariant metrics. I have searched several textbooks, including those fat books of Krantz, but the following concern seems not to be mentioned ...
- 21
6
votes
0
answers
241
views
Bezout theorem for germs of holomorphic functions
UPDATE.
It was pointed out by @Dmitri that two smooth curves given by $f=y$ and $g=y+x^k$ in $\mathbb C^2$ provide a simple counterexample.
Let $f_1, \ldots, f_p, g_1, \ldots, g_q$ be germs of ...
- 1,238
0
votes
1
answer
847
views
Exponential Sequence of Sheaves
Let $(X, \mathcal{O}_X)$ be a complex analytic space in the sense of Grauert, i.e., a $\mathbb{C}$-analytic ringed space which is locally isomorphic to a local model. We may assume that $X$ is a ...
- 1,379
5
votes
0
answers
543
views
a question on Hodge and Atiyah's paper "integrals of the second kind on an algebraic variety"
I have a question on Hodge and Atiyah's paper "Integrals of the second kind on an algebraic variety". It is about the exact sequence below formula (14) and above formula (15) on page 71:
$$H_{2n-q}(S)...
- 1,121
1
vote
0
answers
80
views
A question on f.g. ideals of $\textrm{Hol}(\mathbb{C}^2,\mathbb{C})$
Suppose that $I$ and $J$ are finitely generated ideals of the ring $\textrm{Hol}(\mathbb{C}^2,\mathbb{C})$ of all entire functions in two complex variables.
Then is $I\cap J$ finitely generated too?
- 23
11
votes
1
answer
1k
views
Dual of the space of all bounded holomorphic functions
Let $\mathbb{B}$ be the open unit ball in $\mathbb{C}^n, n\geq 1$ and let $H^\infty (\mathbb{B})$ be the space of all bounded holomorphic functions on $\mathbb{B}$. It is well known that $H^\infty (\...
- 211
17
votes
2
answers
2k
views
Why only $\bar\partial$ but not $\partial$ in Dolbeault cohomology
While I learn about $\partial$ and $\bar{\partial}$ operators, I had some questions about the reason why people prefer $\bar\partial$ over $\partial$. Specifically,
When defining Dolbeault ...
- 419
2
votes
0
answers
75
views
Notation and geometry facts in a paper on the Diederich-Fornæss index
I am reading this article by Bingyuan Liu on the Diederich-Fornæss index.
I am having some problems with both the notation and the geometrical side.
1)I don't know what kind of objects $N,L$ are ...
- 779
5
votes
2
answers
1k
views
zeros of holomorphic function in n variables
Conjecture: Let $f:{\mathbb C}^n\rightarrow{\mathbb C}$ be an entire function in $n$ complex variables. Assume
that for every $x\in{\mathbb R}^n$ there exists a $y_x\in{\mathbb R}^n$ such that
$f(x+...
- 615
4
votes
1
answer
773
views
A question about openness theorem
The openness theorem says that:
If $\varphi$ be a negative plurisubharmonic function
in the unit ball $B(0,1)$ in $\mathbb{C}^{n}$ satisfying
$$
\intop_{B(0,1)}e^{-\varphi}<\infty,
$$
then there ...
- 41
1
vote
0
answers
607
views
Let $h(z) = g(f(z))$. If $f$ and $h$ are non-constant holomorphic function on domains in $\mathbb C^n$, then is $g$ holomorphic?
Suppose there exist functions $f,g,h$ such that $h(z) = g(f(z))$. If $f$ and $h$ are non-constant holomorphic function on domains in $\mathbb C^n,\, n>1$ and $g$ is continuous, then is $g$ ...
- 27
0
votes
1
answer
229
views
Can any plurisubharmonic function be represented as a sum of non-positive plurisubharmonic functions?
Let $f$ be a plurisubharmonic function, $f < 0$ in $\Omega$. Can we always find two negative plurisubharmonic functions $u$ and $v$ and real numbers $a,b\in(-1,1)$ such that
$$-f=(-u)^{a}+(-v)^{b}$...
3
votes
0
answers
193
views
What do we necessarily need for the image of a domain of holomorphy to be a domain of holomorphy
I posted this on Math.Stack.Exchange with no luck, so I thought it would be perhaps better suited for this site.
We recall that a domain of holomorphy is a domain in $\mathbb{C}^n$ that is ...
- 1,379
5
votes
1
answer
395
views
Holomorphic Sard's theorem 2
My previous question on this topic had a negative answer, but Tom Goodwillie in the comments suggested a statement, which may be true, and even a strategy of how to prove it. I haven't been able to ...
- 5,529
6
votes
1
answer
640
views
Practically calculating the domain of a power series for function of several complex variables
For simplicity, let us consider a function $f$ holomorphic on a domain $D \subseteq \mathbb{C}^2$. We may therefore write $f$ as a sum of power series $$f(z) = \sum_{\nu_1 \nu_2 =0}^{\infty} c_{\nu_1 \...
- 1,379
3
votes
1
answer
177
views
Real solution of a complex equation with complex solution
Assume that $(M, [\lambda, \mu])$ defines an embeddable 3 dimensional CR structure where $\lambda$ is a real form and $\mu$ is a complex 1-form.
Because $M$ is embeddable, $\mu=dz$ for some ...
- 99
4
votes
1
answer
771
views
Understanding Remmert-Stein extension theorem
I'm trying to study the Remmert-Stein theorem in analytic geometry. This is an important result which can be used to prove the Proper Mapping theorem.
A preliminary result is stated in various books (...
- 675
3
votes
0
answers
637
views
English reference for Fischer-Grauert theorem and its generalization by Schuster
From this MSE question and its answer, and from this MO question I have learned of the following remarkable theorem of Wolfgang Fischer and Hans Grauert.
Theorem. A proper holomorphic submersion with ...
- 10.5k
9
votes
1
answer
662
views
Holomorphic Sard's theorem?
I have originally posted this question on math.SE, but it received little attention, so I repost it here.
Let $U\subset \mathbb{C}^{n}$ and $V\subset \mathbb{C}^{m}$ be open and connected. Let $\Phi:...
- 5,529
3
votes
0
answers
84
views
Discrete set of critical points of a holomorphic map
I have originally posted this question on math.SE, but it received no attention, so I repost it here.
Let $U$ be an open domain in $\mathbb{C}^{n}$. Let $m\ge n$ and let $F:U\to C^{m}$ be a ...
- 5,529
6
votes
1
answer
240
views
The approximation property for some spaces of holomorphic functions
I am reading a circle of papers which use arguments based on Fredholm determinants of nuclear operators to compute numerical quantities associated to real-analytic and holomorphic dynamical systems. ...
- 6,206
4
votes
1
answer
371
views
Kähler metric on compact complex manifolds with simple normal crossing divisor
Let $X$ be a reduced compact complex analytic space of $\dim_{\mathbb{C}}X\ge2$; by [KJ] definition 3.29, remark 3.44 and theorem 3.45, it admits a strong resolution $R(X)$ which is smooth, $E=\pi_X^{-...
- 828
1
vote
0
answers
31
views
Extending the projective action of several positive linear maps to a complex neighbourhood
I am currently reading a paper which, somewhat indirectly, asserts the following result:
Lemma: Let $\Delta \subset \mathbb{R}^d$ denote the simplex $\{(x_1,\ldots,x_d):\sum_{i=1}^d x_i=1\}$, let $...
- 6,206
3
votes
0
answers
89
views
Trace of a weighted composition operator on Bergman space
I am reading a series of papers by Pollicott, Jenkinson and coauthors which make use of the following type of result:
Theorem: Let $\mathbb{D} \subset \mathbb{C}^d$ be a bounded, connected open set. ...
- 6,206
3
votes
1
answer
147
views
Is the projection of a pseudoconvex domain necessarily pseudoconvex?
Is the projection of a pseudoconvex domain necessarily pseudoconvex?
I think that it is not necessarily true, but I cannot come up with an example.
- 31
1
vote
0
answers
294
views
Can an entire function have every root function?
My question is an amalgamation of two previous questions. The first question I'd like to draw attention to is here. It asks whether there can exist a non trivial semigroup defined on $\mathbb{C}$
$$\...
user78249
7
votes
1
answer
248
views
Are there such things as non-trivial entire semigroups?
I'll state the theorem I am posing up front, and then explain why I think this theorem appears to be true. I am asking if anyone can prove it, or knows references to where it is proved. Please, ...
user78249