All Questions
74 questions
18
votes
2
answers
1k
views
Proving algebraicity of compact Riemann surfaces without Chow's theorem
I am trying to write a report for a complex analysis class where I prove Riemann-Roch and apply it to prove algebraicity of compact Riemann surfaces. While writing this, I found that Riemann-Roch ...
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 ...
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$, $\...
16
votes
0
answers
519
views
Gabriel's theorem for complex analytic spaces
Let $X,Y$ be noetherian schemes over $\mathbb{C}$.
Then, it is known that
$$
\text{Coh}(X) \simeq \text{Coh}(Y) \Rightarrow X \simeq Y,
$$
by P. Gabriel(1962).
Are there some results in the case of ...
0
votes
0
answers
200
views
“Holomorphic” bump function
I was wondering in what sense can I construct a holomorphic “bump function”? Now, of course we cannot really construct a holomorphic bump function in the usual sense, but I have a much rougher idea in ...
1
vote
1
answer
95
views
Common holomorphic forms for two distinct complex structures
Let $S$ be a closed real surface having two complex structures $c_1$ and $c_2$ which are not biholomorphic (so $S$ is a Riemann surface with genus at least 1). Consider $\omega$ a 1-form on $S$ which ...
1
vote
0
answers
155
views
Top cohomology of the canonical class of a compact non-Kähler manifold
Let $X$ be a complex compact manifold of complex dimension $n$. Let $K_X$ denote its canonical class. Is it true that the cohomology group
$$H^n(X,K_X)$$
is one dimensional?
Remark. If $X$ is Kähler ...
7
votes
1
answer
308
views
When $H^{p,q}_{\bar\partial}(X)$ can be seen as a subspace of $H^k(X,\mathbb C)$?
It is known that for a $\partial\bar\partial$-manifold $X$ (a compact complex manifold satisfies the $\partial\bar\partial$-lemma), the Bott-Chern cohomology $H_{BC}^{\bullet,\bullet}:=\frac{\ker \...
8
votes
2
answers
381
views
Real analytic subvariety in complex manifold which is complex outside of its singular set
Let $M$ be a complex manifold, and $Z \subset M$ a closed real analytic subvariety. Suppose that the set of smooth points in $Z$ is complex analytic in $M$. Will it follow that $Z$ is complex analytic?...
7
votes
1
answer
527
views
Do non-projective K3 surfaces have rational curves?
Define a compact Kähler surface $X$ to be a K3 surface if $X$ is simply connected, $K_X \simeq \mathcal{O}_X$, and $h^{0,1}=0$. If $X$ is projective, then a theorem typically attributed to Bogomolov ...
3
votes
0
answers
85
views
Can a punctured ball $(B\setminus\{0\})\subset\mathbb{C}^n$ be foliated by complete leaves?
Recently Antonio Alarcón proved that in the case of the unit ball $B\subset\mathbb{C}^n$ for $n\geq 2$ every smooth closed complex submanifold of dimension $q\leq n$, $V\subset\mathbb{C}^n$ defines a ...
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\...
21
votes
4
answers
2k
views
Holomorphic vector fields acting on Dolbeault cohomology
The question.
Let $(X, J)$ be a complex manifold and $u$ a holomorphic vector field, i.e. $L_uJ = 0$. The holomorphicity of $u$ implies that the Lie derivative $L_u$ on forms preserves the (p,q) ...
2
votes
1
answer
721
views
How to study the nonregular part of a finite branched holomorphic covering?
A finite branched holomorphic covering is a holomorphic map $f : V \to W$
between holomorphic varieties $V$ and $W$ such that
$f$ is a finite branched covering (in the topological sense)
There is a ...
7
votes
0
answers
129
views
holomorphic functions on Stein manifolds reaching maxima in a given point on the boundary (Shilov boundary)
Let $M$ be a Stein manifold with smooth, strictly
pseudoconvex boundary, and $x$ a point on its
boundary. Is there a holomorphic function $f$ on
$M$, smooth on the boundary, with strict
maximum of $|f|...
4
votes
0
answers
197
views
Approximation of a holomorphic function vanishing at a submanifold by polynomials
Suppose $M$ is a complex affine algebraic manifold in ${\mathbb C}^n$ (I mean, a set of common zeroes of a system of polynomials on ${\mathbb C}^n$, which is at the same time a smooth manifold). ...
1
vote
0
answers
112
views
Quasi-plurisubharmonic function with polynomial decay
Let $(M, \omega)$ be a compact Kähler manifold. An $\omega$-quasi-plurisubharmonic function on $M$ is an upper semi-continuous function $\varphi : M \to \mathbb{R} \cup \{ - \infty \}$ such that $\...
3
votes
1
answer
292
views
Equivalent definitions of normality for complex algebraic varieties
In Kollár's article The structure of algebraic threefolds: an introduction to Mori's program he gives the following definition of a normal variety:
Definition 5.4. Let $V \subset \mathbb{C}^n$ be an ...
4
votes
0
answers
229
views
Real part of a holomorphic section of a vector bundle
Let $F\to M$ be a holomorphic vector bundle over a complex manifold $M$ and let $s:M\to F$ be a no-zero section. Let $E$ be the complexification of $F$, and suppose that $E$ admits a holomorphic ...
5
votes
0
answers
189
views
Extension of holomorphic maps to smooth family of holomorphic maps
Let $\pi:X \to D^2$ be a family of diffeomorphic (but not isomorphic) complex manifolds. Each fiber is allowed to have boundary but is compact (maybe not Stein) and $D^2 \subset \mathbb{C}$ is a ...
7
votes
2
answers
619
views
Does Peetre's theorem hold in complex analysis?
Let $E, F$ be two smooth vector bundles over a smooth manifold $M$. Peetre's theorem states that any $\mathbb{R}$-linear morphism $D: \mathcal{E} \to \mathcal{F}$ of the sheaves of sections of $E$ and ...
12
votes
1
answer
482
views
Holomorphic Urysohn Lemma
Let $M,N$ be two disjoint closed holomorphic submanifolds of $\mathbb{C}^n$. Is there a holomorphic map $f:\mathbb{C}^n\to \mathbb{C}$ with $f(M)=0,\;f(N)=1$.
11
votes
1
answer
860
views
Is every surjective holomorphic self-map on a compact complex manifold finite-to-one?
I have already asked this question on stack exchange, but I didn’t get any answer.
Let $X$ be a compact connected complex manifold.
Let $f:X \to X$ be a surjective holomorphic map. Is it true that $f$...
32
votes
1
answer
1k
views
About a claim by Gromov on proper holomorphic maps
At p. 223 of his paper [G03], Mikhail Gromov makes the following claim:
Let $X$, $Y$ be two complex manifolds (not necessarily compact or Kähler) of the same dimension and having the same even Betti ...
2
votes
1
answer
303
views
Reconstructing the metric on $CP^2$ with special one forms
I know that $(z_1,z_2)$ are the affine\inhomogeneous coordinates on the complex projective space $CP^2$. Now I have four one forms $(Y_1,Y_2, Y_3, Y_4)$. I want to rewrite the Fubini Study metric on $...
1
vote
1
answer
80
views
How many points of a sequence can we catch with an analytic disc?
Let $X\subset \mathbb{C}^{n}$ be a domain. You can assume that it is nice (e.g. bounded convex balanced ). Let $\{x_n\}$ be a sequence of points that does not have a limit point in $X$.
Let $D$ be the ...
0
votes
1
answer
425
views
Are anti-linear maps/semi-linear, such as conjugations, linear in other almost complex structures?
I have asked this on mse, but I did not get any responses even after a bounty.
I started studying the book of Daniel Huybrechts, Complex Geometry An Introduction. I tried studying backwards as much ...
2
votes
0
answers
253
views
cohomology classes of complex submanifolds
I was wondering if there were restrictions in what the cohomology classes corresponding to complex submanifolds of a complex manifold could be.
For example, say $T^4$ is regarded as a complex ...
1
vote
0
answers
234
views
Riemann's bilinear relations
I am reading the paper [1], which states
Haupt showed that a vector with complex entries $(w_1, \cdots, w_g, z_1, \cdots, z_g)$ is the period row of some holomorphic differential with respect to a ...
2
votes
0
answers
99
views
What's the behavior of the laplacian of dbar operator w.r.t. a singular metric of a holomorphic line bundle?
What's the behavior of the laplacian of dbar operator w.r.t. a singular metric of a holomorphic line bundle or other holomorphic vector bundle over a complex manifold ?Do we have anything similar ...
2
votes
4
answers
2k
views
Learning roadmap for complex geometry
I am interested to pursue my graduate studies in complex geometry but sadly I did not find a lot of references regarding the learning roadmap for complex geometry on the website. (most of them are ...
8
votes
1
answer
431
views
Holomorphic deformation of complex structure on the real plane
It is known that each complex structures on $\mathbb{R}^2$ is biholomorphic to either $\mathbb{C}$ or the open unit disk $\Delta$.
One can continuously deform one complex structure to the other as is ...
2
votes
1
answer
295
views
Differences of $\omega$-plurisubharmonic functions
Let $X$ be a complex manifold, and $\omega$ a Kähler form on $X$.
A smooth function $\phi$ on $X$ is $\omega$-plurisubharmonic ($\omega$-psh for short) if the form $\omega+\sqrt{-1}\partial\bar{\...
1
vote
1
answer
70
views
On extensions of holomorphic mappings with image in a projective algebraic variety
I am reading the paper "Two Theorems on Extensions of Holomorphic Mappings" by PHILLIP A. GRIFFITHS. In Example 2 of the paper, there is a proposition saying that:
Let $N$ be a complex manifold, $S\...
4
votes
0
answers
70
views
Extension of holomorphic function on family of relatively compact strictly pseudoconvex domains
Let $Y \to M$ be a (proper and locally trivial) family of relatively compact strictly pseudoconvex domains which are smooth (not neccesarily Stein spaces). So $Y$ and $M$ are a complex manifold and ...
6
votes
1
answer
317
views
Cohomology of neighborhood of $\mathbb{C}\mathbb{P}^1$ in $\mathbb{C}\mathbb{P}^n$
Let $\mathbb{C}\mathbb{P}^1$ be embedded linearly to $\mathbb{C}\mathbb{P}^n$ with $n>1$. (Such an embedding is given in coordinates by $[x:y]\mapsto [x:y:0:\dots: 0]$.)
Is it true that for any ...
3
votes
0
answers
169
views
Cohomology of a tubular neiborhood of submanifold vs cohomology of the formal neighborhood
Let $X$ be a smooth complex analytic manifold. Let $Z\subset X$ be a smooth compact analytic submanifold. Let $\hat Z$ be the formal neighborhood of $Z$. Let $U$ be an open neighborhood of $Z$.
Is ...
8
votes
0
answers
277
views
Cohomology of complex manifold vs cohomology of its complex submanifold
Let $X$ be a smooth complex analytic manifold. Let $Z\subset X$ be a smooth compact analytic submanifold. Let $A$ be a holomorphic vector bundle over $X$. Assume that
$$H^i(Z, A|_Z)=0 \mbox{ for any } ...
1
vote
1
answer
144
views
Upper bound of the dimension of automorphism group of compact Kähler manifolds
It is well-known that the dimension of the isometry group of an $n$-dimensional compact Riemannian manifold is no larger than $\frac{1}{2}n(n+1)$, which is attained precisely by $S^n$ and $\mathbb{R}P^...
4
votes
1
answer
279
views
Shrinking the boundary of a Riemann surface
Let $X$ be a compact Riemann surface with boundary. Let us shrink each connected component of the boundary into a point. We get a closed topological surface $Z$ with several marked points (which came ...
1
vote
0
answers
137
views
Does $\mathfrak{m}_z/\mathfrak{m}_z^2\cong\overline{\mathfrak{m}_z}/\overline{\mathfrak{m}_z}^2 $ on all complex manifolds?
Let $M$ be a complex manifold with its sheaf $\mathcal{O}_M$ of holomorphic functions.
Fix a point $z\in M$ and denote by $\mathcal{O}_z$ the stalk of $\mathcal{O}_M$ at $z.$
Cosider ideals $\...
3
votes
0
answers
94
views
Isotropy symmetric holomorphic functions
Let $G$ be a bounded homogeneous domain in $\mathbb{C}^{n}$ and let $z\in G$.
Assume that $f$ is a holomorphic function on $G$, which is isotropy symmetric, i.e. $f\circ \varphi=f$ for any ...
4
votes
0
answers
148
views
Universal cover of Kodaira surface
From an earlier question, the universal cover of a Kodaira fibered surface is a bounded domain in $\mathbb{C}^2$. It is also not the polydisk or the ball. Can we say more about the structure of the ...
2
votes
2
answers
354
views
Holomorphic maps into a symmetric product of Riemann surface
Let $X$ and $Y$ be compact Riemann surfaces that are both hyperbolic (i.e. genus > 1). A classical result of de Franchis implies that the space of non-constant holomorphic maps from $X$ into $Y$ is a ...
3
votes
0
answers
90
views
Two questions on homogeneous domains
Let $G$ be a domain in $\mathbb{C}^{n}$ and let $Aut(G)$ be the group of biholomorphic selfmaps of $G$. $G$ is called:
(1) homogeneous if $Aut(G)$ acts transitively on $G$, i.e. for any $z,w\in G$ ...
2
votes
1
answer
321
views
Are induced morphisms on cohomology strict with respect to the hodge filtration in the non Kähler case?
For a complex manifold $X$ there is the Hodge filtration on cohomology, induced by the filtration on the complex of holomorphic forms given by:
$$ F^r\Omega_X^p:=\begin{cases}\{0\}\qquad\text{if }r&...
0
votes
1
answer
284
views
Lelong number of curvature of Kawamata's hermitian metric
Let $X,Y$ are two projective varieties and $f:X\to Y$ is an Iitaka
fibration. Consider the following singular hermitian metric
$$h(\sigma,\sigma)=\left(\int_{X_y}|\sigma|^{\frac{2}{m!}}\right)^{m!}...
4
votes
3
answers
687
views
Finite covers of punctured Riemann surfaces
Let $X$ be a compact Riemann surface, i.e. compact smooth complex analytic (hence automatically algebraic) curve. Let $A\subset X$ be a finite subset, and $X_0:=X\backslash A$.
Let $Y_0$ be a smooth ...
1
vote
2
answers
654
views
Examples of pluripolar sets
I have a very basic question on pluripolar sets. First remind their definition.
Let $\Omega\subset \mathbb{C}^n$ be a domain. A subset $E\subset \Omega$ is called pluripolar if there exists a ...
1
vote
0
answers
217
views
Homeomorphism of fibers of holomorphic maps
EDIT (after the comment by Jason Starr): Let $X$ be a complex algebraic (or, more generally, analytic) variety, possibly singular and non-compact. Let $f\colon X\to D^*$ be a proper algebraic morphism ...