Questions tagged [several-complex-variables]
The several-complex-variables tag has no usage guidance.
200
questions
0
votes
0
answers
87
views
Number of roots of a Vandermonde like complex determinant
I am originally interested in the determinant
$$
\left|\begin{array}{cccc}\exp(i\lambda_1\cdot x_1) & \exp(i\lambda_2\cdot x_1) & ... & \exp(i\lambda_n\cdot x_1) \\\exp(i\lambda_1\cdot x_2)...
- 1,268
5
votes
2
answers
526
views
$\frac{\partial f}{\partial \overline{z}}=0$ in distributional sense implies $f$ is holomorphic
Let $f=(u,v)\in \mathscr{D}'(U,\mathbb{C})$ be a distribution, where $U\subset\mathbb{C}=\mathbb{R}^2$ is an open set and $u$ and $v$ are the projection of $f$ onto the real and imaginary axis (ie $\...
- 1,037
2
votes
2
answers
171
views
Carathéodory metric on product domain
Let $G\subseteq \mathbb{C}^n$ be a bounded domain. Consider the Carathéodory metric $C_G$ on $G$. If $G=\mathbb{D}^n$ (unit polydisc), then $C_G(a,z)=\max_{1\leq j\leq n}p(a_j,z_j)$, where $p$ denotes ...
- 95
6
votes
1
answer
183
views
Do we have the Oka coherence theorem for finite group actions?
We first consider the sheaf of holomorphic functions $\mathcal{O}(\mathbb{C}^n)$ on $\mathbb{C}^n$. By Oka coherence theorem, $\mathcal{O}(\mathbb{C}^n)$ is coherent over itself.
Now we consider a ...
- 8,707
3
votes
0
answers
99
views
What domains are there other than unit ball and polydisc, on which Caratheodory metric is known?
What are few (bounded)domains in $\mathbb{C}^n$ on which the explicit expression of Caratheodory metric is known. For example, unit ball and unit polydisc.
- 95
1
vote
0
answers
74
views
Milnor fibration and Runge pair
Let $f:\mathbb{A}^3\to \mathbb{A}^1$ be a polynomial map. Let $0\in \mathbb{A}^1$ be critical value. If $c \in \mathbb{A}^1$ is very close to zero (c is a regular value), then for Milnor fibration we ...
- 1,059
1
vote
0
answers
77
views
Catlin multitype example
I asked this over question over stackexchange but did not get any answer.
This is a remark in a paper by Jiye Yu, "Multitypes of Convex Domains", p. 838
If (a smoothly bounded domain) $\...
- 95
7
votes
1
answer
372
views
Analogue of Grauert's upper semi-continuity for Bott–Chern cohomology
In Coherent analytic sheaves, one has the following theorem due to Grauert:
Let $f: X \rightarrow Y$ be a holomorphic family of compact complex manifolds with connected complex manifolds $X, Y$ and $V$...
- 325
3
votes
2
answers
294
views
Holomorphic connectedness in several complex variables
Let $\Omega$ be domain in $\mathbb{C}^n$. Suppose we have taken two distinct points from $\Omega$. Does there exist a domain $U$ in $\mathbb{C}$ such that there is a holomorphic function from $U$ to $\...
- 33
1
vote
0
answers
87
views
Holomorphic mapping on a manifold approximating a constant map
Let $X,Y$ be complex manifold, $Y$ Stein. It sounds quite reasonable to formulate the following claim: given $y_0\in Y$, for every $\epsilon>0$ and $M\subset X$ compact, there exists an holomorphic ...
- 759
2
votes
0
answers
61
views
Geometric meaning of Catlin multi types
Can someone working in the area of several complex variables explain the geometric idea behind the Catlin multitype. I have seen the technical definition, but unable to grasp the idea behind this.
...
- 95
2
votes
0
answers
75
views
On extension of Monge-Ampere masses
It is known (evidently due to Bedford and Taylor) that if $u$ and $v$ are bounded plurisub-harmonic functions on an open domain in $\mathbb{C}^n$, then $$\mathbb{1}_{\{u>v\}}(dd^cu)^n = \mathbb{1}_{...
- 537
2
votes
0
answers
70
views
Regular exposable points on the boundary of compacts in Stein manifolds
Given a Stein manifold $Y$, there exists $\rho$, a $\mathscr C^2$-smooth strictly plurisubharmonic exhausting function for $Y$, such that the set of critical points $C=\{z\in Y\;:\;d\rho(z)=0\}$ is ...
- 759
1
vote
0
answers
36
views
Precise definition of locally closed complex curve
In Stein Manifold and Holomorphic Mappings, by Forstnerič, I refer to Definition 8.9.9:
An exposed point is a point belonging to a certain subset $\Sigma$ of $\Bbb C^2$, enjoying certain properties.
...
- 759
5
votes
0
answers
135
views
Are open subsets of a $\sigma$-compact LCH space $\mathcal{K}$-analytic?
I'm reading Guedj and Zeriahi's Degenerate Complex Monge-Ampère Equations Chapter 4 which talks about capacities. Specifically Corollary 4.13 claims that when $X$ is a locally compact Hausdorff $\...
- 1,111
45
votes
3
answers
5k
views
Putnam 2020 inequality for complex numbers in the unit circle
The following simple-looking inequality for complex numbers in the unit disk generalizes Problem B5 on the Putnam contest 2020:
Theorem 1. Let $z_1, z_2, \ldots, z_n$ be $n$ complex numbers such that ...
- 33.2k
3
votes
0
answers
47
views
Perturbations of Neumann $\bar \partial$-Laplacian
Let $\Omega \subset \mathbb{C}^n$ be a smooth, bounded, strongly pseudoconvex domain. Let $\square =\bar \partial \bar \partial^*+\bar \partial^* \bar \partial $ and suppose that $X$ is a first order ...
- 773
3
votes
1
answer
308
views
How to get a Stein space which has homotopy type of suspension of another Stein space
Let $V^n$ be a Stein space(or Stein manifold) in $\mathbb{C}^N$. I want to construct a Stein space(or Stein manifold) $W^{n+1}$ such that $H_i(V;\mathbb{Z})=H_{i+1}(W; \mathbb{Z}).$
If we take the ...
- 1,059
1
vote
0
answers
60
views
Holomorphic dynamical systems defined on a contractible bounded open subset of $\Bbb{C}^n$
Let $U$ be a contractible bounded open subset of $\Bbb{C}$. There is a standard classification of possible dynamical behaviors of holomorphic maps $f:U\rightarrow U$:
Attracting Case: There is an ...
- 2,777
3
votes
1
answer
303
views
A question about Lelong number
If $f$ is plurisubharmonic (not identically $-\infty$) on a neighbourhood of $0$ then the Lelong number of $f$ at $0$ is defined by $$\nu_{f}(0) = \liminf_{|z|\rightarrow 0}\dfrac{f(z)}{\log|z|}.$$
My ...
- 33
7
votes
1
answer
306
views
Oka-Grauert principle, up to the boundary
Let $Z\subset \mathbb{C}^n$ a domain of holomorphy with smooth boundary $\partial Z$ and closure $\bar Z$. There is a natural notion of holomorphic vector bundle over $\bar Z$, given in terms of ...
- 773
3
votes
0
answers
150
views
When holomorphic convexity implies polynomial convexity
For what follows I refer to Forstneric's Book "Stein Manifolds and Holomorphic mappings", Theorem 4.14.6 p. 168 (second edition).
I need some clarifications.
It starts talking about a ...
- 759
4
votes
1
answer
168
views
Restricted Perron-Bremermann envelopes
Consider an upper semicontinuous function $\phi: \Omega \to (-\infty, \infty]$, in the sense that $\phi = \phi^*$, where $\phi^*$ denotes the upper semicontinuous regularization
$$
\phi^*(z) = \...
- 151
3
votes
1
answer
115
views
Use of Invariant metric/distances to classify domains in $\mathbb{C}^n$
I am a graduate student in mathematics, who works usually in operator theory. Lately I had to read about about the Lempert’s theorem(a theorem regarding when some pseudometric/distances coincide) and ...
- 195
1
vote
0
answers
203
views
Is any proper subvariety contained in hypersurface
Suppose $A$ is a subvariety of an irreducible complex space(analytic variety) $X$. Is there an analytic hypersurface of $X$ containing $A$?
- 11
2
votes
1
answer
83
views
Fatou-Bieberbach domain in $\Bbb C^*\times\Bbb C^*$
According to Forstneric's book, pag 123, it is a long standing problem whether it exists a Fatou-Bieberbach domain in $\Bbb C^*\times\Bbb C^*$.
The idea is to search for an $F:\Bbb C^2\to\Bbb C^2$ ...
- 759
3
votes
0
answers
53
views
On strong $\mathbb{C}$-linear convexity
I would like to understand strong $\mathbb{C}$-linear convexity, as defined in the paper "Cauchy-type integrals in several complex variables" (a domain $D$ with $C^1$ boundary is strongly $\...
- 31
2
votes
0
answers
116
views
How to get the jet extension over the whole of $X$ in Popovici's article?
Recently, I am reading D. Popovici's article $L^2$ extension for jets of holomorphic sections of a Hermitian line bundle, https://arxiv.org/pdf/math/0409170.pdf where some parts possibly confuse me.
I ...
- 325
3
votes
2
answers
334
views
On a variation of Hartogs' separate analyticity theorem
Let $f(z_1,z_2,\ldots,z_n)$ be a function on $\mathbf{C}^n$ such that for all $i$, the restriction
$$
[z_i\mapsto f(z_1,z_2,\ldots,z_n)]
$$
is a "rational function".
(added: to be precise ...
- 7,521
0
votes
0
answers
99
views
About the definition of lineal convexity
I have been trying to understand the definition of lineal convexity. I am reading the article Duality of functions defined in lineally convex sets by Christer O. Kiselman. For a set $A\subset \mathbb{...
- 31
1
vote
0
answers
58
views
Extension to all dimensions of complex line integral
Let $\Gamma$ be a smooth curve in $\mathbb{C}^d$. Since $\mathbb{C}^d$ can be seen as $\mathbb{R}^{2d}$, one can define the line integral of functions $f:\Gamma\to \mathbb{C}$ using for instance ...
- 311
4
votes
2
answers
166
views
Why do we study biholomorphically invariant pseudodistances/metrics
It is said that pseudodistances/metrics which are invariant under biholomorphic maps are used to determine whether domains in $\mathbb{C}^n$ are biholomorphically equivalent or not.
Suppose $\Omega_1$ ...
- 41
2
votes
0
answers
115
views
A complex analytic interpretation of multiplicity on the special fiber of a flat family
Let $X$ be a variety over $\mathbb C$ and $\pi: X\to \Delta$ be a flat morphism over the unit disk $\Delta=\{z:|z|<1\}$. Let $Z$ be a component of $X_0=\pi^{-1}(0)$. The multiplicity of $Z$ is ...
- 1,701
4
votes
1
answer
297
views
Existence of plurisubharmonic functions on complex manifolds
Let $X$ be a noncompact complex manifold which contains no positive dimensional compact analytic sets.
Conjecture: There must be strictly plurisubharmonic functions on $X$ .
Is it true?
- 391
1
vote
1
answer
293
views
injective holomorphic mapping between unit disk and unit polydisk
In $\mathbb{C}^n,\ n\geq 2$, there is no bijection between unit disk $B^n(0,1)$ and unit polydisk $P^n(0,1)$. But if we wish to find injective holomorphic mapping from unit disk to polydisk(whose ...
- 95
3
votes
1
answer
174
views
Is a domain biholomorphic to the unit ball a Runge domain?
Let $\Omega \subset \mathbb C^n$ be a bounded domain which is biholomorphic to the unit ball $B^n=\{|z|<1 \mid z\in \mathbb C^n\}$. Can we show $\Omega$ must be a Runge domain? By definition, $\...
- 2,525
5
votes
1
answer
246
views
Non-constant holomorphic map onto a smooth curve
Let $\Gamma$ be a smooth projective curve in $\mathbb{P}^2$ and let $U$ be an open neighborhood of $\Gamma$. Denote by $\Gamma_1,\Gamma_2,\ldots,\Gamma_n$ a finite collection of smooth curves ...
- 293
2
votes
0
answers
106
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 $...
- 325
3
votes
1
answer
193
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 ...
- 759
3
votes
1
answer
195
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
179
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
51
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
207
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
142
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
77
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
64
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
102
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
227
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