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
653 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
940 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, ...
6
votes
1answer
101 views

Imaginary lines and tangents

My geometry text seems to say that the tangent to a circle from an interior point in the real plane is imaginary. Further...it seems that when a double cone is intersected by a plane with an angle ...
3
votes
1answer
90 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
1k views

Books for Hyperbolic Geometry.

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

the $\partial\bar{\partial}$-lemma dilemma

In the question here Simplifying the Kahler form, user290605 asked a question about how is that when we take the differential of Kahler form:$$\mathcal{K}=\frac{\sqrt{-1}}{2\pi}g_{i\bar{j}}dz^i\wedge ...
3
votes
1answer
102 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
470 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
294 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
259 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 ...
5
votes
1answer
361 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
328 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
600 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 ...
2
votes
1answer
72 views

Simplifying the Kahler form

In the link here, p.4, it says that, given a fundamental 2-from $\mathcal{K}$ $$\mathcal{K}=\frac{\sqrt{-1}}{2\pi}g_{i\bar{j}}dz^i\wedge d\bar{z}^{\bar{j}},$$ a manifold is said to be Kahler if this ...
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
257 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
214 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
868 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
190 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
179 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 ...
6
votes
2answers
708 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 ...
5
votes
1answer
108 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? ...
4
votes
0answers
67 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
197 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
0answers
98 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) ...
8
votes
2answers
372 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, ...
7
votes
1answer
749 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 ...
6
votes
1answer
349 views

Are varieties of Kodaira dimension zero precisely the varieties with torsion canonical sheaf

Let $B$ a smooth projective connected variety over $\mathbf C$. Suppose that $K_B$ is torsion. Then, clearly, the Kodaira dimension of $B$ is zero. Does the converse hold? That is, suppose that $B$ ...
5
votes
1answer
135 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
558 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
302 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
135 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?
6
votes
1answer
186 views

Hypercohomology: finding a resolution for the de Rham complex of $\mathbb{CP}^1 $

Let $\mathbb{P}^1 $ be the complex projective line. Using the standard affine cover, $\mathcal{U} = \lbrace U,U' \rbrace, \ \ $ we can define some quasi-coherent sheaves on $\mathbb{P}^1 $. We can ...
5
votes
2answers
486 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 ...
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 ...
4
votes
1answer
116 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
0answers
97 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 ...
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
256 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
142 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
90 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
1answer
1k views

What is a Holomorphic Vector Field?

On a smooth manifold $M$, a smooth vector field is an element of $\Gamma(M, TM)$ which is the space of all smooth sections of the bundle $TM \to M$. If $M$ is a complex manifold, then we have the ...
3
votes
0answers
236 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
76 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
221 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 ...
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
120 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
435 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$ ...