**25**

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

**64**

votes

**2**answers

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

**2**answers

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

**3**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**2**answers

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

**1**answer

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

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

**49**

votes

**7**answers

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

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

**27**

votes

**8**answers

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

**2**answers

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

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

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

**19**

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

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

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

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

**19**

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

**15**

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

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

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

**7**

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

**19**

votes

**1**answer

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

**3**answers

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

**3**answers

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

**1**answer

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

**1**answer

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

**5**answers

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

**1**answer

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

**2**answers

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

**2**answers

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

**4**answers

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

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

**2**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**2**answers

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

**2**answers

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

**2**answers

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

**2**answers

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

**2**answers

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

**3**answers

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