All Questions
42 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
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
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
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
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\...
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
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
0
answers
132
views
On the definition of Cauchy transform [closed]
I have seen two different definitions of the Cauchy transform of a smooth function one is with respect to the line integral (for eg. in. the book "The Cauchy transform and potential theory")...
- 21
2
votes
1
answer
238
views
Extension of a Szegő Kernel to the boundary
Let $\Omega\subset\mathbb{C}^n$ be any smooth bounded pseudoconvex domain. Let $S$ denote the Szegő kernel of $\Omega$.
Recall: the Szegő kernel is a kernel of the Szegő projection $P: L^{2}(\partial\...
- 63
3
votes
0
answers
177
views
A question on the proof of Bedford-Taylor theorem in Demailly's book
I am trying to understand a proof of the Bedford-Taylor theorem on the weak convergence of Monge-Ampere operators of decreasing sequences of plurisubharmonic functions.
I am reading a proof in the ...
- 21.8k
1
vote
0
answers
271
views
Starlike sets in $\mathbb{C}^n$
Let $S$ be a bounded domain in $\mathbb{C}^n$. $S$ is called starlike about the point $x_0\in S$ if for every point of $S$, the segment of the straight line from the point to $x_0$ lies in $S$. If $S$ ...
- 61
6
votes
1
answer
204
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 ...
- 9,019
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
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
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
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
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
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
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
1
vote
0
answers
142
views
Construction of homogeneous Siegel domain from j-algebra
I am reading bounded homogeneous domain from Piatetski-Shapiro's
book ``Automorphic functions and the geometry of classical domains''
and have questions on how to construct homogeneous Siegel domain
...
- 637
19
votes
2
answers
1k
views
Classification of complex structures on $\mathbb{R}^{2n}$
Is there anything known about classification of complex structures on $\mathbb{R}^{2n}$ up to isomorphism for $n>1$? Say, are there finitely or infinitely many isomorphism classes? If there is a ...
- 21.8k
2
votes
1
answer
3k
views
generalization of fundamental theorem of algebra for several complex algebra [closed]
I am looking for a generalization to fundamental theorem of algebra for several complex variables functions or systems. If such theorem exists, it should concisely relates the number of zeros of ...
- 383
1
vote
1
answer
164
views
Lifting quadratic forms on the cotangent bundle to higher level forms
Backround
In several complex variables, an essential tool is Hormander's machinery for solving the $\overline{\partial}$ problem with $L^2$ estimates.
If $\alpha$ is a $(p,q+1)$ form on a domain $\...
- 12.1k
17
votes
3
answers
764
views
Can all $L^2$ holomorphic functions on a domain vanish at a particular point?
Let $\Omega \subset \mathbb{C}^n$. Is it possible that there is a point $p \in \Omega$ such that every $f \in A^2(\Omega) = L^2(\Omega) \cap \mathcal{O}(\Omega)$ has a zero at $p$? The space $A^2(\...
- 12.1k
2
votes
1
answer
373
views
Does the "Ohsawa-Takegoshi theorem without bounds" have a name?
There are many theorems which now could be called "The Ohsawa-Takegoshi" theorem. Of these, the most basic is roughly the following:
Let $\Omega \subset \subset \mathbb{C}^n$ be a psuedoconvex ...
- 12.1k
5
votes
0
answers
241
views
Density of rational functions in open Stein
I repost here, after I tried here.
Lately I have been wondering on this problem: if $U \subset \mathbb C^n$ is an open Stein and I denote by $\mathcal R(U)$ the set of rational functions on $\mathbb ...
- 513
5
votes
1
answer
692
views
Can someone tell me properties of Douady space?
I want to know the parallel properties of Douady space with respect to Hilbert scheme. For example I want to know what is the irreducible component of Douady space, what if I consider a family of ...
- 1,121
14
votes
1
answer
1k
views
What is the "complex third derivative"?
Background
I am including this information about real higher order derivatives because it does not seem to be common knowledge. I also include a review of the complex Hessian.
If $f:\mathbb{R}^n \...
- 12.1k
2
votes
0
answers
100
views
Translation of "Über kompakte homogene Kählersche Mannigfaltigkeiten"
Has anyone translated Borel and Remmert's 1962 paper titled:
Über kompakte homogene Kählersche Mannigfaltigkeiten?
- 89
3
votes
1
answer
439
views
Singularities of the Remmert reduction of a holomorphic convex manifold
Let $X$ be a holomorphically convex manifold, namely, for any infinite discrete subset of $X$ there exists a holomorphic function on $X$ which is unbounded on this set, then a theorem of Remmert says ...
- 285
3
votes
1
answer
385
views
Explicit form for hermitian structure $h$ with respect to $\omega$
Let $(M,\omega)$ be a symplectic manifold. and $\pi:L\to M$ be a complex line bundle , we denote $h$ as hermitian structure,i.e. if $s,s'$ are smooth sections of $L$ and if $X$ is a vector field on $M$...
user21574
8
votes
2
answers
994
views
Another proof of the bidisc and the ball are biholomorphically inequivalent?
Does this outline of a proof work?
Consider the ball and the bidisc in $\mathbb{C}^2$. Give each space its Bergman metric. To show that the ball and the bidisc are not holomorphic, it is enough to ...
- 12.1k