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

4
votes
3answers
668 views

A complex algebraic variety which is connected in the usual topology

Hartshorne wrote in his book's Appendix B that it can be easily proved that a complex algebraic variety is connected in the usual topology if and only if it is connected in Zariski topology. How can ...
13
votes
2answers
985 views

Conditions such that taking global sections of line bundles commutes with tensor product?

Let us work with projective algebraic varieties over $k= \mathbb{C}$. If necessary we can also assume smoothness of the varieties. Of course it is not in general true that given two line bundles $L, ...
3
votes
1answer
91 views

Show that a complex expression is smaller than one

This is the question I'm stumbling with: When $|\alpha| < 1$ and $|\beta| < 1$, show that: $$\left|\cfrac{\alpha - \beta}{1-\bar{\alpha}\beta}\right| < 1$$ The chapter that contains ...
4
votes
6answers
2k views

Books for Hyperbolic Geometry.

I want to read hyperbolic geometry. Can any one suggest some good books on the topic.
5
votes
1answer
111 views

Diameter of the Grassmannian

Just an interesting question that came to my mind while studying(!): Since the Grassmannian $G(k,\mathbb{C}^n)$ is a compact manifold, what do we know about its diameter? Do we know any estimate? ...
3
votes
1answer
103 views

set of almost complex structures on $\mathbb R^4$ as two disjoint spheres

The set of almost complex structures on $\mathbb R^{2n}$ is given by $$ M_n = \frac{GL(2n,\mathbb R)}{GL(n,\mathbb C)} = \mathcal C_+ \sqcup \mathcal C_-,$$ taking into account that $\det = \pm 1$ ...
11
votes
1answer
473 views

When is a $k$-form a $(p, q)$-form?

Let $X$ be a complex manifold and denote the space of all $(p, q)$-forms on $X$ by $\mathcal{E}^{p,q}(X)$. Forgetting about the complex structure, we can consider the real differential $k$-forms on ...
7
votes
2answers
1k views

Almost complex structures on spheres

It is fairly well-known that the only spheres which admit almost complex structures are $S^2$ and $S^6$. By embedding $S^6$ in the imaginary octonions, we obtain a non-integrable almost complex ...
5
votes
1answer
309 views

Why holomorphic injection on $C^n$must be biholomorphic?

This result is certainly right in the 1-dim'l case. But I don't know how to show the general case by induction. Can anyone tell me the detail please?
8
votes
1answer
267 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 $C^{...
6
votes
1answer
138 views

Is there an elementary way to see that there is only one complex manifold structure on $R^2$?

Is there an elementary way to see that there is only one complex manifold structure on $\mathbb{R}^2$? (Up to biholomorphism, naturally.) Elementary in the sense of not appealing to the ...
5
votes
1answer
371 views

How to construct a simple complex torus of dimension $\geq 2$?

This is an exercise in the first chapter of "Complex Abelian Varieties" by Christina Birkenhake and Herbert Lange. As the title suggests it asks for an example of a complex torus of dimension $\geq 2$ ...
3
votes
2answers
341 views

Are there many almost complex structures on a (complex) manifold?

I guess one can have many almost complex structures on a manifold, can someone give me an example? How about when the manifold is complex? is the almost complex structure induced by the complex ...
7
votes
1answer
610 views

Projective closure in the Zariski and Euclidean topologies

In Smith's An Invitation to Algebraic Geometry, following the definition of the projective closure of an affine variety, it was remarked that "the closure may be computed in either the Zariski ...
29
votes
2answers
3k views

What exactly is a Kähler Manifold?

Please scroll down to the bold subheaded section called Exact questions if you are too bored to read through the whole thing. I am a physics undergrad, trying to carry out some research work on ...
10
votes
1answer
259 views

Formula for decomposing a form into $(p,q)$ forms

Let $L: \mathbb{C}^n \to \mathbb{C}$ be a real linear map. In other words, $L(a\vec{v}_1+b\vec{v_2}) = aL(\vec{v}_1)+bL(\vec{v}_2)$ for all $a,b \in \mathbb{R}$. Then $L$ decomposes uniquely into a ...
8
votes
1answer
225 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.
7
votes
1answer
897 views

Meaning of holomorphic Euler characteristics?

I wonder what holomorphic Euler characteristic $\chi(\mathcal{O}_X)$ of a variety represents. For example, I have seen someone fix $\chi(\mathcal{O}_C)=n$ for a complex curve $C$. What does this mean ...
6
votes
1answer
191 views

Blowup of $xy-z^2$

I try to compute the blowup of $f=xy-z^2 \subset \mathbb{A}^3$ at the origin, but got something I could not explain: Let $A=\mathbb{C}[x,y,z]/(f)$, and $m=(x,y,z)$ be the ideal corresponding to the ...
5
votes
1answer
182 views

An almost complex structure on real 2-dimensional manifold

Why an almost complex structure on real 2-dimensional manifold is integrable?
4
votes
1answer
51 views

Image of the Riemann-sphere

Let $S$ be the Riemann-sphere (the unit sphere in $\mathbb{R}^3$) and $\psi: S \rightarrow \mathbb{C}$ be defined by $$\psi(x_1, x_2, x_3)=\frac{x_1 + ix_2}{1-x_3}.$$ Let $\pi$ be a plane in $\mathbb{...
6
votes
2answers
733 views

When does a line bundle have a meromorphic section?

Let $X$ be a scheme and $D$ be a Cartier divisor on $X$. Then $D$ determines a line bundle $\mathcal{O}(D)$ on $X$. Under which condition, is the converse true? That is, when does a line bundle come ...
4
votes
0answers
68 views

Embedding of Kähler manifolds into $\Bbb C^n$

Consider $\Bbb C^n$ with its standard hermitian product. This space produces many example of Kähler manifolds simply by taking a smooth affine variety $X\subseteq\Bbb C^n$ with the induced metric. Now ...
9
votes
1answer
200 views

Almost complex structure on $\mathbb CP^2 \mathbin\# \mathbb CP^2$

Why doesn't $\mathbb CP^2 \mathbin\# \mathbb CP^2$ admit an almost complex structure?
8
votes
2answers
373 views

If $0$, $z_1$, $z_2$ and $z_3$ are concyclic, then $\frac{1}{z_1}$,$\frac{1}{z_2}$,$\frac{1}{z_3}$ are collinear

If the complex numbers $0$, $z_1$, $z_2$ and $z_3$ are concyclic, prove that $\frac{1}{z_1}$,$\frac{1}{z_2}$,$\frac{1}{z_3}$ are collinear. I really can't seem to get anywhere on this problem, but ...
8
votes
0answers
107 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) \...
7
votes
1answer
760 views

Proof of Hartogs's theorem

I'd be very grateful if someone could help me understand the proof of Hartogs's theorem appearing in Huybrechts' "Complex Geometry." The statement is: Let $\mathbb{P}^n \subset \mathbb{C}^n$ be the ...
5
votes
1answer
140 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
0answers
576 views

Why is an analytic variety irreducible provided that the set of its smooth points is connected?

Here is a proposition from Griffith and Harris, Principles of Algebraic Geometry. Let $V$ be an analytic variety on a complex manifold $M$, let $V^*$ be its points of smooth points. If $V^*$ is ...
8
votes
2answers
306 views

Equations for double etale covers of the hyperelliptic curve $y^2 = x^5+1$

Let $X$ be the (smooth projective model) of the hyperelliptic curve $y^2=x^5+1$ over $\mathbf C$. Can we "easily" write down equations for all double unramified covers of $X$? Topologically, these ...
6
votes
2answers
149 views

(Anti-) Holomorphic significance?

What are holomorphic and anti-holomorphic components? Why don't we call them complex components and their conjugates? What is holomorphic coordinate transformation?
5
votes
1answer
1k views

Proof that the Nijenhuis tensor vanishes in a complex manifold

I'm in trouble proving that if $(M,J)$ is a complex manifold with $J$ a compatible almost complex structure then the Nijenhuis tensor of $J$ vanishes: in other words I would like to find that for any ...
5
votes
2answers
496 views

Kähler form is harmonic

Let $M$ be a Kähler manifold with fundamental form $\omega(X,Y) = h(JX, Y)$. I am trying to show that $\omega$ is harmonic. The Kähler condition implies that $\omega$ is closed with respect to $d$, so ...
4
votes
0answers
101 views

Correspondence between line bundles and $U(1)$-bundles: a mistake from the physicists?

I am reading a paper written by physicists and they say the following: Let $(L,h,\nabla)$ be an holomorphic line bundle equipped with a Hermitian metric $h$ and Chern connection $\nabla$. If $e^{...
4
votes
1answer
126 views

Vector bundle as locally free coherent sheaves

I am studying coherent sheaves and was looking for a geometric motivation. Hence, in wikipedia and although here is stated that it can be seen as a generalization of vector bundles, which is quite ...
4
votes
1answer
257 views

When is $CaCl(X) \to Pic(X)$ surjective?

I am curious about following similar statements in algebraic geometry and complex geometry: Algebraic Geometry Version: If $X$ is an integral scheme, the map from Cartier divisor group to ...
4
votes
1answer
118 views

Some questions about $S^n$

I have some questions about the $n$-sphere: I know that for $n=0,1,3$, $S^n$ forms a Lie group and I also know why it's true, but why is it not the case for other $n$? I have the same question for ...
4
votes
1answer
143 views

Holomorphic Poincaré conjecture

Is there a notion of n-sphere for complex manifolds so that one could formulate a Holomorphic Poincaré conjecture ?
3
votes
1answer
91 views

A linear system of a curve on a K3 surface.

Let $S$ be a K3 surface and $C \subset S$ be a smooth curve of genus $g$ (assume it represents a primitive homology class). Is it possible to compute the dimension of the linear system $|C|$ only from ...
3
votes
0answers
242 views

Definition of a complex analytic space

A complex analytic space is a topological space (say, Hausdorff and second countable) such that each point has an open neighborhood homeomorphic to some zero set $V(f_1,\ldots,f_k)$ of finitely many ...
2
votes
1answer
82 views

The complex structure of a complex torus

A complex torus $X$ of complex dimension $1$ is just a quotient of $\mathbb{C}$ by a lattice $\Lambda=\mathbb{Z}\oplus \tau\mathbb{Z}$ where $\tau=a+ib$ is a complex number with $b>0$. The complex ...
2
votes
1answer
229 views

Checking flat- and smoothness: enough to check on closed points?

I am currently studying varieties over $\mathbb{C}$, i know some scheme theory. Let $f: X \rightarrow Y$ be a morphism of varieties. If we want to show flatness, is it enough to check the condition ...
2
votes
2answers
461 views

Tangent bundle of P^n and Euler exact sequence

I'm thinking about the Euler exact sequence for complex projective space, and I'm a bit confused. In the topological category, one has $$ T\mathbb{P}^n \oplus \mathbb{C} \cong L^{n+1} $$ where $L$ ...
1
vote
1answer
32 views

Prove that the sum of angles is equal to 90° using complex numbers

On the picture, we see three squares: $ABGH$, $BCFG$ and $CDEF$. Prove that the sum of angles: $\angle DAE$, $\angle CAF$ and $\angle BAG$ is equal to $90°$. The real problem is that we have to ...
1
vote
1answer
121 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
2answers
3k views

Cross product in complex vector spaces

When inner product is defined in complex vector space, conjugation is performed on one of the vectors. What about is the cross product of two complex 3D vectors? I suppose that one possible ...
1
vote
1answer
103 views

Kähler form convention

I've been wondering about this for a while and I have my ideas about the answer, but I would like to make sure once and for all that I'm not missing something. Let's look at this from a purely linear ...
9
votes
1answer
191 views

Are vector bundles on $\mathbb{P}_{\mathbb{C}}^n$ of any rank completely classified? (main interest $n=3$)

It is very well known that the group of line bundles on $\mathbb{P}_{\mathbb{C}}^n$ is exactly $\mathbb{Z}$. Are bundles of higher rank classified as well? If so, could anyone provide a nice reference,...
8
votes
2answers
494 views

Why is $x^2$ +$ y^2$ = 1, where $x$ and $ y$ are complex numbers, a sphere?

I've heard $x^2 + y^2$ = 1, where $x$, $y$ are complex numbers, is supposed to be a sphere with two points removed, or also a cylinder. The problem is I've been trying to wrap my head around this for ...
6
votes
2answers
226 views

How many differential forms on the complex plane?

I am puzzled by the fact that the two differential forms $$\begin{array}{cc} dz=dx+i dy , & d\overline{z}=dx-i dy \end{array} $$ are $\mathbb{C}$-linearly independent, even if the underlying ...