Complex geometry is the study of complex manifolds and complex algebraic varieties. It is a part of both differential geometry and algebraic geometry.

learn more… | top users | synonyms

1
vote
2answers
142 views

Lifting a birational map of $X/G$ to a birational map of $X$?

Let $X$ be a projective complex manifold and $G$ a finite group. Assume that $G$ acts on $X$ holomorphically and freely. Is it true that any birational map $\phi \in Bir(X/G)$ lifts to some birational ...
4
votes
2answers
308 views

Holomorphic trivialization of $(x,y) \subset \mathbb{C}[x,y]/(y^2 - x^3 + x)$

This question is largely out of curiosity but also motivated by an attempt to understand vector bundles on elliptic curves better. I believe it is a theorem of Grauert that any holomorphic vector ...
2
votes
1answer
270 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 ...
1
vote
0answers
45 views

About the integral of the plurisubharmonic functions on the whole manifold

Let $(M,\omega)$ be a Kahler manifold with positive first Chern class. $\omega\in c_1(M)$ is a Kahler current. $D$ is a smooth simple divisor in $-K_M$. $s$ is a determining section of $D$. The ...
0
votes
0answers
105 views

Moment map of CP^1 as rational normal curve

I am little confused about some basic symplectic geometry about Hamiltonian actions on sphere. I appreciate your comments. Consider sphere $S^2 = \mathbb{C}P^1$ with its standard symplectic (Kaehler) ...
3
votes
0answers
75 views

Moment map in the singular case

The moment map is defined on the symplectic manifold $(M,\omega)$, or particularly, $(M,\omega)$ is Kahler. While $\omega$ is smooth or differential enough, the definition is obvious to understand, in ...
0
votes
1answer
134 views

Kahler structure on holomorphic principal bundles

Let $G$ be a compact complex Lie group and $M$ be a compact Kähler manifold. Does there exist any example of a holomorphic principal $G$-bundle over $M$ admitting Kähler structures?
3
votes
1answer
99 views

3d-analog of “every 2d oriented manifold is complex”

Is there an analog of the statement of "every 2d oriented surface is a complex manifold"? I saw a theorem in Blair's book, that "every 3d contact metric manifold is a strongly pseudo convex CR ...
3
votes
1answer
143 views

Smooth mixed hodge modules - representations of fundamental group?

I do not know much about mixed Hodge modules. I would like to ask: Let $X$ be a smooth connected algebraic complex variety, with a chosen point. Could one describe smooth mixed Hodge modules on $X$ as ...
2
votes
1answer
336 views

Topological degree and polynomial degree

Let $F:\mathbb{C}^n\to \mathbb{C}^n$ be a homeomorphism homogeneous of degree 1 (i.e., $F(tx)=tF(x)$, $t>0$) and $g:\mathbb{C}^n\to \mathbb{C}$ a homogeneous polynomial of degree $k$. Let $L$ ...
2
votes
1answer
188 views

Cotangent bundle of coadjoint orbit is stein manifold?

Let me first define stein manifolds and coadjoint orbits. A complex manifold $X$ of complex dimension $n$ is called a Stein manifold if the following conditions hold: $X$ is holomorphically convex, ...
0
votes
1answer
158 views

A problem related to connectivity of analytic functions

Let $f(z)\in A(\mathbb D)$, where $A(\mathbb D)$ is the space of analytic functions on the open unit disk $\mathbb D$ and continuous on $\overline{\mathbb D}$. Question: Is the connectivity of ...
2
votes
1answer
100 views

What are the known examples of compact complex $n$-folds that do not have a strongly Gauduchon metric for $n >2$?

Gauduchon showed that every conformal hermitian structure on a compact complex $n$-fold contains an hermitian metric such that the associated 1,1-form $\omega$ satisfies $\partial ...
2
votes
2answers
206 views

Etale covers of a hyperelliptic curve

Let $X$ be a hyperelliptic curve of genus at least two. Let $Y\to X$ be a finite etale morphism with $Y$ connected.Then $Y$ is a smooth projective connected curve. Is $Y$ hyperelliptic? More ...
0
votes
1answer
112 views

Arithmetic property of a surface of general type

In my previous post I asked about the hyperbolicity of the affine surface $S'=\{zw \neq o\}$ in the projective surface $z^2 = P(x) Q(y)$ in $\mathbb{P}^3$, where $P$ and $Q$ are two general ...
1
vote
1answer
134 views

A family of examples of (Brody) hyperbolic surfaces

Let $P(x)$ and $Q(x)$ be two general polynomial of the same degree $d$ (d can be arbitrary large). Consider the surface $S : z^2 = P(x) Q(y)$ in the projective space $\mathbb{P}^3$. I want to prove ...
2
votes
1answer
189 views

fearful of defining equivalent germs for non isolated singularities

Two power series $G(x_1, \ldots, x_n)$ and $F(x_1, \ldots, x_n)$ are equivalent over $\mathbb{C}$ if there is an automorphism of the ring $\mathbb{C}[[x_1, \ldots, x_n]]$ given by $x_1 \to \phi(x_1, ...
3
votes
2answers
217 views

The Szego projector, the dual disc bundle $\overline{D}$ and representation of $S^1$ on $H^2$($\overline{D}$)

This construction arises when constructing the Szego projector. Let's consider the dual disc bundle $\overline{D}$ of a positive Hermitian line bundle ($L$,$h$) over a compact Kahler manifold $M$, ...
2
votes
3answers
229 views

Solutions of the $\overline{\partial}$ equation in the upper half-plane

I am looking for references on solutions of the $\overline{\partial}$ equation in the upper half-plane (with conditions on the boundary). But this subject is completely outside my area of expertise ...
3
votes
1answer
196 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 ...
3
votes
1answer
143 views

Local holomorphic equations for symplectic divisors

If $(X,\omega)$ is a symplectic manifold and $J\colon TX \to TX$ is an almost complex structure, we know that $X$ admits a complex structure if and only if the Nijenhuis tensor $N_J(\cdot,\cdot)$ of ...
3
votes
1answer
173 views

Newlander-Nirenberg in dimension 2

What is the easiest (and what is the most elementary) way of proving Newlander-Nirenberg theorem for Riemannian surfaces? I was able to reduce it to existence of non-trivial harmonic functions ...
2
votes
0answers
43 views

Uniform estimate for the cauchy-riemann equations on a hyperbolic riemann surface

I have been trying to find the answer to this question in the literature, but have not succeeded. The question is as follows. Suppose $X$ is a Riemann surface that admits a green's function (i.e. ...
2
votes
1answer
124 views

Atiyah classes of holomorphic vector bundles with trivial Chern classes

Let $X$ be compact Kahler and $E \to X$ a holomorphic vector bundle. Then $E$ has an Atiyah class, $At(E)$, valued in the sheaf cohomology $H^1(\Omega_X \otimes \operatorname{End} E)$. Suppose the ...
1
vote
0answers
76 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?
1
vote
1answer
293 views

Holomorphic vector field on Fano Kähler–Einstein manifold

Let $M$ be a compact Fano Kähler–Einstein manifold, and $V$ a holomorphic $(1,0)$ vector field on $M$. The Fano conditions say that $V = \nabla^{1,0} f$ for some smooth complex-valued function. By ...
3
votes
0answers
215 views

Hirzebruch's ICM talk

Is there an English translation of Hirzebruch's 1958 ICM lecture note: KOMPLEXE MANNIGFALTIGKEITEN Thank you very much!
22
votes
2answers
1k views

A geometric characterization for arithmetic genus

Let $X$ be a smooth projective variety over $\mathbb{C}$. The following information is all equivalent (any of these numbers can be computed by a linear equation from any of the others): the ...
2
votes
2answers
317 views

On a Hirzebruch surface.

I am trying to solve exercise in Huybrechts's book 'Complex geometry' While solving problems, one problem kept me from going forward. That is, The surface $\Sigma_n=\mathbb{P}$ $(\mathcal{O}_ ...
3
votes
0answers
105 views

Is there any advantage to knowing that Gauss-Manin is Hermitian flat?

Let $S$ be a complex manifold and let $p : E \to S$ be a holomorphic vector bundle. Is there any advantage to knowing that $E$ carries a flat Hermitian metric $h$, ie a smooth Hermitian metric with ...
9
votes
0answers
191 views

What is the holomorphic sectional curvature?

Let $X$ be an $n$-dimensional complex manifold, let $\omega$ be a Kahler metric on $X$ and let $R$ be the $(4,0)$ curvature tensor of $\omega$. We can simplify the tensor $R$ in different ways, two of ...
1
vote
0answers
82 views

algebraic varieties whose fundamental group is subgroup separable wrt subvariety subgroups

Call an algebraic variety $\pi_1$-subgroup separable iff, for every $Y\subseteq X$ a closed subvariety and $\hat Y\xrightarrow{i} Y$ a normalisation of $Y$, and subgroup $\Gamma=Im(\pi_1(\hat ...
0
votes
0answers
61 views

filling by holomorphic disks method

Can you give me a reference for the proof of the filling by holomorphic disks method, besides Bishop's original paper?
2
votes
1answer
128 views

mixed Hodge structure on Cohomology with compact support

Let $X$ be a smooth quasi-projective variety of dimension $n$ over the complex numbers (let us assume it is the complement of a normal crossings divisor in a smooth projective variety). Then how does ...
4
votes
1answer
83 views

Weyl group action on complexified Iwasawa decomposition

Let $G$ be a complex, reductive, algebraic group and let $G=KB$ be the complexified Iwasawa decomposition of $G$, see also [SW02]. Let $T$ be a maximal torus of $B$, therefore a maximal torus of $G$. ...
3
votes
2answers
315 views

The holomorphic version of Galois theory

We identify the space of polynomials of degree n with $\mathbb{C}^{n+1}-\mathbb{C}^{n}$, that is an $n+1$ tuple $(a_{n},a_{n-1},\ldots,a_{0})$ with $a_{n} \neq 0$ is identified with $p(z)=a_{n}z^{n} ...
3
votes
2answers
605 views

Ample divisors on blown-up projective space

Let $\mathbb{P}=\mathrm{Proj}(\mathbb{C}[x_0,\ldots,x_n])$ be complex projective $n$-space. Assume I have linear subvarieties $L_1,\ldots,L_k\in\mathbb{P}$ of codimension $r_i\ge 2$, respectively. Let ...
1
vote
2answers
221 views

The Schottky group and the fundamental group of a compact Riemann surface

I am quoting the following description from a paper, "...every compact Riemann surface can be obtained as the quotient $\mathbb{C}/\Gamma$ where $\Gamma$ is a Schottky group. The Schottky group of a ...
-1
votes
0answers
70 views

Requirements on holomorphic embedding in terms of the associated line bundle

Consider a holomorphic embedding $f$ of a genus $g$ Riemann surface $\Sigma_g$ into a generic quintic $Q \subset \mathbb{CP}^4$ This is the same as giving the (very ample) line bundle over the curve ...
0
votes
1answer
121 views

A question about the first eigenvalue for two Kahler metrics

While reading the paper of Gang Tian, "Kähler-Einstein metrics with positive scalar curvature". In the proof of Theorem 1.6, he pointed that if two Kahler metrics $\omega $ and $\omega'$ satisfies ...
8
votes
4answers
239 views

Automorphism group of flag manifolds?

If $F=F(n_1, \ldots, n_k)$ is the (complex) flag variety associated to the partition $(n_1, \ldots, n_k)$, what is the automorphism group of $F$? Here I mean holomorphic and/or variety automorphisms. ...
0
votes
0answers
66 views

moduli space of equivariant holomorphic embeddings into the quintic

I'd like to understand better the following problem, whether it is mathematically well-posed, trivial, etc. Fix a non-negative integer $g$ and consider the space ...
1
vote
1answer
230 views

A question about complex polarization

Let $M$ be a symplectic manifold, Then a subbundle $P\subset TM^{\mathbf{C}}$ of the complexified tangent bundle is called a complex polarization if $P$ is Lagrangian P involutive dim$P\cap\bar P ...
7
votes
1answer
263 views

Log forms and Tate classes

Let $X$ be a smooth finite type variety over $\mathbb{C}$. Suppose that $\theta$ is a closed algebraic $1$-form whose cohomology class is weight $2$. Can we always express $\theta$ as $$\theta = ...
5
votes
2answers
262 views

Making Hironaka's theorem explicit for hypersurfaces

Given a smooth hypersurface $H$ in $\mathbb{C}^n$, a theorem of Hironaka promises that one can find a strict normal crossings compactification $\bar{H}$ inside of a projective variety $X$. For me, ...
2
votes
1answer
160 views

almost holomorphic line bundles

Let $(L,\omega_L) \to (M,\omega_M)$ be a symplectic line bundle (symplectic line=real dimension 2) over a symplectic manifold $M$. Each of these objects can be equipped with an almost complex ...
1
vote
1answer
69 views

Do Hermitian metrics also split on the Riemann sphere?

Maybe this is well known, but i could not find a pointer to some literature: Let us assume $E$ is a rank n vector bundle on the Riemann sphere $\mathbb{C}\mathbb{P}^1$. We know that ...
3
votes
1answer
134 views

$\mathbb{P}^1$-fibrations over $\mathbb{P}^2$ that are not rational

We know that if $X$ is a smooth complex projective variety and we assume that there is a dominant morphism $f : X \to Y$ with $Y$ and the general fibers of $f$ rationally connected. Then $X$ itself is ...
1
vote
0answers
76 views

Algebraic set given by sequence of polynomials

When working on some problem, I have end up with a following situation. Suppose $P(z)=z^d+a_{d-1}z^{d-1}+\ldots+a_1z+a_0$ is a complex polynomial $d\geq2$ and that $\gamma$ and $\delta$ are non-zero ...
5
votes
1answer
126 views

The proof of Belyi theorem by Lando and Zvonkin

I'm sorry for asking such a specific question, but i have trouble understanding one detail in the proof of Belyi's theorem in the book "Graphs on surfaces and their applications" by Lando and Zvonkin" ...