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

0
votes
1answer
36 views

Naive question about almost complex structures and hermitian metrics

I'm sorry if I have another naive question, but I want to understand correctly almost complex structures and hermitian metrics. Let's have $M$ complex manifold with almost complex structure $J$ and ...
2
votes
1answer
65 views

Why is the study of cones important in algebraic geometry?

It was quite difficult writing this question...I hope you can understand the goal of that. I want to ask it in order to clarify my ideas. I'm studying Hyperkahler geometry (principally on works by ...
0
votes
1answer
30 views

is that function must be constant under the following conditions

I'm talking about complex function $f$ is analytic function on a region $D$ that include the point $z=0$. for every $n\in N$ such $\frac{1}{n}$ is in $D$ , the function follows this condition ...
2
votes
1answer
51 views

Interpretation of the Weierstrass Preparation Theorem

I am reading Griffiths and Harris' Principles of Algebraic Geometry but I am having trouble making sense of a statement following the Weierstrass Preparation Theorem (p.9 in my edition). The ...
0
votes
0answers
18 views

Newlander-Nerenberg theorem in Voisin's book

I am reading the proof of Newlander-Nerenberg's theorem in the real analytic case, and there are some parts I don't understand, can someone help me please? 1) In the beginning, she said: " since ...
1
vote
0answers
39 views

Examples of complex manifolds satisfying the Kodaira-Spencer condition for unobstructed deformations

The theorem of existence proved by Kodaira and Spencer shows that a complex manifold $M$ for which the second cohomology group $H^2(M, \Theta T^{1,0} M)$ is trivial, $\Theta T^{1,0} M$ being the sheaf ...
0
votes
0answers
42 views

the laplacian in real coordinates and complex coordinates

In the notes by Szekely it says on page 35 that since $\nabla_k\frac{\partial}{\partial \overline z_l}=0$ it follows in holomorphic coordinates that the Laplacian is $\Delta f=g^{j\overline ...
4
votes
1answer
52 views

Does a left-invariant vector field on a complex Lie group preserve holomorphic functions?

Let $G$ be a (finite-dimensional) complex Lie group, and suppose $f : G \to \mathbb{C}$ is holomorphic. Let $X$ be a left-invariant vector field on $G$. Must $Xf$ be holomorphic? I think I have a ...
0
votes
1answer
33 views

Coordinate on the boundary of Riemann surface

Let $\Sigma$ be a Riemann surface with boundary. Question: Is there canonical way to parameterise the boundary components up to shift? By shift I mean change of coordinate $\phi$ to $\phi + c$. ...
0
votes
0answers
21 views

why we need stereographic projection in complex analysis?

Was this the first time we came to know that we need to extend the complex plane?why we used unit sphere there?
0
votes
0answers
38 views

Sections of inverse image sheaf of sheaf of sections of vector bundle

Let $\eta \colon Y \to Z$ be holomorphic map between complex manifolds, $E$ holomorphic vector bundle over $Z$, $\eta ^\ast E$ its pullback over $Y$, ${\cal O}_E$ sheaf of sections of $E$, and ...
0
votes
1answer
38 views

Schwarz theorem in complex analysis.

Is there a version of the Schwarz theorem $ \partial_x \partial_y = \partial_y \partial_x $ in the theory of complex functions of several variables and complex analysis ? It would be nice that you ...
3
votes
0answers
72 views

defining the canonical divisor

I am just starting to learn some basic algebraic geometry, but I am very confused with some definitions. So I hope I am not asking something that is completely trivial. Suppose $X$ is a normal ...
0
votes
1answer
23 views

computing the metric on a complex manifold

Let $M^n$ be a complex manifold with coordinates $z_1,\dots, z_n$ where $z_k=x_k+\sqrt{-1}y_k$. Let $$\frac{\partial}{\partial z_k}=\frac{\partial}{\partial x_k}-\sqrt{-1}\frac{\partial}{\partial y_i} ...
1
vote
1answer
84 views

{line bundles} $\neq$ {divisor line bundles}

Let $X$ be a compact complex manifold, and with the following sheaves $\mathscr O$, the sheaf of holomorphic function, $\mathscr O^*$, the sheaf of nonvanishing holomorphic function $\mathscr K^*$ ...
1
vote
0answers
33 views

What is the poinacre dual of the projectivization of a line bundle inside the projectivization of the sum of two line bundles?

Let $S:= \mathbb{CP}^1 \times \mathbb{CP}^1$. Let $TS \approx L_1 \oplus L_2$, where $L_1$ and $L_2$ are the pullback of $T\mathbb{CP}^1$ wrt to the respective projection maps. Note that ...
1
vote
1answer
36 views

Can a product of a Stein manifold and a compact manifold be again Stein?

A Stein manifold is a manifold which is holomorphically separable and convex. It is well known that a product of two holomorphically convex (resp. Stein) manifolds is again holomorphically convex ...
3
votes
0answers
50 views

“Pulling back a function from a neighborhood of 0 in $\mathbb{C}^2$ to $\mathbb{U}$ is analogous to computing the derivative of that function.”

I'm reading on Riemann Surfaces and after defining $$\mathbb{U} \equiv \{(z,\ell)\in\mathbb{C}^2\times\mathbb{P}_1;z\in\ell\},$$ and $B\ell_0:\mathbb{U}\to\mathbb{C}^2$, the author mentions that, ...
1
vote
0answers
63 views

Trying to understand a theorem of Chow

What is an example of a compact analytic subspace of the complex manifold $\mathbf{P}_{\mathbf{C}}^n$, the projective $n$-space over $\mathbf{C}$? Are they classified?
1
vote
0answers
62 views

Existence of a holomorphic connection implies existence of a flat connection

Let $E$ be a holomorphic vector bundle on a complex manifold $X$, and let $D: E \to E \otimes \Omega_X$ be a holomorphic connection on $E$ i.e. $$ D(fs) = s\otimes \partial(f)+ fD(s), $$ for any local ...
1
vote
0answers
76 views

Embedding a $deg \geq 4$ curve in $\mathbb{P}^2$

Reading the paper by Kollar "The structure of algebraic threefolds", among some examples he does talking about intrinsic and extrinsic geometry over $\mathbb{C}$, he mentions that "an irreducible ...
2
votes
1answer
28 views

Sketch $ z\in \mathbb{C}:0 < arg(z-(1+i)) < \frac\pi3 $

Sketch the following $$ z\in \mathbb{C}:0 < arg(z-(1+i)) < \frac\pi3 $$ I have considered this geometrically and ended up thinking that the complex numbers $z$ must satisfy $$0 < ...
2
votes
1answer
91 views

Why do we require that a complex manifold has the structure of a real manifold?

I am taking a course in complex manifolds, heavily influenced by Huybrechts' book "Complex Geometry", and in it we define a complex manifold $X$ to be a smooth, real manifold $M$ together with an ...
3
votes
1answer
87 views

Definition of complex conjugate in complex vector space

I am starting reading about Hodge theory and while reading the definition of abstract Hodge structure a very basic question came to my mind... What is the definition of the conjugate of a subspace of ...
3
votes
1answer
68 views

the top chern class of the holomorphic tangent bundle is the euler class

Is the following true? Let X be a complex manifold of complex dimension d and let V denote its holomorphic tangent bundle (ie it's $T^{1,0} \subset T \otimes_R C$, where T is the tangent bundle of ...
3
votes
1answer
98 views

Find all holomorphic diffeomorphisms $f:\mathbb{CP}^1\to\mathbb{CP}^1$

The complex projective line $\mathbb{CP}^1$ is the complex manifold defined by the quotient of $\mathbb{C}^2-\{(0,0)\}$ by the relation $z\sim w$ if $z=\lambda w$ for $\lambda\in\mathbb{C}-\{0\}$. I ...
6
votes
1answer
155 views

Exercise from Geometry of algebraic curves by Arbarello, Cornalba, Griffiths, Harris

Let $\pi:C^{'} \rightarrow C$ an unramified double cover of a complex Riemann surface $C$ of genus $g$. With the symbol $Nm_{\pi}$ we mean the norm application that takes a meromorphic function on ...
6
votes
1answer
106 views

Intuitive Aproach to Dolbeault Cohomology

I would like to understand an intuitive approach to the definitions of Dolbeault Cohomology (using $\partial$ and $\bar{\partial}$) similar to the one given here. All suggestions are welcome.
2
votes
1answer
57 views

$(p,q)$ part of a complex differential form in terms of the complex structure $J$?

Say $M$ is a complex manifold, viewed as real $C^{\infty}$ manifold with an integrable almost complex structure $J$. Let $\omega$ be a complex $r$-form on $M$. Is there a way to express the $(p,q)$ ...
0
votes
1answer
54 views

Integrate $\int_C{\tan{z}\ dz}; C: y=x^2$ (complex numbers)

Integrate $$\int_C{\tan{z}\ dz}$$ $C$ is the parabola arc $y=x^2$ that connects the points $z=0$ and $z=1+i$. This is what I've done so far: I know that $\tan{z}=\dfrac{\sin{z}}{\cos{z}}$ And ...
2
votes
1answer
46 views

Comparing vector bundle degrees coming from different embeddings into projective space

This question is a follow-up to this recent question of mine: Comparing notions of degree of vector bundle In that question, the definition of the degree of a vector bundle is discussed — in ...
3
votes
0answers
47 views

Cohomology vanishing on projective manifold, want to show that a line bundle $L$ is ample

I have some questions regarding the proof of the following theorem. Let $X$ be a projective manifold and $L$ a line bundle on $X$. Then $L$ is ample if and only if for all coherent sheaves ...
3
votes
1answer
202 views

What is $\mathbb{P}^{\infty}$?

Can we look at a complex projective space $\mathbb{P}^{\infty}$? I am curious to know what would it be. What is the right intuition to think about it? I know $\mathbb{P}^{n}$ is a space of ...
0
votes
2answers
38 views

In the real spherical harmonics, where does the sqrt(2) factor come from?

The real spherical harmonics can be written in terms of the complex spherical harmonics: $$ Y_{\ell m} = \begin{cases} \displaystyle \sqrt{2} \, (-1)^m \, \operatorname{Im}[{Y_\ell^{|m|}}] & ...
4
votes
1answer
73 views

Help needed to understand statements about torus

I am having trouble understanding two statements: Let $A$ be an algebraic curve in $\mathbb{P}^2$ over $\mathbb{C}.$ Consider its normalization $$\pi: \hat{A} \to A.$$ If genus $g(\hat{A})=1,$ ...
7
votes
1answer
99 views

Fano-ness of moduli space of stable vector bundles when determinant line bundle is *not* fixed…

According to Drezet-Narasimhan, Invent. Math. 97 (1989), no. 1, 53--94, the moduli space $\mathbb M$ of slope-stable holomorphic vector bundles with fixed rank $r$ and fixed determinant line bundle ...
2
votes
1answer
59 views

Harnack's curve theorem for curves in $\textit{complex}$ projective plane?

The wikipedia page gives the statement for algebraic curves in real projective plane. Is the statement also true in $\textit{complex}$ projective plane? If not, is there a similar statement about ...
2
votes
0answers
41 views

How to use complex numbers in geometry

Let $H$ be the orthocenter of an acute-angled triangle $ABC$. The circle $\Gamma_{A}$ centered at the midpoint of $BC$ and passing through $H$ intersects the sideline $BC$ at points $A_{1}$ and ...
19
votes
3answers
797 views

Sine of a Complex Number

While I know that $\sin(x)=2$ has no real solution, I tried seeing if it has a complex solution. That equality is equal to $$e^{2ix}-4ie^{ix}-1=0$$ Taking a quadratic in $e^{ix}$ I got ...
2
votes
2answers
81 views

Elements of the zero-th Čech cohomology group versus global holomorphic sections

Something that is confusing (well, to me) has come up in the course of asking other questions. Let $\pi:V\to X$ be a holomorphic vector bundle of rank $r$ on a complex manifold $X$, such that $V$ is ...
6
votes
1answer
87 views

Complex structure on the Jacobian of a Riemann surface

Let $X$ be a fixed smooth, connected, compact Riemann surface of genus $g$. The Jacobian variety $\mbox{Jac}(X)$, which parametrises isomorphism classes of holomorphic degree $0$ line bundles on $X$, ...
5
votes
1answer
88 views

Isomorphisms (and non-isomorphisms) of holomorphic degree $1$ line bundles on $\mathbb{CP}^1$ and elliptic curves

I have two highly-coupled questions concerning holomorphic line bundles, and so I will go ahead and ask them together. The first concerns line bundles on $\mathbb{CP}^1$ and the other concerns line ...
4
votes
2answers
165 views

What is the meaning of normalization of varieties in complex geometry?

There is a question already asked here about this. But I know almost nothing of algebraic geometry, nothing fancy to understand the answer. So I would highly appreciate an elementary explanation to my ...
0
votes
2answers
46 views

Constructing a complex structure on $S^2$

By definition of complex manifold, a complex manifold is a manifold with holomorphic charts $U \to D^2 \subseteq \mathbb C$. I want to define a complex structure on $S^2$. Can you tell me if ...
5
votes
0answers
52 views

Is there a natural ring structure on $\operatorname{Pic}(\mathbb{CP}^1)$?

The set of isomorphism classes of holomorphic line bundles on a complex manifold $X$ is a group under tensor product. This group is called the Picard group and is denoted $\operatorname{Pic}(X)$. We ...
5
votes
0answers
107 views

Not taking holomorphic bundles for granted

When we say something to the effect of, "Consider a holomorphic bundle $V$ on a complex manifold $X$...", we are saying that the transition functions of $V$ are holomorphic functions with respect to ...
3
votes
0answers
40 views

Which complex manifolds admit a collection of compatible 'charts' $\varphi_{\alpha} : U_{\alpha} \to \mathbb{C}^n$ which cover $X$?

A complex manifold of dimension $n$ is a $2n$-dimensional topological manifold $X$ together with a complex atlas which is a collection of compatible charts $\varphi_{\alpha} : U_{\alpha} \to B(0, 1) ...
1
vote
1answer
62 views

First Chern Class of divisors on compact Riemann surfaces

let $X$ be a compact Riemann surface and $D$ a divisor on $X$. I'm looking for a argument for the statement $c_1(\mathcal{O}_X(D)) = \deg(D)$, where $\mathcal{O}_X(D)$ is the associated line bundle to ...
3
votes
0answers
68 views

On a method to compute dimension of moduli space of Riemann surfaces

Consider genus $g$ Riemann surfaces, and thier moduli space $\mathcal M_g$. To determine dimension of $T\mathcal M_g$, start with a complex structure, which in some coordinates can be written ...
1
vote
1answer
54 views

Meromorphic function with bounded order of zeros and poles

The following problem has been bothering me for a long time; Let $X$ be a compact Riemann surface of genus $g$. Is there a non-zero meromorphic function on $X$ with all of its poles and zeros have ...