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

33
votes
0answers
386 views

Does $\Bbb{CP}^{2n} \mathbin{\#} \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} \mathbin{\#} \Bbb{CP}^{2n+1}$ supports a complex structure: ...
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 ...
23
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. ...
21
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 ...
21
votes
1answer
330 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 ...
20
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 ...
20
votes
0answers
279 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 ...
19
votes
1answer
650 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 ...
16
votes
1answer
931 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
998 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
456 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
888 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 ...
15
votes
0answers
205 views

Complex manifold with subvarieties but no submanifolds

Note, I have now asked this question on MathOverflow. There are examples of compact complex manifolds with no positive-dimensional compact complex submanifolds. For example, generic tori of ...
14
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
938 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
446 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 ...
13
votes
1answer
255 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 ...
13
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 ...
12
votes
1answer
430 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 ...
12
votes
4answers
193 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
400 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
282 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
243 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 ...
12
votes
0answers
159 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
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 ...
11
votes
1answer
503 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
1answer
149 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
2answers
374 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
110 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
627 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
256 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
984 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
314 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 ...
10
votes
1answer
87 views

How to interpret the cotangent bundle of a complex manifold?

Let $X$ be a complex manifold. I am not sure what people mean when they talk about the cotangent bundle $T^*X$ of $X$. I have two interpretations: At each point $x\in X$, $T_x^*X$ is the complex ...
9
votes
2answers
734 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
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?
9
votes
3answers
984 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
136 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$, ...
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 ...
9
votes
1answer
128 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
72 views

Is $X$ an algebraic subset? Analytic subset?

Suppose that $X$ is a subset of $\mathbb{C}^n$, and that every (complex) hyperplane section of $X$ is an algebraic subset (respectively analytic subset) of complex dimension at least one (or empty). ...
9
votes
0answers
110 views

Constructing $\mathbb{P^n}$ “bundle” with different $n$

Can we find a complex/smooth manifold and map $f\colon X\to\mathbb{C}^3$ such that it is a $\mathbb{P}_\mathbb{C}^m$ bundle over linear subspace $\mathbb{C}^1$ and $\mathbb{P}_\mathbb{C}^n$ bundle ...
9
votes
0answers
155 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
0answers
96 views

What's Griffiths' ampleness in modern language?

When reading Griffiths' paper "Hermitian differential geometry, Chern classes and positive vector bundles", I found his definition of ampleness: Let $X$ be a compact complex manifold, $E\to X$ a ...
9
votes
1answer
120 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 ...
9
votes
0answers
260 views

Interesting applications of Kähler Identities

The Kähler identities give commutation relations between the Lefschetz operator ($\alpha \mapsto \omega \wedge \alpha$), the differential operators $\partial, \bar{\partial}$ and its adjoints ...
8
votes
3answers
345 views

Why only consider Dolbeault cohomology?

On a complex manifold we have the differential operators $$\partial:A^{p,q}\to A^{p+1,q}$$ $$\bar\partial:A^{p,q}\to A^{p,q+1}$$ which both square to zero. Hence one can define cohomology groups ...
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
185 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
107 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 ...