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

2
votes
1answer
56 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
30 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
47 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
84 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 ...
2
votes
0answers
73 views
+50

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 ...
5
votes
0answers
47 views

Intuitive Aproach of 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.
0
votes
0answers
9 views

(Un-)Decidability of the isomorphism/classification problem for complex manifolds

It is easy to find references for the undecidability of the question whether two (smooth) real manifolds are diffeomorphic and/or homotopy equivalent. One can even say that given a manifold $M$ it is ...
2
votes
1answer
50 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
27 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
42 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
45 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
187 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
27 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
68 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
86 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
45 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
39 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
763 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
68 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
74 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
70 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
112 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
44 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
45 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
102 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
34 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
46 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
59 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
46 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 ...
1
vote
0answers
51 views

Cartier divisors of schemes

In his notes, Ravi Vakil only defines the notion of an effective Cartier divisor. Furthermore, the Wikipedia page only defines the notion of an effective Cartier divisor for a general scheme. ...
0
votes
0answers
35 views

Two generating meromorphic functions seperate points on a compact Riemann surface?

Problem Suppose $z,f$ are two meromorphic functions on a compact Riemann surface $M$, whose meromorphic function field is $\mathbb C(M)=\mathbb C(z,f)$, where $\mathbb C(M)$ is a finite extension of ...
2
votes
1answer
61 views

Giving Holomorphic structure to Complex line bundles on projective space and torus

I am doing questions from [Huybrechts, Complex Geometry, An Introduction] page 143 questions 3.3.7 and 3.3.8. Basically the questions ask: For question 7, for any complex line bundles on the ...
1
vote
0answers
37 views

Degrees of spaces of polynomials

Let $I$ be an ideal in $K[x_1,\dots,x_n]$ where $K$ is a char $0$ field. Let $Z(I)$ be a set of discrete points whose cardinality is exponential in $n$ and spanning $n$ dimensions. Let $P$ be the ...
1
vote
0answers
38 views

Homogeneous polynomials and line bundles

In Huybrechts' Complex Geometry text, he makes the following claim: (Claim) "Any homogeneous polynomial $s \in \mathbb{C}[z_o,\dots, z_n]_k$ of degree $k$ defines a linear map ...
12
votes
1answer
210 views

Proof of holomorphic Lefschetz fixed point formula using currents in Griffiths and Harris

I am trying to understand the proof of the Holomorphic Lefschetz fixed point formula on page 426 in Griffiths and Harris. However, I find their use of currents extremely confusing. They seem to go ...
3
votes
1answer
53 views

Transcendence Degree of the Function field of $\mathbb{C}$

What is the transcendence degree of the field of meromorphic functions over $\mathbb{C}$? By a cardinality argument (meromorphic functions are determined by their image under a countable dense ...
2
votes
1answer
48 views

Basis for a line bundle

I have a basic confusion. The following is drawn from Huybrechts' Complex Geometry text: "Let $L$ be a holomorphic line bundle on a complex manifold $X$ and suppose that $s_0,\dots, s_n \in H^0(X, ...
1
vote
0answers
42 views

Undergraduate Complex Analysis: Use of Rouche's Theorem

We are asked to prove $ f = z^{3}e^{1-z} = 1 $ has exactly 2 roots inside $|z| = 1$ We've tried creating functions $p$ and $q$ where $p + q = f$, $p$ with 2 roots inside our boundary, and using ...
3
votes
0answers
38 views

explicit (holomorphic) map revealing blow-up as a connected sum with $\overline{\mathbb{CP}}^n$

I am trying to understand the statement that a blow-up of a complex manifold $M$ at a point $p$ is equivalent to the connected sum of $M$ with $\overline{\mathbb{CP^n}}$ and, being a physicist, I need ...
3
votes
0answers
35 views

Why is this function on the Riemann surface holomorphic?

Forster defines analytic continuation of a germ of a holomorphic function at a point on a Riemann surface as follows. Suppose $ X$ is a Riemann surface, $a\in X$ and $\phi\in\mathcal{O}_a$ is a ...
1
vote
1answer
299 views

The image of a map $H^2 \setminus \Delta \to \mathbf{R}^4$ where $H$ is the upper half-plane and $\Delta$ is the diagonal

Let $H = \{z \in \mathbf{C}: \operatorname{Im} z > 0\}$ be the upper half-plane, and let $D = H^2 \setminus \Delta$, where $\Delta = \{(u,u) \in H^2\}$ is the diagonal. Define $\varphi: D \to ...
3
votes
2answers
62 views

Hermitian manifold counterexample

I'm trying to come to come to grips with the notion of a hermitian manifold. Although I know some examples of hermitian manifolds, I am more interested in counterexamples: naturally occurring ...
0
votes
1answer
23 views

In the Riemann sphere 1 is not summe of holomorphics map vanishing on 0 and $\infty$

I want to prove (if it's right) that in the Riemann sphere one can not write the constant function 1 as a summe of two holomorphics map, one vanishing in 0 and one vanishing in $\infty$.
0
votes
1answer
26 views

Any real analytic Frobenius theorem used in the proof of integrable almost complex manifolds to arise from complex manifolds?

The reference book is S.S.Chern's Complex Manifolds Without Potential Theory. It's used in integrability condition for an almost complex structure to arise from a complex structure. It's claimed that ...
3
votes
0answers
35 views

Holomorphic vector fields on complex projective spaces

Question: is there a simple description of holomorphic vector fields on the complex projective space $\mathbb{C P}^n$ ? More precisely : for $n=1$, the holomorphic vector fields are of the form $P(z) ...
0
votes
0answers
15 views

antiholomorphic involution action on resolved orbifold of tori

Consider the space $\tilde X= T^2 \times T^2 \times T^2 / G$ where $T^2$ is a torus and $G=Z_2 \times Z_2$ acts as $\theta_1:(z_1,z_2) \mapsto (-z_1,-z_2)$, $\theta_2:(z_2,z_3) \mapsto (-z_2,-z_3)$ ...
2
votes
1answer
45 views

Simpleminded example: flasque sheaves

Consider the sheaf $\mathcal{F}$ of polynomial functions on $\mathbb{R}^2$ endowed with the usual topology. A sheaf is said to be "flasque" (or "flabby") if, given $V \subset U$ both open sets, the ...
1
vote
1answer
22 views

Unitary transformation of Fubini-Study metric

I am trying to solve a problem in Introduction to Complex Geometry by D. Huybrechts, question 3.1.6 which is the following: let $A\in GL(n+1, \mathbb{C})$ be a $\mathbb{C}$-linear transformation ...
2
votes
0answers
50 views

Why is $H^1(X, \mathcal{O}) \neq 0$ for $X = (B(0, 1)\times B(0, 2)) \cup (B(0, 2)\times B(0, 1))$?

In this MathOverflow answer, David Speyer says that \begin{align*} X &= \{ (z,w) \in \mathbb{C}^2 : (|z|, |w|) \in [0,1) \times [0,2) \cup [0,2) \times [0,1) \}\\ &= (B(0, 1)\times B(0, 2)) ...
4
votes
1answer
75 views

Almost complex structure which fails to be compatible

Let $V$ be a real vector space equipped with a scalar product $\langle, \rangle$ (i.e. a positive definite symmetric bilinear form). We say that an endomorphism $J: V \to V$ is an almost complex ...