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

30
votes
0answers
321 views

Does $\Bbb{CP}^{2n} \# \Bbb{CP}^{2n}$ ever support an almost complex structure?

This question has now been crossposted to MathOverflow, in the hopes that it reaches a larger audience there. $\Bbb{CP}^{2n+1} \# \Bbb{CP}^{2n+1}$ supports a complex structure: $\Bbb{CP}^{2n+1}$ has ...
27
votes
2answers
2k 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 ...
22
votes
2answers
1k views

When is the sheaf corresponding to a vector bundle on a smooth manifold coherent?

In algebraic and analytic geometry, vector bundles are usually interpreted as locally free sheaves of modules (over the structure sheaves). They are in particular examples of quasi-coherent sheaves. ...
19
votes
1answer
2k views

Why is the hard Lefschetz theorem “hard”?

Let $X$ be a compact Kähler manifold of complex dimension $\dim_{\mathbb C} = n$. Let $[\omega]$ be the cohomology class of a Kähler metric on $X$. Then powers of the class $[\omega]$ defines a linear ...
19
votes
1answer
611 views

Is there an algebraic reason why a torus can't contain a projective space?

Let $X$ be an abelian variety. As abelian varieties are projective then $X$ contains lots and lots of subvarieties. Why can't one of them be a projective space? If $X$ is defined over the complex ...
19
votes
3answers
2k 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 ...
19
votes
1answer
286 views

Is there a complex surface into which every Riemann surface embeds?

Every Riemann surface can be embedded in some complex projective space. In fact, every Riemann surface $\Sigma$ admits an embedding $\varphi : \Sigma \to \mathbb{CP}^3$. It follows from the ...
18
votes
0answers
259 views

Is there a proof of Bézout's theorem via residue theory?

Let's define intersection numbers as follows. Consider a collection $f_1,\dots, f_n$ of holomorphic functions on some neighborhood of zero in $\mathbb C^N$ cutting out divisors $D_1$, all of which ...
16
votes
1answer
852 views

How to properly use GAGA correspondence

currently studying algebraic surfaces over the complex numbers. Before i did some algebraic geometry (I,II,start of III of Hartshorne) and a course on Riemann surfaces. Now i understood that by GAGA, ...
16
votes
4answers
904 views

Where can I learn about complex differential forms?

So I'm a 3rd year grad student in number theory/modular forms/algebraic geometry, and I've worked with differential forms from an algebraic point of view without ever knowing what they really are. I'd ...
16
votes
1answer
430 views

Is there any holomorphic version of the tubular neighborhood theorem?

This question arised when I was studying Beauville's book 'Complex Algebraic Surfaces'. Castelnuovo's theorem says that a smooth rational curve $E$ on an algebraic surface $S$ is an exceptional ...
15
votes
2answers
709 views

Is tautological bundle $\mathcal{O}(1)$ or $\mathcal{O}(-1)$?

I always confused by whether tautological bundle is $\mathcal{O}(1)$ or $\mathcal{O}(-1)$, and definitions from different sources tangled in my brain. However, I thought this might not be simply a ...
13
votes
5answers
1k views

Reference request: Chern classes in algebraic geometry

I have encountered Chern classes numerous times, but so far i have been able to work my way around them. However, the time has come to actually learn what they mean. I am looking for a reference that ...
13
votes
2answers
879 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, ...
13
votes
1answer
247 views

Can one use Atiyah-Singer to prove that the Chern-Weil definition of Chern classes are $\mathbb{Z}$-cohomology classes?

In Chern-Weil theory, we choose an arbitrary connection $\nabla$ on a complex vector bundle $E\rightarrow X$, obtain its curvature $F_\nabla$, and then we get Chern classes of $E$ from the curvature ...
12
votes
1answer
405 views

Dolbeault Cohomology is invariant under homeomorphisms

If $X$ and $Y$ are two complex manifolds, which are homeomorphic but not necessarily diffeomorphic, must their Dolbeault cohomology groups be isomorphic? Here the Dolbeault cohomology groups ...
12
votes
4answers
189 views

holomorphic exoticness

A topological manifold is an exotic copy of another smooth manifold if it is homeomorphic to it, but not diffeomorphic (and when you switch diffeomorphic by homotopic, you get a fake copy, following ...
12
votes
2answers
373 views

Complex manifolds and Hermitian metrics

I've been trying to learn some complex geometry, and was getting confused in thinking about Hermitian metrics. In this post, I've written up my current understanding, in hopes that someone can look ...
12
votes
1answer
266 views

Introduction to the trace formula for people outside number theory

I am looking for references on the trace formula, by which I mean the Selberg trace formula and its successor the Arthur-Selberg trace formula. I am aware that there are "standard references" on the ...
12
votes
1answer
235 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 ...
11
votes
4answers
3k views

Equation of the complex locus: $|z-1|=2|z +1|$

This question requires finding the Cartesian equation for the locus: $|z-1| = 2|z+1|$ that is, where the modulus of $z -1$ is twice the modulus of $z+1$ I've solved this problem algebraically ...
11
votes
1answer
390 views

Torsion Chern class?

Can somebody give an example of a complex manifold whose first Chern class is a torsion class? In general it seems that Chern classes may have torsion part as well as free part. However when using ...
11
votes
1answer
460 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 ...
11
votes
1answer
468 views

What is the line bundle $\mathcal{O}_{X}(k)$ intuitively?

I am always confused about how to understand the line bundle $\mathcal{O}_{X}(k)$ on a projective scheme $X=\mathrm{Proj}(\oplus_{n=0}^\infty A_{n})$. Of course this is by definition the ...
11
votes
0answers
151 views

On the variation of a Kähler metric on a surface by pullback of the complex structure

Let $\Sigma$ be a compact, connected, oriented surface, and let $\rho\in\Omega^2(\Sigma)$ be a fixed volume form. Then any (almost) complex structure $J\in\Omega^0(M;\operatorname{End}TM)$ compatible ...
11
votes
0answers
1k views

Arithmetic and geometric genus

There are two notion of genus in algebraic geometry, namely arithmetic genus $p_a=(-1)^{\dim X}(\chi(\mathcal{O}_X)-1)$ and geometric genus $p_g=\dim H^0(X,\Omega^{\dim X})$. I keep forgetting ...
10
votes
2answers
357 views

Fibres in algebraic geometry: multiplicity

Currently I am studying varieties over $\mathbb{C}$ and I know some scheme theory. My professor mentioned the other day that given a morphism of varieties over an alg. closed field $k$: $f: X ...
10
votes
1answer
103 views

If a complex Lie group has the structure of an algebraic group, is this structure unique?

If $G$ and $H$ are algebraic groups over $\mathbb{C}$, and $f : G \rightarrow H$ is an isomorphism of complex Lie groups (i.e. a biholomorphic group isomorphism), then must $f$ be algebraic? If not, ...
10
votes
1answer
555 views

Why is Griffiths Transversality part of the definition of a variation of Hodge structures?

If $X \to S$ is a family of compact Kahler manifolds, then parallel transport with respect to the Gauss-Manin connection on the relative cohomology bundle does not respect the Hodge filtration, e.g. a ...
10
votes
1answer
120 views

Is the homology class of a compact complex submanifold non-trivial?

Let $X$ be a connected complex manifold (not necessarily compact). Let $C \subset X$ be a compact complex $k$-dimensional submanifold (for some $k>0$). Is it true, in this generality, that the ...
10
votes
1answer
243 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 ...
10
votes
2answers
919 views

A question on Hermitian metric on complex manifold.

We say that a Riemannian metric $g$ on a complex manifold $(X,I)$ is Hermitian if $$ g(x,y)=g(Ix,Iy) $$ for any $x,y\in \Gamma(X,TX)$. Here we consider $X$ as a real even dimensional manifold with ...
10
votes
1answer
293 views

Hodge theory for toric varieties

Say we are given a complex smooth projective toric variety $X$. How can one read off hodge theoretic information from combinatorial data? For example I would like to extract dimensions of the various ...
9
votes
2answers
669 views

Riemann surfaces are algebraic

Via a very ample divisor one can embed a Riemann surface holomorphically into some $\mathbb{P}^n$. Now, we can then project the Riemann surface to $\mathbb{P}^3$, and we can even go until ...
9
votes
3answers
909 views

Where can I read about elliptic operators on manifolds?

In Voisin's beautiful book on Hodge theory she gives a proof that every cohomology class can be represented by a harmonic form by referring to the the following theorem on elliptic operators: Let $P ...
9
votes
1answer
190 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 ...
9
votes
1answer
123 views

Integral $(1, 1)$ forms and holomorphic line bundles

Let $X$ be a complex manifold. We say that a cohomology class in $H^2(X,\mathbb{C})$ is integral if it lies in the image of the natural morphism $j : H^2(X,\mathbb{Z}) \longrightarrow ...
9
votes
0answers
149 views

Algebraic methods to compute the cohomology ring of the complex topology of a variety?

Suppose $V$ is an affine (resp. projective) subvariety of the affine (resp. projective) space $\mathbb A_\mathbb C^n$ (resp. $\mathbb P_\mathbb C^n$) with vanishing ideal $I\subseteq\mathbb ...
9
votes
1answer
117 views

When do local isomorphisms extend to global isomorphisms

Let $U$ be a smooth quasi-projective variety over $\mathbf C$, and let $V\subset U$ be a dense open subvariety. Let $X\to U$ and $Y\to U$ be smooth projective morphisms such that their restrictions ...
8
votes
1answer
1k views

Learning Complex Geometry - Textbook Recommendation Request

I wish to learn Complex Geometry and am aware of the following books : Huybretchs, Voisin, Griffths-Harris, R O Wells, Demailly. But I am not sure which one or two to choose. I am interested in ...
8
votes
2answers
141 views

How can hypersurfaces “know” the degree of their defining polynomials?

I'm currently trying to learn some complex and projective geometry. There is one issue bugging me again and again, from different perspectives, and I just can't get my head around it. One incarnation ...
8
votes
1answer
183 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
1answer
103 views

Zariski vs analytic cohomology of $\mathcal O_X^\times$

Let $X/\mathbf C$ be a smooth proper variety. Is it true that $H^1(X, \mathcal O_X^\times) = H^1(X^{an}, \mathcal O_{X^{an}}^\times)?$ GAGA doesn't apply, because $\mathcal O_X^\times$ is not coherent ...
8
votes
2answers
343 views

Relation between algebraic geometry over a field of characteristic $0$ and that over $\mathbb{C}$

Let $K$ be an algebraically closed field of characteristic $0$. Let $P$ be a proposition on a non-singular projective variety over $K$ which is stated in the language of algebraic geometry. Suppose ...
8
votes
2answers
432 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 ...
8
votes
1answer
590 views

Is every complex (smooth) manifold a scheme?

The question in the title doesn't quite make sense. I was always wondering if the scheme is the generalization of manifold. The precise statement should be like following: If $X$ is a complex ...
8
votes
2answers
284 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 ...
8
votes
2answers
277 views

connections on coherent sheaves

Let $X$ be a smooth variety over $\mathbb{C}$. If $\mathscr{F}$ is a coherent sheaf on $X$ with connection, does it follow that $\mathscr{F}$ is locally free? I can't think of any counterexamples. ...
8
votes
2answers
366 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, ...
8
votes
1answer
437 views

Are these definitions of intersection multiplicity equivalent?

I am pretty sure the answer is yes. I normally work over $\mathbb{C}$ so i will do so here as well, to prevent myself from making silly mistakes. In projective space, one has Serre's famous ...