Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
1 answer
246 views

Reconstruction of Riemann surface from a germ of holomorphic function

Let $\Sigma$ be a compact Riemann surface of genus $g$, and $f: \Sigma \to \mathbb{C}$ a meromorphic function. Take $U \subset \Sigma$ an open disk in $\Sigma$ biholomorphic to a disk in $\mathbb{C}$, ...
Student's user avatar
  • 5,230
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 ...
kaleidoscop's user avatar
  • 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$, $\...
A B's user avatar
  • 41
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 ...
YkMz's user avatar
  • 889
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 ...
JustSomeGuy's user avatar
3 votes
0 answers
119 views

Basic obstruction to anything like holomophic symmetric functions of infinitely many variables?

The totality of all holomorphic functions on the unit disk forms some sort of infinite-dimensional complex manifold, where the coefficients of the Taylor expansion might serve as coordinates for the ...
David Feldman's user avatar
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 ...
Dorian's user avatar
  • 363
3 votes
0 answers
179 views

Topology of level sets for meromorphic function

Let $F$ be a meromorphic function on $\mathbb{C}$. I consider the "level set" $$E_\varepsilon=\{z:|F(z)|\leq\varepsilon\}.$$ My objective is to find conditions under which $E_\varepsilon$ ...
kaleidoscop's user avatar
  • 1,352
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 ...
asv's user avatar
  • 21.8k
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 \...
Tom's user avatar
  • 471
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 ...
AmorFati's user avatar
  • 1,379
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 ...
Carlos Martinez's user avatar
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?...
Misha Verbitsky's user avatar
2 votes
0 answers
53 views

Approximating an infinite family of holomorphic functions by polynomials in relative error

I think I just proved a theorem I haven't found in the literature, and I think it must generalize. I therefore have two questions. First, if this is in the literature, what is it called? Second, what ...
Sébastien Loisel's user avatar
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\...
Naruto's user avatar
  • 63
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 ...
Jas Singh's user avatar
  • 283
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|...
Misha Verbitsky's user avatar
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). ...
Sergei Akbarov's user avatar
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 $\...
GradStudent's user avatar
2 votes
1 answer
111 views

Quasiconformal map from a subset of $\mathbb{C}$ to a polytope

Question. Does a quasiconformal map exist between a subset of $\mathbb{C}$ (such as a unit disc or rectangle) and a polytope? Here, I take a polytope to be a two-dimensional surface that could be ...
Talmsmen's user avatar
  • 547
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$.
Ali Taghavi's user avatar
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 ...
Eduardo de Lorenzo's user avatar
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 ...
Francesco Polizzi's user avatar
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$...
Mayuresh L's user avatar
3 votes
0 answers
167 views

Does the maximum principle hold in this pluriharmonic setting?

Let $U \subseteq \mathbb{C}^m$ be open, and let $F: U \to \mathbb{C}$ be a holomorphic function, with real part $u$. We are given a subset $S \subseteq U$ given by finitely many real equalities and ...
Malkoun's user avatar
  • 5,215
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 ...
user158773's user avatar
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 $...
m1rohit's user avatar
  • 69
3 votes
1 answer
82 views

Are injective analytic maps between non-archimedean spaces open?

Let $\Omega$ be a non-archimedean complete field, $n\in\mathbb N$ and $f:\Omega^n\to\Omega^n$ be an injective analytic map. Is the application $f$ open? In the complex case, this is a consequence of a ...
joaopa's user avatar
  • 3,996
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 ...
erz's user avatar
  • 5,529
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 ...
Stella Dubois's user avatar
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 ...
BCLC's user avatar
  • 247
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 ...
fgraderboy's user avatar
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 ...
jack lion's user avatar
  • 391
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 ...
Nothing's user avatar
  • 159
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 ...
Paul's user avatar
  • 1,409
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 ...
Paul's user avatar
  • 1,409
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 ...
Carlos Esparza's user avatar
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{\...
user135826's user avatar
3 votes
0 answers
235 views

Chern number of projection-Topological magic in physics

I enclosed a computation from a well-known paper in the field of mathematical physics where the Chern number of the first Landau level is computed (the result claimed is $-1$) and the full paper can ...
Ben Curnow's user avatar
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\...
Sien's user avatar
  • 89
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 ...
user131261's user avatar
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 ...
asv's user avatar
  • 21.8k
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 ...
asv's user avatar
  • 21.8k
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 } ...
asv's user avatar
  • 21.8k
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^...
Kevin's user avatar
  • 593
10 votes
1 answer
387 views

Is every endomorphism of the sheaf of holomorphic functions on a disk a differential operator?

Let $D= \{z\in \mathbb{C}:|z| < 1\}$ be the unit disk. And consider the sheaf of holomorphic functions $\mathcal{O}_{D}$. Question (?) : Is there a sheaf endomorphisms $\phi : \mathcal{O}_D \to \...
Saal Hardali's user avatar
  • 7,789
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 ...
asv's user avatar
  • 21.8k
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 $\...
Fallen Apart's user avatar
  • 1,615
12 votes
2 answers
2k views

Can the group of holomorphic automorphisms of an open subset of the complex plane be isomorphic to the additive group of real numbers?

We can construct open sets in the complex plane $\mathbb{C}$ whose automorphism group is isomorphic to $\mathbb{Z}$, but is there an open set whose automorphism group is isomorphic to $\mathbb{R}$?
wuzx's user avatar
  • 517
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 ...
erz's user avatar
  • 5,529