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

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

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

**19**

votes

**0**answers

235 views

### The de Rham complex of the octonionic projective spaces

The complex projective space $\mathbb{CP}^n$ is a complex manifold, and hence its de Rham complex carries a representation of the complex numbers in the form of its complex structure. The quaternionic ...

**19**

votes

**0**answers

762 views

### Are the eigenvalues of the Laplacian of a generic Kähler metric simple?

It is a theorem of Uhlenbeck that for a generic Riemannian metric, the Laplacian acting on functions has simple eigenvalues, i.e., all the eigenspaces are 1-dimensional. (Here "generic" means the set ...

**18**

votes

**0**answers

791 views

### Almost complex 4-manifolds with a “holomorphic” vector field

Main question. What is the class of smooth orientable 4-dimensional manifolds that admit an almost complex structure $J$ and a vector field v, that preserves $J$?
The following sub question is ...

**16**

votes

**0**answers

427 views

### What are hyperkähler metrics used for?

It seems that a lot of effort has been devoted to endow holomorphic-symplectic manifolds with hyperkähler metrics. It started with Calabi [4] with $T^*\mathbb{CP}^n$. Other examples include coadjoint ...

**16**

votes

**0**answers

315 views

### Relationship between the signs of different notions of curvature in complex geometry

Let $(X,\omega)$ be a complex hermitian manifold, and call $\Theta$ its Chern curvature tensor. Out of this we can consider different notions of curvature, namely the holomorphic bisectional curvature ...

**14**

votes

**0**answers

164 views

### Complexifications of hyperbolic manifolds

I'm wondering when a compact hyperbolic $n$-manifold ($n \geq 3$) can embed in a complex hyperbolic $n$-manifold as a real algebraic subvariety so that it is a component of the fixed point set of ...

**14**

votes

**0**answers

540 views

### Gromov's quick “proof” of Lefchetz Hyperplane Theorem

I'd say I'm fairly comfortable with standard proofs of the Lefschetz Hyperplane theorem (e.g. lefschetz pencils, morse theory, etc.). However, in the first chapter of Gromov's Partial Differential ...

**13**

votes

**0**answers

1k views

### Fundamental group of the complement homogeneous variety in $\mathbb{C}P^{n-1}$

Let $f,g:\mathbb{C}^n\to \mathbb{C}$ are two irreducible homogeneous polynomials. If there is a homeomorphism $h:\mathbb{C}^n\to \mathbb{C}^n$ such that $h(X)=Y$ and $h(0)=0$, where $X=f^{-1}(0)$ and $...

**13**

votes

**0**answers

536 views

### Is Hironaka's example the only known deformation of Kähler manifolds with non-Kähler central fibre?

A well-known example in the deformation theory of compact complex manifolds is the one given by Hironaka in his 1962 paper An Example of a Non-Kählerian Complex-Analytic Deformation of Kählerian ...

**13**

votes

**0**answers

445 views

### Coarse moduli spaces of stacks for which every atlas is a scheme

Let $X = [P/G]$ be a smooth finite type separated DM-stack over $\mathbb C$ given as the quotient of a smooth projective scheme $P$ by the action of a smooth (finite type separated) reductive group ...

**13**

votes

**0**answers

362 views

### Complex manifold which is algebraic away from codimension \ge 2

If $X$ is a complex manifold and $Z$ is a closed subset of codimension $\ge 2$ such that $X-Z$ has an algebraic structure, then is $X$ algebraic; i.e. a scheme? If not is $X$ an algebraic space?
...

**12**

votes

**0**answers

523 views

### Kodaira-Spencer maps and deformation theory

This post concerns the following question: Can we black-box the analysis of PDE's which arises in the construction of Kuranishi families for complex analytic structures?
The deformation theory of ...

**12**

votes

**0**answers

534 views

### Kähler-Ricci flow approach for Beauville-Bogomolov type decomposition?

Is there any Kähler Ricci flow method for solving structure theorems in Algebraic geometry
In fact If $X$ be a Calabi-Yau manifold then we can descend the Kähler Ricci flow to its finite etale ...

**12**

votes

**0**answers

919 views

### How much algebraic geometry do I need to study complex geometry?

As one can deduce from the questions I have asked on MO, I'm interested in complex geometry. I am aware that there are many facets to the field, some of which I am more comfortable with than others. ...

**11**

votes

**0**answers

411 views

### Topological description of a blow up of a manifold along a submanifold

There's a very nice topological description of blow ups of complex manifolds at a point as connected sum with projective space. The following is an attmept to understand whether there's a higher ...

**11**

votes

**0**answers

277 views

### Computing $h^1$ of dual of graph of central fibre of the degeneration of Kaehler-Einstein manifolds

Consider a Kaehler degeneration $\mathcal X\to \Delta$ of smooth manifolds: Here $\Delta$ is the unit disc, $\pi$ a proper flat map, smooth over $\Delta^∗=\Delta−\{0\}$. The general fibres are $X_t=\...

**11**

votes

**0**answers

1k views

### Dolbeault cohomology of complex tori.

Let $T=\mathbb C^n/\Lambda$ a complex torus. It is completely elementary to prove that the de Rham cohomology of $T$ in degree $q$ is isomorphic to the $q$-th exterior power of the dual of $\mathbb C^...

**10**

votes

**0**answers

104 views

### Geometry of Affine Kac-Moody Algebras

I recently asked this question on phys.SE and it was suggested to me to ask it here.
One can reconstruct the unitary irreducible representations of compact Lie groups very beautifully in geometric ...

**10**

votes

**0**answers

268 views

### Does Lefschetz-type theorems imply ampleness?

Let $X$ be a smooth $n$-dimensional complex projective variety and $D \subset X$ a smooth (effective) divisor. Consider the following properties:
$D$ is ample.
(Positivity) For any $k$-dimensional ...

**10**

votes

**0**answers

5k views

### Atiyah's paper “Non-existent complex 6-sphere”

I'm trying to understand the main idea of Atiyah's proof (https://arxiv.org/abs/1610.09366). Although there were discussions on MO year ago I couldn't find answers to my questions.
Consider the ...

**10**

votes

**0**answers

194 views

### Kodaira embedding theorem for rigid analytic varieties

Kodaira embedding theorem can be regarded as a vast generalizaton of
the projectivity criterion for complex tori: indeed, the Riemann
conditions essentially say that the line bundle defined by the
...

**10**

votes

**0**answers

417 views

### Uniqueness of singular Hermitian-Einstein metric along Yau-Donaldson flow?

The following question is related to Singular Yang-Mills theory
The Hermitian metric $H$ along the fibers of the holomorphic vector bundle $E$ over a K\"ahler manifold $(M,\omega)$ is Hermitian-...

**10**

votes

**0**answers

230 views

### Examples of quasi-negative but not negative holomorphic sectional curvature

Let $(X,\omega)$ be a compact Kähler manifold and call $\operatorname{HSC}_{\omega}(x,[v])$ the holomorphic sectional curvature of the Chern connection of $\omega$ at the point $x\in X$ in the ...

**10**

votes

**0**answers

2k views

### How much of modern algebraic geometry is there in modern complex(algebraic, analytic, differential) geometry?

Good day to you, people of mathoverflow. I'll get to the point. I wonder how much of modern abstract algebraic geometry is there in modern complex geometry?
What do I mean by complex geometry? ...

**10**

votes

**0**answers

92 views

### Holomorphic natural bundles and operators

I am wondering up to what extent the classical theory of (smooth) natural bundles and natural operations extends to the holomorphic setting.
After a quick thought, I've gone through the standard ...

**10**

votes

**0**answers

577 views

### de Rham cohomology group and Dolbeault cohomology group on compact complex analytic spaces

My question is:
On a compact complex analytic space,since Hodge Theorem becomes invalid,is it true that the de Rham cohomology group $H^p_{DR}(M)$ and the Dolbeault cohomology group $H^{p,q}_{\bar{\...

**10**

votes

**0**answers

323 views

### Homology classes represented by $J$-holomorphic curves

Let $\Sigma$ be a compact Riemann surface with complex structure $j$. Let $(M,J)$ be an almost complex manifold. A map $u: \Sigma \rightarrow M$ is called $J$-holomorphic if
$$ du \circ j = J \circ du....

**10**

votes

**0**answers

473 views

### About the Bloch conjecture on entire curves

The Bloch conjecture states the following:
Bloch's conjecture. Let $X$ be a compact complex Kähler variety such that the irregularity $q = h^0(X,\Omega^1_X)$ is larger than the dimension $n = \dim X$....

**9**

votes

**0**answers

208 views

### Is it possible to glue together complex manifolds?

In the case of Riemannian manifolds, there are ways to take two manifolds and glue them together to get a new Riemannian manifold. For example, taking connected sums in local regions where the two ...

**9**

votes

**0**answers

167 views

### Batyrev's theorem in non-algebraic case

Let $X$ and $Y$ be two bimeromorphic closed Kaehler manifolds with trivial real $c_1$. Is it true that $b_n(X)=b_n(Y)$ for $n\geq 0$?

**9**

votes

**0**answers

203 views

### Local meaning of the Pfaffian of the curvature

The Ricci and scalar curvatures have very nice pointwise interpretations (using the local expression for the volume form for example). So, (at least Ricci) having special metrics (like Einstein) can ...

**9**

votes

**0**answers

193 views

### Riemann-Hilbert correspondence over nodal curve

There is a micro-local version of Riemann-Hilbert correspondence over nodal curve $X$ given by Roman Bezrukavnikov Mikhail Kapranov in the paper: Micro-local sheaves and quiver varieties
The de Rham ...

**9**

votes

**0**answers

258 views

### Coarse moduli space of compact polarized Fano Kaehler-Einstein manifolds

Let $\mathcal X\to \mathcal S$, be a family of polarized
Kaehler manifolds with $\omega_s= Ric(\omega_s)$(i.e., fibers are Fano Kahler-Einstein manifolds). Then $dim Aut(X_s)=Const$.?
Is there any ...

**9**

votes

**0**answers

300 views

### Demailly condition in Analytical algebraic geometry

Grauert-Riemenschneider conjecture: If a compact complex manifold $X$ possesses a smooth Hermitian line bundle which is semi-positive everywhere and positive on an open dense set, then $X$ is ...

**9**

votes

**0**answers

136 views

### A characterization of Moishezon manifolds via sections of $L^k$ with $k\to \infty$

Let $X$ be a smooth compact complex manifold of dimension $n$. Suppose $L$ is a line bundle on $X$ such that $dim(H^0(X,L^k))>c\cdot k^n$ for $c>0$ and $k>>0$.
Question. Is it true that $...

**9**

votes

**0**answers

211 views

### Symplectic invariance of Hodge numbers?

Let $(X,\omega)$ be a compact symplectic manifold. If $J$ is a $\omega$-compatible complex structure on $X$ then $(X,\omega,J)$ is a compact Kähler manifold and so has Hodge numbers $h^{p,q}$.
My ...

**9**

votes

**0**answers

289 views

### Holomorphic vector fields on compact complex manifolds with trivial canonical bundle

Let $M$ be a compact complex manifold whose canonical bundle $K_M$ is holomorphically trivial. Is it possible for $M$ to admit a non-zero holomorphic vector field with zeroes? Equivalently, using a ...

**9**

votes

**0**answers

1k views

### Weight filtration over the integers

This is a follow up question to Weight filtration for smooth analytic manifolds
As mentioned in that question, the integral cohomology of some smooth complex analytic manifolds is equipped with a ...

**8**

votes

**0**answers

241 views

### $c_2$ of Calabi-Yau three-folds

Let $Y$ be a smooth compact Calabi-Yau three-fold (over $\mathbb C$, with $\pi_1(Y)=0$). Is it true that $c_2(Y)$ is Poincare dual to an effective curve? If not, can one construct a counter-example?
...

**8**

votes

**0**answers

232 views

### Cohomology of complex manifold vs cohomology of its complex submanifold

Let $X$ be a smooth complex analytic manifold. Let $Z\subset X$ be a smooth compact analytic submanifold. Let $A$ be a holomorphic vector bundle over $X$. Assume that
$$H^i(Z, A|_Z)=0 \mbox{ for any } ...

**8**

votes

**0**answers

288 views

### Bloch Ogus spectral sequence

Let $X$ be a smooth projective variety over $\mathbf{C}$, and $p : X_{\rm an}\to X_{\rm Zar}$ the obvious map of sites.
The Leray spectral sequence
$$H^r(X_{\rm Zar}, R^sp_*\mathbf{C})\Rightarrow H^{...

**8**

votes

**0**answers

197 views

### Analytic space not embeddable in any complex manifold

I am looking for an example of a compact complex analytic space, reduced and irreducible, which does not admit any holomorphic embedding into any (smooth) complex manifold (possibly non-compact).
I ...

**8**

votes

**0**answers

193 views

### Geometric meaning of Aomoto complex

Generally, if we have any space $X$, then multiplication by any odd class $\eta$ makes $H^*(X)$ a complex (usually called Aomoto complex) $A_{\eta}$ because cup product is graded commutative. It is ...

**8**

votes

**0**answers

406 views

### Orbits of groups acting on algebraic stacks. What are they?

Let $X$ be a smooth finite type integral algebraic stack over $\mathbb C$ with affine diagonal and trivial generic stabilizer. Let $G$ be a smooth affine connected group scheme over $\mathbb C$ acting ...

**8**

votes

**0**answers

165 views

### Smooth quotients of algebraic spaces that are varieties away from codimension $\ge 2$ subset

This is a question about when a smooth complex algebraic space that is very close to being an algebraic variety is actually an algebraic variety.
General question: Let $X$ be a smooth separated ...

**8**

votes

**0**answers

188 views

### Holomorphic contractibility of GL(H)?

Kuiper's theorem is well-known to give the triviality of the homotopy groups of ${\rm GL}(\mathcal{H})$ for $\mathcal{H}$ a (separable) infinite-dimensional complex Hilbert space. Work of Palais later ...

**8**

votes

**0**answers

434 views

### Bogomolov-Beauville-Fujiki form, algebraically

Let $M$ be a compact hyperkahler manifold, i.e. a manifold with three
complex structures $I,J,K$ defining an action of quaternions on the
tangent bundle and a metric which is Kahler with respect to ...

**8**

votes

**0**answers

178 views

### Topology of family of complex varieties

It seems to be an oft-cited fact (which comes up, for instance, in describing vanishing/nearby cycles) that:
For a proper flat map $f \colon X \rightarrow \Delta$, where
$X$ is a complex algebraic ...