**23**

votes

**2**answers

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

**9**

votes

**1**answer

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

**3**

votes

**1**answer

237 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

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

**1**

vote

**1**answer

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

**92**

votes

**5**answers

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

**46**

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

**32**

votes

**5**answers

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

**23**

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

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

**22**

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

**16**

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

**18**

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

**28**

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

**7**

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

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

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

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

**12**

votes

**3**answers

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

**10**

votes

**2**answers

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

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

**4**

votes

**1**answer

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

**17**

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

720 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

430 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

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

**12**

votes

**2**answers

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

**12**

votes

**5**answers

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

**8**

votes

**4**answers

355 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

538 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

351 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

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

**2**

votes

**2**answers

274 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

699 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

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

**7**

votes

**1**answer

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

**6**

votes

**3**answers

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

**6**

votes

**3**answers

685 views

### Newlander-Nirenberg for surfaces

Quite a long ago, I tried to work out explicitly the content of the Newlander-Nirenberg theorem. My aim was trying to understand wether a direct proof could work in the simplest possible case, namely ...

**4**

votes

**2**answers

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

**2**

votes

**1**answer

518 views

### Global Lichnerowicz Formula Proof (in the Kahler case)?

For a Kahler manifold $M$, let us denote its Dirac operator $\overline{\partial} + \overline{\partial}^\ast$, with respect to a metric $g$, by $D$. Moreover, let us dentoe the Levi-Civita connection ...

**6**

votes

**1**answer

262 views

### Singularities of the moduli stack of Calabi-Yau threefolds

Let $M$ be the moduli of polarized Calabi-Yau threefolds over $\mathbb C$ with fixed Euler characteristic. The coarse moduli space is singular (as usual), but what about the stack?
In many cases I ...

**6**

votes

**1**answer

415 views

### Universal covering map from $\mathcal{H}$ to $\mathbb{C}\setminus \mathbb{Z}\oplus i\mathbb{Z}$ (the countably punctured complex plane)

It's a consequence of the uniformization theorem for simply connected Riemann surfaces that the universal cover of $\mathbb{C}\setminus(\mathbb{Z}\oplus i\mathbb{Z})$ ($\mathbb{C}$ punctured at all ...

**5**

votes

**2**answers

592 views

### On the fundamental group of hypersurfaces

Let $H$ be a smooth projective hypersurface in $\mathbb{P}^n(\mathbb{C})$ where $n\geq 3$. Then by the Lefschetz hyperplane theorem we have that $H^1(H,\mathbb{C})=
...

**4**

votes

**1**answer

163 views

### Infinitesimal deformations of fake projective planes (or ball quotients)

This question is related to the answer I gave to this MO question. What I'm asking is probably well-known to the experts in the field, and I apologize in advance if this turns out to be trivial.
By ...

**4**

votes

**1**answer

191 views

### Extending Functions on Closed Submanifolds of C^n

Functions on an algebraic subvariety X of A^n are the same as functions on A^n restricted to X. So the statement that functions on X extend to all of A^n follows by the definition. My question is: ...

**3**

votes

**1**answer

292 views

### examples of Kähler manifolds with trivial odd Betti numbers and first Chern classes

To my limited knowledge, many compact Kähler manifolds have trivial odd Betti numbers. For instance, flag manifolds $G/P$，where $G$ is a semisimple complex Lie group and $P$ a parabolic subgroup, and ...

**3**

votes

**2**answers

579 views

### Can you ``perturb'' a submanifold to intersect transversally with any other smooth submanifold of projective space?

Let $\mathcal{D} \approx \mathbb{P}^{\delta_d}$ be the space of homogeneous
degree $d$ polynomials in three vriables, where
$\delta_d = \frac{d(d+3)}{2}$. Let
$$ X \subset \mathcal{D} \times ...