Questions tagged [several-complex-variables]
The several-complex-variables tag has no usage guidance.
213 questions
1
vote
0
answers
39
views
Currents with logarithmic poles compared with those with no poles
I am learning Deligne homology via U. Jannsen, "Deligne homology, Hodge-$\mathscr{D}$-conjecture, and motives." There, the currents with logarithmic poles are given in Definition 1.4 by
$$
'\...
- 161
0
votes
0
answers
76
views
Constant mean curvature hypersurface
Assume that $f:\mathbb{B}^2\to \mathbb{C}$ is a holomorphic function defined in the unit ball in $\mathbb{C}^2$. Let $u(z)=|f(z)|(1-|z|^2)$ and consider $\Sigma =\{z: u(z)=c\}$. It seems to me that if ...
- 37
2
votes
0
answers
34
views
Analytic continuation of a bi-holomorphic automorphism on an irreducible bounded symmetric domain
I need your help.
Let $\Omega \subseteq \mathbb{C}^n$ be a type $IV_n$ Cartan domain, i.e;
$\Omega$ =$\{ z \in \mathbb{C}^n$: $1-2Q(z,\bar z)+|Q(z, z)|^2>0,\qquad Q(z, \bar z)<1 \}$
where $Q(z,...
0
votes
0
answers
42
views
An integral estimate involving Bergman kernel
Let $V$ be the normalized volume measure on $\mathbb D^2$ and $k : \mathbb D \times \mathbb D \longrightarrow \mathbb C$ be the Bergman kernel on $\mathbb D^2$ given by $$k(z,w) = \frac {1} {\left (1 -...
- 41
1
vote
0
answers
55
views
References for the generalized Dirichlet problem for plurisubharmonic functions on the bidisc
In the paper "On a Generalized Dirichlet Problem for Plurisubharmonic Functions and Pseudo-Convex Domains. Characterization of Silov Boundaries" Theorem 5.3, the following result is obtained ...
- 53
1
vote
0
answers
42
views
Concerning the definition of a class of functions introduced by Nilsson
In the paper 'Some growth and ramification properties of certain integrals on algebraic manifolds' by Nilsson we find the following definitions:
My question is how does one prove the remark "It ...
- 360
0
votes
0
answers
144
views
Function of several complex variables with prescribed zeros
I accidentally stumbled upon a problem of complex analysis in several variables, and I have a hard time understanding what I read, it might be related to the Cousin II problem but I cannot say for ...
- 1,352
4
votes
1
answer
180
views
Fixed points of maps defined on Teichmüller space
Let $\mathcal{T}_A$ be a Teichmüller space of the sphere $S^2$ with a finite set $A$ of marked points, and suppose that $f \colon \mathcal{T}_A \to \mathcal{T}_A$ is a holomorphic map that has a ...
- 41
0
votes
0
answers
107
views
Does the sequence of bounded symmetric square integrable holomorphic functions have a convergent subsequence?
Let $f$ be a bounded holomorphic function on $\mathbb D^2$ and $s : \mathbb C^2 \longrightarrow \mathbb C^2$ be the symmetrization map given by $s(z) = (z_1 + z_2, z_1 z_2),$ for $z = (z_1, z_2) \in \...
- 41
3
votes
0
answers
219
views
Schwartz's theorem without English language reference
I'm reading the paper "Spectral Synthesis And The Pompeiu Problem" by Leon Brown, Bertram M. Schreiber and B. Alan Taylor,
Annales de l’Institut Fourier 23, No. 3, 125-154 (1973), MR352492, ...
- 421
0
votes
0
answers
39
views
Contraction of an inclusion with respect to Kobayshi hyperbolic metric
Suppose that $X = \mathbb{C}^n - \Delta_X$ and $Y = \mathbb{C}^n - \Delta_Y$, where $\Delta_X$ and $\Delta_Y$ are unions of hyperplanes in $\mathbb{C}^n$ such that $\Delta_Y \subset \Delta_X$, $\...
- 41
2
votes
0
answers
29
views
Deck transformation group of the basic polynomial map on a $G$-space
Let $G \subseteq GL_d (\mathbb C)$ be a finite pseudoreflection group (see here and here) acting on a domain $\Omega \subseteq \mathbb C^d$ by the right action $\sigma \cdot z = \sigma^{-1} z$ where $\...
- 41
3
votes
1
answer
200
views
Complex analytic function $f$ on $\mathbb{C}^n$ vanish on real sphere must vanish on complex sphere
I'm considering a complex entire function $f$: $\mathbb{C}^n\to \mathbb{C}$. Suppose $f=0$ on $\{(x_1,\cdots,x_n)\in\mathbb{R}^n:\sum_{k=1}^n x_k^2=1\}$. I want to prove
$$f=0\textit{ on } M_1=\{(z_1,\...
- 421
3
votes
1
answer
218
views
Subset of a complex manifold whose intersection with every holomorphic curve is analytic
The Osgood's lemma in complex analysis says that if $f \colon \mathbb{C}^n \to \mathbb{C}$ a continuous function such that $f|_{L}$ is holomorphic for every complex line $L \subset \mathbb{C}^n$, ...
- 1,170
0
votes
0
answers
32
views
Prove that $\widehat G = \left \{(z',w)\ :\ |w| < \rho (z') \right \}$ is pseudoconvex if and only if $-\log \rho$ is plurisubharmonic
Let $G \subseteq \mathbb C^n$ be a domain and $\rho : G \longrightarrow \mathbb R$ be lower semicontinuous positive function. Prove that $$\widehat G = \left \{(z',w)\ :\ |w| < \rho (z') \right \}$$...
- 41
1
vote
1
answer
71
views
Equivalent condition for the Pick matrix being positive semidefinite
On the wikipedia page of the Nevanlinna-Pick theorem the following claim appears:
Let $\lambda_1,\lambda_2,f(\lambda_1),f(\lambda_2)\in\mathbb{D}$. The matrix $P_{ij}:=\frac{1-f(\lambda_i)\overline{f(\...
- 502
3
votes
1
answer
140
views
The boundary regularity of a Teichmüller domain
By a Teichmüller domain, I mean the Bers embedding of a Teichmüller space (of a compact oriented surface of finite type) in a complex space.
It is known that the boundary of a Teichmüller domain is ...
4
votes
1
answer
444
views
Residues and blow ups
On a 2-dimensional complex manifold consider two functions which are meromorphic with singularities along two divisors which meet at a point. There is a residue from these meromorphic functions (...
- 1,143
0
votes
0
answers
44
views
Product of two circles and holomorphic functions
Assume that $f$ and $g$ are holomorphic functions in the unit disk having boundary values on the unit circle $T$ almost everywhere. Assume further that $$\int_0^{2\pi}\int_0^{2\pi}|f(e^{it})+g(e^{is})|...
1
vote
1
answer
129
views
Zeroes of entire function on $\mathbb C^n$
Let $n\ge 2$ be an integer and let $f$ be an entire function on $\mathbb C^n$. Let $A$ be a subset of $\mathbb R^n$ with positive $n$-dimensional Lebesgue measure. Then if $f$ vanishes at $A$, this ...
- 16.2k
1
vote
2
answers
256
views
Problem in understanding maximum principle for subharmonic functions
I am reading subharmonic functions and their properties from the book From Holomorphic Functions to Complex Manifolds by Grauert and Fritzsche. Let me first define what a subharmonic function is.
...
- 41
0
votes
1
answer
220
views
Fixed points free automorphisms of Teichmüller spaces
Let $\mathcal{T}_{g,n}$ be the Teichmüller space of a compact oriented surface of genus $g$ with $n$ marked points. Assume that $N:=3g-3+n>0$. Viewing $\mathcal{T}_{g,n}$ as a bounded domain in $\...
2
votes
1
answer
232
views
An interior cone condition for Teichmuller spaces
Let $\mathcal{T}_{g,m}$ be the Teichmuller space of a compact oriented surface of genus $g$ with $m$ marked points. Consider it as a bounded domain in a complex space $\mathbb{C}^N$. Let $\xi$ be a ...
5
votes
1
answer
267
views
Example of an $H^1$ function on the bidisk that is not a product of two $H^2$ functions
Fix $n \in \mathbb{N}$ and consider the Hardy space $H^1 := H^1(\mathbb{D}^n)$, consisting of holomorphic functions $f$ on the unit polydisk $\mathbb{D}^n=\mathbb{D}\times\dots\times\mathbb{D}$ such ...
- 63
3
votes
0
answers
89
views
Let $f: X \to D$ be a proper holomorphic submersion. Does a holomorphic form on $X$, closed on each fiber of $f$, have holomorphic coefficients?
Let $D$ be the unit disc in $\mathbb{C}^n$ and let $f: X \to D$ be a proper surjective holomorphic submersion, which is trivial as a smooth fiber bundle, with connected fiber $F$. We get an induced ...
- 658
2
votes
0
answers
88
views
Does Kobayashi isometry map preserve complex geodesics?
Let $\gamma_1, \gamma_2$ are real geodesics in a domain $D$ and these two real geodesics are lying in the same complex geodesics, the question is, are $f\left(\gamma_1\right)$ and $f\left(\gamma_2\...
2
votes
0
answers
178
views
What is meant by saying that the Shilov boundary of the polydisc $\mathbb D^n$ is $\mathbb T^n\ $?
Let $A$ be a complex Banach algebra and $M_A$ be the space of all non-zero multiplicative linear functionals on $A$ equipped with the weak$^*$-topology. Let $\widehat A$ be the image of $A$ under the ...
- 41
1
vote
1
answer
272
views
Let $u$ be harmonic on domain $D\subset \mathbb R^d$, how far can we extend $u$ holomorphically?
If $u$ is harmonic then it is real analytic so then it can be extended locally holomorphically. I also know that if $u$ is harmonic on a ball in $\mathbb R^d$ we have that the radius of convergence is ...
- 1,904
3
votes
1
answer
173
views
$n$-th root of meromorphic functions of several complex variables
Let $f:\Omega\rightarrow\mathbb{C}$ be a "nice" meromorphic function of several complex variables on some domain $\Omega$. I wonder if the following claim is true.
Claim. $f$ admits a global ...
- 1,024
0
votes
0
answers
49
views
pseudo inverse of a holomorphic multivariate injective map
Let $f:{\mathbb C}^n \rightarrow {\mathbb C}^N$, $N > n$, be holomorphic and injective on an open ball $B_n \subset {\mathbb C}^n$ such that the Jacobian matrices have full column rank at each ...
- 265
3
votes
0
answers
146
views
A Hartogs analogue?
Let $0<r<1<R$, and $A:=\{z\in \ell^2: r<\|z\|_2<R\}$.
For $n\in \mathbb{N}$, let $e_n$ denote the sequence in $\ell^2$ all of whose terms are zero, except the $n^{\text{th}}$ term, ...
- 31
1
vote
0
answers
44
views
Characterizing some similarity invariant homogeneous log-superharmonic functions of matrices
Let $L:M_n(\mathbb{C})^r\rightarrow[0,\infty)$ be a function that satisfies the following properties:
$\log(L)$ is plurisubharmonic.
$L$ is homogeneous in the sense that $L(\lambda A_1,\dots,\lambda ...
0
votes
0
answers
72
views
A coradius of convergence - biggest open disk contained in the image of a power series?
Let $f \in \mathbb{C}\{z_1,\dots,z_n\}$ be non-constant with $f(0) = 0$, where $n \geq 1$, and let $D$ be its domain of convergence. Recall that for $n=1$ this is just some open disk $\mathbb{D}_r(0)$ ...
- 7,127
1
vote
0
answers
86
views
Do we have a Grauert-Fischer theorem for non-trivial families?
This question is related to my previous question. Let $X$ be a compact complex manifolds and $\Delta\in \mathbb{C}^n$ be a small neighborhood of $0$. A family of deformations of $X$ over $\Delta$ is a ...
- 9,019
2
votes
1
answer
185
views
Inverse of Bochner–Martinelli formula
Suppose that $f$ is a holomorphic function on a domain $D$ in $\mathbb{C}^n$, $\partial D$ is smooth, and $f$ is $C^1$ on $\partial D$. Then, the Bochner-Martinelli formula states that
$f(z) = \int_{\...
- 661
2
votes
0
answers
86
views
Abelian subgroup of the automorphism group of $\mathbb C^n$
Let $Aut(\mathbb C^n)$ be the automorphism group of $\mathbb C^n$, i.e., the group of all biholomorphic maps of $\mathbb C^n \to \mathbb C^n$. Suppose $T$ is a finitely dimensional torus which is a ...
- 1,441
2
votes
1
answer
162
views
1-convex and holomorphically convex
A complex manifold $M$ is called $1$-convex if there exists a smooth, exhaustive, plurisubharmonic function that is strictly plurisubharmonic outside a compact set of $M$.
Can we prove that if $M$ is $...
- 1,441
4
votes
0
answers
74
views
Is there a dense set of Lipschitz functions in $H^\infty(U)$, each of which maps $(1,0,\ldots,0)$ to 1, where $U$ is the unit ball in $\mathbb{C}^N$?
Let $U$ be the open unit ball in $\mathbb{C}^N$, let $A(U)$ be the algebra of functions analytic on $U$ and continuous on $\bar U$, and let $u=(1,0,\ldots,0)$. Let $\mathcal{B}=\{f\in H^\infty (U): \|...
1
vote
1
answer
66
views
Estimate of minimum of the Poisson integrals corresponding to a convergent Hausdorff sequence of smooth bounded domains from below
Let $\{\Omega_{j}\}_{j\in\mathbb{N}}$ be a sequence of smooth bounded domains in $\mathbb{C}^{n}$ such that $\Omega_{j}$ converges to a smooth bounded domain $\Omega$ in the sense that the defining ...
- 63
1
vote
0
answers
198
views
Determinant of the conormal bundle
Let $Y$ be a smooth submanifold of codimension $r$ in a complex manifold $X$. By virtue of the adjunction formula, we always have the isomorphism
$$K_Y\simeq (K_X\otimes \det N_Y){\,|\,}_Y.$$
Recall ...
- 295
4
votes
1
answer
192
views
Factorization of an analytic function in $\mathbb{C}^n$
Let $\Omega$ be an open subset of $\mathbb{C}^n$ and let $f$ be analytic in $\Omega$. Assume $P\in\mathbb{C}[z_1,\ldots,z_n]$ is a polynomial whose irreducible factors are all of multiplicity one.
If $...
- 4,034
4
votes
0
answers
157
views
Local integrability of $\log|f(x)|$ in several variables
If $f(z)$ is an analytic function in a complex neighborhood (in $\mathbb C^n$) of a real point $x^0 \in \mathbb R^n \subset \mathbb C^n$, then $\log|f(x)|$ is integrable over some neighborhood $U \...
- 585
4
votes
0
answers
72
views
harmonic envelope of holomorphy
Let $D$ be a (real) domain in $\mathbb R^n=\mathbb R^n+i\lbrace 0 \rbrace\subset \mathbb C^n$. Then, due to P. Lelong, there exists a maximal (complex) domain $\tilde D\subset\mathbb C^n$, $D=\tilde D\...
- 246
1
vote
2
answers
304
views
A characterization of plurisubharmonic functions
Let $\Omega\subset \mathbb{C}^n$ be an open subset. Let $u\colon \Omega\to [-\infty,+\infty)$ be an upper semi-continuous function.
Recall that $u$ is called plurisubharmonic (psh) if its restriction ...
- 21.8k
1
vote
1
answer
461
views
Determine the coefficient of the exceptional divisor
Consider the following setting: suppose that $X$ is a smooth variety and let $f:X\rightarrow \Delta$ be a smooth morphism outside the origin $0$. Let the central fiber $X_0$ be a reduced (Cartier) ...
- 295
2
votes
0
answers
211
views
Maximum modulus principle for vector valued functions of several complex variables
In the following paper: Shub and Smale, "On the Existence of Generally Convergent Algorithms", Journal of Complexity 2, 2-11 (1986), trying to understand Lemma 2 on page 4.
Paraphrased, ...
- 75
5
votes
1
answer
442
views
Is the determinant line bundle of a coherent sheaf functorial (between sheaves of the same rank)?
The determinant line bundle of a coherent sheaf $\mathcal{F}$ on an $n$-dimensional (smooth) analytic space is defined as
\begin{equation}
\det \mathcal{F} := \bigotimes_i^n (\det \mathcal{E}_i)^{⊗...
- 1,141
3
votes
0
answers
98
views
Analogous tensor product operation for reflexive sheaf
Suppose now $(X,\mathcal O_X)$ is a normal complex space, and $\mathcal F$ is a coherent analytic sheaf on it.
Product the reflexive sheaf $$\mathcal F^{[p]}:=(\mathcal F^{\otimes p})^{**},$$ where $\...
- 295
19
votes
2
answers
2k
views
Laurent series in several complex variables
Is there a good generalisation of Laurent series for several complex variables?
I am interested in generalised power series that have some terms with negative powers, but not too many. In single ...
- 857
1
vote
1
answer
270
views
Global sections of a line bundle on a reducible complex space
Let $S$ be a reducible compact complex analytic space, thus we have the decomposition $S=\bigcup_{i=1}^n {V_i}$ where $V_i$ is the irreducible component of $S$. Let $L$ be a line bundle on $S$, I ...
- 295