**27**

votes

**2**answers

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

**70**

votes

**2**answers

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

**20**

votes

**1**answer

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

**5**

votes

**3**answers

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

**13**

votes

**5**answers

791 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)$.
...

**11**

votes

**1**answer

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

**8**

votes

**2**answers

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

**7**

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

**4**

votes

**2**answers

513 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

**0**answers

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

**4**

votes

**1**answer

172 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

**1**answer

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

**2**

votes

**2**answers

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

**2**

votes

**0**answers

415 views

### On Eigenspace of a Bundle Map which is the horizontal part of a complex structure on $TM$

Let $(M^{n+m},g)$ be a Riemannian manifold and let $\mathcal{H}(TM) \subseteq TTM$ be the horizontal space associated to the Levi-Civita connection of $g$. Let $\bar{J} : TTM \longrightarrow ...

**4**

votes

**1**answer

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

**1**

vote

**1**answer

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

**103**

votes

**5**answers

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 $90^\...

**53**

votes

**8**answers

8k 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

**6**answers

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

**29**

votes

**8**answers

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

**59**

votes

**2**answers

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

**4**answers

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

**3**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?

**22**

votes

**5**answers

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

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

**17**

votes

**5**answers

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

**20**

votes

**4**answers

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

**29**

votes

**2**answers

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

**3**answers

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

**17**

votes

**4**answers

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

**8**

votes

**3**answers

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

**8**

votes

**3**answers

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

**6**

votes

**1**answer

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

**10**

votes

**2**answers

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

**8**

votes

**3**answers

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

**12**

votes

**3**answers

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

**19**

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

**24**

votes

**1**answer

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

**11**

votes

**1**answer

463 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

**1**answer

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

**17**

votes

**3**answers

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

**9**

votes

**1**answer

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

**8**

votes

**1**answer

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

**1**answer

450 views

### Chern classes of ideal sheaf of an analytic subset

Let $X$ be a Kähler manifold of dimension $n$, and $Z \subset X$ an analytic subset of codimension $k$. I have read in a paper the following result, a proof of which I cannot find:
$$c_k(\mathscr{I}...

**7**

votes

**1**answer

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

**3**

votes

**2**answers

348 views

### Fano manifold admit an smooth anti-canonical divisor?

Let $M$ ba a compact Kaehler Fano manifold. Under which conditions $M$ admit a smooth anti-canonical divisor $D$

**9**

votes

**1**answer

835 views

### Solutions of equations characterizing a complex structure

Let $(S^n,g)$ denote the unit $n$-sphere endowed with its induced metric $g$ from its embedding into $\mathbb{R}^{n+1}$. The Levi-Civita connection of $g$ induces a splitting of the tangent bundle of $...

**9**

votes

**4**answers

438 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

**2**answers

624 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

**2**answers

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