# Questions tagged [complex-geometry]

Complex geometry is the study of complex manifolds and complex algebraic varieties, and, by extension, of almost complex structures. It is a part of both differential geometry and algebraic geometry.

**31**

votes

**2**answers

6k 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.. For Mathematical ...

**68**

votes

**10**answers

23k 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 ...

**45**

votes

**0**answers

10k views

### Atiyah's paper on complex structures on $S^6$

M. Atiyah has posted a preprint on arXiv on the non-existence of complex structure on the sphere $S^6$.
https://arxiv.org/abs/1610.09366
It relies on the topological $K$-theory $KR$ and in ...

**7**

votes

**2**answers

686 views

### Hard Lefschetz Theorem for the Flag Manifolds

In the case of a generalized flag manifold $G/P$, we have an explicit description of their cohomology groups due to Borel.(See herehere for a description.) I would like to know what the hard Lefschetz ...

**23**

votes

**6**answers

2k 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 ...

**9**

votes

**3**answers

2k 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 ...

**24**

votes

**1**answer

840 views

### Biholomophic non-Algebraically Isomorphic Varieties

Recently, when writing a review for MathSciNet, the following question arose:
Is it true that two smooth complex varieties that are biholomorphic are algebraically isomorphic? The converse is true ...

**12**

votes

**1**answer

442 views

### Find structure geometry of $A_1, A_2,…,A_n$ such that $\prod_{i<j} A_iA_j$ is maximum

In any triangle we have the well-known inequality:
$$\sin{A}\sin{B}\sin{C} \le \frac{3\sqrt{3}}{8} (1)$$
Signification of inequality (1): Let three points $A, B, C$ lie on a circle then $AB.BC.CA$ ...

**6**

votes

**1**answer

506 views

### Which Kahler Manifolds Are Spin?

As is well-known (see here for a M.O. question) all Kahler manifolds are $spin^c$. I would like to ask which are in fact $spin$.
Taking my motivation from the case of complex projective space, I ...

**91**

votes

**2**answers

21k 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 ...

**47**

votes

**6**answers

6k 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 ...

**41**

votes

**0**answers

15k views

### What is the current understanding regarding complex structures on the 6-sphere?

In October 2016, Atiyah famously posted a preprint to the arXiv, "The Non-Existent Complex 6-Sphere" containing a very brief proof $S^6$ admits no complex structure, which I immediately read and ...

**68**

votes

**1**answer

2k views

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

This question has been crossposted from Math.SE in the hopes that it reaches a larger audience here.
$\Bbb{CP}^{2n+1} \# \Bbb{CP}^{2n+1}$ supports a complex structure: $\Bbb{CP}^{2n+1}$ has an ...

**11**

votes

**3**answers

3k 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$ ...

**25**

votes

**2**answers

2k 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 ...

**22**

votes

**7**answers

3k views

### Kähler structure on cotangent bundle?

The total space of cotangent bundle of any manifold M is a symplectic manifold.
Is it true\false\unknown that for any M, $T^*M$ has Kähler structure?
Please support your claim with reference or ...

**5**

votes

**3**answers

2k views

### On a Hirzebruch surface.

I am trying to solve exercise in Huybrechts's book 'Complex geometry'
While solving problems, one problem kept me from going forward.
That is,
The surface $\Sigma_n=\mathbb{P}$ $(\mathcal{O}_ {\...

**15**

votes

**1**answer

2k 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 universal)...

**13**

votes

**5**answers

1k 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)$.
...

**6**

votes

**3**answers

776 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?

**10**

votes

**2**answers

2k views

### $\partial \bar{\partial}$ lemma for contractible domains

Question. Is every $(p, \, p)$ closed form ($p\geq1$) in a contractible open set of $\mathbb{C}^n$ $\partial \bar{\partial}$ exact?
We know that every $d$-exact $(p, \,p)$-form on a compact Kahler ...

**13**

votes

**1**answer

802 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 conclude,...

**11**

votes

**3**answers

2k views

### Question about Hodge number

Hi. I am studying Hodge theory on Kahler manifolds.
I have several questions.
Is Hodge number a topological invariant? (I mean, is it independent of the choice of
Kahler structure?)
If the question ...

**10**

votes

**2**answers

1k views

### What is the obstruction to the existence of a global Kahler potential?

It is a well-know fact that if $(X,\omega)$ is Kahler then about every point $x \in X$ there exists a neighbourhood $U$ and a function $K \in C^{\infty}(U,\mathbb{R})$ such that $\omega|_U = i\partial ...

**11**

votes

**3**answers

656 views

### Vector field with holomorphic flow

Let $(M,J)$ be a complex manifold. Suppose that $X$ is a real vector field such that the flow of $X$ is by biholomorphisms.Question Show the flow of $JX$ is by biholomorphisms.
I know one reference ...

**11**

votes

**4**answers

700 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.
...

**5**

votes

**1**answer

1k views

### Atiyah classes of holomorphic vector bundles with trivial Chern classes

Let $X$ be compact Kahler and $E \to X$ a holomorphic vector bundle. Then $E$ has an Atiyah class, $At(E)$, valued in the sheaf cohomology $H^1(\Omega_X \otimes \operatorname{End} E)$. Suppose the ...

**2**

votes

**0**answers

380 views

### Tian's approach for solving the conjecture of invariance of plurigenera in Kahler setting

Let $f:X\to Y$ be a smooth holomorphic fibre space whose fibres $f^{-1}(y)$ have pseudoeffective canonical bundles. suppose that
$$\frac{\partial \omega(t)}{\partial t}=-Ric_{X/Y}(\omega(t))-\omega(...

**6**

votes

**4**answers

1k views

### Generalization of winding number to higher dimensions

Is there a natural geometric generalization of the winding number to higher dimensions?
I know it primarily as an important and useful index for closed, plane curves
(e.g., the Jordan Curve Theorem),
...

**4**

votes

**1**answer

211 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 ...

**4**

votes

**2**answers

779 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 ...

**3**

votes

**2**answers

414 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 precisely,...

**3**

votes

**1**answer

290 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 $M$...

**3**

votes

**1**answer

256 views

### Off-diagonal holomorphic extension of real analytic functions on $\mathbb{C}^n \times\mathbb{C}^n$

I am struggling trying to understand an statement in a paper I am reading:
Let $M$ be a complex manifold of dimension $2n$. Let's consider a function $\xi$: $M$ $\rightarrow$ $\mathbb{C}$ whose ...

**6**

votes

**2**answers

635 views

### Chern classes and singular hermitian metrics on vector bundles

Let $L$ be a holomorphic line bundle on a complex manifold $X$, and assume it is equipped with a singular hermitian metric $h$ with local weight $\varphi$. Then, one can show that the de Rham class of ...

**3**

votes

**1**answer

502 views

### Deformations of holomorphic/algebraic vector bundles over $\mathbb{P}^3$

I would like to know what can be said about (global) deformations of holomorphic/algebraic rank two vector bundles on $\mathbb{P}^3$. I am particularly interested in the case of topologically trivial ...

**3**

votes

**0**answers

250 views

### Fujita decomposition versus Zariski decomposition

Fujita decomposition: Let $\frak \pi : X \to B$ be a fibration of a compact Kahler manifold $\frak X$ over a projective curve $\frak B$ then $\pi_*\left(K_{\frak X/B}\right)=A\oplus B$ where $A$ is ...

**1**

vote

**1**answer

355 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 ...

**0**

votes

**2**answers

777 views

### Question on Hartogs's Extension Theorem

Does Hartogs's extension theorem hold if one replaces the word holomorphic by analytic (of course still in several variables)?
For Hartogs's Extension Theorem see here:
http://en.wikipedia.org/wiki/...

**36**

votes

**8**answers

5k 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 ...

**68**

votes

**2**answers

7k 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, ...

**31**

votes

**1**answer

2k views

### Complex vector bundles that are not holomorphic

Is there an example of a complex bundle on $\mathbb CP^n$ or on a Fano variety (defined over complex numbers), that does not admit a holomorphic structure? We require that the Chern classes of the ...

**25**

votes

**4**answers

5k 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. ...

**29**

votes

**5**answers

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 ...

**25**

votes

**2**answers

3k views

### Which Kahler Manifolds are also Einstein Manifolds?

Is it known which Kahler manifolds are also Einstein manifolds? For example complex projective spaces are Einstein. Are the Grassmannians Einsein? Are all flag manifolds Einstein?

**14**

votes

**3**answers

2k views

### flatness in complex analytic geometry

It is always a pain to move back and forth between definitions in algebraic geometry and complex analytic geometry. Dictionary is much easier when are working with (family of) smooth varieties but the ...

**35**

votes

**2**answers

3k 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 ...

**23**

votes

**5**answers

4k 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 ...

**24**

votes

**4**answers

4k 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 ...

**22**

votes

**1**answer

2k 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 ...