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

25
votes
2answers
5k views

The error in Petrovski and Landis' proof of the 16th Hilbert problem

What was the main error in the proof of the second part of the 16th Hilbert problem by Petrovski and Landis? Please see this related post and also the following post. Added : According to their ...
64
votes
2answers
14k views

Why is the Hodge Conjecture so important?

The Hodge Conjecture states that every Hodge class of a non singular projective variety over $\mathbf{C}$ is a rational linear combination of cohomology classes of algebraic cycles: Even though I'm ...
10
votes
2answers
590 views

A group action of the Heisenberg group with special symmetries

Suppose we look at the Heisenberg group $H_{d}$ as a matrix group of upper triangular matrices over the ring $\mathbb{Z}/d\mathbb{Z}$. You can even choose $d$ to be prime if you want. A natural ...
5
votes
3answers
531 views

Kähler metric on projectivised bundle

Let $E\rightarrow M$ be a holomorphic bundle over a Kähler manifold. Does its projectivisation $\mathbb{P}(E)$ always admit a Kähler metric? If yes, how to see that?
11
votes
1answer
593 views

Sheaves on Contractible Analytic Spaces

Let $(X,\mathcal{O}_X)$ be a contractible complex analytic space. Suppose that $\mathcal{F}$ is a coherent sheaf of $\mathcal{O}_X$-modules. Can we invoke the fact that $X$ is contractible to ...
4
votes
1answer
160 views

Equivariant Almost Complex Structures on the Full Flag Manifolds

On complex projective space ${\bf CP}^m$, there exists a unique $SU(m+1)$-equivariant almost-complex structure. What happens for the case of the full flag manifold of $SU(m+1)$, which is to say the ...
3
votes
1answer
250 views

Explicit form for hermitian structure $h$ with respect to $\omega$

Let $(M,\omega)$ be a symplectic manifold. and $\pi:L\to M$ be a complex line bundle , we denote $h$ as hermitian structure,i.e. if $s,s'$ are smooth sections of $L$ and if $X$ is a vector field on ...
2
votes
2answers
315 views

Basic questions on the Hilbert scheme/ Douady space

Let $X$ be a complex projective scheme (resp. complex analytic space). The Hilbert scheme (resp. Douady space) parameterizes closed subschemes (resp. complex analytic subspaces) of $X$. More ...
2
votes
2answers
434 views

Moduli Spaces of Higher Dimensional Complex Tori

I know that the space of all complex 1-tori (elliptic curves) is modeled by $SL(2, \mathbb{R})$ acting on the upper half plane. There are many explicit formulas for this action. Similarly, I have ...
1
vote
1answer
324 views

Decomposition of hermitian form used in the definition of Griffiths/Nakano positivity

Let $E$ be a hermitian holomorphic vector bundle over a complex manifold $X$. Then $\Theta(E)$, the curvature of $E$, is a section of $\bigwedge^{1,1}X\otimes\operatorname{End}(E)$. However, we have ...
95
votes
5answers
6k views

Gaussian prime spirals

Imagine a particle in the complex plane, starting at $c_0$, a Gaussian integer, moving initially $\pm$ in the horizontal or vertical directions. When it hits a Gaussian prime, it turns left ...
49
votes
7answers
7k views

Is there a complex structure on the 6-sphere?

I don't know who first asked this question, but it's a question that I think many differential and complex geometers have tried to answer because it sounds so simple and fundamental. There are even a ...
39
votes
6answers
4k views

Which nonlinear PDEs are of interest to algebraic geometers and why?

Motivation I have recently started thinking about the interrelations among algebraic geometry and nonlinear PDEs. It is well known that the methods and ideas of algebraic geometry have lead to a ...
27
votes
8answers
3k views

What's the difference between a real manifold and a smooth variety?

I am teaching a course on Riemann Surfaces next term, and would like a list of facts illustrating the difference between the theory of real (differentiable) manifolds and the theory non-singular ...
56
votes
2answers
4k views

Complex structure on $S^6$ gets published in Journ. Math. Phys

A paper by Gabor Etesi was published that purports to solve a major outstanding problem: Complex structure on the six dimensional sphere from a spontaneous symmetry breaking Journ. Math. Phys. 56, ...
22
votes
4answers
3k views

de Rham vs Dolbeault Cohomology

For a complex manifold $M$, one can consider (A) its de Rham cohomology, or (B) its Dolbeault cohomology. I'm looking for some motivation as to why one would bother introducing Dolbeault cohomology. ...
22
votes
5answers
3k views

References for “modern” proof of Newlander-Nirenberg Theorem

Hi, I'm starting to prepare a graduate topics course on Complex and Kahler manifolds for January 2011. I want to use this course as an excuse to teach the students some geometric analysis. In ...
25
votes
5answers
3k views

Two definitions of Calabi-Yau manifolds

Why is it that the vanishing of the integral first Chern class of a compact Kahler manifold is equivalent to the canonical bundle being trivial? I can see that it implies that the canonical bundle ...
19
votes
4answers
3k views

Why do people think that abelian varieties are the hardest case for the Hodge conjecture?

Today, I heard that people think that if you can prove the Hodge conjecture for abelian varieties, then it should be true in general. Apparently this case is important enough (and hard enough) that ...
17
votes
5answers
2k views

Weitzenböck Identities

I asked this question at Maths Stack Exchange, but I haven't received any replies yet (I'm not sure how long I should wait before it is acceptable to ask here, assuming there is such a period of ...
29
votes
2answers
2k views

A geometric characterization for arithmetic genus

Let $X$ be a smooth projective variety over $\mathbb{C}$. The following information is all equivalent (any of these numbers can be computed by a linear equation from any of the others): the ...
22
votes
3answers
1k views

Rep Theory Consequences of Bott--Weil--Borel

I've been getting interested in the (Bott--)Borel--Weil theorem lately. As a (mainly) geometer it is very interesting to see representation appearing (from nowhere as far as I can see) in the theory ...
8
votes
3answers
1k views

When is a holomorphic submersion with isomorphic fibers locally trivial?

A justly celebrated theorem by Ehresmann states that a proper smooth submersion $\pi: X\to S$ between smooth manifolds is locally trivial in the sense that every point $s\in S$ downstairs has a ...
19
votes
1answer
1k views

Diffeomorphic Kähler manifolds with different Hodge numbers

This question made me wonder about the following: Are there orientedly diffeomorphic Kähler manifolds with different Hodge numbers? It seems that this would require that those manifolds are not ...
15
votes
4answers
1k 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 ...
6
votes
1answer
1k views

Atiyah class for non-locally free sheaf

Let $E$ be a holomorphic vector bundle over a compact complex manifold (or projective algebraic variety) $X$. The Atiyah class of $E$, $a(E)\in Ext^1(T_X,End(E))$, is defined to be the class of the ...
12
votes
3answers
1k views

What is the DGLA controlling the deformation theory of a complex submanifold?

Let $X$ be a complex manifold, $Y\hookrightarrow X$ a complex compact submanifold. Let $T_{X/Y}$ denote the normal bundle of $Y$ in $X$, and $\mathcal{O}(T_{X/Y})$ its sheaf of holomorphic sections. ...
7
votes
3answers
2k views

Lefschetz Hyper-plane theorem for singular projective varieties?

Lefschetz hyper-plane theorem for smooth projective varieties, $X\subset \mathbb{P}^{n+1}$ says: For smooth hyperplane section $Y= X\cap H$, the restriction map $H^i(X) \rightarrow H^i(Y)$ is an ...
19
votes
1answer
1k views

Almost Complex Structure approach to Deformation of Compact Complex Manifolds

I don't know much about the deformation of compact complex manifolds, I've only read chapter 6 of Huybrechts' book Complex Geometry: An Introduction. There are two parts to this chapter. The second ...
6
votes
3answers
1k views

Why are local systems on a complex analytic space equivalent to vector bundles with flat connection?

Let X be a complex analytic space. It is a 'well known fact' that the categories of local systems on X (i.e. locally constant sheaves with stalk C^n), and of (holomorphic) vector bundles on X with ...
17
votes
3answers
753 views

Moishezon manifolds with vanishing first Chern class

Suppose $M$ is a Moishezon manifold with $c_1(M)=0$ in $H^2(M,\mathbb{R})$. Does it follow that $K_M$ is torsion in $\mathrm{Pic}(M)$? This is true whenever $M$ is Kähler (and therefore ...
11
votes
1answer
443 views

Parameterization of complex analytic subvarieties

Let $V$ be an analytic subvariety of some open set of $\mathbb{C}^n$ (intersection of finitely many zero-locii of analytic functions). Hironaka's desingularization theorem provides a parameterization ...
10
votes
1answer
797 views

Questions about the “universal elliptic curve” over the affine $j$-line punctured at 0 and 1728

So my question refers to families of elliptic curves over the $\mathbb{A}^1_\mathbb{C}\setminus\{0,1728\}$ whose fiber above a point $j$ has $j$-invariant equal to $j$ (I understand it's not ...
13
votes
5answers
743 views

Comparing fundamental groups of a complex orbifolds and their resolutions.

Let $X$ be a complex manifold with quotient singularities, and let $\tilde X$ be its resolution (that exists, for example, by Hironaka). Then I am pretty sure that $\pi_1(X)\cong \pi_1(\tilde X)$. ...
9
votes
1answer
326 views

A geometric construction of the complex projective plane?

The paper Kötter's synthetic geometry of algebraic curves, (N. Fraser, Proceedings of the Edinburgh Mathematical Society 7, 46–61, 1888) opens with a sketch of what appears to be a synthetic ...
7
votes
2answers
416 views

Generalising the Penrose Twistor Fibration

As is well known, there exists a fibration $\mathbb{CP}^3 \to S^4$, of the four sphere by complex projective $3$-space, called the Penrose twistor fibration. Does this fibration admit a "canonical" ...
13
votes
2answers
781 views

Vector bundles on vector bundles

Are all vector bundles on a given vector bundle the pull back of a vector bundle on the base? In more detail: let $X$ be a space and $p:E\rightarrow X$ a vector bundle over $X$. Let $\iota: X ...
9
votes
4answers
408 views

Automorphism group of flag manifolds?

If $F=F(n_1, \ldots, n_k)$ is the (complex) flag variety associated to the partition $(n_1, \ldots, n_k)$, what is the automorphism group of $F$? Here I mean holomorphic and/or variety automorphisms. ...
8
votes
1answer
1k views

Negative holomorphic sectional curvature

Let X be a complex hermitian manifold with hermitian form $\omega$. How can you prove that if $\omega$ has negative holomorphic sectional curvature, then its scalar curvature is negative, too?
8
votes
2answers
588 views

Can projective hypersurfaces contain linear spaces? How big?

I am in this, rather friendly, situation: I have a complex projective space $\mathbb{P}^n$, and there i have a (possibly non-smooth) hypersurface $S$ defined by one irreducible polynomial $P$ of ...
7
votes
1answer
420 views

Intuitive Aproach to Dolbeault Cohomology [closed]

(Duplicated from math.stackexchange) 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. ...
7
votes
1answer
467 views

Deformations of smooth projective hypersurfaces and the Jacobian ring

It is a well-known result of Griffiths that the pieces of Hodge filtration of a smooth hypersurface $X:= (f=0)$ of degree $d$ in $\mathbb{P}^{n}$ are isomorphic to graded pieces of the Jacobian ring ...
7
votes
2answers
360 views

Non-bimeromorphic compactifications

Let $X$ be a (smooth, non-compact) complex space. By a compactification of $X$ we mean a compact complex space $\overline X$ which contains a dense open subset biholomorphic to $X$ (we shall identify ...
6
votes
1answer
579 views

Blowing-up an ordinary double point, then contracting the exceptional locus to a curve

Let $X\subset\mathbb P^4$ a projective hypersurface with an ordinary double point at $o\in X$. Blow-up $\mathbb P^4$ at $o$ and let $E\simeq\mathbb P^3$ the exceptional divisor of this blow-up. ...
4
votes
2answers
365 views

What is the Explicit Relationship between Coadjoint Orbits and Flag Manifolds?

Given a complex semi-simple Lie group $G$, it acts smoothly on the dual $\frak{g}^*$ of its Lie algebra $\frak{g}$ by the coadjoint action. The orbits of that action are called coadjoint orbits. A ...
3
votes
2answers
2k views

Which Spheres are Complex Manifolds? [duplicate]

Possible Duplicate: complex structure on S^n The two sphere $S^2$ is a real manifold of dimension $2$, while the three sphere $S^3$ is a real manifold of dimension $3$. Now $S^2$ is a complex ...
2
votes
2answers
283 views

Does a generic curve inside the space of curves with a node at a specific point have only finitely many nodes?

Let $\mathcal{D} \approx \mathbb{P}^{\delta_d}$ be the space of homogeneous degree $d$ polynomials in three variables (up to scaling), where $\delta_d = \frac{d(d+3)}{2}$. Define $\mathcal{A}$ to be ...
2
votes
2answers
1k views

Generalisations of Riemann-Roch for surfaces

Let $X$ be a smooth projective algebraic surface (over $\mathbb{C}$ ). For all $L\in \mathrm{Pic}(X)$, we have $$\chi(L)=\chi(\mathcal{O}_X)+\frac{1}{2}(L^2-L\cdot \omega_X).$$ This is the famous ...
16
votes
2answers
739 views

Does equality of Laplacians imply Kähler?

This question follows on from this one. Let $(X, \omega)$ be a Hermitian manifold and define the Laplacians $\Delta_{\partial} = \partial\partial^* + \partial^*\partial$ and $\Delta_{\bar{\partial}} ...
11
votes
3answers
643 views

Conformal Welding Reference

I'm looking for a reference for the following fact: given two Riemann surfaces and an identification of their boundaries, once I topologically glue the surfaces together there exists a unique ...